Философия, учение, пробуждение: история буддизма в России
Вот уже 255 лет буддизм официально признан одной из российских религий. Торжественные мероприятия в Петербурге проходят с 20 по 24 августа.

Мацумура Румико: «У русских своя философия и глубокая душа»
После этого она вернулась в Токио. По словам Румико, икэбана – это философия. Она помогает человеку открыть свою душу, успокоить ум и погруз ...

Философия чистоты: традиции старинных хамамов Баку
Когда заговаривают о Востоке как чем-то традиционном, пришедшем из веков, то вспоминают пряности, ковры, базары и многое другое. И, конечно ...

Sky Review: АЗН-В-философия для дронов
Лидер среди разработчиков беспилотных летательных аппаратов - китайская частная компания DJI с капитализацией $ 10 млрд - занимает 70% мирового ...

Де Йонг сравнил «Барсу» и «Аякс»: «Идея и философия у клубов одинаковая»
Френки де Йонг дал эксклюзивное интервью ESPN, порассуждав о сходствах между «Аяксом» и «Барселоной». «Я думаю, что философия и идея клубов ...

Что зашифровано в татуировке известного архитектора
Это не только классические правила архитектуры, но и философия жизни. В частности, на даче. Летний проект ар ...

Вовеки Неразрешимо Головоломное Руководство По Гёделю
# Во24965

Вовеки Неразрешимо Головоломное Руководство По Гёделю

636 р.

В книге предлагается увлекательное введение в символическую логику

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

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

100