News for hackers. Stuff that matters.

A comment on How has mathematics gotten so abstract?.

Re:How has mathematics gotten so abstract? by tphyahoo2 on Tuesday September 30, 2025 @02:41PM (#45429421)
Just drop the axiom of infinity and quit whining.

https://en.wikipedia.org/wiki/Ultrafinitism

[ Parent | on HN ]
Re:How has mathematics gotten so abstract? by drdeca on Tuesday September 30, 2025 @08:44PM (#45433065)
Can one do QFT in an ultrafinitistic foundations? My guess is no.

Also, I don’t think ZF sans the axiom of infinity works as an ultrafinitistic theory? It still has every natural number, just not the set of all of them.

[ Parent | on HN ]