1027 читали · 4 года назад
Великая теорема Геделя Новая Интуиционистская Логика ХХI века
Классическое понятие истинности базируется на основном принципе теории отражения: утверждение истинно, если и только если оно соответствует действительности. В ХХ веке против классической концепции истинности выдвинулось возражение, что она не объясняет истинность утверждений о будущем, о возможном и необходимом. Если действительность понимать просто как совокупность наличных фактов, то эти трудности непреодолимы. В ХХ веке развитие новой модальной логики показало, что можно построить классическую теорию истинности и для таких утверждений...
18,2 тыс читали · 4 года назад
Парадокс Рассела. Главный парадокс теории множеств, оказавший влияние на всю математику.
Идет 1902 год, немецкий философ, а заодно логик и математик, Фридрих Людвиг Готлоб Фреге терпеливо трудится над вторым томом "Основных законов арифметики". И вот, когда основная работа подходит к концу, к нему приходит письмо от другого мастодонта логики - англичанина Бертрана Рассела...