←back to thread

God created the real numbers

(www.ethanheilman.com)
31 points EthanHeilman | 1 comments | | HN request time: 0.216s | source
Show context
tshaddox ◴[] No.45055139[source]
Isn't this article conflating our formalism of a given abstract entity (like real numbers or integers) with the abstract entity itself? Surely quantities existed long before humans (e.g. there was a quantity of stars in the Milky Way 1 million years ago). And surely ordinals existed long before humans (e.g. there was a most massive star in the Milky Way 1 million years ago).

The article's claim seems to be about the mathematical formalisms humans have invented for integers and real numbers. And I agree that our formalism of integers is simpler and more elegant than our formalism of real numbers. But that could just be because we've done a worse job formalizing real numbers!

replies(5): >>45055680 #>>45055693 #>>45055789 #>>45056573 #>>45067794 #
1. andrewla ◴[] No.45067794[source]
> a quantity of stars

There is no fundamental unit of "star". Maybe we can talk about electrons or protons or something, but what is and is not a star is a model, not a reality.

Concretely, a bundle of pre-stellar gasses at some point transitions to being a star, but when in that time spectrum does it make that transition? When in the process of stellar exhaustion does it stop being a star?