evgeniirudnyi (evgeniirudnyi) wrote,
evgeniirudnyi
evgeniirudnyi

Category:

Доказательство 2 + 2 = 4

Ю. Л. Ершов и В. В. Целищев, Алгоритмы и вычислимость в человеческом познании, 2012.

'Рассмотрим арифметическое утверждение, которое считается достаточно простым: 2 + 2 = 4. Это же утверждение в контексте оснований математики представляется весьма сложным. Н. Бурбаки в первой части "Теория множеств" своего трактата говорит, что такие "очевидные" утверждения требуют сотен предварительных страниц, заполненных логическими определениями и выводами.'

См. также

https://gignomai.livejournal.com/954285.html?thread=8345005#t8345005
Subscribe

  • Созданы ли мы из математики? Реальна ли математика?

    В блоге Сабины Хоссенфельдер появилась заметка с выразительным названием Созданы ли мы из математики? Реальна ли математика? Сложно сказать,…

  • Следы бактерий в метеоритах

    Бактериальная палеонтология имеет интересное пересечение с астробиологией — на ее основе говорится, что в метеоритах найдены следы бактерий.…

  • Бактериальная палеонтология

    В работах Заварзина увидел пародоксальное выражение бактериальная палеонтология. Как оказалось, такой курс лекций читают с начала века на кафедре…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your IP address will be recorded 

  • 10 comments

  • Созданы ли мы из математики? Реальна ли математика?

    В блоге Сабины Хоссенфельдер появилась заметка с выразительным названием Созданы ли мы из математики? Реальна ли математика? Сложно сказать,…

  • Следы бактерий в метеоритах

    Бактериальная палеонтология имеет интересное пересечение с астробиологией — на ее основе говорится, что в метеоритах найдены следы бактерий.…

  • Бактериальная палеонтология

    В работах Заварзина увидел пародоксальное выражение бактериальная палеонтология. Как оказалось, такой курс лекций читают с начала века на кафедре…