based
Conversation
Replying to
whoa here i am just clicking around and this is the strongest argument against believing the principle of mathematical induction i've ever seen
golem.ph.utexas.edu/category/2011/
8
3
39
discussion of ontological nebulosity in the foundations of arithmetic
trying to decide whether i'm changing my mind about whether the natural numbers exist 🤔
1
14
had a conversation with a friend once about how many numbers we had personally verified existed by counting up to them and he said once as a teenager he counted up to several thousand or something just to double-check they were all there
2
2
26
how many numbers would you say exist
3
1
3
Show replies
Replying to
There is a 1-1 correspondence between 100 (or 101, depending on your mood) bits on a computer and 2^100.
1
2
I think this makes it real but could be wrong. 2^10^81 starts getting fuzzy tho (when you are using elementary particles to represent binary states).
2
