Re: Skolem Again

Daryl McCullough wrote: 
david petry says...


So if you create a horrendously complex mythology which makes no
testable predictions, I couldn't be "skeptical" of your conclusions?



If you are talking about set theory, it's not horrendously complex.
And it makes plenty of testable predictions. It predicts in particular
that PA is consistent, (which is falsifiable by discovering a proof
of a contradiction from the axioms of PA).

Very good. Do you happen to have a similar falsifiable prediction that is implied by the existence of large cardinals? Or even of the set P(P(P(P(N))))? Or P(N^N) perhaps?

--
Cheers,
Herman Jurjus


.

Relevant Pages

  • Re: Hans startling new set theory.
    ... > placed on the amount of computation needed to compute p, ... Group theory makes lots of testable predictions. ... We can test set theory by checking, for various sets X and functions ... whether f is a surjection or not. ...
    (sci.math)
  • Re: Skolem Again
    ... david petry says... ... >So if you create a horrendously complex mythology which makes no ... If you are talking about set theory, it's not horrendously complex. ... And it makes plenty of testable predictions. ...
    (sci.logic)
  • Re: Need Textbook Recommendation
    ... Since you've learned the predicate calculus, I would study set theory ... The books I mentioned have plenty of excercises, ... aren't included (as logic and math books get more and more advanced, ... You'll be able to do plenty of the exercises without having ...
    (sci.logic)
Quantcast