News for hackers. Stuff that matters.

A comment on What do we mean by "the foundations of mathematics"?. Parent comment

Re:What do we mean by "the foundations of mathematics"? by nitwit005 on Wednesday November 01, 2023 @04:18PM (#38104446)
You're getting at the problem with saying "foundation". If you can reach the same conclusions from a large number of starting points, there isn't any special set of ideas on which everything rests.
[ Parent | on HN ]
Re:What do we mean by "the foundations of mathematics"? by epgui on Wednesday November 01, 2023 @05:32PM (#38105632)
Why does the foundation need to be unique? It seems intuitive to me that they must not be unique.
[ Parent | on HN ]