Knigi-janzen.de - russische bücher, russische dvd, russkie knigi
Impressum  |   Условия заключения сделки (AGB)  |   Условия заказа подарков
Я ищу:
Тел.: +49 9632 7999000
Подписка на новости
Переводы документов с русского на немецкий и с немецкого на русский языки
Вовеки не разрешимо. Головоломное руководство по Геделю

Вовеки не разрешимо. Головоломное руководство по Геделю

Р. Смаллиан

Подкатегории: Учебная литература
Код: 04766487
Страниц: 320
Переплет: твердый
Размер: 13.5 x 21.5 x 2.3 см
Вес: 384 г.
ISBN: 978-5-85582-335-6
Наличие:
на складе (отправка в течение 12-17 рабочих дней)
Основной раздел
20.43 €
Скидка: 45%
вместо: 37.15 €
  •  
Описание:
В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания. Предложено нестандартное изложение знаменитых теорем Геделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечивость", "доказуемость" и "разрешимость".
Эта книга для тех, кто желает:
- не только научиться успешно искать свою подругу, которая иногда улетает на острова, населенные всегда говорящими правду рыцарями и бессовестно лгущими плутами, но даже стать в этом деле мастером, не хуже сыщиков из Скотланд-Ярда;
- блеснуть в компании интеллектуалов своим нестандартным пониманием сути знаменитых результатов из области математической логики, известных как теоремы Геделя о неполноте и теорема Леба;
- решая увлекательные задачи, познакомиться с серьезной научной дисциплиной, именуемой "символическая логика";
- познакомиться с модальной логикой в форме "возможных миров" - миров человеческих мнений или убеждений; понять, какие трудности подстерегают нас при доказательстве непротиворечивости наших рассуждений и в рассуждениях о непротиворечивости наших доказательств.
  • наименований:
  • 0
  • количество:
  • 0
  • сумма:
  • 0.00 €
Impressum    Условия заключения сделки (AGB)    Политика конфиденциальности (Datenschutz)
Copyright © 2006-2024. Knigi-janzen.de Тел.: +49 9632-7999000