Re: Some grey areas in foundational issues

From: Aatu Koskensilta (aatu.koskensilta_at_xortec.fi)
Date: 03/03/05 

Date: Thu, 03 Mar 2005 21:44:56 +0200

george wrote:
>
> If there is a non-standard
> proof P of p, doesn't the existence of a standard one follow
> from the compactness theorem?

No. What sort of reasoning led you to this conjecture? 

-- 
Aatu Koskensilta (aatu.koskensilta@xortec.fi)
"Wovon man nicht sprechen kann, daruber muss man schweigen"
  - Ludwig Wittgenstein, Tractatus Logico-Philosophicus

Relevant Pages

  • Re: Some grey areas in foundational issues
    ... > A proof the height/length of which is not a standard number. ... not that the non-standard proof "actually is" a proof. ... How does the existence of non-standard "proofs" interact ... with the compactness theorem? ...
    (sci.logic)
  • Re: Non-standard arithmetic
    ... to all intuition -- every property of all standard naturals ... automatically carries over to all non-standard naturlals. ... (with additional axioms to define/distinguish standard and non- ...
    (sci.logic)
  • Re: Automatically generate variables
    ... if the question was "how much of the program is standard C?" ... that it's just as non-standard as my version. ... If the non-standard header has no impact on the rest of the file then only that one line is "pseudo-C crap", if you don't know the contents of the header then the entire presented code can validly be considered as "pseudo-C crap". ...
    (comp.lang.c)
  • Re: Galileos Paradox
    ... And Z set theory is SUBtheory of IST. ... incuding the existence of infinite ordinals. ... There is NO contradiction between the existence of a non-standard ... Of course it's not a standard real. ...
    (sci.math)
  • Re: Automatically generate variables
    ... Must be C by your definition since crapit might possibly be a header that makes it C. ... I knew it was *the* windows windows.h header because the ... if the question was "how much of the program is standard C?" ... that it's just as non-standard as my version. ...
    (comp.lang.c)
Quantcast