3 ms·
Any design already exists as a possibility, so it could be said to be both invented and discovered, depending on how you look at it.
by skybrian 5mo ago
Any design already exists as a possibility, so it could be said to be both invented and discovered, depending on how you look at it.
- cubefox 5mo agoAll inventions are discoveries, though not all discoveries are inventions.
- FrustratedMonky 5mo agoDepending on your point of view? I see what you did there. Who knew Obi-one was just smoking and pontificating on Wittgenstein.
- red75prime 5mo agoOn the other hand, it is proven that if you need to count things, the only thing you can discover/invent is the natural numbers.
- ted_dunning 5mo agoReally?! Care to cite a reference to that proof?
- red75prime 5mo ago"The Nature and Meaning of Numbers" (1888) by Dedekind. He proved that any set of mathematical objects conforming to the second order Peano axioms is isomorphic to the natural numbers. Peano axioms basically formalize the notion of well-behaved (that is practically useful) counting numbers. If you were to dig deeper, you'd get to the murky philosophical depths of foundations of mathematics, but I prefer to not go there. Practically, if you want to reliably count something, you end up with the natural numbers (or, maybe, their subset that ultrafinitists are trying to formalize).