Книга Вовеки разрешимо Головоломное руководство по Геделю (м) Смаллиан (Рэймонд Смаллиан) — 1

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

Рэймонд Смаллиан
4 оценки
Купили 14 человек
В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания. Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечив
  • Переплёт
    Мягкий
  • Кол-во стр.
    312
  • Вес
    280 г
  • Год издания
    2018

Отзывы

4.8
4 оценки
0
0
0
1
3
Василий19.04.2026
Не имея хорошей базы по логике и математике, хотел разобраться в сути теорем Гëделя при помощи этой книги. Ещё не достиг цели, но интересное и полезное чтение хорошей книги ещё не окончено!
Плюсы
Интересно и не сухо поданы строгие вещи, доказательства, разъяснения. Примеров и упражнений для самостоятельного изучения достаточно. Головоломное (в хорошем смысле) - бесспорно!
Минусы
Мягкость обложки. Хотел бы эту книгу в твёрдом переплёте, что б в подарок оформить!

Описание и характеристики

В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания.
Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечивость", "доказуемость" и "разрешимость".
  • Переплёт
    Мягкий
  • Кол-во стр.
    312
  • Вес
    280 г
  • Год издания
    2018
  • Издательство
    Лори
  • Автор
    Рэймонд Смаллиан
  • Размеры в см
    1.3x12.8x20.1
  • ID товара
    2630313
  • ISBN
    978-5-8558-2335-6
Книга «Вовеки разрешимо Головоломное руководство по Геделю (м) Смаллиан» есть в наличии в интернет-магазине «Читай-город» по привлекательной цене. Если вы находитесь в Москве, Санкт-Петербурге, Нижнем Новгороде, Казани, Екатеринбурге, Ростове-на-Дону или любом другом регионе России, вы можете оформить заказ на книгу Рэймонд Смаллиан «Вовеки разрешимо Головоломное руководство по Геделю (м) Смаллиан» и выбрать удобный способ его получения: самовывоз, доставка курьером или отправка почтой. Чтобы покупать книги вам было ещё приятнее, мы регулярно проводим акции и конкурсы.