Запись - Дмитрий

Аватар пользователя Дмитрий

Формализация математических теорий и теоремы Гёделя о неполноте

В 70-х годах XIX века великий немецкий математик Георг Кантор создал свою теорию множеств, которая долгое время считалась незыблемым фундаментом всего математического здания. Однако к концу века в ней обнаружилось множество противоречий (антиномий), которые пошатнули не только ее авторитет, но и вызвали недоверие к построению доказательств вообще в математике. Из, казалось бы, непротиворечивых аксиом выводились теоремы, противоречащие друг другу. 

Аватар пользователя Дмитрий

О свойствах формально-логических систем

Непротиворечивость.

Формально-логическая система непротиворечива, если для каждой теоремы данной системы противоположное утверждение ложно. Иначе говоря, система противоречива, если для некоторой теоремы в данной системе существует противоположная теорема.

Исходя из этого определения, нетрудно заметить, что любое утверждение, сформулированное в терминах данной системы, будет являться ее теоремой в случае, если система противоречива. Для непротиворечивой системы существуют утверждения, которые не являются ее теоремами.

Аватар пользователя Дмитрий

Смерти нет

Смерти нет. Под смертью я имею в виду не смерть какого-то отдельного организма (организм смертен), а, скорее, так сказать, метафизическую смерть, т.е. небытие вообще, не-существование. Смерти нет - это значит, что невозможно не существовать.

Аватар пользователя Дмитрий

Рефлективные суждения

Когда-то у меня была здесь темка http://philosophystorm.org/yavlyaetsya-li-ateizm-veroi, где я говорил об основных двух когнитивных способностях (назовем их так) человека, лежащих в основе всякого знания, миропонимания и т.д., - это вера и сомнение. 

Аватар пользователя Дмитрий

Все люди добрые

В романе "Мастер и Маргарита" Иешуа говорит Пилату, что все люди добрые. Булгаков вкладывает в уста своему персонажу мысль, близкую к тому, о чем говорил Сократ. Зла не существует. Всякий человек стремится к благу и поступает так, как считает нужным во благо. Если же человек совершает злой поступок, то это происходит по неведению, по слабости, т.е. по некоторой причине, которая этот поступок извиняет. Допустим, если человек случайно наступил на ногу ближнему своему, он может извиниться, сказав, что это случайно. Раз случайно - значит не со зла.

Аватар пользователя Дмитрий

О шахматах и не только

Говорят, шахматы учат думать. Так ли это?

Меня вот всегда настораживало одно обстоятельство: почему-то среди великих гроссмейстеров никогда не находятся великие ученые, мыслители, писатели и т.д. Все одни оппозиционеры. Может быть, и есть примеры, о которых я не знаю, но мне бы хотелось выяснить, почему великий шахматист велик именно в шахматах, а вне шахмат - в простой жизни - он обычный нормальный человек.

Аватар пользователя Дмитрий

День Победы

С днем Победы всех! Конец войне и всем мира.

 

А. Межиров

Музыка

Аватар пользователя Дмитрий

Парадокс неожиданной казни 2

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

Однажды в воскресенье начальник тюрьмы вызвал преступника, приговорённого к казни, и сообщил ему:

Аватар пользователя Дмитрий

Факты

Что такое факты?

Приведу примеры: "Сегодня в Москве +6 градусов", "Великая Отечественная началась в 1941 году", "Иван Петров - кандидат технических наук", "Сегодня на завтрак я ел яичницу" и т.д. 

Аватар пользователя Дмитрий

Профессионалы и чайники

Навеяно рассказом Шукшина Срезал.

RSS-материал