(www.ethanheilman.com)

136 points Bogdanp | 2 comments | 29 Aug 25 15:31 UTC | HN request time: 0.417s | source

Show context

moi2388 ◴[30 Aug 25 05:30 UTC] No.45072108[source]▶

I am a finitist and constructionist at heart.

Sure, mathematical abstractions and infinite structures are fun to play around with..

But go ahead and actually provide me the list of all naturals. You can not. Ever.

1. jojomodding ◴[30 Aug 25 10:39 UTC] No.45073553[source]▶

But for any list of naturals you give me I can give you one with more natural numbers on it.

replies(1): >>45075198 #

2. moi2388 ◴[30 Aug 25 14:56 UTC] No.45075198[source]▶

Exactly.

God created the real numbers