везде Расширенный поиск
книги Наука, техника, медицина Естественные науки Точные науки Математика Научные издания Теория вероятностей

Frederic P. Miller, Agnes F. Vandome, John McBrewster

Equiconsistency

Код 982629

Бумажная книга

Нет в продаже

Сообщить о появлении

Аннотация к книге "Equiconsistency"

High Quality Content by WIKIPEDIA articles! In mathematical logic, two theories are equiconsistent if, roughly speaking, they are "as consistent as each other". It is not in general possible to prove the absolute consistency of a theory T. Instead we usually take a theory S, believed to be consistent, and try to prove the weaker statement that if S is consistent then T must also be consistent—if we can do this we say that T is consistent relative to S. If S is also consistent relative to T then...

Оставить замечание о найденной опечатке Версия для печати

Оставить комментарий

Оцените книгу:

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-6-1326-5226-3
Объём: 104 страниц
Масса: 178 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 1

Вместе с этой книгой покупают

Эйзен
Эйзен бумажная книга
Гузель Яхина
18.35 USD
В корзину
Шляпу можешь не снимать. Эссе о костюме и культуре
Шляпу можешь не снимать. Эссе о костюме и культуре бумажная книга
Линор Горалик
18.21 USD
В корзину
Еретик
Еретик бумажная книга
Михаил Веллер
13 USD
В корзину
-10%
Программирование на Perl, 4-е издание
Программирование на Perl, 4-е издание бумажная книга
Том Кристиансен
36.18 USD 32.56 USD
20 На складе
В корзину
Kubernetes для разработчиков
Kubernetes для разработчиков бумажная книга
35.74 USD
В корзину
-4%
Стройка с самого утра
Стройка с самого утра бумажная книга
Шерри Даски Ринкер
10.65 USD 10.22 USD
В корзину