8 (905) 200-03-37 Владивосток
с 09:00 до 19:00
CHN - 1.14 руб. Сайт - 21.13 руб.

Готическая неполная теорема (США) Рэймонд М. Смули безопасна;

Цена: 1 304руб.    (¥61.68)
Артикул: 587120947646

Вес товара: ~0.7 кг. Указан усредненный вес, который может отличаться от фактического. Не включен в цену, оплачивается при получении.

Этот товар на Таобао Описание товара
Продавец:新华文轩旗舰
Рейтинг:
Всего отзывов:0
Положительных:0
Добавить в корзину
Другие товары этого продавца
¥93.881 984руб.
¥96.752 045руб.
¥18.13384руб.
¥20.45433руб.
  • Информация о товаре
  • Фотографии

Теорема Гёделя о неполноте

делать  К:(США) Автор Раймонд М. Смулиан; Перевод Ю Цзюньвэй Перевод Ю Цзюньвэй
Конечно  цена:78
вне Версия общество:Science Press
Дата публикации:1 января 2019 г.
Страница  число:176
Пакет  рамка:Оплата в мягкой обложке
ISBN:9787030596345
Оглавление
●Предисловие
●Глава Общая идея доказательства Гёделя
●1.1 Абстрактные формы теоремы Гёделя и теоремы Тарского
●1.2 Неразрешимые предложения ￡
●Глава 2. Арифметическая теорема Тарского
●2.1 Язык￡E
●2.2 Конкатенация и гёделевское кодирование
●2.3 Теорема Тарского
●Глава 3. Неполнота арифметики Пеано с операциями занавеса
●3.1 Аксиоматическая система П.Э.
●3.2. Арифметизация аксиоматических систем
●Глава 4. Арифметика без возведения в степень
●4.1 Неполнота П.А.
●4.2 Подробнее о∑1- Обсуждение отношений
●Приложение
●Глава 5. Доказательство непротиворечивости Гёделя
●5.1. Некоторые абстрактные теоремы о неполноте
● 5.2∑0-Полнота
●Глава 6. Система Россера
●6.1 Некоторые абстрактные теоремы Россера о неполноте...
Пунктирное содержание

краткое введение

В этой книге представлены различные доказательства теоремы Гёделя о неблизости и связанной с ней теоремы Тарского, включая чисто абстрактную теорему о неблизости, теорему Гёделя о неблизости, которая использует концепцию истины, основанную на арифметической аксиомизации операций сложения, умножения и степени, и теорему Гёделя о неблизости, которая основана только на операциях сложения и умножения. Первоначально Гёдель не использовал концепцию истины, основанную наω-Доказательство несближения непротиворечивости, доказательство неблизкости Россера, основанное на простой непротиворечивости.В этой книге также представлены теорема Шеппердсена о представлении и разделении, теорема о неподвижной точке, вторая теорема о несходстве, некоторые логические загадки, связанные с теоремой о несходстве, а также связь между теоремой о несходстве и модальной логикой.

об авторе

(США) Автор Раймонд М. Смулиан; Перевод Ю Цзюньвэй Перевод Ю Цзюньвэй

Ю Цзюньвэй родился в 1974 году в Аньи провинции Цзянси. Он получил степень бакалавра в Восточно-Китайском педагогическом университете в 1995 году и докторскую степень в Китайской академии социальных наук в 2001 году.С тех пор он работает в Университете Жэньминь Китая и в настоящее время является профессором Школы философии.Направление исследований – логика и метафизика.Научные достижения включают монографии «Исследование деонтологической логики» (2005 г.), «Исследование отрицательных слов» (2014 г.), статьи «Понимание значения имен собственных Фреге» (2014 г.), «Некоторые мысли о модальной метафизике» (2016 г.), «Анализ философских предпосылок трех логических теорий» (2018 г.) и др.