Артикул: p6114671
21 раз
купили
Пока этой книги нет, получите
скидку 10% на любую другую книгу в наличии
По промокоду
BOOK24-4OC3TХарактеристики
- Год издания:2018
- Жанр: Прикладная философия
- ISBN:978-5-8558-2335-6
- Переплет: Мягкий переплёт
- Формат: 129x201 мм
- Вес: 280 г
Описание
В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания.
Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечивость", "доказуемость" и "разрешимость".