# sci.logic

**Where is the paradox in liar?**,*Newberry***Re: Where is the paradox in liar?**,*Daryl McCullough***Re: Where is the paradox in liar?**,*Charlie-Boo***Re: Where is the paradox in liar?**,*Daryl McCullough*

**Re: Where is the paradox in liar?**,*Charlie-Boo***Re: Where is the paradox in liar?**,*Newberry*

**Need help to answer a boy genius.**,*ludios***Re: Need help to answer a boy genius.**,*abo***Re: Need help to answer a boy genius.**,*Charlie-Boo***Re: Need help to answer a boy genius.**,*Frederick Williams***Re: Need help to answer a boy genius.**,*Charlie-Boo*

**Liar's Paradox in Godel's Theorem (newbie question)**,*gundalav***Re: Liar's Paradox in Godel's Theorem (newbie question)**,*David Kinny***Re: Liar's Paradox in Godel's Theorem (newbie question)**,*Aatu Koskensilta***Re: Liar's Paradox in Godel's Theorem (newbie question)**,*gundalav***Re: Liar's Paradox in Godel's Theorem (newbie question)**,*Aatu Koskensilta*

**Re: Liar's Paradox in Godel's Theorem (newbie question)**,*Charlie-Boo***Re: Liar's Paradox in Godel's Theorem (newbie question)**,*Aatu Koskensilta*

**Fallacies**,*tjb***Re: Fallacies**,*William Elliot*

**"read-only Turing machines"**,*Snis Pilbor***Question...**,*Logic Noob***Re: Question...**,*Barb Knox***Re: Question...**,*Logic Noob***Re: Question...**,*Barb Knox***Re: Question...**,*Kevin Brubeck Unhammer***Re: Question...**,*Barb Knox*

**The Real Bible Code - Decoding in Real Time**,*borisg1***Tarski's definition of infinity --- Help!**,*contradictions . for . all***Re: Tarski's definition of infinity --- Help!**,*David C . Ullrich***Re: Tarski's definition of infinity --- Help!**,*contradictions . for . all*

**Plc and Pnuematics/Hydraulics**,*purebling***Re: Plc and Pnuematics/Hydraulics**,*Frederick Williams*

**Request for Peer Review - Refutation of Cantor Theorem Conclusion**,*Scott***Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion**,*Chris Menzel***Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion**,*Scott***Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion**,*Arturo Magidin***Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion**,*Arturo Magidin***Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion**,*Patricia Shanahan***Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion**,*G . Frege***Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion**,*David C . Ullrich***Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion**,*Scott***Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion**,*Arturo Magidin***Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion**,*Patricia Shanahan***Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion**,*Ross A. Finlayson***Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion**,*george***Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion**,*Arturo Magidin***Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion**,*Scott***Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion**,*Patricia Shanahan***Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion**,*Patricia Shanahan***Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion**,*Scott***Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion**,*Arturo Magidin***Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion**,*G . Frege***Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion**,*Scott***Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion**,*Patricia Shanahan***Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion**,*Arturo Magidin***Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion**,*David C . Ullrich*

**Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion**,*Jan Burse***Re: Request for Peer Review - Refutation of Cantor Theorem Conclusion**,*William Elliot*

**Categorical?**,*Bill Taylor***Undecible Arithmetic sentence?**,*Bill Taylor***Re: Undecible Arithmetic sentence?**,*Aatu Koskensilta***Re: Undecible Arithmetic sentence?**,*Aatu Koskensilta***Re: Undecible Arithmetic sentence?**,*Aatu Koskensilta***Re: Undecible Arithmetic sentence?**,*Aatu Koskensilta***Re: Undecible Arithmetic sentence?**,*matthias***Re: Undecible Arithmetic sentence?**,*Aatu Koskensilta*

**Re: Undecible Arithmetic sentence?**,*Aatu Koskensilta***Re: Undecible Arithmetic sentence?**,*Daryl McCullough*

**Re: Arithmetic with (only) exponentiation**,*george***Re: Arithmetic with (only) exponentiation**,*Bertie Reed***Re: Arithmetic with (only) exponentiation**,*george***Re: Arithmetic with (only) exponentiation**,*Bertie Reed***Re: Arithmetic with (only) exponentiation**,*george***Re: Arithmetic with (only) exponentiation**,*Bertie Reed***Re: Arithmetic with (only) exponentiation**,*Nam Nguyen***Re: Arithmetic with (only) exponentiation**,*Nam Nguyen***Re: Arithmetic with (only) exponentiation**,*Bertie Reed***Re: Arithmetic with (only) exponentiation**,*Nam Nguyen***Re: Arithmetic with (only) exponentiation**,*Nam Nguyen***Re: Arithmetic with (only) exponentiation**,*Bertie Reed*

**Wikipedia error about consistency of PA**,*george***Re: Russell, Surprises and God (and a Quiz, naturally)**,*george***Notice of new publications of potential interest to historians of logic**,*irvanellis@xxxxxxxxx***rPA - Relativistic Peano Arithmetic**,*Nam Nguyen***Re: rPA - Relativistic Peano Arithmetic**,*Nam Nguyen***Re: rPA - Relativistic Peano Arithmetic**,*Nam Nguyen***Re: rPA - Relativistic Peano Arithmetic**,*William Elliot***Re: rPA - Relativistic Peano Arithmetic**,*Nam Nguyen*

**Dinosaurs and a Historic Climate Change Meteorite.**,*caesarjbsquitti***BIOCHIP --->>> VERY BAD !!!**,*okay***Re: Is platonism in math correct?**,*Jan Burse***Re: Is platonism in math correct?**,*Jan Burse*

**Lambda Abstraction**,*Sebastian Zimmer***Re: Lambda Abstraction**,*William Elliot***Re: Lambda Abstraction**,*H. J. Sander Bruggink***Re: Lambda Abstraction**,*Sebastian Zimmer***Re: Lambda Abstraction**,*William Elliot***Re: Lambda Abstraction**,*Sebastian Zimmer***Re: Lambda Abstraction**,*Sebastian Zimmer***Re: Lambda Abstraction**,*William Elliot***Re: Lambda Abstraction**,*William Elliot***Re: Lambda Abstraction**,*H. J. Sander Bruggink*

**An example of an axiomatizable complete non-categorical second order theory?**,*Aatu Koskensilta***2SAT, 2DM, and Bin Packing**,*MARICA.MARIUS@xxxxxxxxx***W+1,W-1 and the infinitude of twin primes**,*ken.quirici@xxxxxxxxxx***Re: W+1,W-1 and the infinitude of twin primes**,*David Kinny***Re: W+1,W-1 and the infinitude of twin primes**,*ken.quirici@xxxxxxxxxx*

**A problem in first order logic**,*juanpool@xxxxxxxxx***Re: A problem in first order logic**,*David C . Ullrich***Re: A problem in first order logic**,*juanpool@xxxxxxxxx***Re: A problem in first order logic**,*David C . Ullrich***Re: A problem in first order logic**,*juanpool@xxxxxxxxx***Re: A problem in first order logic**,*David C . Ullrich***Re: A problem in first order logic**,*juanpool@xxxxxxxxx***Re: A problem in first order logic**,*juanpool@xxxxxxxxx***Re: A problem in first order logic**,*Jan Burse***Re: A problem in first order logic**,*juanpool@xxxxxxxxx***Re: A problem in first order logic**,*juanpool@xxxxxxxxx***Re: A problem in first order logic**,*Jan Burse***Re: A problem in first order logic**,*David C . Ullrich***Re: A problem in first order logic**,*David C . Ullrich***Re: A problem in first order logic**,*juanpool@xxxxxxxxx***Re: A problem in first order logic**,*juanpool@xxxxxxxxx*

- <Possible follow-ups>
**A problem in first order logic**,*juanpool@xxxxxxxxx*

**Math Logic?**,*holdemaa***Re: Math Logic?**,*Frederick Williams***Re: Math Logic?**,*Patricia Shanahan***Re: Math Logic?**,*holdemaa***Re: Math Logic?**,*Patricia Shanahan***Re: Math Logic?**,*holdemaa***Re: Math Logic?**,*Patricia Shanahan***Re: Math Logic?**,*Bertie Reed*

**Re: Math Logic?**,*holdemaa*

**Re: Palindromic movie**,*Jack Campin - bogus address***"Surviving the strongest."**,*Tommy Pedersen***Re: "Surviving the strongest."**,*Aatu Koskensilta***Re: "Surviving the strongest."**,*Tommy Pedersen***Re: "Surviving the strongest."**,*Aatu Koskensilta***Re: "Surviving the strongest."**,*Tommy Pedersen***Re: "Surviving the strongest."**,*Aatu Koskensilta*

**Exclusiv-or**,*alexander.stuckenholz@xxxxxxxxx***Re: Exclusiv-or**,*Frederick Williams***Re: Exclusiv-or**,*alexander.stuckenholz@xxxxxxxxx*

**natural deduction (2nd try)**,*fooby***Re: natural deduction (2nd try)**,*William Elliot***Re: natural deduction (2nd try)**,*G . Frege***Re: natural deduction (2nd try)**,*William Elliot***Re: natural deduction (2nd try)**,*Amicus***Re: natural deduction (2nd try)**,*G . Frege***Re: natural deduction (2nd try)**,*G . Frege*

**Re: natural deduction (2nd try)**,*G . Frege***Re: natural deduction (2nd try)**,*G . Frege*

**Re: natural deduction (2nd try)**,*G . Frege***Re: natural deduction (2nd try)**,*William Elliot***Re: natural deduction (2nd try)**,*Amicus***Re: natural deduction (2nd try)**,*William Elliot***Re: natural deduction (2nd try)**,*G . Frege*

**The Real Bible Code hides logical sequence of Images.**,*borisg1***natural deduction**,*fooby***Re: natural deduction**,*William Elliot***Re: natural deduction**,*fooby***Re: natural deduction**,*H. J. Sander Bruggink*

**Re: natural deduction**,*H. J. Sander Bruggink***Re: natural deduction**,*G . Frege*

**A couple of mini meta theorems.**,*Nam Nguyen***Re: A couple of mini meta theorems.**,*Aatu Koskensilta***Re: A couple of mini meta theorems.**,*Nam Nguyen***Re: A couple of mini meta theorems.**,*Nam Nguyen***Re: A couple of mini meta theorems.**,*Frederick Williams***Re: A couple of mini meta theorems.**,*Nam Nguyen***Re: A couple of mini meta theorems.**,*george***Re: A couple of mini meta theorems.**,*Aatu Koskensilta***Re: A couple of mini meta theorems.**,*Nam Nguyen***Re: A couple of mini meta theorems.**,*Nam Nguyen***Re: A couple of mini meta theorems.**,*Aatu Koskensilta***Re: A couple of mini meta theorems.**,*Nam Nguyen***Re: A couple of mini meta theorems.**,*Frederick Williams***Re: A couple of mini meta theorems.**,*Nam Nguyen***Re: A couple of mini meta theorems.**,*Frederick Williams*

**The Logical Foundations of Mathematics**,*redmaster***A question on "sufficiently large".**,*Nam Nguyen***Re: A question on "sufficiently large".**,*Daryl McCullough***Re: A question on "sufficiently large".**,*Nam Nguyen***Re: A question on "sufficiently large".**,*Daryl McCullough*

**How to calculate a geometric ratio from a known sum of geometric progression to 23 terms 4408 and a fist number 901?**,*kopn***Goodstein's Theorem**,*Peter_Smith***Re: Goodstein's Theorem**,*matthias***Re: Goodstein's Theorem**,*Peter_Smith***Re: Goodstein's Theorem**,*Bhupinder Singh Anand***Re: Goodstein's Theorem**,*Rupert***Re: Goodstein's Theorem**,*Bhupinder Singh Anand***Re: Goodstein's Theorem**,*Aatu Koskensilta*

**Koenig's Lemma**,*Li Yi***Re: Koenig's Lemma**,*David C . Ullrich***Re: Koenig's Lemma**,*Li Yi***Re: Koenig's Lemma**,*matthias***Re: Koenig's Lemma**,*David C . Ullrich*

**The LOGICAL approach to Bible Code**,*borisg1***Re: The LOGICAL approach to Bible Code**,*Tommy Pedersen***Re: The LOGICAL approach to Bible Code**,*q_q_anonymous***Re: The LOGICAL approach to Bible Code**,*Avi Norowitz***Re: The LOGICAL approach to Bible Code**,*q_q_anonymous@xxxxxxxxxxx***Re: The LOGICAL approach to Bible Code**,*Avi Norowitz***Re: The LOGICAL approach to Bible Code**,*q_q_anonymous@xxxxxxxxxxx***Re: The LOGICAL approach to Bible Code**,*Avi Norowitz***Re: The LOGICAL approach to Bible Code**,*q_q_anonymous@xxxxxxxxxxx*

**Re: The LOGICAL approach to Bible Code**,*Tommy Pedersen*

**hyperspace**,*humano***Re: hyperspace**,*William Elliot*

**A question on Kleene's and other classics**,*contradictions . for . all***Re: A question on Kleene's and other classics**,*MoeBlee***Re: A question on Kleene's and other classics**,*matthias***Re: A question on Kleene's and other classics**,*matthias***Re: A question on Kleene's and other classics**,*Peter_Smith***Re: A question on Kleene's and other classics**,*contradictions . for . all*

**building a "hybrid" and dynamic mathematical space**,*Alvaro . Castro . Castilla***logical implication with quantifiers**,*Kevin Chill***Re: logical implication with quantifiers**,*MoeBlee***Re: logical implication with quantifiers**,*Patricia Shanahan***Re: logical implication with quantifiers**,*G . Frege*

**Re: logical implication with quantifiers**,*Kevin Chill***Re: logical implication with quantifiers**,*MoeBlee***Re: logical implication with quantifiers**,*Ken Pledger***Re: logical implication with quantifiers**,*Kevin Chill***Re: logical implication with quantifiers**,*MoeBlee***Re: logical implication with quantifiers**,*Owen***Re: logical implication with quantifiers**,*Kevin Chill***Re: logical implication with quantifiers**,*G . Frege***Re: logical implication with quantifiers**,*Owen*

**What is the intuitive meaning of Goedel's undecidable statement?**,*mikeh106***Re: What is the intuitive meaning of Goedel's undecidable statement?**,*Charlie-Boo**Message not available***Re: What is the intuitive meaning of Goedel's undecidable statement?**,*george***Re: What is the intuitive meaning of Goedel's undecidable statement?**,*Nam Nguyen***Re: What is the intuitive meaning of Goedel's undecidable statement?**,*Barb Knox***Re: What is the intuitive meaning of Goedel's undecidable statement?**,*Nam Nguyen***Re: What is the intuitive meaning of Goedel's undecidable statement?**,*Daryl McCullough***Re: What is the intuitive meaning of Goedel's undecidable statement?**,*Nam Nguyen***Re: What is the intuitive meaning of Goedel's undecidable statement?**,*Daryl McCullough*

**Re: What is the intuitive meaning of Goedel's undecidable statement?**,*Jan Burse***Re: What is the intuitive meaning of Goedel's undecidable statement?**,*Newberry*- <Possible follow-ups>
**What is the intuitive meaning of Goedel's undecidable statement?**,*mikeh106*

**interpolation theorem of propositional logic**,*Li Yi***Re: interpolation theorem of propositional logic**,*David C . Ullrich***Re: interpolation theorem of propositional logic**,*Jan Burse***Re: interpolation theorem of propositional logic**,*David C . Ullrich***Re: interpolation theorem of propositional logic**,*Jan Burse***Re: interpolation theorem of propositional logic**,*David C . Ullrich***Re: interpolation theorem of propositional logic**,*Jan Burse***Re: interpolation theorem of propositional logic**,*Frederick Williams***Re: interpolation theorem of propositional logic**,*David C . Ullrich***Re: interpolation theorem of propositional logic**,*Jan Burse***Re: interpolation theorem of propositional logic**,*Jan Burse***Re: interpolation theorem of propositional logic**,*David C . Ullrich***Re: interpolation theorem of propositional logic**,*Jan Burse***Re: interpolation theorem of propositional logic**,*David C . Ullrich***Re: interpolation theorem of propositional logic**,*matthias***Re: interpolation theorem of propositional logic**,*Frederick Williams***Re: interpolation theorem of propositional logic**,*matthias***Re: interpolation theorem of propositional logic**,*David C . Ullrich*

**Re: interpolation theorem of propositional logic**,*Frederick Williams*

**compactness implies completeness?**,*Li Yi***Re: compactness implies completeness?**,*Frederick Williams***Re: compactness implies completeness?**,*Jan Burse***Re: compactness implies completeness?**,*H. J. Sander Bruggink***Re: compactness implies completeness?**,*Jan Burse*

**minimum counterexample help**,*isaac_2004*- <Possible follow-ups>
**minimum counterexample help**,*isaac_2004***minimum counterexample help**,*isaac_2004***minimum counterexample help**,*isaac_2004***minimum counterexample help**,*isaac_2004*

**Halting Problem (Halting Game) Question**,*dankirsh***A Simple "Proof" of Fermat's Last Theorem**,*contradictions . for . all***Re: A Simple "Proof" of Fermat's Last Theorem**,*Jan Burse***Re: A Simple "Proof" of Fermat's Last Theorem**,*Jan Burse***Re: A Simple "Proof" of Fermat's Last Theorem**,*juanpool@xxxxxxxxx***Re: A Simple "Proof" of Fermat's Last Theorem**,*Jan Burse***Re: A Simple "Proof" of Fermat's Last Theorem**,*juanpool@xxxxxxxxx***Re: A Simple "Proof" of Fermat's Last Theorem**,*Jan Burse*

**Re: A Simple "Proof" of Fermat's Last Theorem**,*Jan Burse***Re: A Simple "Proof" of Fermat's Last Theorem**,*juanpool@xxxxxxxxx***Re: A Simple "Proof" of Fermat's Last Theorem**,*Jan Burse***Re: A Simple "Proof" of Fermat's Last Theorem**,*juanpool@xxxxxxxxx***Re: A Simple "Proof" of Fermat's Last Theorem**,*Jan Burse***Re: A Simple "Proof" of Fermat's Last Theorem**,*juanpool@xxxxxxxxx***Re: A Simple "Proof" of Fermat's Last Theorem**,*Jan Burse***Re: A Simple "Proof" of Fermat's Last Theorem**,*Jan Burse*

**Godel's incompleteness theorem vs Church's/Turings work**,*falcon***What kind/type of "argument" is this**,*HarryTruman***question about solving proofs through math**,*isaac_2004***Re: question about solving proofs through math**,*Barb Knox***Re: question about solving proofs through math**,*isaac_2004***Re: question about solving proofs through math**,*The Ghost In The Machine***Re: question about solving proofs through math**,*isaac_2004***Re: question about solving proofs through math**,*isaac_2004*

**Re: question about solving proofs through math**,*William Elliot*

**A question about proofs of the Second Incompleteness Theorem.**,*kjd_72***Re: A question about proofs of the Second Incompleteness Theorem.**,*Jeff Barnett***Re: A question about proofs of the Second Incompleteness Theorem.**,*Charlie-Boo***Re: A question about proofs of the Second Incompleteness Theorem.**,*Frederick Williams***Re: A question about proofs of the Second Incompleteness Theorem.**,*Charlie-Boo*

**Re: A question about proofs of the Second Incompleteness Theorem.**,*Pierre Asselin***Re: A question about proofs of the Second Incompleteness Theorem.**,*kjd_72*

**Re: Universal Programming Lanaguage**,*Edward Meinert***Re: Universal Programming Lanaguage**,*David Kinny*

**Is Go"del's Proof Constructive?**,*unitset***Re: Is Go"del's Proof Constructive?**,*Peter_Smith*

**What are Inductive Turing Machines**,*juanpool@xxxxxxxxx***Re: What are Inductive Turing Machines**,*juanpool@xxxxxxxxx***Re: What are Inductive Turing Machines**,*Jim***Re: What are Inductive Turing Machines**,*juanpool@xxxxxxxxx***Re: What are Inductive Turing Machines**,*Jim***Re: What are Inductive Turing Machines**,*juanpool@xxxxxxxxx*

**New newsgroup Logic updated daily visit**,*leeran***New scinence news group**,*abukase1***CHARGE!**,*NILS BÖRJESSON***"Countably Well-Ordered" ?**,*Bill Taylor***Re: "Countably Well-Ordered" ?**,*Patricia Shanahan***Re: "Countably Well-Ordered" ?**,*William Elliot***Re: "Countably Well-Ordered" ?**,*David C . Ullrich***Re: "Countably Well-Ordered" ?**,*Herman Jurjus***Re: "Countably Well-Ordered" ?**,*David C . Ullrich***Re: "Countably Well-Ordered" ?**,*fred . galvin***Re: "Countably Well-Ordered" ?**,*David Libert***Re: "Countably Well-Ordered" ?**,*David C . Ullrich***Re: "Countably Well-Ordered" ?**,*David C . Ullrich*

**Re: "Countably Well-Ordered" ?**,*matthias***Re: "Countably Well-Ordered" ?**,*george***Re: "Countably Well-Ordered" ?**,*Bill Taylor***Re: "Countably Well-Ordered" ?**,*Chris Menzel***Re: "Countably Well-Ordered" ?**,*Daryl McCullough***Re: "Countably Well-Ordered" ?**,*Frederick Williams***Re: "Countably Well-Ordered" ?**,*Bill Taylor*

**A puzzle...**,*Munsey***Godel's original proof of completeness**,*LISP***Re: Goedel incompl. theorems**,*Henrik*- <Possible follow-ups>
**Re: Goedel incompl. theorems**,*matthias***Re: Goedel incompl. theorems**,*george***Re: Goedel incompl. theorems**,*matthias*

**Want a free video game system**,*macdeezy***Re: Want a free video game system**,*Frederick Williams***Re: Want a free video game system**,*Aatu Koskensilta***Re: Want a free video game system**,*macdeezy*

**Fuzzy logic.**,*Starbles***Re: Fuzzy logic.**,*Herman Jurjus***Re: Fuzzy logic.**,*Colin***Re: Fuzzy logic.**,*Starbles*

**The True Story on Root Solving. DEDICATED TO ALL YOUNG MATH STUDENTS**,*arithmonic***A simple cause for complex disease.**,*caesarjbsquitti***Re: A simple cause for complex disease.**,*Frederick Williams***Re: A simple cause for complex disease.**,*caesarjbsquitti*

**[FAQ, 99/07/28] Mathematical logic on the web**,*Boris 'pi' Piwinger***Re: FOL theories and models - A "peculiar" situation**,*Nam Nguyen***Re: FOL theories and models - A "peculiar" situation**,*Bertie Reed*

**Re: Possible world semantics**,*Barb Knox***Re: Possible world semantics**,*Sundar***Re: Possible world semantics**,*waveletter***Re: Possible world semantics**,*Sundar***Re: Possible world semantics**,*Chris Menzel*

- <Possible follow-ups>
**Re: Possible world semantics**,*Frederick Williams*