Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
created effects of foundations on "real" mathematics and linked to it from foundations.
This is to archive an exchange between Toby and James on the blog here. The hope would be that eventually the list of examples is expanded here.
I come to bury foundations, not to raze them …
I passed through my first foundational crisis many years ago, and have gradually since come to distrust the very word "foundations" — all despite our best intentions, it has a funny way of turning mathematicians into Bourbaki-thumping fundamentalists, though even their word "magma" would have paved a better road.
I cannot say if there's a better word ahead — for the Time Being, in the Mean Time, I have settled happily enough on the word "medium".
1 to 2 of 2