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

  • Самый успешный способ бегства от реальности

    'Из всех способов бегства от реальности, - заметил математик Джан-Карло Рота, - математика достигла наибольшего успеха. . . . Все остальные…

  • Наука о сознании

    Увидел новый учебник ‘ Наука о сознании‘ и решил просмотреть. Автор — когнитивный психолог Тревор Харли, который преподовал этот…

  • Карл Маркс о теории Дарвина

    'У Дарвина, которого я снова просмотрел, меня забавляет его утверждение, что он применяет «мальтусовскую» теорию также к растениям и…