Skip to content

Comment on There’s more to mathematics than rigour and proofs (2007)parent

Comments

Yes, of course. Because definable (really, computable) numbers don’t really “exist” either.

We can can use definable numbers. Pi is used with such massive frequency that is seems silly to say it has the same nonexistence as numbers that we can literally never even mention, let alone use.

My assertion is that there is something wonky with these u definable numbers and that wonkiness is directly related to how absolutely massive the infinity of reals is.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.