Евгений Рудный (evgeniirudnyi) wrote,
Евгений Рудный
evgeniirudnyi
Category:

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

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

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

См. также

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

  • Post a new comment

    Error

    default userpic

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
    Help
  • 10 comments