Картотека книг

предварительная версия
Картотека книг » Поиск по коду » Книги с ISBN13 9785458402644

Книга ISBN13 9785458402644 - Теорема Геделя о неполноте (В.А. Успенский) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)

На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.

Где купить эту книгу?

Интернет-магазины

Название: Теорема Гёделя о неполноте
Эта книга будет изготовлена в соответствии с Вашим заказом по технологии Print-on-Demand. Брошюра снабжена шестью приложениями, написанными несколько более сжато, хотя по-прежнему не предполагающими никаких специальных знаний. В первом из них...
Авторы: Успенский В.А.
Издательство: ЁЁ Медиа
Год: 2012
Местонахождение: My-shop.ru
ISBN: 978-5-458-40264-4
Название: Теорема Геделя о неполноте
Брошюра снабжена шестью приложениями, написанными несколько более сжато, хотя по-прежнему не предполагающими никаких специальных знаний. В первом из них рассматривается вопрос о связи между наличием истинных недоказуемых утверждений и наличием утверждений, не являющихся ни доказуемыми, ни опровержимыми. Во втором доказывается некоторое усиление теоремы Гёделя — теорема Тарского о невыразимости понятия истины. Третье приложение посвящено обоснованию одной из аксиом теории алгоритмов, сформулированных в § 5, а именно, аксиомы арифметичности. С этой целью вводится некоторый конкретный класс алгоритмов — класс адресных программ — и проверяется арифметичность функций, вычисляемых алгоритмами этого класса. В четвертом приложении развитые в § 2 критерии полноты и неполноты применяются к языкам, связанным с так называемыми ассоциативными исчислениями. Пятое приложение посвящено первоначальной формулировке теоремы о неполноте, предложенной самим Гёделем. Шестое приложение содержит упражнения к...
Авторы: В.А. Успенский
Издательство: Книга по Требованию
Год: 2012
Местонахождение: OZON.ru
ISBN: 978-5-458-40264-4


Поиск по сайту


Новости

10 января 2015 года: Запуск базы ISBN10 и ISBN13

Запущена база данных ISBN и технический каталог кодов.