sci.logic

• Thread Index

---

• Re: The LOGICAL approach to Bible Code
  • From: q_q_anonymous@xxxxxxxxxxx
• Re: Where is the paradox in liar?
  • From: abo
• Re: Where is the paradox in liar?
  • From: Newberry
• Re: What is the intuitive meaning of Goedel's undecidable statement?
  • From: Newberry
• Re: A problem in first order logic
  • From: juanpool@xxxxxxxxx
• Re: Liar's Paradox in Godel's Theorem (newbie question)
  • From: Aatu Koskensilta
• Re: Where is the paradox in liar?
  • From: abo
• Re: Where is the paradox in liar?
  • From: Newberry
• Re: What is the intuitive meaning of Goedel's undecidable statement?
  • From: Charlie-Boo
• Re: The LOGICAL approach to Bible Code
  • From: Avi Norowitz
• Re: Need help to answer a boy genius.
  • From: Charlie-Boo
• Re: Liar's Paradox in Godel's Theorem (newbie question)
  • From: Charlie-Boo
• Re: Liar's Paradox in Godel's Theorem (newbie question)
  • From: Charlie-Boo
• Re: Need help to answer a boy genius.
  • From: Frederick Williams
• Re: Need help to answer a boy genius.
  • From: Charlie-Boo
• Re: Need help to answer a boy genius.
  • From: ludios
• Re: Where is the paradox in liar?
  • From: Daryl McCullough
• Re: Where is the paradox in liar?
  • From: Charlie-Boo
• Re: Where is the paradox in liar?
  • From: Charlie-Boo
• Re: Where is the paradox in liar?
  • From: Daryl McCullough
• Re: Arithmetic with (only) exponentiation
  • From: Bertie Reed
• Where is the paradox in liar?
  • From: Newberry
• Re: Need help to answer a boy genius.
  • From: abo
• Need help to answer a boy genius.
  • From: ludios
• Re: A problem in first order logic
  • From: juanpool@xxxxxxxxx
• Re: A problem in first order logic
  • From: David C . Ullrich
• Re: A problem in first order logic
  • From: David C . Ullrich
• Re: Liar's Paradox in Godel's Theorem (newbie question)
  • From: Aatu Koskensilta
• Re: Liar's Paradox in Godel's Theorem (newbie question)
  • From: gundalav
• Re: Liar's Paradox in Godel's Theorem (newbie question)
  • From: Aatu Koskensilta
• Re: Liar's Paradox in Godel's Theorem (newbie question)
  • From: David Kinny
• Liar's Paradox in Godel's Theorem (newbie question)
  • From: gundalav
• Re: The LOGICAL approach to Bible Code
  • From: q_q_anonymous@xxxxxxxxxxx
• Re: Fallacies
  • From: William Elliot
• Re: The LOGICAL approach to Bible Code
  • From: Avi Norowitz
• Re: What is the intuitive meaning of Goedel's undecidable statement?
  • From: Newberry
• Re: Question...
  • From: Barb Knox
• Fallacies
  • From: tjb
• "read-only Turing machines"
  • From: Snis Pilbor
• Re: A problem in first order logic
  • From: Jan Burse
• Re: A problem in first order logic
  • From: juanpool@xxxxxxxxx
• Re: A problem in first order logic
  • From: juanpool@xxxxxxxxx
• Re: A problem in first order logic
  • From: Jan Burse
• Re: A problem in first order logic
  • From: juanpool@xxxxxxxxx
• Re: Question...
  • From: Kevin Brubeck Unhammer
• Re: Undecible Arithmetic sentence?
  • From: Aatu Koskensilta
• Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion
  • From: David C . Ullrich
• Re: Question...
  • From: Barb Knox
• Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion
  • From: G . Frege
• Re: Question...
  • From: Logic Noob
• Re: Question...
  • From: Barb Knox
• Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion
  • From: Arturo Magidin
• Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion
  • From: Arturo Magidin
• Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion
  • From: Patricia Shanahan
• Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion
  • From: Scott
• Question...
  • From: Logic Noob
• Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion
  • From: Scott
• Re: Undecible Arithmetic sentence?
  • From: matthias
• Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion
  • From: Patricia Shanahan
• Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion
  • From: Patricia Shanahan
• Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion
  • From: Scott
• Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion
  • From: Arturo Magidin
• Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion
  • From: Ross A. Finlayson
• Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion
  • From: Patricia Shanahan
• Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion
  • From: george
• Re: Arithmetic with (only) exponentiation
  • From: Nam Nguyen
• Re: Arithmetic with (only) exponentiation
  • From: Nam Nguyen
• Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion
  • From: Arturo Magidin
• Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion
  • From: Scott
• The Real Bible Code - Decoding in Real Time
  • From: borisg1
• Re: Arithmetic with (only) exponentiation
  • From: Bertie Reed
• Re: Tarski's definition of infinity --- Help!
  • From: contradictions . for . all
• Re: Tarski's definition of infinity --- Help!
  • From: David C . Ullrich
• Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion
  • From: David C . Ullrich
• Tarski's definition of infinity --- Help!
  • From: contradictions . for . all
• Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion
  • From: William Elliot
• Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion
  • From: Jan Burse
• Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion
  • From: Jan Burse
• Re: Plc and Pnuematics/Hydraulics
  • From: Frederick Williams
• Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion
  • From: G . Frege
• Re: Arithmetic with (only) exponentiation
  • From: Bertie Reed
• Re: Arithmetic with (only) exponentiation
  • From: Nam Nguyen
• Re: Arithmetic with (only) exponentiation
  • From: Nam Nguyen
• Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion
  • From: Arturo Magidin
• Re: Arithmetic with (only) exponentiation
  • From: george
• Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion
  • From: Jan Burse
• Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion
  • From: Patricia Shanahan
• Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion
  • From: Jan Burse
• Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion
  • From: Arturo Magidin
• Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion
  • From: Arturo Magidin
• Plc and Pnuematics/Hydraulics
  • From: purebling
• Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion
  • From: Scott
• Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion
  • From: Chris Menzel
• Request for Peer Review - Refutation of Cantor Theorem Conclusion
  • From: Scott
• Re: A problem in first order logic
  • From: juanpool@xxxxxxxxx
• Re: Arithmetic with (only) exponentiation
  • From: Bertie Reed
• Re: Undecible Arithmetic sentence?
  • From: Daryl McCullough
• Re: Undecible Arithmetic sentence?
  • From: Aatu Koskensilta
• Re: Undecible Arithmetic sentence?
  • From: Aatu Koskensilta
• Re: Undecible Arithmetic sentence?
  • From: Aatu Koskensilta
• Re: Undecible Arithmetic sentence?
  • From: Aatu Koskensilta
• Re: Undecible Arithmetic sentence?
  • From: Aatu Koskensilta
• Re: A problem in first order logic
  • From: David C . Ullrich
• Re: What is the intuitive meaning of Goedel's undecidable statement?
  • From: Jan Burse
• Re: What is the intuitive meaning of Goedel's undecidable statement?
  • From: Jan Burse
• Re: What is the intuitive meaning of Goedel's undecidable statement?
  • From: Jan Burse
• Re: What is the intuitive meaning of Goedel's undecidable statement?
  • From: Jan Burse
• Re: The LOGICAL approach to Bible Code
  • From: q_q_anonymous@xxxxxxxxxxx
• Categorical?
  • From: Bill Taylor
• Undecible Arithmetic sentence?
  • From: Bill Taylor
• Re: Lambda Abstraction
  • From: William Elliot
• Re: Lambda Abstraction
  • From: William Elliot
• Re: What is the intuitive meaning of Goedel's undecidable statement?
  • From: george
• Re: The LOGICAL approach to Bible Code
  • From: Avi Norowitz
• Re: Arithmetic with (only) exponentiation
  • From: george
• Re: Lambda Abstraction
  • From: Sebastian Zimmer
• Re: A problem in first order logic
  • From: juanpool@xxxxxxxxx
• Re: Lambda Abstraction
  • From: H. J. Sander Bruggink
• Re: A problem in first order logic
  • From: David C . Ullrich
• Re: Arithmetic with (only) exponentiation
  • From: Bertie Reed
• Re: Russell, Surprises and God (and a Quiz, naturally)
  • From: Charlie-Boo
• Re: Arithmetic with (only) exponentiation
  • From: george
• Re: The LOGICAL approach to Bible Code
  • From: q_q_anonymous
• Wikipedia error about consistency of PA
  • From: george
• Re: Russell, Surprises and God (and a Quiz, naturally)
  • From: george
• Re: Lambda Abstraction
  • From: Sebastian Zimmer
• Re: rPA - Relativistic Peano Arithmetic
  • From: Nam Nguyen
• Re: A problem in first order logic
  • From: juanpool@xxxxxxxxx
• Notice of new publications of potential interest to historians of logic
  • From: irvanellis@xxxxxxxxx
• Re: "Surviving the strongest."
  • From: Aatu Koskensilta
• Re: rPA - Relativistic Peano Arithmetic
  • From: William Elliot
• Re: Lambda Abstraction
  • From: William Elliot
• Re: rPA - Relativistic Peano Arithmetic
  • From: Nam Nguyen
• Re: rPA - Relativistic Peano Arithmetic
  • From: Nam Nguyen
• rPA - Relativistic Peano Arithmetic
  • From: Nam Nguyen
• Re: Lambda Abstraction
  • From: Sebastian Zimmer
• Dinosaurs and a Historic Climate Change Meteorite.
  • From: caesarjbsquitti
• Re: Lambda Abstraction
  • From: H. J. Sander Bruggink
• Re: Math Logic?
  • From: holdemaa
• Re: What is the intuitive meaning of Goedel's undecidable statement?
  • From: Charlie-Boo
• BIOCHIP --->>> VERY BAD !!!
  • From: okay
• Re: Is platonism in math correct?
  • From: Jan Burse
• Re: Is platonism in math correct?
  • From: Jan Burse
• Re: Lambda Abstraction
  • From: William Elliot
• Lambda Abstraction
  • From: Sebastian Zimmer
• Re: An example of an axiomatizable complete non-categorical second order theory?
  • From: matthias
• Re: W+1,W-1 and the infinitude of twin primes
  • From: ken.quirici@xxxxxxxxxx
• An example of an axiomatizable complete non-categorical second order theory?
  • From: Aatu Koskensilta
• Re: A problem in first order logic
  • From: David C . Ullrich
• 2SAT, 2DM, and Bin Packing
  • From: MARICA.MARIUS@xxxxxxxxx
• Re: W+1,W-1 and the infinitude of twin primes
  • From: David Kinny
• W+1,W-1 and the infinitude of twin primes
  • From: ken.quirici@xxxxxxxxxx
• Re: What is the intuitive meaning of Goedel's undecidable statement?
  • From: Daryl McCullough
• Re: What is the intuitive meaning of Goedel's undecidable statement?
  • From: Nam Nguyen
• Re: Goodstein's Theorem
  • From: Aatu Koskensilta
• A problem in first order logic
  • From: juanpool@xxxxxxxxx
• A problem in first order logic
  • From: juanpool@xxxxxxxxx
• Re: What is the intuitive meaning of Goedel's undecidable statement?
  • From: Daryl McCullough
• Re: What is the intuitive meaning of Goedel's undecidable statement?
  • From: Nam Nguyen
• Re: "Surviving the strongest."
  • From: Tommy Pedersen
• Re: Math Logic?
  • From: Bertie Reed
• Re: What is the intuitive meaning of Goedel's undecidable statement?
  • From: Barb Knox
• Re: What is the intuitive meaning of Goedel's undecidable statement?
  • From: Nam Nguyen
• Re: Math Logic?
  • From: Patricia Shanahan
• Re: Goodstein's Theorem
  • From: Bhupinder Singh Anand
• Re: Math Logic?
  • From: holdemaa
• Re: Math Logic?
  • From: Patricia Shanahan
• Re: Math Logic?
  • From: holdemaa
• Re: Math Logic?
  • From: Patricia Shanahan
• Re: "Surviving the strongest."
  • From: Aatu Koskensilta
• Re: Math Logic?
  • From: Frederick Williams
• Math Logic?
  • From: holdemaa
• Re: Palindromic movie
  • From: Jack Campin - bogus address
• Re: natural deduction (2nd try)
  • From: G . Frege
• Re: natural deduction
  • From: G . Frege
• Re: natural deduction (2nd try)
  • From: G . Frege
• Re: natural deduction (2nd try)
  • From: G . Frege
• Re: "Surviving the strongest."
  • From: Tommy Pedersen
• Re: A couple of mini meta theorems.
  • From: Frederick Williams
• Re: A couple of mini meta theorems.
  • From: Frederick Williams
• Re: A couple of mini meta theorems.
  • From: Nam Nguyen
• Re: A couple of mini meta theorems.
  • From: Nam Nguyen
• Re: A couple of mini meta theorems.
  • From: Aatu Koskensilta
• Re: "Surviving the strongest."
  • From: Aatu Koskensilta
• "Surviving the strongest."
  • From: Tommy Pedersen
• Re: A couple of mini meta theorems.
  • From: Nam Nguyen
• Re: natural deduction (2nd try)
  • From: William Elliot
• Re: A couple of mini meta theorems.
  • From: Nam Nguyen
• Re: A couple of mini meta theorems.
  • From: Aatu Koskensilta
• Re: A couple of mini meta theorems.
  • From: george
• Re: Exclusiv-or
  • From: alexander.stuckenholz@xxxxxxxxx
• Re: A couple of mini meta theorems.
  • From: Nam Nguyen
• Re: A couple of mini meta theorems.
  • From: Frederick Williams
• Re: Exclusiv-or
  • From: Frederick Williams
• Re: A couple of mini meta theorems.
  • From: Nam Nguyen
• Re: A couple of mini meta theorems.
  • From: Nam Nguyen
• Re: natural deduction (2nd try)
  • From: Amicus
• Exclusiv-or
  • From: alexander.stuckenholz@xxxxxxxxx
• Re: natural deduction (2nd try)
  • From: Amicus
• Re: natural deduction (2nd try)
  • From: G . Frege
• Re: natural deduction (2nd try)
  • From: William Elliot
• Re: natural deduction (2nd try)
  • From: William Elliot
• Re: natural deduction (2nd try)
  • From: G . Frege
• Re: natural deduction (2nd try)
  • From: G . Frege
• Re: natural deduction (2nd try)
  • From: G . Frege
• Re: natural deduction
  • From: H. J. Sander Bruggink
• Re: natural deduction (2nd try)
  • From: William Elliot
• natural deduction (2nd try)
  • From: fooby
• Re: natural deduction
  • From: H. J. Sander Bruggink
• Re: natural deduction
  • From: fooby
• Re: natural deduction
  • From: William Elliot
• Re: A couple of mini meta theorems.
  • From: Aatu Koskensilta
• The Real Bible Code hides logical sequence of Images.
  • From: borisg1
• natural deduction
  • From: fooby
• Re: Goodstein's Theorem
  • From: Rupert
• Re: A question on "sufficiently large".
  • From: Daryl McCullough
• A couple of mini meta theorems.
  • From: Nam Nguyen
• Re: A question on "sufficiently large".
  • From: Nam Nguyen
• The Logical Foundations of Mathematics
  • From: redmaster
• Re: A question on "sufficiently large".
  • From: Daryl McCullough
• Re: logical implication with quantifiers
  • From: Owen
• A question on "sufficiently large".
  • From: Nam Nguyen
• How to calculate a geometric ratio from a known sum of geometric progression to 23 terms 4408 and a fist number 901?
  • From: kopn
• Re: Goodstein's Theorem
  • From: Bhupinder Singh Anand
• Re: Koenig's Lemma
  • From: David C . Ullrich
• Re: logical implication with quantifiers
  • From: G . Frege
• Re: Goodstein's Theorem
  • From: Peter_Smith
• Re: Goodstein's Theorem
  • From: matthias
• Goodstein's Theorem
  • From: Peter_Smith
• Re: The LOGICAL approach to Bible Code
  • From: Tommy Pedersen
• Re: The LOGICAL approach to Bible Code
  • From: Tommy Pedersen
• Re: Koenig's Lemma
  • From: matthias
• Re: Koenig's Lemma
  • From: Li Yi
• Re: Koenig's Lemma
  • From: David C . Ullrich
• Re: interpolation theorem of propositional logic
  • From: David C . Ullrich
• Re: interpolation theorem of propositional logic
  • From: David C . Ullrich
• Re: interpolation theorem of propositional logic
  • From: David C . Ullrich
• Re: interpolation theorem of propositional logic
  • From: matthias
• Re: interpolation theorem of propositional logic
  • From: Frederick Williams
• Re: interpolation theorem of propositional logic
  • From: Frederick Williams
• Re: interpolation theorem of propositional logic
  • From: matthias
• Re: interpolation theorem of propositional logic
  • From: Frederick Williams
• Re: interpolation theorem of propositional logic
  • From: Jan Burse
• Koenig's Lemma
  • From: Li Yi
• Re: interpolation theorem of propositional logic
  • From: Jan Burse
• Re: interpolation theorem of propositional logic
  • From: Jan Burse
• Re: interpolation theorem of propositional logic
  • From: David C . Ullrich
• Re: interpolation theorem of propositional logic
  • From: David C . Ullrich
• Re: Godel's incompleteness theorem vs Church's/Turings work
  • From: Peter_Smith
• Re: Godel's incompleteness theorem vs Church's/Turings work
  • From: george
• Re: What is the intuitive meaning of Goedel's undecidable statement?
  • From: george
• Re: What is the intuitive meaning of Goedel's undecidable statement?
  • From: george
• Re: A question on Kleene's and other classics
  • From: contradictions . for . all
• Re: interpolation theorem of propositional logic
  • From: Jan Burse
• Re: interpolation theorem of propositional logic
  • From: Jan Burse
• Re: interpolation theorem of propositional logic
  • From: David C . Ullrich
• The LOGICAL approach to Bible Code
  • From: borisg1
• Re: What is the intuitive meaning of Goedel's undecidable statement?
  • From: Bhupinder Singh Anand
• Re: logical implication with quantifiers
  • From: Kevin Chill
• Re: hyperspace
  • From: William Elliot
• Re: A question on Kleene's and other classics
  • From: Peter_Smith
• Re: logical implication with quantifiers
  • From: Owen
• Re: A question on Kleene's and other classics
  • From: matthias
• Re: A question on Kleene's and other classics
  • From: matthias
• Re: What is the intuitive meaning of Goedel's undecidable statement?
  • From: Charlie-Boo
• Re: A question on Kleene's and other classics
  • From: MoeBlee
• Re: logical implication with quantifiers
  • From: MoeBlee
• Re: compactness implies completeness?
  • From: Jan Burse
• hyperspace
  • From: humano
• Re: compactness implies completeness?
  • From: H. J. Sander Bruggink
• A question on Kleene's and other classics
  • From: contradictions . for . all
• building a "hybrid" and dynamic mathematical space
  • From: Alvaro . Castro . Castilla
• Re: interpolation theorem of propositional logic
  • From: Jan Burse
• Re: interpolation theorem of propositional logic
  • From: David C . Ullrich
• Re: logical implication with quantifiers
  • From: Kevin Chill
• Re: logical implication with quantifiers
  • From: Ken Pledger
• Re: logical implication with quantifiers
  • From: MoeBlee
• Re: logical implication with quantifiers
  • From: G . Frege
• Re: logical implication with quantifiers
  • From: Kevin Chill
• Re: logical implication with quantifiers
  • From: Patricia Shanahan
• Re: logical implication with quantifiers
  • From: MoeBlee
• logical implication with quantifiers
  • From: Kevin Chill
• Re: A question about proofs of the Second Incompleteness Theorem.
  • From: Charlie-Boo
• What is the intuitive meaning of Goedel's undecidable statement?
  • From: mikeh106
• What is the intuitive meaning of Goedel's undecidable statement?
  • From: mikeh106
• Re: A Simple "Proof" of Fermat's Last Theorem
  • From: Jan Burse
• Re: A Simple "Proof" of Fermat's Last Theorem
  • From: Jan Burse
• Re: A Simple "Proof" of Fermat's Last Theorem
  • From: Jan Burse
• Re: A Simple "Proof" of Fermat's Last Theorem
  • From: juanpool@xxxxxxxxx
• interpolation theorem of propositional logic
  • From: Li Yi
• Re: A Simple "Proof" of Fermat's Last Theorem
  • From: Jan Burse
• Re: A Simple "Proof" of Fermat's Last Theorem
  • From: juanpool@xxxxxxxxx
• Re: A Simple "Proof" of Fermat's Last Theorem
  • From: juanpool@xxxxxxxxx
• Re: A Simple "Proof" of Fermat's Last Theorem
  • From: Jan Burse
• Re: A Simple "Proof" of Fermat's Last Theorem
  • From: Jan Burse
• Re: A Simple "Proof" of Fermat's Last Theorem
  • From: Jan Burse
• Re: A Simple "Proof" of Fermat's Last Theorem
  • From: juanpool@xxxxxxxxx
• Re: A Simple "Proof" of Fermat's Last Theorem
  • From: juanpool@xxxxxxxxx
• Re: compactness implies completeness?
  • From: Jan Burse
• Re: compactness implies completeness?
  • From: Frederick Williams
• compactness implies completeness?
  • From: Li Yi
• minimum counterexample help
  • From: isaac_2004
• minimum counterexample help
  • From: isaac_2004
• minimum counterexample help
  • From: isaac_2004
• minimum counterexample help
  • From: isaac_2004
• minimum counterexample help
  • From: isaac_2004
• Re: question about solving proofs through math
  • From: isaac_2004
• Re: question about solving proofs through math
  • From: isaac_2004
• Re: "Countably Well-Ordered" ?
  • From: Bill Taylor
• Re: A question about proofs of the Second Incompleteness Theorem.
  • From: Rupert
• Re: Godel's incompleteness theorem vs Church's/Turings work
  • From: Rupert
• Re: question about solving proofs through math
  • From: The Ghost In The Machine
• Re: question about solving proofs through math
  • From: isaac_2004
• Re: "Countably Well-Ordered" ?
  • From: Frederick Williams
• Re: "Countably Well-Ordered" ?
  • From: Daryl McCullough
• Re: "Countably Well-Ordered" ?
  • From: Chris Menzel
• Re: A Simple "Proof" of Fermat's Last Theorem
  • From: Jan Burse
• Re: A Simple "Proof" of Fermat's Last Theorem
  • From: Jan Burse
• Re: Godel's incompleteness theorem vs Church's/Turings work
  • From: kjd_72
• Halting Problem (Halting Game) Question
  • From: dankirsh
• A Simple "Proof" of Fermat's Last Theorem
  • From: contradictions . for . all
• Re: Godel's incompleteness theorem vs Church's/Turings work
  • From: Frederick Williams
• Re: "Countably Well-Ordered" ?
  • From: Bill Taylor
• Godel's incompleteness theorem vs Church's/Turings work
  • From: falcon
• Re: What kind/type of "argument" is this
  • From: kjd_72
• What kind/type of "argument" is this
  • From: HarryTruman
• Re: A question about proofs of the Second Incompleteness Theorem.
  • From: Jeff Barnett
• Re: A question about proofs of the Second Incompleteness Theorem.
  • From: kjd_72
• Re: question about solving proofs through math
  • From: William Elliot
• Re: question about solving proofs through math
  • From: Barb Knox
• question about solving proofs through math
  • From: isaac_2004
• Re: A question about proofs of the Second Incompleteness Theorem.
  • From: Pierre Asselin
• Re: A question about proofs of the Second Incompleteness Theorem.
  • From: Frederick Williams
• Re: A question about proofs of the Second Incompleteness Theorem.
  • From: Charlie-Boo
• Re: What are Inductive Turing Machines
  • From: juanpool@xxxxxxxxx
• Re: "Countably Well-Ordered" ?
  • From: David C . Ullrich
• Re: "Countably Well-Ordered" ?
  • From: David C . Ullrich
• Re: "Countably Well-Ordered" ?
  • From: David Libert
• Re: A question about proofs of the Second Incompleteness Theorem.
  • From: Jeff Barnett
• Re: "Countably Well-Ordered" ?
  • From: fred . galvin
• Re: Universal Programming Lanaguage
  • From: David Kinny
• Re: What are Inductive Turing Machines
  • From: Jim
• A question about proofs of the Second Incompleteness Theorem.
  • From: kjd_72
• Re: Universal Programming Lanaguage
  • From: Edward Meinert
• Re: What are Inductive Turing Machines
  • From: juanpool@xxxxxxxxx
• Re: FOL theories and models - A "peculiar" situation
  • From: Nam Nguyen
• Re: What are Inductive Turing Machines
  • From: Jim
• Re: What are Inductive Turing Machines
  • From: juanpool@xxxxxxxxx
• Re: "Countably Well-Ordered" ?
  • From: David C . Ullrich
• Re: Goedel incompl. theorems
  • From: matthias
• Re: Goedel incompl. theorems
  • From: george
• Re: "Countably Well-Ordered" ?
  • From: george
• Re: Is Go"del's Proof Constructive?
  • From: Peter_Smith
• Is Go"del's Proof Constructive?
  • From: unitset
• What are Inductive Turing Machines
  • From: juanpool@xxxxxxxxx
• Re: The True Story on Root Solving. DEDICATED TO ALL YOUNG MATH STUDENTS
  • From: Jan Burse
• Re: The True Story on Root Solving. DEDICATED TO ALL YOUNG MATH STUDENTS
  • From: arithmonic
• Re: "Countably Well-Ordered" ?
  • From: Herman Jurjus
• New newsgroup Logic updated daily visit
  • From: leeran
• Re: The True Story on Root Solving. DEDICATED TO ALL YOUNG MATH STUDENTS
  • From: Jan Burse
• Re: The True Story on Root Solving. DEDICATED TO ALL YOUNG MATH STUDENTS
  • From: arithmonic
• Re: The True Story on Root Solving. DEDICATED TO ALL YOUNG MATH STUDENTS
  • From: arithmonic
• Re: Want a free video game system
  • From: macdeezy
• Re: A simple cause for complex disease.
  • From: caesarjbsquitti
• Re: Goedel incompl. theorems
  • From: matthias
• Re: "Countably Well-Ordered" ?
  • From: matthias
• Re: "Countably Well-Ordered" ?
  • From: David C . Ullrich
• Re: "Countably Well-Ordered" ?
  • From: William Elliot
• Re: "Countably Well-Ordered" ?
  • From: Patricia Shanahan
• New scinence news group
  • From: abukase1
• CHARGE!
  • From: NILS BÖRJESSON
• "Countably Well-Ordered" ?
  • From: Bill Taylor
• A puzzle...
  • From: Munsey
• Re: Fuzzy logic.
  • From: Starbles
• Re: Godel's original proof of completeness
  • From: LISP
• Re: Fuzzy logic.
  • From: Colin
• Godel's original proof of completeness
  • From: LISP
• Re: Fuzzy logic.
  • From: Herman Jurjus
• Re: FOL theories and models - A "peculiar" situation
  • From: Nam Nguyen
• Re: Want a free video game system
  • From: Aatu Koskensilta
• Re: Want a free video game system
  • From: Frederick Williams
• Re: Goedel incompl. theorems
  • From: Henrik
• Re: A simple cause for complex disease.
  • From: Frederick Williams
• Want a free video game system
  • From: macdeezy
• Re: Possible world semantics
  • From: Chris Menzel
• Re: The True Story on Root Solving. DEDICATED TO ALL YOUNG MATH STUDENTS
  • From: Jan Burse
• Re: The True Story on Root Solving. DEDICATED TO ALL YOUNG MATH STUDENTS
  • From: Jan Burse
• Fuzzy logic.
  • From: Starbles
• The True Story on Root Solving. DEDICATED TO ALL YOUNG MATH STUDENTS
  • From: arithmonic
• A simple cause for complex disease.
  • From: caesarjbsquitti
• Re: Possible world semantics
  • From: Sundar
• Re: FOL theories and models - A "peculiar" situation
  • From: Bertie Reed
• Re: Possible world semantics
  • From: waveletter
• Re: Possible world semantics
  • From: Sundar
• [FAQ, 99/07/28] Mathematical logic on the web
  • From: Boris 'pi' Piwinger
• Re: FOL theories and models - A "peculiar" situation
  • From: Nam Nguyen
• Re: Possible world semantics
  • From: Frederick Williams
• Re: Possible world semantics
  • From: Barb Knox

We are proud to have Web Hosting and Rack Housing from 9 Net Avenue Deutschland.
(10)