Головоломное руководство по Геделю.

Введение в символическую логику.

Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания.

Предложено нестандартное изложение знаменитых теорем Геделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечивость", "доказуемость" и "разрешимость".
 

Вовеки неразрешимо. Рэймонд Смаллиан.

500,00 ₽Цена
  • Издательство

    Лори

  • Год издания

    2018

  • ISBN

    978-5-85582-335-6

  • Формат

     

    Мягкая глянцевая обложка