>If the set of primes is finite
All conclusions are true when your premise is false:
https://en.wikipedia.org/wiki/Truth_table#Logical_implicatio...
"the set of primes is finite"?
What is "the set of primes" ??????
This enlightening video makes it clear:
https://youtu.be/4DNlEq0ZrTo?list=PLIljB45xT85Bfc-S4WHvTIM7E...
Chaitin simply thought this was an impressive fact about the reals and the limitations of mathematics -- a way in which mathematics contains randomness and that many or most facts are "true for no particular reason". This author instead seems to conclude for a related reason that the reals don't exist because we have (and could have) no usable technique to distinguish most real numbers from one another. His complaint in this video is a Chaitin-like observation that we have no way to distinguish real number A from real number B in a finite amount of time or with a finite amount of reasoning or information, and an un-Chaitin-like conclusion that maybe we then have no reason to believe that these numbers exist and are distinct from each other.
Edit: and he emphasizes later that if we believe in the reals, numbers must exist that we can't actually do arithmetic with (which I would suggest is sometimes for the Chaitinesque reason that we can't name or define them, or other times for the weaker Chaitinesque reason that we can't calculate their values), so he seems to ask what good such numbers are to us or what reason we could have to believe that they are real.
By that I mean that I believe that physical systems can be completely described by constructive mathematics based on intuitionistic logic[2] operating on computable reals[3]. I believe that any other kind of mathematics, e.g. classical logic with axiom of choice can create unphysical models.
That being said, I don't object to classical logic as a purely abstract concept. Everything proved in ZFC is certainly true in ZFC! And I don't think any finitist will contest that.
[1] https://en.wikipedia.org/wiki/Ultrafinitism
I bet you are an infinitely good Cantorian ! Did you speak with God recently?
This has a corollary in the startup world: everyone has an idea, what matters is execution.
Professor Norman Wildberger's homepage:
http://web.maths.unsw.edu.au/~norman/
...a paper by Wildberger tackling some of the issues in this thread:
Set Theory: Should You Believe?
http://web.maths.unsw.edu.au/~norman/papers/SetTheory.pdf
Some interesting works by Gregory Chaitin
Meta Math! The Quest for Omega
https://arxiv.org/abs/math/0404335
Exploring Randomness
https://www.cs.auckland.ac.nz/~chaitin/ait/
How Real are Real Numbers?
https://arxiv.org/abs/math/0411418
People who are interested in ultrafinitism would also want to check out Doron Zeilberger
http://www.math.rutgers.edu/~zeilberg/
and
Edward Nelson
I think the presenter in the video is trying to justify a kind of finitist attitude based on the inaccessibility and unspecifiability of reals-in-general to us. This could also be advocating a position something like
https://en.wikipedia.org/wiki/Computable_number#Can_computab...
Edit: or perhaps https://en.wikipedia.org/wiki/Constructive_analysis (I didn't watch enough to understand exactly what alternative he proposes)
Well, yes. The reals are uncountable.