kouzdra (kouzdra) wrote,
kouzdra
kouzdra

До ВП наконец дошло:

https://juan-gandhi.dreamwidth.org/4571458.html
The search of a "universal foundation" of math is actually the search of a universal model for all possible math theories.

Now the idea looks totally weird. It's been 90 years now since Gödel showed something to the world. And still...

There's no universal foundation! A foundation is just another theory.


До меня в юности еще дошло. Но ВП и старше меня - а такие вещи как раз доходят быстрее молодым, у котороых еще моск не заштампован "верой в истину" как тут вот. Ну а вообще - "верой" просто.
Subscribe

  • "Трагедия курьера"

    Что забавно - попытки партии и ментов усиливать контроль за всем на практике дают противоположный результат - паспорта у меня в данный момент нет,…

  • Из комментов

    Впрочем у истории с чёрными кораблями были две забавные концовки — одна в Порт-Артуре, другая — в Жемчужной гавани

  • Во всяком культивировании

    всяких покрытых богоматерей, дней оун-упа и прочих мининых-невских-пожарских и тп меня раздражают не поводы (на них мне действительно насрать) а…

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

  • "Трагедия курьера"

    Что забавно - попытки партии и ментов усиливать контроль за всем на практике дают противоположный результат - паспорта у меня в данный момент нет,…

  • Из комментов

    Впрочем у истории с чёрными кораблями были две забавные концовки — одна в Порт-Артуре, другая — в Жемчужной гавани

  • Во всяком культивировании

    всяких покрытых богоматерей, дней оун-упа и прочих мининых-невских-пожарских и тп меня раздражают не поводы (на них мне действительно насрать) а…