Golos Ptic (golosptic) wrote,
Golos Ptic
golosptic

Category:

Это интересно ;-)

Знаете ли вы, что существуют вопросы о вещественных числах, которые не имеют ответа абсолютным образом, вне зависимости от любого возможного способа рассуждения?

Это утверждения такого сорта, что сколько не добавляй например в арифметику Пеано (или там ZFC) дополнительные аксиомы, выяснить истинно это утверждение или ложно не представляется возможным. Т.е. это невыразимость более сильная, чем неполнота по Гёделю.

Я вот раньше не знал, а теперь знаю. И это знание наполняет моё сердце радостью ;-)
Subscribe

  • (no subject)

  • (no subject)

    Написал большой текст про специалистов по вакцинам. Стер. Не хочу быть специалистом по блоггерам.

  • Всеволоду Емелину посвящается

    Как хорошо, наслаждаясь свободой мысли, Хлебая баланду из миски Выражать солидарность Борцам за нашу и вашу свободу Вышедшим на улицы в Минске…

  • Post a new comment

    Error

    default userpic

    Your reply will be screened

    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.
  • 45 comments

  • (no subject)

  • (no subject)

    Написал большой текст про специалистов по вакцинам. Стер. Не хочу быть специалистом по блоггерам.

  • Всеволоду Емелину посвящается

    Как хорошо, наслаждаясь свободой мысли, Хлебая баланду из миски Выражать солидарность Борцам за нашу и вашу свободу Вышедшим на улицы в Минске…