sci.logic (thread)

Where is the paradox in liar?, Newberry, 2006/04/30
- Re: Where is the paradox in liar?, Daryl McCullough, 2006/04/30
  - Re: Where is the paradox in liar?, Charlie-Boo, 2006/04/30
    - Re: Where is the paradox in liar?, Daryl McCullough, 2006/04/30
- Re: Where is the paradox in liar?, Charlie-Boo, 2006/04/30
Need help to answer a boy genius., ludios, 2006/04/30
- Re: Need help to answer a boy genius., abo, 2006/04/30
  - Re: Need help to answer a boy genius., ludios, 2006/04/30
- Re: Need help to answer a boy genius., Charlie-Boo, 2006/04/30
  - Re: Need help to answer a boy genius., Frederick Williams, 2006/04/30
    - Re: Need help to answer a boy genius., Charlie-Boo, 2006/04/30
Liar's Paradox in Godel's Theorem (newbie question), gundalav, 2006/04/30
- Re: Liar's Paradox in Godel's Theorem (newbie question), David Kinny, 2006/04/30
  - Re: Liar's Paradox in Godel's Theorem (newbie question), Charlie-Boo, 2006/04/30
- Re: Liar's Paradox in Godel's Theorem (newbie question), Aatu Koskensilta, 2006/04/30
  - Re: Liar's Paradox in Godel's Theorem (newbie question), gundalav, 2006/04/30
    - Re: Liar's Paradox in Godel's Theorem (newbie question), Aatu Koskensilta, 2006/04/30
  - Re: Liar's Paradox in Godel's Theorem (newbie question), Charlie-Boo, 2006/04/30
Fallacies, tjb, 2006/04/29
- Re: Fallacies, William Elliot, 2006/04/30
"read-only Turing machines", Snis Pilbor, 2006/04/29
A question of quantifiers, Herman Jurjus, 2006/04/29
Question..., Logic Noob, 2006/04/28
- Re: Question..., Barb Knox, 2006/04/28
  - Re: Question..., Logic Noob, 2006/04/29
    - Re: Question..., Barb Knox, 2006/04/29
      
      Re: Question..., Kevin Brubeck Unhammer, 2006/04/29
      
      Re: Question..., Barb Knox, 2006/04/29
The Real Bible Code - Decoding in Real Time, borisg1, 2006/04/28
Tarski's definition of infinity --- Help!, contradictions . for . all, 2006/04/28
- Re: Tarski's definition of infinity --- Help!, David C . Ullrich, 2006/04/28
  - Re: Tarski's definition of infinity --- Help!, contradictions . for . all, 2006/04/28
Plc and Pnuematics/Hydraulics, purebling, 2006/04/27
- Re: Plc and Pnuematics/Hydraulics, Frederick Williams, 2006/04/27
Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 2006/04/27
- Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Chris Menzel, 2006/04/27
  - Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 2006/04/27
    - Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 2006/04/27
      
      Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 2006/04/27
    - Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Patricia Shanahan, 2006/04/27
    - Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, G . Frege, 2006/04/27
    - Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, David C . Ullrich, 2006/04/28
      
      Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 2006/04/28
      
      Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 2006/04/28
      
      Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Patricia Shanahan, 2006/04/28
      
      Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Ross A. Finlayson, 2006/04/28
      
      Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, george, 2006/04/28
      
      Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 2006/04/28
      
      Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 2006/04/28
      
      Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Patricia Shanahan, 2006/04/28
      
      Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Patricia Shanahan, 2006/04/28
      
      Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 2006/04/28
      
      Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 2006/04/28
      
      Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, G . Frege, 2006/04/29
      
      Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Scott, 2006/04/28
      
      Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Patricia Shanahan, 2006/04/28
      
      Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 2006/04/28
      
      Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, David C . Ullrich, 2006/04/29
- Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Jan Burse, 2006/04/27
  - Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Jan Burse, 2006/04/27
  - Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Arturo Magidin, 2006/04/27
    - Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Jan Burse, 2006/04/27
    - Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, Jan Burse, 2006/04/27
- Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion, William Elliot, 2006/04/27
Categorical?, Bill Taylor, 2006/04/27
Undecible Arithmetic sentence?, Bill Taylor, 2006/04/27
- Re: Undecible Arithmetic sentence?, Aatu Koskensilta, 2006/04/27
- Re: Undecible Arithmetic sentence?, Aatu Koskensilta, 2006/04/27
- Re: Undecible Arithmetic sentence?, Daryl McCullough, 2006/04/27
- Message not available
  - Re: Undecible Arithmetic sentence?, matthias, 2006/04/28
    - Re: Undecible Arithmetic sentence?, Aatu Koskensilta, 2006/04/29
Wikipedia error about consistency of PA, george, 2006/04/25
Notice of new publications of potential interest to historians of logic, irvanellis@xxxxxxxxx, 2006/04/25
rPA - Relativistic Peano Arithmetic, Nam Nguyen, 2006/04/24
- Re: rPA - Relativistic Peano Arithmetic, Nam Nguyen, 2006/04/25
  - Re: rPA - Relativistic Peano Arithmetic, Nam Nguyen, 2006/04/25
    - Re: rPA - Relativistic Peano Arithmetic, William Elliot, 2006/04/25
      
      Re: rPA - Relativistic Peano Arithmetic, Nam Nguyen, 2006/04/25
Dinosaurs and a Historic Climate Change Meteorite., caesarjbsquitti, 2006/04/24
BIOCHIP --->>> VERY BAD !!!, okay, 2006/04/23
Re: Is platonism in math correct?, Jan Burse, 2006/04/23
- Re: Is platonism in math correct?, Jan Burse, 2006/04/23
  - Re: Is platonism in math correct?, Jan Burse, 2006/04/23
Lambda Abstraction, Sebastian Zimmer, 2006/04/23
- Re: Lambda Abstraction, William Elliot, 2006/04/23
- Re: Lambda Abstraction, H. J. Sander Bruggink, 2006/04/24
  - Re: Lambda Abstraction, Sebastian Zimmer, 2006/04/24
    - Re: Lambda Abstraction, William Elliot, 2006/04/25
      
      Re: Lambda Abstraction, Sebastian Zimmer, 2006/04/25
      
      Re: Lambda Abstraction, Sebastian Zimmer, 2006/04/26
      
      Re: Lambda Abstraction, William Elliot, 2006/04/26
      
      Re: Lambda Abstraction, William Elliot, 2006/04/26
    - Re: Lambda Abstraction, H. J. Sander Bruggink, 2006/04/26
Arithmetic with (only) exponentiation, Colin, 2006/04/22
- Re: Arithmetic with (only) exponentiation, A N Niel, 2006/04/22
  - Re: Arithmetic with (only) exponentiation, quasi, 2006/04/22
    - Re: Arithmetic with (only) exponentiation, george, 2006/04/23
      
      Re: Arithmetic with (only) exponentiation, Bertie Reed, 2006/04/25
      
      Re: Arithmetic with (only) exponentiation, george, 2006/04/25
      
      Re: Arithmetic with (only) exponentiation, Bertie Reed, 2006/04/26
      
      Re: Arithmetic with (only) exponentiation, george, 2006/04/26
      
      Re: Arithmetic with (only) exponentiation, Bertie Reed, 2006/04/27
      
      Re: Arithmetic with (only) exponentiation, george, 2006/04/27
      
      Re: Arithmetic with (only) exponentiation, Bertie Reed, 2006/04/27
      
      Re: Arithmetic with (only) exponentiation, Nam Nguyen, 2006/04/27
      
      Re: Arithmetic with (only) exponentiation, Nam Nguyen, 2006/04/27
      
      Re: Arithmetic with (only) exponentiation, Bertie Reed, 2006/04/28
      
      Re: Arithmetic with (only) exponentiation, Nam Nguyen, 2006/04/28
      
      Re: Arithmetic with (only) exponentiation, Nam Nguyen, 2006/04/28
      
      Re: Arithmetic with (only) exponentiation, Bertie Reed, 2006/04/30
      
      Re: Arithmetic with (only) exponentiation, george, 2006/04/26
      
      Re: Arithmetic with (only) exponentiation, george, 2006/04/27
      
      Re: Arithmetic with (only) exponentiation, Bertie Reed, 2006/04/28
      
      Re: Arithmetic with (only) exponentiation, george, 2006/04/28
      
      Re: Arithmetic with (only) exponentiation, george, 2006/04/29
  - Re: Arithmetic with (only) exponentiation, george, 2006/04/23
- Re: Arithmetic with (only) exponentiation, Charlie, 2006/04/28
  - Re: Arithmetic with (only) exponentiation, Jan Burse, 2006/04/28
An example of an axiomatizable complete non-categorical second order theory?, Aatu Koskensilta, 2006/04/22
- Re: An example of an axiomatizable complete non-categorical second order theory?, matthias, 2006/04/22
2SAT, 2DM, and Bin Packing, MARICA.MARIUS@xxxxxxxxx, 2006/04/22
W+1,W-1 and the infinitude of twin primes, ken.quirici@xxxxxxxxxx, 2006/04/21
- Re: W+1,W-1 and the infinitude of twin primes, David Kinny, 2006/04/21
  - Re: W+1,W-1 and the infinitude of twin primes, ken.quirici@xxxxxxxxxx, 2006/04/22
A problem in first order logic, juanpool@xxxxxxxxx, 2006/04/21
- Re: A problem in first order logic, David C . Ullrich, 2006/04/22
  - Re: A problem in first order logic, juanpool@xxxxxxxxx, 2006/04/25
    - Re: A problem in first order logic, David C . Ullrich, 2006/04/26
      
      Re: A problem in first order logic, juanpool@xxxxxxxxx, 2006/04/26
      
      Re: A problem in first order logic, David C . Ullrich, 2006/04/27
      
      Re: A problem in first order logic, juanpool@xxxxxxxxx, 2006/04/27
      
      Re: A problem in first order logic, juanpool@xxxxxxxxx, 2006/04/29
      
      Re: A problem in first order logic, Jan Burse, 2006/04/29
      
      Re: A problem in first order logic, juanpool@xxxxxxxxx, 2006/04/29
      
      Re: A problem in first order logic, juanpool@xxxxxxxxx, 2006/04/29
      
      Re: A problem in first order logic, Jan Burse, 2006/04/29
      
      Re: A problem in first order logic, David C . Ullrich, 2006/04/30
      
      Re: A problem in first order logic, David C . Ullrich, 2006/04/30
      
      Re: A problem in first order logic, juanpool@xxxxxxxxx, 2006/04/30
- A problem in first order logic, juanpool@xxxxxxxxx, 2006/04/21
Torkel Franzén is dead, erland, 2006/04/20
- Re: Torkel Franzén is dead, gowan4@xxxxxxxxxxx, 2006/04/20
  - Re: Torkel Franzén is dead, Nam Nguyen, 2006/04/20
- Re: Torkel Franzén is dead, Aatu Koskensilta, 2006/04/20
- Re: Torkel Franzén is dead, Lester Zick, 2006/04/20
- Re: Torkel Franzén is dead, Wolf Kirchmeir, 2006/04/20
  - Re: Torkel Franzén is dead, Daniel Innala Ahlmark, 2006/04/20
- Re: Torkel Franz�n is dead, The World Wide Wade, 2006/04/20
- Re: Torkel Franzén is dead, MoeBlee, 2006/04/20
  - Re: Torkel Franzén is dead, Hero, 2006/04/20
- Re: Torkel Franzén is dead, R. Srinivasan, 2006/04/20
- Re: Torkel Franzén is dead, Patrick, 2006/04/20
- Re: Torkel Franzén is dead, NM Public, 2006/04/20
- Re: Torkel Franz�n is dead, Tim Peters, 2006/04/20
- Re: Torkel Franz�n is dead, G . Frege, 2006/04/20
- Re: Torkel Franzén is dead, Chris Menzel, 2006/04/20
  - Re: Torkel Franzén is dead, george, 2006/04/23
    - Re: Torkel Franzén is dead, Nam Nguyen, 2006/04/24
- Re: Torkel Franzén is dead, Phil Carmody, 2006/04/20
- Re: Torkel Franzén is dead, erland, 2006/04/21
- Re: Torkel Franzén is dead, Robert Kolker, 2006/04/21
  - Re: Torkel Franzén is dead, Alon Amit, 2006/04/21
- Re: Torkel Franzén is dead, cbrown, 2006/04/21
- Re: Torkel Franzén is dead, William of Ockham, 2006/04/22
  - Re: Torkel Franzén is dead, William of Ockham, 2006/04/22
    - Re: Re: Torkel Franzén is dead, Lester Zick, 2006/04/22
    - Re: Torkel Franzén is dead, Phil Carmody, 2006/04/22
      
      Re: Torkel Franzén is dead, david petry, 2006/04/23
      
      Re: Torkel Franzén is dead, Nam Nguyen, 2006/04/24
    - Re: Torkel Franzén is dead, Ross A. Finlayson, 2006/04/24
  - Re: Torkel Franzén is dead, george, 2006/04/23
- Re: Torkel Franz�n is dead, JXStern, 2006/04/22
- Re: Torkel Franzén is dead, Paul Holbach, 2006/04/23
- Re: Torkel Franzén is dead, tchow, 2006/04/24
Math Logic?, holdemaa, 2006/04/20
- Re: Math Logic?, Frederick Williams, 2006/04/20
  - Re: Math Logic?, Patricia Shanahan, 2006/04/20
    - Re: Math Logic?, holdemaa, 2006/04/20
      
      Re: Math Logic?, Patricia Shanahan, 2006/04/20
      
      Re: Math Logic?, holdemaa, 2006/04/20
      
      Re: Math Logic?, Patricia Shanahan, 2006/04/20
      
      Re: Math Logic?, Bertie Reed, 2006/04/21
- Re: Math Logic?, holdemaa, 2006/04/24
Re: Palindromic movie, Jack Campin - bogus address, 2006/04/19
"Surviving the strongest.", Tommy Pedersen, 2006/04/19
- Re: "Surviving the strongest.", Aatu Koskensilta, 2006/04/19
  - Re: "Surviving the strongest.", Tommy Pedersen, 2006/04/19
    - Re: "Surviving the strongest.", Aatu Koskensilta, 2006/04/20
      
      Re: "Surviving the strongest.", Tommy Pedersen, 2006/04/21
      
      Re: "Surviving the strongest.", Aatu Koskensilta, 2006/04/25
Exclusiv-or, alexander.stuckenholz@xxxxxxxxx, 2006/04/18
- Re: Exclusiv-or, Frederick Williams, 2006/04/18
  - Re: Exclusiv-or, alexander.stuckenholz@xxxxxxxxx, 2006/04/18
natural deduction (2nd try), fooby, 2006/04/18
- Re: natural deduction (2nd try), William Elliot, 2006/04/18
  - Re: natural deduction (2nd try), G . Frege, 2006/04/18
    - Re: natural deduction (2nd try), William Elliot, 2006/04/18
      
      Re: natural deduction (2nd try), Amicus, 2006/04/18
      
      Re: natural deduction (2nd try), G . Frege, 2006/04/19
    - Re: natural deduction (2nd try), G . Frege, 2006/04/18
  - Re: natural deduction (2nd try), G . Frege, 2006/04/18
  - Re: natural deduction (2nd try), G . Frege, 2006/04/19
- Re: natural deduction (2nd try), G . Frege, 2006/04/18
- Re: natural deduction (2nd try), William Elliot, 2006/04/18
  - Re: natural deduction (2nd try), Amicus, 2006/04/18
    - Re: natural deduction (2nd try), William Elliot, 2006/04/19
      
      Re: natural deduction (2nd try), G . Frege, 2006/04/19
The Real Bible Code hides logical sequence of Images., borisg1, 2006/04/18
natural deduction, fooby, 2006/04/18
- Re: natural deduction, William Elliot, 2006/04/18
  - Re: natural deduction, fooby, 2006/04/18
    - Re: natural deduction, H. J. Sander Bruggink, 2006/04/18
- Re: natural deduction, H. J. Sander Bruggink, 2006/04/18
  - Re: natural deduction, G . Frege, 2006/04/19
A couple of mini meta theorems., Nam Nguyen, 2006/04/17
- Re: A couple of mini meta theorems., Aatu Koskensilta, 2006/04/18
  - Re: A couple of mini meta theorems., Nam Nguyen, 2006/04/18
    - Re: A couple of mini meta theorems., Nam Nguyen, 2006/04/18
    - Re: A couple of mini meta theorems., Frederick Williams, 2006/04/18
      
      Re: A couple of mini meta theorems., Nam Nguyen, 2006/04/18
      
      Re: A couple of mini meta theorems., george, 2006/04/18
    - Re: A couple of mini meta theorems., Aatu Koskensilta, 2006/04/18
      
      Re: A couple of mini meta theorems., Nam Nguyen, 2006/04/18
      
      Re: A couple of mini meta theorems., Nam Nguyen, 2006/04/19
      
      Re: A couple of mini meta theorems., Aatu Koskensilta, 2006/04/19
      
      Re: A couple of mini meta theorems., Nam Nguyen, 2006/04/19
      
      Re: A couple of mini meta theorems., Frederick Williams, 2006/04/19
      
      Re: A couple of mini meta theorems., Nam Nguyen, 2006/04/19
      
      Re: A couple of mini meta theorems., Frederick Williams, 2006/04/19
The Logical Foundations of Mathematics, redmaster, 2006/04/17
A question on "sufficiently large"., Nam Nguyen, 2006/04/17
- Re: A question on "sufficiently large"., Daryl McCullough, 2006/04/17
  - Re: A question on "sufficiently large"., Nam Nguyen, 2006/04/17
    - Re: A question on "sufficiently large"., Daryl McCullough, 2006/04/17
How to calculate a geometric ratio from a known sum of geometric progression to 23 terms 4408 and a fist number 901?, kopn, 2006/04/17
- Re: How to calculate a geometric ratio from a known sum of geometric progression to 23 terms 4408 and a fist number 901?, Barb Knox, 2006/04/17
  - Re: How to calculate a geometric ratio from a known sum of geometric progression to 23 terms 4408 and a fist number 901?, kopn, 2006/04/18
Jesus's AB blood on the Shroud of Turin and Suderian; questions, a_plutonium, 2006/04/16
- Re: Jesus's AB blood on the Shroud of Turin and Suderian; questions, Frederick Williams, 2006/04/16
  - Re: Jesus's AB blood on the Shroud of Turin and Suderian; questions, a_plutonium, 2006/04/16
    - Re: Jesus's AB blood on the Shroud of Turin and Suderian; questions, a_plutonium, 2006/04/16
      
      Re: Jesus's AB blood on the Shroud of Turin and Suderian; questions, a_plutonium, 2006/04/16
    - Re: Jesus's AB blood on the Shroud of Turin and Suderian; questions, Frederick Williams, 2006/04/24
- Re: Jesus's AB blood on the Shroud of Turin and Suderian; questions, hope4peace6669@xxxxxxxxx, 2006/04/16
  - Re: Jesus's AB blood on the Shroud of Turin and Suderian; questions, a_plutonium, 2006/04/18
    - Re: Jesus's AB blood on the Shroud of Turin and Suderian; questions, hope4peace6669@xxxxxxxxx, 2006/04/18
    - Re: Jesus's AB blood on the Shroud of Turin and Suderian; questions, John Ahlstrom, 2006/04/22
      
      Re: Jesus's AB blood on the Shroud of Turin and Suderian; questions, a_plutonium, 2006/04/23
Goodstein's Theorem, Peter_Smith, 2006/04/15
- Re: Goodstein's Theorem, matthias, 2006/04/15
  - Re: Goodstein's Theorem, Peter_Smith, 2006/04/16
  - Re: Goodstein's Theorem, Bhupinder Singh Anand, 2006/04/16
    - Re: Goodstein's Theorem, Rupert, 2006/04/17
      
      Re: Goodstein's Theorem, Bhupinder Singh Anand, 2006/04/20
      
      Re: Goodstein's Theorem, Aatu Koskensilta, 2006/04/21
Koenig's Lemma, Li Yi, 2006/04/14
- Re: Koenig's Lemma, David C . Ullrich, 2006/04/15
  - Re: Koenig's Lemma, Li Yi, 2006/04/15
    - Re: Koenig's Lemma, matthias, 2006/04/15
    - Re: Koenig's Lemma, David C . Ullrich, 2006/04/16
The LOGICAL approach to Bible Code, borisg1, 2006/04/13
- Re: The LOGICAL approach to Bible Code, Tommy Pedersen, 2006/04/15
  - Re: The LOGICAL approach to Bible Code, q_q_anonymous, 2006/04/25
    - Re: The LOGICAL approach to Bible Code, Avi Norowitz, 2006/04/26
      
      Re: The LOGICAL approach to Bible Code, q_q_anonymous@xxxxxxxxxxx, 2006/04/27
      
      Re: The LOGICAL approach to Bible Code, Avi Norowitz, 2006/04/29
      
      Re: The LOGICAL approach to Bible Code, q_q_anonymous@xxxxxxxxxxx, 2006/04/30
      
      Re: The LOGICAL approach to Bible Code, Avi Norowitz, 2006/04/30
- Re: The LOGICAL approach to Bible Code, Tommy Pedersen, 2006/04/15
solutions for Iraq war, Iran and NorthKorea nuclear weapons building; M.A.D. Fleet, a_plutonium, 2006/04/12
- Re: solutions for Iraq war, Iran and NorthKorea nuclear weapons building; M.A.D. Fleet, Frederick Williams, 2006/04/13
  - Re: solutions for Iraq war, Iran and NorthKorea nuclear weapons building; M.A.D. Fleet, a_plutonium, 2006/04/13
    - Re: solutions for Iraq war, Iran and NorthKorea nuclear weapons building; M.A.D. Fleet, a_plutonium, 2006/04/15
hyperspace, humano, 2006/04/12
- Re: hyperspace, William Elliot, 2006/04/12
A question on Kleene's and other classics, contradictions . for . all, 2006/04/12
- Re: A question on Kleene's and other classics, MoeBlee, 2006/04/12
- Re: A question on Kleene's and other classics, matthias, 2006/04/12
- Re: A question on Kleene's and other classics, matthias, 2006/04/12
- Re: A question on Kleene's and other classics, Peter_Smith, 2006/04/12
  - Re: A question on Kleene's and other classics, contradictions . for . all, 2006/04/13
building a "hybrid" and dynamic mathematical space, Alvaro . Castro . Castilla, 2006/04/12
logical implication with quantifiers, Kevin Chill, 2006/04/11
- Re: logical implication with quantifiers, MoeBlee, 2006/04/11
  - Re: logical implication with quantifiers, Patricia Shanahan, 2006/04/11
    - Re: logical implication with quantifiers, G . Frege, 2006/04/11
  - Re: logical implication with quantifiers, Kevin Chill, 2006/04/11
    - Re: logical implication with quantifiers, MoeBlee, 2006/04/11
      
      Re: logical implication with quantifiers, Ken Pledger, 2006/04/11
      
      Re: logical implication with quantifiers, Kevin Chill, 2006/04/12
      
      Re: logical implication with quantifiers, MoeBlee, 2006/04/12
      
      Re: logical implication with quantifiers, Owen, 2006/04/12
      
      Re: logical implication with quantifiers, Kevin Chill, 2006/04/12
      
      Re: logical implication with quantifiers, G . Frege, 2006/04/16
      
      Re: logical implication with quantifiers, Owen, 2006/04/17
What is the intuitive meaning of Goedel's undecidable statement?, mikeh106, 2006/04/11
- Re: What is the intuitive meaning of Goedel's undecidable statement?, Bhupinder Singh Anand, 2006/04/12
  - Re: What is the intuitive meaning of Goedel's undecidable statement?, george, 2006/04/13
- Re: What is the intuitive meaning of Goedel's undecidable statement?, Charlie-Boo, 2006/04/12
  - Re: What is the intuitive meaning of Goedel's undecidable statement?, Bhupinder Singh Anand, 2006/04/13
    - Re: What is the intuitive meaning of Goedel's undecidable statement?, Charlie-Boo, 2006/04/23
    - Re: What is the intuitive meaning of Goedel's undecidable statement?, george, 2006/04/26
- Re: What is the intuitive meaning of Goedel's undecidable statement?, george, 2006/04/13
  - Re: What is the intuitive meaning of Goedel's undecidable statement?, Nam Nguyen, 2006/04/21
    - Re: What is the intuitive meaning of Goedel's undecidable statement?, Barb Knox, 2006/04/21
      
      Re: What is the intuitive meaning of Goedel's undecidable statement?, Nam Nguyen, 2006/04/21
      
      Re: What is the intuitive meaning of Goedel's undecidable statement?, Daryl McCullough, 2006/04/21
      
      Re: What is the intuitive meaning of Goedel's undecidable statement?, Nam Nguyen, 2006/04/21
      
      Re: What is the intuitive meaning of Goedel's undecidable statement?, Daryl McCullough, 2006/04/21
- Re: What is the intuitive meaning of Goedel's undecidable statement?, Jan Burse, 2006/04/27
  - Re: What is the intuitive meaning of Goedel's undecidable statement?, Jan Burse, 2006/04/27
    - Re: What is the intuitive meaning of Goedel's undecidable statement?, Jan Burse, 2006/04/27
    - Re: What is the intuitive meaning of Goedel's undecidable statement?, Jan Burse, 2006/04/27
- Re: What is the intuitive meaning of Goedel's undecidable statement?, Newberry, 2006/04/29
- What is the intuitive meaning of Goedel's undecidable statement?, mikeh106, 2006/04/11
interpolation theorem of propositional logic, Li Yi, 2006/04/11
- Re: interpolation theorem of propositional logic, David C . Ullrich, 2006/04/12
  - Re: interpolation theorem of propositional logic, Jan Burse, 2006/04/12
    - Re: interpolation theorem of propositional logic, David C . Ullrich, 2006/04/13
      
      Re: interpolation theorem of propositional logic, Jan Burse, 2006/04/13
      
      Re: interpolation theorem of propositional logic, David C . Ullrich, 2006/04/14
      
      Re: interpolation theorem of propositional logic, Jan Burse, 2006/04/14
      
      Re: interpolation theorem of propositional logic, Frederick Williams, 2006/04/14
      
      Re: interpolation theorem of propositional logic, David C . Ullrich, 2006/04/15
      
      Re: interpolation theorem of propositional logic, Jan Burse, 2006/04/14
      
      Re: interpolation theorem of propositional logic, Jan Burse, 2006/04/14
      
      Re: interpolation theorem of propositional logic, David C . Ullrich, 2006/04/15
      
      Re: interpolation theorem of propositional logic, Jan Burse, 2006/04/13
      
      Re: interpolation theorem of propositional logic, David C . Ullrich, 2006/04/14
      
      Re: interpolation theorem of propositional logic, matthias, 2006/04/14
      
      Re: interpolation theorem of propositional logic, Frederick Williams, 2006/04/14
      
      Re: interpolation theorem of propositional logic, matthias, 2006/04/14
      
      Re: interpolation theorem of propositional logic, David C . Ullrich, 2006/04/15
- Re: interpolation theorem of propositional logic, Frederick Williams, 2006/04/14
compactness implies completeness?, Li Yi, 2006/04/10
- Re: compactness implies completeness?, Frederick Williams, 2006/04/10
- Re: compactness implies completeness?, Jan Burse, 2006/04/10
  - Re: compactness implies completeness?, H. J. Sander Bruggink, 2006/04/12
    - Re: compactness implies completeness?, Jan Burse, 2006/04/12
minimum counterexample help, isaac_2004, 2006/04/10
- minimum counterexample help, isaac_2004, 2006/04/10
- minimum counterexample help, isaac_2004, 2006/04/10
- minimum counterexample help, isaac_2004, 2006/04/10
- minimum counterexample help, isaac_2004, 2006/04/10
Halting Problem (Halting Game) Question, dankirsh, 2006/04/09
A Simple "Proof" of Fermat's Last Theorem, contradictions . for . all, 2006/04/09
- Re: A Simple "Proof" of Fermat's Last Theorem, Jan Burse, 2006/04/09
  - Re: A Simple "Proof" of Fermat's Last Theorem, Jan Burse, 2006/04/09
    - Re: A Simple "Proof" of Fermat's Last Theorem, juanpool@xxxxxxxxx, 2006/04/10
      
      Re: A Simple "Proof" of Fermat's Last Theorem, Jan Burse, 2006/04/10
    - Re: A Simple "Proof" of Fermat's Last Theorem, juanpool@xxxxxxxxx, 2006/04/10
      
      Re: A Simple "Proof" of Fermat's Last Theorem, Jan Burse, 2006/04/10
  - Re: A Simple "Proof" of Fermat's Last Theorem, Jan Burse, 2006/04/10
    - Re: A Simple "Proof" of Fermat's Last Theorem, juanpool@xxxxxxxxx, 2006/04/10
      
      Re: A Simple "Proof" of Fermat's Last Theorem, Jan Burse, 2006/04/11
      
      Re: A Simple "Proof" of Fermat's Last Theorem, juanpool@xxxxxxxxx, 2006/04/11
      
      Re: A Simple "Proof" of Fermat's Last Theorem, Jan Burse, 2006/04/11
    - Re: A Simple "Proof" of Fermat's Last Theorem, juanpool@xxxxxxxxx, 2006/04/10
      
      Re: A Simple "Proof" of Fermat's Last Theorem, Jan Burse, 2006/04/11
      
      Re: A Simple "Proof" of Fermat's Last Theorem, Jan Burse, 2006/04/11
Godel's incompleteness theorem vs Church's/Turings work, falcon, 2006/04/08
- Re: Godel's incompleteness theorem vs Church's/Turings work, Frederick Williams, 2006/04/09
  - Re: Godel's incompleteness theorem vs Church's/Turings work, george, 2006/04/13
    - Re: Godel's incompleteness theorem vs Church's/Turings work, Peter_Smith, 2006/04/13
- Re: Godel's incompleteness theorem vs Church's/Turings work, kjd_72, 2006/04/09
- Re: Godel's incompleteness theorem vs Church's/Turings work, Rupert, 2006/04/09
What kind/type of "argument" is this, HarryTruman, 2006/04/08
- Re: What kind/type of "argument" is this, kjd_72, 2006/04/08
Occam's Razor applied to the Historical Jesus, a_plutonium, 2006/04/08
- Re: Occam's Razor applied to the Historical Jesus, Howard, 2006/04/08
  - Re: Occam's Razor applied to the Historical Jesus, Tron, 2006/04/08
- Re: Occam's Razor applied to the Historical Jesus, a_plutonium, 2006/04/09
  - Re: Occam's Razor applied to the Historical Jesus, Jan Burse, 2006/04/09
    - Re: Occam's Razor applied to the Historical Jesus, Jan Burse, 2006/04/09
question about solving proofs through math, isaac_2004, 2006/04/07
- Re: question about solving proofs through math, Barb Knox, 2006/04/07
  - Re: question about solving proofs through math, isaac_2004, 2006/04/09
    - Re: question about solving proofs through math, The Ghost In The Machine, 2006/04/09
      
      Re: question about solving proofs through math, isaac_2004, 2006/04/10
      
      Re: question about solving proofs through math, isaac_2004, 2006/04/10
- Re: question about solving proofs through math, William Elliot, 2006/04/07
Russell, Surprises and God (and a Quiz, naturally), Charlie-Boo, 2006/04/07
- Re: Russell, Surprises and God (and a Quiz, naturally), Chris Menzel, 2006/04/07
  - Re: Russell, Surprises and God (and a Quiz, naturally), donstockbauer, 2006/04/07
  - Re: Russell, Surprises and God (and a Quiz, naturally), Charlie-Boo, 2006/04/11
    - Re: Russell, Surprises and God (and a Quiz, naturally), David C . Ullrich, 2006/04/12
      
      Re: Russell, Surprises and God (and a Quiz, naturally), Charlie-Boo, 2006/04/12
      
      Re: Russell, Surprises and God (and a Quiz, naturally), David C . Ullrich, 2006/04/13
      
      Re: Russell, Surprises and God (and a Quiz, naturally), Charlie-Boo, 2006/04/23
      
      Re: Russell, Surprises and God (and a Quiz, naturally), David C . Ullrich, 2006/04/24
      
      Re: Russell, Surprises and God (and a Quiz, naturally), Charlie-Boo, 2006/04/24
      
      Re: Russell, Surprises and God (and a Quiz, naturally), David C . Ullrich, 2006/04/25
      
      Re: Russell, Surprises and God (and a Quiz, naturally), Charlie-Boo, 2006/04/25
      
      Re: Russell, Surprises and God (and a Quiz, naturally), David C . Ullrich, 2006/04/26
    - Re: Russell, Surprises and God (and a Quiz, naturally), Chris Menzel, 2006/04/12
      
      Re: Russell, Surprises and God (and a Quiz, naturally), Charlie-Boo, 2006/04/23
      
      Re: Russell, Surprises and God (and a Quiz, naturally), H. J. Sander Bruggink, 2006/04/24
      
      Re: Russell, Surprises and God (and a Quiz, naturally), Charlie-Boo, 2006/04/25
      
      Re: Russell, Surprises and God (and a Quiz, naturally), H. J. Sander Bruggink, 2006/04/26
      
      Re: Russell, Surprises and God (and a Quiz, naturally), Charlie-Boo, 2006/04/30
    - Re: Russell, Surprises and God (and a Quiz, naturally), george, 2006/04/25
      
      Re: Russell, Surprises and God (and a Quiz, naturally), Charlie-Boo, 2006/04/25
A question about proofs of the Second Incompleteness Theorem., kjd_72, 2006/04/06
- Re: A question about proofs of the Second Incompleteness Theorem., Jeff Barnett, 2006/04/07
  - Re: A question about proofs of the Second Incompleteness Theorem., Charlie-Boo, 2006/04/07
    - Re: A question about proofs of the Second Incompleteness Theorem., Frederick Williams, 2006/04/07
      
      Re: A question about proofs of the Second Incompleteness Theorem., Charlie-Boo, 2006/04/11
  - Re: A question about proofs of the Second Incompleteness Theorem., Pierre Asselin, 2006/04/07
    - Re: A question about proofs of the Second Incompleteness Theorem., Jeff Barnett, 2006/04/08
  - Re: A question about proofs of the Second Incompleteness Theorem., kjd_72, 2006/04/08
    - Re: A question about proofs of the Second Incompleteness Theorem., Rupert, 2006/04/09
Re: Universal Programming Lanaguage, Edward Meinert, 2006/04/06
- Re: Universal Programming Lanaguage, David Kinny, 2006/04/06
Re: Complete ordered field and induction., David C . Ullrich, 2006/04/06
- Re: Complete ordered field and induction., Frederick Williams, 2006/04/06
- Re: Complete ordered field and induction., Frederick Williams, 2006/04/06
  - Re: Complete ordered field and induction., David C . Ullrich, 2006/04/07
    - Re: Complete ordered field and induction., Frederick Williams, 2006/04/07
  - Re: Complete ordered field and induction., Alan Smaill, 2006/04/12
    - Re: Complete ordered field and induction., MoeBlee, 2006/04/12
      
      Re: Complete ordered field and induction., Alan Smaill, 2006/04/13
      
      Re: Complete ordered field and induction., MoeBlee, 2006/04/13
      
      Re: Complete ordered field and induction., Bertie Reed, 2006/04/18
- Re: Complete ordered field and induction., Rupert, 2006/04/09
- Re: Complete ordered field and induction., Rupert, 2006/04/09
  - Re: Complete ordered field and induction., Frederick Williams, 2006/04/10
  - Re: Complete ordered field and induction., Rupert, 2006/04/10
Is Go"del's Proof Constructive?, unitset, 2006/04/05
- Re: Is Go"del's Proof Constructive?, Peter_Smith, 2006/04/05
What are Inductive Turing Machines, juanpool@xxxxxxxxx, 2006/04/05
- Re: What are Inductive Turing Machines, juanpool@xxxxxxxxx, 2006/04/06
  - Re: What are Inductive Turing Machines, Jim, 2006/04/06
    - Re: What are Inductive Turing Machines, juanpool@xxxxxxxxx, 2006/04/06
      
      Re: What are Inductive Turing Machines, Jim, 2006/04/06
      
      Re: What are Inductive Turing Machines, juanpool@xxxxxxxxx, 2006/04/07
CFPart: Deontic Logic in Computer Science (DEON2006), Henry Prakken, 2006/04/05
New newsgroup Logic updated daily visit, leeran, 2006/04/05
New scinence news group, abukase1, 2006/04/04
CHARGE!, NILS B�RJESSON, 2006/04/04
"Countably Well-Ordered" ?, Bill Taylor, 2006/04/04
- Re: "Countably Well-Ordered" ?, Patricia Shanahan, 2006/04/04
- Re: "Countably Well-Ordered" ?, William Elliot, 2006/04/04
- Re: "Countably Well-Ordered" ?, David C . Ullrich, 2006/04/04
  - Re: "Countably Well-Ordered" ?, Herman Jurjus, 2006/04/05
    - Re: "Countably Well-Ordered" ?, David C . Ullrich, 2006/04/06
      
      Re: "Countably Well-Ordered" ?, fred . galvin, 2006/04/06
      
      Re: "Countably Well-Ordered" ?, David Libert, 2006/04/07
      
      Re: "Countably Well-Ordered" ?, David C . Ullrich, 2006/04/07
      
      Re: "Countably Well-Ordered" ?, David C . Ullrich, 2006/04/07
- Re: "Countably Well-Ordered" ?, matthias, 2006/04/04
- Re: "Countably Well-Ordered" ?, george, 2006/04/05
  - Re: "Countably Well-Ordered" ?, Bill Taylor, 2006/04/09
  - Re: "Countably Well-Ordered" ?, Chris Menzel, 2006/04/09
  - Re: "Countably Well-Ordered" ?, Daryl McCullough, 2006/04/09
  - Re: "Countably Well-Ordered" ?, Frederick Williams, 2006/04/09
    - Re: "Countably Well-Ordered" ?, Bill Taylor, 2006/04/10
A puzzle..., Munsey, 2006/04/03
Godel's original proof of completeness, LISP, 2006/04/03
- Re: Godel's original proof of completeness, LISP, 2006/04/03
Re: Goedel incompl. theorems, Henrik, 2006/04/02
- Re: Goedel incompl. theorems, matthias, 2006/04/04
  - Re: Goedel incompl. theorems, george, 2006/04/05
    - Re: Goedel incompl. theorems, matthias, 2006/04/05
Want a free video game system, macdeezy, 2006/04/02
- Re: Want a free video game system, Frederick Williams, 2006/04/02
  - Re: Want a free video game system, Aatu Koskensilta, 2006/04/02
    - Re: Want a free video game system, macdeezy, 2006/04/04
Fuzzy logic., Starbles, 2006/04/01
- Re: Fuzzy logic., Herman Jurjus, 2006/04/03
- Re: Fuzzy logic., Colin, 2006/04/03
  - Re: Fuzzy logic., Starbles, 2006/04/03
The True Story on Root Solving. DEDICATED TO ALL YOUNG MATH STUDENTS, arithmonic, 2006/04/01
- Re: The True Story on Root Solving. DEDICATED TO ALL YOUNG MATH STUDENTS, Jan Burse, 2006/04/01
  - Re: The True Story on Root Solving. DEDICATED TO ALL YOUNG MATH STUDENTS, arithmonic, 2006/04/05
- Re: The True Story on Root Solving. DEDICATED TO ALL YOUNG MATH STUDENTS, Jan Burse, 2006/04/01
  - Re: The True Story on Root Solving. DEDICATED TO ALL YOUNG MATH STUDENTS, arithmonic, 2006/04/05
    - Re: The True Story on Root Solving. DEDICATED TO ALL YOUNG MATH STUDENTS, Jan Burse, 2006/04/05
      
      Re: The True Story on Root Solving. DEDICATED TO ALL YOUNG MATH STUDENTS, arithmonic, 2006/04/05
      
      Re: The True Story on Root Solving. DEDICATED TO ALL YOUNG MATH STUDENTS, Jan Burse, 2006/04/05
A simple cause for complex disease., caesarjbsquitti, 2006/04/01
- Re: A simple cause for complex disease., Frederick Williams, 2006/04/02
  - Re: A simple cause for complex disease., caesarjbsquitti, 2006/04/04
[FAQ, 99/07/28] Mathematical logic on the web, Boris 'pi' Piwinger, 2006/03/31
Re: FOL theories and models - A "peculiar" situation, Nam Nguyen, 2006/03/31
- Re: FOL theories and models - A "peculiar" situation, Bertie Reed, 2006/04/01
  - Re: FOL theories and models - A "peculiar" situation, Nam Nguyen, 2006/04/03
    - Re: FOL theories and models - A "peculiar" situation, Nam Nguyen, 2006/04/06
Re: Possible world semantics, Barb Knox, 2006/03/31
- Re: Possible world semantics, Sundar, 2006/03/31
  - Re: Possible world semantics, waveletter, 2006/04/01
    - Re: Possible world semantics, Sundar, 2006/04/01
      
      Re: Possible world semantics, Chris Menzel, 2006/04/01
- Re: Possible world semantics, Frederick Williams, 2006/03/31