August 31st, 2019

Dnyarry

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

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.


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