4 ms·
I think you have a slightly stricter definition of "a proof" than me. I would consider a proof that all the numbers in (0,1) are positive to also be a proof tha
by eigenket 5y ago
I think you have a slightly stricter definition of "a proof" than me. I would consider a proof that all the numbers in (0,1) are positive to also be a proof that the number 0.5 is positive, as well as the number 1/e, and Champernowne's constant.
Since the original question was about uncountably many mathematical truths I would say we have one proof that proves uncountably many mathematical truths.
- lupire 5y agoIt is an abstract proof of a generator for concrete proofs of specific assignments to variables. The potential is uncountable, but only a countable subset will ever be invoked.
- eigenket 5y agoI don't know what it really means for a proof to be invoked, and I also don't really like the idea of separating proofs into concrete and abstract proofs. Either it proves something or it doesn't.