Re: An example of a complete but undecidable theory
From: Bill Taylor (w.taylor_at_math.canterbury.ac.nz)
Date: 07/06/04
- Next message: Jyrki Lahtonen: "Re: normalizer of Q8 in SL(2,q)"
- Previous message: The Ghost In The Machine: "Re: A little lesson for sqrt(144) year olds."
- In reply to: David C. Ullrich: "Re: An example of a complete but undecidable theory"
- Next in thread: Herman Rubin: "Re: An example of a complete but undecidable theory"
- Messages sorted by: [ date ] [ thread ]
Date: 6 Jul 2004 01:05:14 -0700
[Ramsay & Ullrich]:
> Woulda been more fun if neither of us had been explicit
> about the assumptions - then we'd actually have a proof
> and a counterexample for the same statement.
How very Lakatosian!!!
And, OC, for the very same reasons as well! (Implicit hidden assumptions)
------------------------------------------------------------------------------
Bill Taylor W.Taylor@math.canterbury.ac.nz
------------------------------------------------------------------------------
There was a certain result whose truth I never doubted.
Until I saw a proof... and then I wasn't quite sure...
------------------------------------------------------------------------------
- Next message: Jyrki Lahtonen: "Re: normalizer of Q8 in SL(2,q)"
- Previous message: The Ghost In The Machine: "Re: A little lesson for sqrt(144) year olds."
- In reply to: David C. Ullrich: "Re: An example of a complete but undecidable theory"
- Next in thread: Herman Rubin: "Re: An example of a complete but undecidable theory"
- Messages sorted by: [ date ] [ thread ]
Relevant Pages
|
