logoalt Hacker News

lostmsuyesterday at 7:45 PM1 replyview on HN

Half of something has a value, and that value is not infinity. You need to be more specific about how exactly do you get infinity from the fact that half of something has a value.


Replies

drdecatoday at 12:14 AM

Not from “that half of something had a value”, but from “that half of any thing has a value”.

If you accept that every natural number has a successor which is a natural number, and no two natural numbers have the same successor, and that there’s no loops (e.g. by saying that there’s a total order on natural numbers and that any natural number is less than its successor), then there can’t be a finite collection which is all the natural numbers.

You could say “there’s no collection which has all the natural numbers”, which, ok, how do you want to talk about things true of all natural numbers then?

Formulating descriptions of physics without the axiom of infinity (or, without something to play the role of the real numbers) is super icky. You, in practice, can’t do any significant mathematical physics in an ultrafinitistic approach.

show 1 reply