On: God created the real numbers

[tomrod]

Because the square root of 2 exists.

[tremon → tomrod]

How does it exist though? Does it exist because we have a notation for it, or because we know its definition? Does the number 2 itself even exist? What does it mean to say that the number 2 exists?

Calculo, ergo sum?

[jacquesm → tremon]

> Calculo, ergo sum?

Pretty much:

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

[tomrod → tremon]

The number 2 simply exists independent of human intervention.

[chopin → tomrod]

I am not convinced. There are no two equal things in nature. Numbering things, say apples, is a completely human abstraction over two different things.

[tomrod → chopin]

How many units of protons does Helium have?