# sci.logic

**Bloody Crime Scene Photos Of DEAD Celebrities**,*arexar@xxxxxxxxxx***Foundations of Mathematics**,*John Jones***Re: Foundations of Mathematics**,*Peter_Smith***Re: Foundations of Mathematics**,*Peter_Smith***Re: Foundations of Mathematics**,*John Jones***Re: Foundations of Mathematics**,*Chris Menzel***Re: Foundations of Mathematics**,*Charlie-Boo*

**Re: Foundations of Mathematics**,*Charlie-Boo***Re: Foundations of Mathematics**,*Peter_Smith***Re: Foundations of Mathematics**,*Peter_Smith***Re: Foundations of Mathematics**,*abo***Re: Foundations of Mathematics**,*Peter_Smith***Re: Foundations of Mathematics**,*Peter Smith*

**Re: Foundations of Mathematics**,*Jan Burse***Re: Foundations of Mathematics**,*John Jones***Re: Foundations of Mathematics**,*jon***Re: Foundations of Mathematics**,*Jan Burse***Re: Foundations of Mathematics**,*John Jones***Re: Foundations of Mathematics**,*Jan Burse***Re: Foundations of Mathematics**,*John Jones***Re: Foundations of Mathematics**,*John Jones***Re: Foundations of Mathematics**,*Charlie-Boo*

**Re: Foundations of Mathematics**,*Charlie-Boo*

**A New Resolution to Impredicativity**,*lugita15***Re: A New Resolution to Impredicativity**,*Peter_Smith***Re: A New Resolution to Impredicativity**,*lugita15***Re: A New Resolution to Impredicativity**,*Peter_Smith***Re: A New Resolution to Impredicativity**,*lugita15***Re: A New Resolution to Impredicativity**,*abo***Re: A New Resolution to Impredicativity**,*Peter_Smith***Re: A New Resolution to Impredicativity**,*abo***Re: A New Resolution to Impredicativity**,*MoeBlee***Re: A New Resolution to Impredicativity**,*abo***Re: A New Resolution to Impredicativity**,*MoeBlee*

**Proof, String and Swastika**,*John Jones***Three Turing machines**,*Peter_Smith***Re: Three Turing machines**,*Patricia Shanahan***Re: Three Turing machines**,*Peter_Smith***Re: Three Turing machines**,*Patricia Shanahan***Re: Three Turing machines**,*Peter_Smith*

**Goldbach Conjecture & the Foundation of First Order Logic.**,*Nam Nguyen***Re: Goldbach Conjecture & the Foundation of First Order Logic.**,*Barb Knox***Re: Goldbach Conjecture & the Foundation of First Order Logic.**,*Nam Nguyen***Re: Goldbach Conjecture & the Foundation of First Order Logic.**,*Peter_Smith***Re: Goldbach Conjecture & the Foundation of First Order Logic.**,*MoeBlee***Re: Goldbach Conjecture & the Foundation of First Order Logic.**,*Peter_Smith***Re: Goldbach Conjecture & the Foundation of First Order Logic.**,*MoeBlee***Re: Goldbach Conjecture & the Foundation of First Order Logic.**,*Nam Nguyen***Re: Goldbach Conjecture & the Foundation of First Order Logic.**,*Peter_Smith*

**Re: Goldbach Conjecture & the Foundation of First Order Logic.**,*Aatu Koskensilta***Re: Goldbach Conjecture & the Foundation of First Order Logic.**,*Peter_Smith***Re: Goldbach Conjecture & the Foundation of First Order Logic.**,*el picsid*

**Mathematical strings**,*John Jones***Re: Mathematical strings**,*MoeBlee***Re: Mathematical strings**,*Aatu Koskensilta*

**Re: Mathematical strings**,*David C . Ullrich***Re: Mathematical strings**,*John Jones***Re: Mathematical strings**,*John Jones***Re: Mathematical strings**,*MoeBlee***Re: Mathematical strings**,*John Jones***Re: Mathematical strings**,*Jack Campin - bogus address***Re: Mathematical strings**,*John Jones***Re: Mathematical strings**,*MoeBlee***Re: Mathematical strings**,*John Jones***Re: Mathematical strings**,*MoeBlee***Re: Mathematical strings**,*John Jones***Re: Mathematical strings**,*David C . Ullrich*

**Nameless, Rambus2005@yahoo.com put angle (phi) 89 in the your equation (1.5), then I will clear other doubts.**,*physicsajay***Question about Frege's Theorem**,*lugita15***Re: Question about Frege's Theorem**,*Peter_Smith***Re: Question about Frege's Theorem**,*lugita15***Re: Question about Frege's Theorem**,*Peter_Smith***Re: Question about Frege's Theorem**,*lugita15***Re: Question about Frege's Theorem**,*Peter_Smith***Re: Question about Frege's Theorem**,*lugita15***Re: Question about Frege's Theorem**,*Peter_Smith***Re: Question about Frege's Theorem**,*Chris Menzel***Re: Question about Frege's Theorem**,*george***Re: Question about Frege's Theorem**,*Peter_Smith***Re: Question about Frege's Theorem**,*Peter_Smith***Re: Question about Frege's Theorem**,*lugita15***Re: Question about Frege's Theorem**,*Aatu Koskensilta***Re: Question about Frege's Theorem**,*Chris Menzel***Re: Question about Frege's Theorem**,*Aatu Koskensilta***Re: Question about Frege's Theorem**,*lugita15***Re: Question about Frege's Theorem**,*Aatu Koskensilta***Re: Question about Frege's Theorem**,*Aatu Koskensilta***Re: Question about Frege's Theorem**,*lugita15***Re: Question about Frege's Theorem**,*Aatu Koskensilta***Re: Question about Frege's Theorem**,*Chris Menzel***Re: Question about Frege's Theorem**,*Chris Menzel***Re: Question about Frege's Theorem**,*Aatu Koskensilta***Re: Question about Frege's Theorem**,*Peter_Smith***Re: Question about Frege's Theorem**,*lugita15***Re: Question about Frege's Theorem**,*george***Re: Question about Frege's Theorem**,*Peter_Smith***Re: Question about Frege's Theorem**,*lugita15***Re: Question about Frege's Theorem**,*Peter_Smith*

**Task**,*Atreides***Final Theory Of Everything V4.0**,*virtualadepts***Computability and logic**,*Tom***Re: Computability and logic**,*Peter_Smith***Re: Computability and logic**,*Tom***Re: Computability and logic**,*Peter_Smith***Re: Computability and logic**,*Tom***Re: Computability and logic**,*Peter_Smith***Re: Computability and logic**,*Jack Campin - bogus address***Re: Computability and logic**,*Tom***Re: Computability and logic**,*Tom*

**Re: Computability and logic**,*MoeBlee***Re: Computability and logic**,*Tom***Re: Computability and logic**,*MoeBlee***Re: Computability and logic**,*Tom***Re: Computability and logic**,*MoeBlee***Re: Computability and logic**,*Tom***Re: Computability and logic**,*MoeBlee***Re: Computability and logic**,*Tom***Re: Computability and logic**,*MoeBlee***Re: Computability and logic**,*Tom***Re: Computability and logic**,*george***Re: Computability and logic**,*george*

**Final theory of everything V2.0**,*CoreyWhite***Question on Counterfactual Conditionals**,*Dan Christensen***Re: Question on Counterfactual Conditionals**,*semiopen***Re: Question on Counterfactual Conditionals**,*Jan Burse***Re: Question on Counterfactual Conditionals**,*Jan Burse***Re: Question on Counterfactual Conditionals**,*Dan Christensen***Re: Question on Counterfactual Conditionals**,*Jan Burse***Re: Question on Counterfactual Conditionals**,*Dan Christensen*

**Re: Question on Counterfactual Conditionals**,*Peter_Smith***Re: Question on Counterfactual Conditionals**,*Jan Burse***Re: Question on Counterfactual Conditionals**,*Peter_Smith***Re: Question on Counterfactual Conditionals**,*Peter_Smith***Re: Question on Counterfactual Conditionals**,*Jan Burse*

**Re: Question on Counterfactual Conditionals**,*Jan Burse*

**Re: Question on Counterfactual Conditionals**,*Herman Jurjus***Re: Question on Counterfactual Conditionals**,*Jan Burse***Re: Question on Counterfactual Conditionals**,*Dan Christensen***Re: Question on Counterfactual Conditionals**,*Herman Jurjus***Re: Question on Counterfactual Conditionals**,*Dan Christensen***Re: Question on Counterfactual Conditionals**,*Herman Jurjus***Re: Question on Counterfactual Conditionals**,*Dan Christensen***Re: Question on Counterfactual Conditionals**,*Stephen Harris***Re: Question on Counterfactual Conditionals**,*Dan Christensen***Re: Question on Counterfactual Conditionals**,*Herman Jurjus***Re: Question on Counterfactual Conditionals**,*Herman Jurjus*

**Set Equation Solving**,*Conbra***Re: Set Equation Solving**,*William Elliot*

**SW that will draw a switching circuit?**,*Newberry***Two questions ...**,*Peter_Smith***Zorn's lemma - I'm missing something**,*Peter Webb***Re: Zorn's lemma - I'm missing something**,*Arturo Magidin***Re: Zorn's lemma - I'm missing something**,*Peter Webb***Re: Zorn's lemma - I'm missing something**,*Arturo Magidin***Re: Zorn's lemma - I'm missing something**,*Peter Webb***Sorry, still missing something**,*Peter Webb***Re: Sorry, still missing something**,*Tim Peters***Re: Sorry, still missing something**,*Tim Peters***Re: Sorry, still missing something**,*Peter Webb***Re: Sorry, still missing something**,*Tim Peters**Message not available***Thankyou Tim and Arturo**,*Peter Webb***Re: Thankyou Tim and Arturo**,*Arturo Magidin***Re: Thankyou Tim and Arturo**,*Tim Peters*

**Make money easy no problem**,*notunderstood18***A question on prime numbers.**,*Nam Nguyen***Re: A question on prime numbers.**,*Arturo Magidin***Re: A question on prime numbers.**,*Tim Peters***Re: A question on prime numbers.**,*Tim Peters***Re: A question on prime numbers.**,*Nam Nguyen*

**differences between N and omega**,*bargiax***Re: differences between N and omega**,*Arturo Magidin***Re: differences between N and omega**,*Peter Webb*

**Interesting subtheories of PA that can prove their own consistency**,*el picsid***Representable relation**,*bargiax***theorem's proof:**,*Alessandro Duarte***Re: theorem's proof:**,*Jack Campin - bogus address***Re: theorem's proof:**,*Alessandro Duarte*

**Re: theorem's proof:**,*William Elliot*

**Donkey, Rambus@yahoo.com showed folly in Ajay Sharma’s paper extending Einstein’s E=mc2;**,*physicsajay***recursive formula.....**,*Mark Nicholls***Re: recursive formula.....**,*William Elliot***Re: recursive formula.....**,*Mark Nicholls***Re: recursive formula.....**,*William Elliot***Re: recursive formula.....**,*Mark Nicholls***Re: recursive formula.....**,*William Elliot***Re: recursive formula.....**,*Mark Nicholls***Re: recursive formula.....**,*William Elliot***Re: recursive formula.....**,*Mark Nicholls***Re: recursive formula.....**,*Achim Blumensath***Re: recursive formula.....**,*Mark Nicholls*

**Modus Ponens and Trivial Truth**,*rhys44503***Re: Modus Ponens and Trivial Truth**,*Fuckwit***Re: Modus Ponens and Trivial Truth**,*rhys44503***Re: Modus Ponens and Trivial Truth**,*Fuckwit*

**Re: Modus Ponens and Trivial Truth**,*herbzet***Re: Modus Ponens and Trivial Truth**,*Peter Webb***Re: Modus Ponens and Trivial Truth**,*Charlie-Boo***Re: Modus Ponens and Trivial Truth**,*Rhys B. Cartwright-Jones***Re: Modus Ponens and Trivial Truth**,*Rhys B. Cartwright-Jones***Re: Modus Ponens and Trivial Truth**,*herbzet*

**Could there be such a FOL theory?**,*Nam Nguyen***Re: Could there be such a FOL theory?**,*Aatu Koskensilta***Re: Could there be such a FOL theory?**,*Nam Nguyen***Re: Could there be such a FOL theory?**,*Aatu Koskensilta***Re: Could there be such a FOL theory?**,*Nam Nguyen*

**(Yet another) question on the incompleteness theorem**,*contradictions . for . all***Re: (Yet another) question on the incompleteness theorem**,*Aatu Koskensilta***Re: (Yet another) question on the incompleteness theorem**,*John Jones***Re: (Yet another) question on the incompleteness theorem**,*Peter_Smith***Re: (Yet another) question on the incompleteness theorem**,*Aatu Koskensilta***Re: (Yet another) question on the incompleteness theorem**,*John Jones*

**Re: (Yet another) question on the incompleteness theorem**,*contradictions . for . all***Re: (Yet another) question on the incompleteness theorem**,*John Jones***Re: (Yet another) question on the incompleteness theorem**,*contradictions . for . all***Re: (Yet another) question on the incompleteness theorem**,*John Jones***Re: (Yet another) question on the incompleteness theorem**,*Charlie-Boo***Re: (Yet another) question on the incompleteness theorem**,*John Jones***Re: (Yet another) question on the incompleteness theorem**,*John Jones***Re: (Yet another) question on the incompleteness theorem**,*george***Re: (Yet another) question on the incompleteness theorem**,*contradictions . for . all***Re: (Yet another) question on the incompleteness theorem**,*george***Re: (Yet another) question on the incompleteness theorem**,*John Jones***Re: (Yet another) question on the incompleteness theorem**,*george***Re: (Yet another) question on the incompleteness theorem**,*contradictions . for . all***Re: (Yet another) question on the incompleteness theorem**,*Aatu Koskensilta*

**Re: (Yet another) question on the incompleteness theorem**,*Charlie-Boo*

**A Thought Experiment**,*Newberry***Re: A Thought Experiment**,*Peter_Smith***Re: A Thought Experiment**,*Newberry***Re: A Thought Experiment**,*Peter_Smith***Re: A Thought Experiment**,*Newberry***Re: A Thought Experiment**,*herbzet***Re: A Thought Experiment**,*herbzet***Re: A Thought Experiment**,*Newberry***Re: A Thought Experiment**,*herbzet***Re: A Thought Experiment**,*herbzet***Re: A Thought Experiment**,*Newberry***Re: A Thought Experiment**,*herbzet***Re: A Thought Experiment**,*Newberry***Re: A Thought Experiment**,*herbzet***Re: A Thought Experiment**,*herbzet*

**Question about the omega rule**,*lugita15***Re: Question about the omega rule**,*mordov***Re: Question about the omega rule**,*Peter_Smith***Re: Question about the omega rule**,*Peter_Smith***Re: Question about the omega rule**,*Peter_Smith***Re: Question about the omega rule**,*lugita15***Re: Question about the omega rule**,*Aatu Koskensilta*

**Rank (exercise in Kunen)**,*Norman Megill***Re: Rank (exercise in Kunen)**,*Achim Blumensath***Re: Rank (exercise in Kunen)**,*Norman Megill*

**Re: Rank (exercise in Kunen)**,*William Elliot***Re: Rank (exercise in Kunen)**,*William Elliot***Re: Rank (exercise in Kunen)**,*David C . Ullrich***Re: Rank (exercise in Kunen)**,*William Elliot***Re: Rank (exercise in Kunen)**,*William Elliot***Re: Rank (exercise in Kunen)**,*David C . Ullrich***Re: Rank (exercise in Kunen)**,*William Elliot***Re: Rank (exercise in Kunen)**,*David C . Ullrich*

**Re: Rank (exercise in Kunen)**,*Norman Megill***Re: Rank (exercise in Kunen)**,*William Elliot***Re: Rank (exercise in Kunen)**,*David C . Ullrich***Re: Rank (exercise in Kunen)**,*William Elliot***Re: Rank (exercise in Kunen)**,*Norman Megill***Re: Rank (exercise in Kunen)**,*Norman Megill***Re: Rank (exercise in Kunen)**,*David C . Ullrich*

**The foundation of logic thinking**,*Conbra***Re: The foundation of logic thinking**,*William Elliot*

**Diagonal Intersection what is it?**,*Bill Taylor***Re: Diagonal Intersection what is it?**,*Keith Ramsay***Re: Diagonal Intersection what is it?**,*Bill Taylor***Re: Diagonal Intersection what is it?**,*Keith Ramsay***Re: Diagonal Intersection what is it?**,*Bill Taylor*

**Need help with some proofs**,*beauty2514***Re: Need help with some proofs**,*William Elliot*

**Re: Need help constructing ADD function from PA**,*george***The Logic Bomb**,*Raving***Categorical model of N?**,*Barb Knox***Re: Categorical model of N?**,*Peter_Smith***Re: Categorical model of N?**,*Aatu Koskensilta***Re: Categorical model of N?**,*lugita15***Re: Categorical model of N?**,*Aatu Koskensilta*

**Re: Categorical model of N?**,*lugita15***Re: Categorical model of N?**,*george***Re: Categorical model of N?**,*Peter_Smith***Re: Categorical model of N?**,*george***Re: Categorical model of N?**,*Peter_Smith***Re: Categorical model of N?**,*george***Re: Categorical model of N?**,*Peter_Smith***Re: Categorical model of N?**,*george***Re: Categorical model of N?**,*Peter_Smith*

**Re: Categorical model of N?**,*george***Re: Categorical model of N?**,*Peter_Smith***Re: Categorical model of N?**,*lugita15***Re: Categorical model of N?**,*Peter_Smith***Re: Categorical model of N?**,*george***Re: Categorical model of N?**,*george***Re: Categorical model of N?**,*Peter_Smith***Re: Categorical model of N?**,*george***Re: Categorical model of N?**,*george*

**Re: Categorical model of N?**,*Aatu Koskensilta***Re: Categorical model of N?**,*george*

**Material Logic**,*lebel***My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*semiopen***Re: My investigations into Godels Incompleteness Theorem**,*Aatu Koskensilta***Re: My investigations into Godels Incompleteness Theorem**,*semiopen***Re: My investigations into Godels Incompleteness Theorem**,*Aatu Koskensilta*

**Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*David C . Ullrich***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*Rupert***Re: My investigations into Godels Incompleteness Theorem**,*Charlie-Boo***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*Charlie-Boo***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*Charlie-Boo***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*Charlie-Boo***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*Charlie-Boo***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*Charlie-Boo***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*Charlie-Boo***Re: My investigations into Godels Incompleteness Theorem**,*herbzet***Re: My investigations into Godels Incompleteness Theorem**,*Charlie-Boo***Re: My investigations into Godels Incompleteness Theorem**,*herbzet***Re: My investigations into Godels Incompleteness Theorem**,*Charlie-Boo***Re: My investigations into Godels Incompleteness Theorem**,*herbzet***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*Rupert***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*Charlie-Boo***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*Chris Menzel***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*Chris Menzel***Re: My investigations into Godels Incompleteness Theorem**,*Aatu Koskensilta***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*Aatu Koskensilta***Re: My investigations into Godels Incompleteness Theorem**,*Daryl McCullough***Re: My investigations into Godels Incompleteness Theorem**,*Aatu Koskensilta***Re: My investigations into Godels Incompleteness Theorem**,*Daryl McCullough***Re: My investigations into Godels Incompleteness Theorem**,*Aatu Koskensilta***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*Daryl McCullough***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*Alan Smaill**Message not available***Re: My investigations into Godels Incompleteness Theorem**,*Charlie-Boo**Message not available**Message not available***Re: My investigations into Godels Incompleteness Theorem**,*Chris Menzel***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*Daryl McCullough**Message not available**Message not available***Re: My investigations into Godels Incompleteness Theorem**,*David C . Ullrich***Re: My investigations into Godels Incompleteness Theorem**,*R. Srinivasan***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*Daryl McCullough***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*Daryl McCullough***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*Daryl McCullough***Re: My investigations into Godels Incompleteness Theorem**,*Stephen Harris***Re: My investigations into Godels Incompleteness Theorem**,*Daryl McCullough***Re: My investigations into Godels Incompleteness Theorem**,*David C . Ullrich***Re: My investigations into Godels Incompleteness Theorem**,*Charlie-Boo***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*Charlie-Boo***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*Charlie-Boo***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*MoeBlee***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*Charlie-Boo***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*Charlie-Boo***Re: My investigations into Godels Incompleteness Theorem**,*abo***Re: My investigations into Godels Incompleteness Theorem**,*Charlie-Boo***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*David C . Ullrich***Re: My investigations into Godels Incompleteness Theorem**,*Charlie-Boo***Re: My investigations into Godels Incompleteness Theorem**,*Charlie-Boo***Re: My investigations into Godels Incompleteness Theorem**,*Chris Menzel***Re: My investigations into Godels Incompleteness Theorem**,*Charlie-Boo***Re: My investigations into Godels Incompleteness Theorem**,*Alan Smaill***Re: My investigations into Godels Incompleteness Theorem**,*Charlie-Boo***Re: My investigations into Godels Incompleteness Theorem**,*Alan Smaill***Re: My investigations into Godels Incompleteness Theorem**,*Stephen Harris***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*Daryl McCullough***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*MoeBlee***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*MoeBlee***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*Daryl McCullough***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*MoeBlee***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*Daryl McCullough***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*Daryl McCullough***Re: My investigations into Godels Incompleteness Theorem**,*Alan Smaill***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*Aatu Koskensilta***Re: My investigations into Godels Incompleteness Theorem**,*David C . Ullrich***Re: My investigations into Godels Incompleteness Theorem**,*David C . Ullrich***Re: My investigations into Godels Incompleteness Theorem**,*Charlie-Boo***Re: My investigations into Godels Incompleteness Theorem**,*Charlie-Boo***Re: My investigations into Godels Incompleteness Theorem**,*Daryl McCullough***Re: My investigations into Godels Incompleteness Theorem**,*Chris Menzel***Re: My investigations into Godels Incompleteness Theorem**,*Rupert***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*R. Srinivasan***Re: My investigations into Godels Incompleteness Theorem**,*R. Srinivasan***Re: My investigations into Godels Incompleteness Theorem**,*Daryl McCullough***Re: My investigations into Godels Incompleteness Theorem**,*R. Srinivasan***Re: My investigations into Godels Incompleteness Theorem**,*Daryl McCullough***Re: My investigations into Godels Incompleteness Theorem**,*R. Srinivasan***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*R. Srinivasan***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*R. Srinivasan***Re: My investigations into Godels Incompleteness Theorem**,*R. Srinivasan***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*Stephen Harris***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*R. Srinivasan***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*R. Srinivasan***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*R. Srinivasan***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*R. Srinivasan***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*R. Srinivasan***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*R. Srinivasan***Re: My investigations into Godels Incompleteness Theorem**,*R. Srinivasan***Re: My investigations into Godels Incompleteness Theorem**,*R. Srinivasan***Re: My investigations into Godels Incompleteness Theorem**,*R. Srinivasan***Re: My investigations into Godels Incompleteness Theorem**,*george***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*Aatu Koskensilta***Re: My investigations into Godels Incompleteness Theorem**,*Charlie-Boo***Re: My investigations into Godels Incompleteness Theorem**,*Stephen Harris***Re: My investigations into Godels Incompleteness Theorem**,*Stephen Harris***Re: My investigations into Godels Incompleteness Theorem**,*george***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*george***Re: My investigations into Godels Incompleteness Theorem**,*abo***Re: My investigations into Godels Incompleteness Theorem**,*Fuckwit***Re: My investigations into Godels Incompleteness Theorem**,*Barb Knox***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*Aatu Koskensilta***Re: My investigations into Godels Incompleteness Theorem**,*abo***Re: My investigations into Godels Incompleteness Theorem**,*Aatu Koskensilta***Re: My investigations into Godels Incompleteness Theorem**,*Fuckwit***Re: My investigations into Godels Incompleteness Theorem**,*Chris Menzel***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*MoeBlee***Re: My investigations into Godels Incompleteness Theorem**,*Newberry***Re: My investigations into Godels Incompleteness Theorem**,*Aatu Koskensilta***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*Charlie-Boo***Re: My investigations into Godels Incompleteness Theorem**,*Charlie-Boo*

*Message not available***Re: My investigations into Godels Incompleteness Theorem**,*Daryl McCullough*

**Re: My investigations into Godels Incompleteness Theorem**,*david petry***Re: My investigations into Godels Incompleteness Theorem**,*abo***Re: My investigations into Godels Incompleteness Theorem**,*herbzet***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*herbzet***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*herbzet***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*Daryl McCullough***Re: My investigations into Godels Incompleteness Theorem**,*John Jones***Re: My investigations into Godels Incompleteness Theorem**,*Chris Menzel***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*abo***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*herbzet***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith***Re: My investigations into Godels Incompleteness Theorem**,*herbzet***Re: My investigations into Godels Incompleteness Theorem**,*Peter_Smith*

**Re: My investigations into Godels Incompleteness Theorem**,*Charlie-Boo*

**how these numbers are called**,*laura***Re: how these numbers are called**,*semiopen*

**Very basic question about PA and PA arithmetic**,*Peter Webb***Sorry, woked it out**,*Peter Webb*

**PhD Student Position/Algorithms+Complexity Theory**,*petej***The Tractatus and Logic today**,*John Jones***Re: The Tractatus and Logic today**,*Aatu Koskensilta***Re: The Tractatus and Logic today**,*John Jones***Re: The Tractatus and Logic today**,*George Dance***Re: The Tractatus and Logic today**,*Aatu Koskensilta***Re: The Tractatus and Logic today**,*Gc***Re: The Tractatus and Logic today**,*George Dance***Re: The Tractatus and Logic today**,*Aatu Koskensilta*

**Re: The Tractatus and Logic today**,*semiopen***Re: The Tractatus and Logic today**,*John Jones*

**Deviation of Einstein E=mc2 and ethics of members: Ajay Sharma**,*physicsajay***New* Paradox**,*Raving***Re: New* Paradox**,*Raving*

**Three Independent Clauses Calculating On Concept Algebra**,*Conbra***Re: Three Independent Clauses Calculating On Concept Algebra**,*William Elliot*

**what are the axioms of intuitionistic logic?**,*translogi***Re: what are the axioms of intuitionistic logic?**,*MoeBlee***Re: what are the axioms of intuitionistic logic?**,*Conbra***Re: what are the axioms of intuitionistic logic?**,*MoeBlee***Re: what are the axioms of intuitionistic logic?**,*William Elliot***Re: what are the axioms of intuitionistic logic?**,*MoeBlee***Re: what are the axioms of intuitionistic logic?**,*William Elliot***Re: what are the axioms of intuitionistic logic?**,*MoeBlee***Re: what are the axioms of intuitionistic logic?**,*Jan Burse*

**Re: what are the axioms of intuitionistic logic?**,*Jan Burse***Re: what are the axioms of intuitionistic logic?**,*mordov***Re: what are the axioms of intuitionistic logic?**,*Frederick Williams***Re: what are the axioms of intuitionistic logic?**,*Jan Burse***Re: what are the axioms of intuitionistic logic?**,*translogi@xxxxxxxxxxxxxx***Re: what are the axioms of intuitionistic logic?**,*Barb Knox***Re: what are the axioms of intuitionistic logic?**,*translogi@xxxxxxxxxxxxxx***Re: what are the axioms of intuitionistic logic?**,*Peter_Smith***Re: what are the axioms of intuitionistic logic?**,*translogi@xxxxxxxxxxxxxx***Re: what are the axioms of intuitionistic logic?**,*mordov***Re: what are the axioms of intuitionistic logic?**,*Peter_Smith***Re: what are the axioms of intuitionistic logic?**,*mordov***Re: what are the axioms of intuitionistic logic?**,*translogi@xxxxxxxxxxxxxx***Re: what are the axioms of intuitionistic logic?**,*Daryl McCullough***Re: what are the axioms of intuitionistic logic?**,*translogi@xxxxxxxxxxxxxx***Re: what are the axioms of intuitionistic logic?**,*mordov***Re: what are the axioms of intuitionistic logic?**,*H. J. Sander Bruggink***Re: what are the axioms of intuitionistic logic?**,*Frederick Williams***Re: what are the axioms of intuitionistic logic?**,*translogi@xxxxxxxxxxxxxx***Re: what are the axioms of intuitionistic logic?**,*Frederick Williams***Re: what are the axioms of intuitionistic logic?**,*Frederick Williams*

**Re: what are the axioms of intuitionistic logic?**,*Paul Holbach*

**facial expression survey request**,*sorcimatt***Re: facial expression survey request**,*semiopen***Re: facial expression survey request**,*sorcimatt***Re: facial expression survey request**,*semiopen***Re: facial expression survey request**,*sorcimatt***Re: facial expression survey request**,*semiopen*

**Help! ... I don't know what I am talking about ( The pun is intended to imply that I am being sincere about it. I am not stupid. I am not a philosopher. I do have a moderate undergraduate knowledge of applied mathematics. )**,*Raving***Non-empty language and TM**,*un student***Re: Non-empty language and TM**,*Rupert*

**One Proposition Calculating**,*Conbra***Re: One Proposition Calculating**,*herb z*

**"Nonstandard" Turing-Machines?**,*David McCann***Re: "Nonstandard" Turing-Machines?**,*Pierre Asselin***Re: "Nonstandard" Turing-Machines?**,*David McCann***Re: "Nonstandard" Turing-Machines?**,*Pierre Asselin*

**Chief Architect at the GSA selected by Bush: change and progress or waste ?**,*practical1***Velbon MAX-i 343E**,*thejackal51***"Godel got it all wrong"**,*Peter_Smith***Re: "Godel got it all wrong"**,*Frederick Williams***Re: "Godel got it all wrong"**,*Peter_Smith*

**Re: "Godel got it all wrong"**,*Jesse F. Hughes***Re: "Godel got it all wrong"**,*Peter_Smith***Re: "Godel got it all wrong"**,*Jesse F. Hughes*

**Re: "Godel got it all wrong"**,*Newberry***Re: "Godel got it all wrong"**,*Chris Menzel***Re: "Godel got it all wrong"**,*Peter_Smith***Re: "Godel got it all wrong"**,*Newberry***Re: "Godel got it all wrong"**,*Peter_Smith***Re: "Godel got it all wrong"**,*MoeBlee***Re: "Godel got it all wrong"**,*Peter_Smith***Re: "Godel got it all wrong"**,*MoeBlee***Re: "Godel got it all wrong"**,*MoeBlee***Re: "Godel got it all wrong"**,*Peter_Smith***Re: "Godel got it all wrong"**,*MoeBlee***Re: "Godel got it all wrong"**,*Herman Jurjus***Re: "Godel got it all wrong"**,*Peter_Smith***Re: "Godel got it all wrong"**,*Herman Jurjus***Re: "Godel got it all wrong"**,*Peter_Smith***Re: "Godel got it all wrong"**,*Peter_Smith***Re: "Godel got it all wrong"**,*MoeBlee***Re: "Godel got it all wrong"**,*Newberry***Re: "Godel got it all wrong"**,*R. Srinivasan***Re: "Godel got it all wrong"**,*Peter_Smith***Re: "Godel got it all wrong"**,*R. Srinivasan***Re: "Godel got it all wrong"**,*Peter_Smith***Re: "Godel got it all wrong"**,*R. Srinivasan***Re: "Godel got it all wrong"**,*Ross A. Finlayson***Re: "Godel got it all wrong"**,*Aatu Koskensilta***Re: "Godel got it all wrong"**,*Peter_Smith***Re: "Godel got it all wrong"**,*Newberry***Re: "Godel got it all wrong"**,*Peter_Smith***Re: "Godel got it all wrong"**,*Ross A. Finlayson***Re: "Godel got it all wrong"**,*Newberry***Re: "Godel got it all wrong"**,*Daryl McCullough***Re: "Godel got it all wrong"**,*Newberry***Re: "Godel got it all wrong"**,*Daryl McCullough***Re: "Godel got it all wrong"**,*Newberry***Re: "Godel got it all wrong"**,*Daryl McCullough***Re: "Godel got it all wrong"**,*Newberry***Re: "Godel got it all wrong"**,*Peter_Smith***Re: "Godel got it all wrong"**,*Aatu Koskensilta***Re: "Godel got it all wrong"**,*Aatu Koskensilta***Re: "Godel got it all wrong"**,*Daryl McCullough***Re: "Godel got it all wrong"**,*Newberry***Re: "Godel got it all wrong"**,*Aatu Koskensilta***Re: "Godel got it all wrong"**,*Newberry***Re: "Godel got it all wrong"**,*Aatu Koskensilta***Re: "Godel got it all wrong"**,*Newberry***Re: "Godel got it all wrong"**,*Aatu Koskensilta***Re: "Godel got it all wrong"**,*Daryl McCullough***Re: "Godel got it all wrong"**,*Newberry***Re: "Godel got it all wrong"**,*Peter_Smith***Re: "Godel got it all wrong"**,*Aatu Koskensilta***Re: "Godel got it all wrong"**,*Peter_Smith***Re: "Godel got it all wrong"**,*Peter_Smith***Re: "Godel got it all wrong"**,*Pierre Asselin***Re: "Godel got it all wrong"**,*Newberry***Re: "Godel got it all wrong"**,*Peter_Smith***Re: "Godel got it all wrong"**,*Aatu Koskensilta***Re: "Godel got it all wrong"**,*abo***Re: "Godel got it all wrong"**,*Aatu Koskensilta***Re: "Godel got it all wrong"**,*Aatu Koskensilta***Re: "Godel got it all wrong"**,*Peter_Smith***Re: "Godel got it all wrong"**,*Jesse F. Hughes***Re: "Godel got it all wrong"**,*Newberry***Re: "Godel got it all wrong"**,*Jesse F. Hughes***Re: "Godel got it all wrong"**,*Daryl McCullough***Re: "Godel got it all wrong"**,*Newberry***Re: "Godel got it all wrong"**,*MoeBlee***Re: "Godel got it all wrong"**,*LauLuna***Re: "Godel got it all wrong"**,*Aatu Koskensilta*

**Re: "Godel got it all wrong"**,*abo***Re: "Godel got it all wrong"**,*Peter_Smith***Re: "Godel got it all wrong"**,*Herman Jurjus***Re: "Godel got it all wrong"**,*Peter_Smith***Re: "Godel got it all wrong"**,*Peter_Smith***Re: "Godel got it all wrong"**,*Herman Jurjus***Re: "Godel got it all wrong"**,*Peter_Smith*

**Re: "Godel got it all wrong"**,*Raving***Re: "Godel got it all wrong"**,*John Jones***Re: "Godel got it all wrong"**,*MoeBlee***Re: "Godel got it all wrong"**,*MoeBlee***Re: "Godel got it all wrong"**,*Raving***Re: "Godel got it all wrong"**,*MoeBlee***Re: "Godel got it all wrong"**,*Raving*

**Re: "Godel got it all wrong"**,*Daryl McCullough***Re: "Godel got it all wrong"**,*semiopen**Message not available***Re: "Godel got it all wrong"**,*Peter_Smith***Re: "Godel got it all wrong"**,*Bhupinder Singh Anand***Re: "Godel got it all wrong"**,*Peter_Smith***Re: "Godel got it all wrong"**,*Bhupinder Singh Anand***Re: "Godel got it all wrong"**,*Bhupinder Singh Anand*

**Re: "Godel got it all wrong"**,*Charlie-Boo***Re: "Godel got it all wrong"**,*Peter_Smith*

**Re: "Godel got it all wrong"**,*Paul Holbach***Re: "Godel got it all wrong"**,*Paul Holbach***Re: "Godel got it all wrong"**,*Aatu Koskensilta***Re: "Godel got it all wrong"**,*Jesse F. Hughes***Re: "Godel got it all wrong"**,*Aatu Koskensilta*

**Question on formalism**,*John Jones***Re: Question on formalism**,*MoeBlee***Re: Question on formalism**,*John Jones***Re: Question on formalism**,*MoeBlee***Re: Question on formalism**,*John Jones***Re: Question on formalism**,*MoeBlee***Re: Question on formalism**,*John Jones***Re: Question on formalism**,*MoeBlee***Re: Question on formalism**,*John Jones***Re: Question on formalism**,*MoeBlee***Re: Question on formalism**,*Chris Menzel***Re: Question on formalism**,*MoeBlee*

**Re: Question on formalism**,*Frederick Williams***Re: Question on formalism**,*galathaea***Re: Question on formalism**,*John Jones***Re: Question on formalism**,*MoeBlee***Re: Question on formalism**,*prettypeople babygirls***Re: Question on formalism**,*John Jones***Re: Question on formalism**,*MoeBlee***Re: Question on formalism**,*John Jones***Re: Question on formalism**,*MoeBlee***Re: Question on formalism**,*John Jones***Re: Question on formalism**,*MoeBlee***Re: Question on formalism**,*galathaea*

**How to represent computer algorithms using FOL?**,*Dan Christensen***Re: How to represent computer algorithms using FOL?**,*MoeBlee**Message not available***Re: How to represent computer algorithms using FOL?**,*Frederick Williams*

**Re: How to represent computer algorithms using FOL?**,*Barb Knox*

**Modal Logic: An Introduction**,*khodaeifar@xxxxxxxxx***Re: Modal Logic: An Introduction**,*Jack Campin - bogus address***Re: Modal Logic: An Introduction**,*khodaeifar@xxxxxxxxx*

**Modus Ponens Is Unprovable?**,*Protoman***Re: Modus Ponens Is Unprovable?**,*William Elliot***Re: Modus Ponens Is Unprovable?**,*Frederick Williams***Re: Modus Ponens Is Unprovable?**,*herb z***Re: Modus Ponens Is Unprovable?**,*Jan Burse***Re: Modus Ponens Is Unprovable?**,*herb z***Re: Modus Ponens Is Unprovable?**,*Jan Burse***Re: Modus Ponens Is Unprovable?**,*herb z***Re: Modus Ponens Is Unprovable?**,*herb z***Re: Modus Ponens Is Unprovable?**,*Jan Burse***Re: Modus Ponens Is Unprovable?**,*Jan Burse***Re: Modus Ponens Is Unprovable?**,*herb z***Re: Modus Ponens Is Unprovable?**,*herbzet***Re: Modus Ponens Is Unprovable?**,*Jan Burse***Re: Modus Ponens Is Unprovable?**,*herbzet*

**Re: Modus Ponens Is Unprovable?**,*Jan Burse***Re: Modus Ponens Is Unprovable?**,*Bill Taylor***Re: Modus Ponens Is Unprovable?**,*mordov***Re: Modus Ponens Is Unprovable?**,*translogi@xxxxxxxxxxxxxx***Re: Modus Ponens Is Unprovable?**,*translogi@xxxxxxxxxxxxxx***Re: Modus Ponens Is Unprovable?**,*Barb Knox***Re: Modus Ponens Is Unprovable?**,*Frederick Williams***Re: Modus Ponens Is Unprovable?**,*translogi@xxxxxxxxxxxxxx**Message not available***Re: Modus Ponens Is Unprovable?**,*translogi@xxxxxxxxxxxxxx***Re: Modus Ponens Is Unprovable?**,*Jan Burse*

**Re: Modus Ponens Is Unprovable?**,*Frederick Williams*

**Help on Proofs of Validity**,*Protoman***Re: Help on Proofs of Validity**,*William Elliot***Re: Help on Proofs of Validity**,*Protoman***Re: Help on Proofs of Validity**,*William Elliot***Re: Help on Proofs of Validity**,*Protoman***Re: Help on Proofs of Validity**,*William Elliot***Re: Help on Proofs of Validity**,*Protoman***Re: Help on Proofs of Validity**,*William Elliot***Re: Help on Proofs of Validity**,*Protoman***Re: Help on Proofs of Validity**,*William Elliot***Re: Help on Proofs of Validity**,*George Dance***Re: Help on Proofs of Validity**,*George Dance*

**Re: Help on Proofs of Validity**,*Aatu Koskensilta***Re: Help on Proofs of Validity**,*Protoman***Re: Help on Proofs of Validity**,*Jack Campin - bogus address*

**Re: Help on Proofs of Validity**,*Frederick Williams***Re: Help on Proofs of Validity**,*Protoman***Re: Help on Proofs of Validity**,*MoeBlee***Re: Help on Proofs of Validity**,*Protoman***Re: Help on Proofs of Validity**,*MoeBlee***Re: Help on Proofs of Validity**,*Jack Campin - bogus address***Re: Help on Proofs of Validity**,*Jesse F. Hughes***Re: Help on Proofs of Validity**,*Protoman***Re: Help on Proofs of Validity**,*Frederick Williams***Re: Help on Proofs of Validity**,*George Dance***Re: Help on Proofs of Validity**,*William Elliot***Re: Help on Proofs of Validity**,*Frederick Williams***Re: Help on Proofs of Validity**,*George Dance*

**Ross A. Finlayson, Question and Answer Period**,*Ross A. Finlayson***Re: Ross A. Finlayson, Question and Answer Period**,*Ross A. Finlayson***Re: Ross A. Finlayson, Question and Answer Period**,*William Elliot***Re: Ross A. Finlayson, Question and Answer Period**,*Ross A. Finlayson***Re: Ross A. Finlayson, Question and Answer Period**,*William Elliot***Re: Ross A. Finlayson, Question and Answer Period**,*Ross A. Finlayson***Re: Ross A. Finlayson, Question and Answer Period**,*William Elliot***Re: Ross A. Finlayson, Question and Answer Period**,*Ross A. Finlayson***Re: Ross A. Finlayson, Question and Answer Period**,*William Elliot*

**Re: Ross A. Finlayson, Question and Answer Period**,*Aatu Koskensilta***Re: Ross A. Finlayson, Question and Answer Period**,*Ross A. Finlayson***Re: Ross A. Finlayson, Question and Answer Period**,*Aatu Koskensilta*

**Re: Ross A. Finlayson, Question and Answer Period**,*Frederick Williams***Re: Ross A. Finlayson, Question and Answer Period**,*Aatu Koskensilta***Re: Ross A. Finlayson, Question and Answer Period**,*Ross A. Finlayson***Re: Ross A. Finlayson, Question and Answer Period**,*Ross A. Finlayson*

**Ford Motor crisis ,USA un-education and Bush Science anti-advisers**,*practical1***what kind of paradox is this?**,*makc . the . great***Re: what kind of paradox is this?**,*crito***Re: what kind of paradox is this?**,*makc . the . great*

**[] what kind of paradox is this?**,*William Elliot***Re: [] what kind of paradox is this?**,*Aatu Koskensilta***Re: [] what kind of paradox is this?**,*William Elliot***Re: [] what kind of paradox is this?**,*Aatu Koskensilta***Re: [] what kind of paradox is this?**,*William Elliot***Re: [] what kind of paradox is this?**,*herb z***Re: [] what kind of paradox is this?**,*LauLuna*

**Re: what kind of paradox is this?**,*wt.eric@xxxxxxxxx***Re: what kind of paradox is this?**,*Charlie-Boo*

**Re: what kind of paradox is this?**,*Rupert***Re: what kind of paradox is this?**,*Aatu Koskensilta***Re: what kind of paradox is this?**,*makc . the . great***Re: what kind of paradox is this?**,*Rupert***Re: what kind of paradox is this?**,*makc . the . great***Re: what kind of paradox is this?**,*Rupert***Re: what kind of paradox is this?**,*makc . the . great***Re: what kind of paradox is this?**,*Charlie-Boo***Re: what kind of paradox is this?**,*Charlie-Boo*

**Re: what kind of paradox is this?**,*Calvin***Re: what kind of paradox is this?**,*makc . the . great*

**Re: what kind of paradox is this?**,*George Dance***Re: what kind of paradox is this?**,*Raving***Re: what kind of paradox is this?**,*Charlie-Boo***Re: what kind of paradox is this?**,*makc . the . great***Re: what kind of paradox is this?**,*Charlie-Boo***Re: what kind of paradox is this?**,*makc . the . great*

**Question about Basic Law V**,*lugita15***Re: Question about Basic Law V**,*Rupert***Re: Question about Basic Law V**,*lugita15***Re: Question about Basic Law V**,*Rupert***Re: Question about Basic Law V**,*Fuckwit***Re: Question about Basic Law V**,*Rupert***Re: Question about Basic Law V**,*lugita15***Re: Question about Basic Law V**,*Rupert***Re: Question about Basic Law V**,*Rupert***Re: Question about Basic Law V**,*lugita15***Re: Question about Basic Law V**,*Rupert***Re: Question about Basic Law V**,*george***Re: Question about Basic Law V**,*lugita15***Re: Question about Basic Law V**,*george***Re: Question about Basic Law V**,*george***Re: Question about Basic Law V**,*george***Re: Question about Basic Law V**,*george***Re: Question about Basic Law V**,*george***Re: Question about Basic Law V**,*george***Re: Question about Basic Law V**,*george***Re: Question about Basic Law V**,*george***Re: Question about Basic Law V**,*george***Re: Question about Basic Law V**,*george***Re: Question about Basic Law V**,*Rupert***Re: Question about Basic Law V**,*lugita15***Re: Question about Basic Law V**,*Rupert***Re: Question about Basic Law V**,*george***Re: Question about Basic Law V**,*george*

**Re: Question about Basic Law V**,*Fuckwit***Re: Question about Basic Law V**,*george***Re: Question about Basic Law V**,*Fuckwit***Re: Question about Basic Law V**,*Fuckwit***Re: Question about Basic Law V**,*george***Re: Question about Basic Law V**,*Fuckwit*

**Re: Question about Basic Law V**,*lugita15***Re: Question about Basic Law V**,*george***Re: Question about Basic Law V**,*lugita15***Re: Question about Basic Law V**,*george***Re: Question about Basic Law V**,*lugita15***Re: Question about Basic Law V**,*george***Basic Law V vs. 2nd-order identity**,*george***Re: Basic Law V vs. 2nd-order identity**,*george***Re: Basic Law V vs. 2nd-order identity**,*lugita15***Re: Basic Law V vs. 2nd-order identity**,*george***Re: Basic Law V vs. 2nd-order identity**,*Peter_Smith***Re: Basic Law V vs. 2nd-order identity**,*lugita15***Re: Basic Law V vs. 2nd-order identity**,*Peter_Smith***Re: Basic Law V vs. 2nd-order identity**,*lugita15***Re: Basic Law V vs. 2nd-order identity**,*george*

**Re: Question about Basic Law V**,*george***Re: Question about Basic Law V**,*LauLuna***Re: Question about Basic Law V**,*george*

**Godel up the junction**,*John Jones***Re: Godel up the junction**,*Rupert***Re: Godel up the junction**,*Daryl McCullough***Re: Godel up the junction**,*Aatu Koskensilta*

**Re: Godel up the junction**,*Rupert***Re: Godel up the junction**,*John Jones***Re: Godel up the junction**,*Rupert***Re: Godel up the junction**,*John Jones***Re: Godel up the junction**,*Rupert***Re: Godel up the junction**,*Aatu Koskensilta*

**Re: Godel up the junction**,*Daryl McCullough***Re: Godel up the junction**,*John Jones***Re: Godel up the junction**,*Chris Menzel***Re: Godel up the junction**,*John Jones***Re: Godel up the junction**,*Daryl McCullough***Re: Godel up the junction**,*John Jones***Re: Godel up the junction**,*Daryl McCullough***Re: Godel up the junction**,*Model-T-ory***Re: Godel up the junction**,*John Jones***Re: Godel up the junction**,*John Jones***Re: Godel up the junction**,*MoeBlee***Re: Godel up the junction**,*Aatu Koskensilta***Re: Godel up the junction**,*John Jones***Re: Godel up the junction**,*MoeBlee***Re: Godel up the junction**,*John Jones***Re: Godel up the junction**,*MoeBlee***Re: Godel up the junction**,*John Jones*

**Re: 2003!!!!!!!!!!!!!!!2004!!!!!!!!!!!!!!!!!2001!!!!!!!!!!!!2002!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!**,*kylekatarn***Source for a Kreisel quote**,*Aatu Koskensilta***Re: Source for a Kreisel quote**,*tchow***Re: Source for a Kreisel quote**,*MoeBlee***Re: Source for a Kreisel quote**,*Aatu Koskensilta***Re: Source for a Kreisel quote**,*xilog*

**Re: the consistency of predicate logic.**,*aussiekevin***Re: the consistency of predicate logic.**,*Aatu Koskensilta*

**Re: Torkel Franzén Lives!**,*Charlie-Boo***[FAQ, 99/07/28] Mathematical logic on the web**,*Boris 'pi' Piwinger***Axiom of Pairing**,*apoorv***Re: Axiom of Pairing**,*MoeBlee***Re: Axiom of Pairing**,*george***Re: Axiom of Pairing**,*MoeBlee*

**Re: Axiom of Pairing**,*MoeBlee***Re: Axiom of Pairing**,*Tron***Re: Axiom of Pairing**,*Aatu Koskensilta*

**Re: Axiom of Pairing**,*Pierre Asselin***Re: Axiom of Pairing**,*apoorv***Re: Axiom of Pairing**,*george***Re: Axiom of Pairing**,*apoorv***Re: Axiom of Pairing**,*MoeBlee***Re: Axiom of Pairing**,*george***Re: Axiom of Pairing**,*MoeBlee***Re: Axiom of Pairing**,*apoorv***Re: Axiom of Pairing**,*MoeBlee*

**Re: Axiom of Pairing**,*John Jones***Re: Axiom of Pairing**,*MoeBlee***Re: Axiom of Pairing**,*John Jones***Re: Axiom of Pairing**,*MoeBlee***Re: Axiom of Pairing**,*John Jones***Re: Axiom of Pairing**,*Jesse F. Hughes***Re: Axiom of Pairing**,*David C . Ullrich***Re: Axiom of Pairing**,*John Jones***Re: Axiom of Pairing**,*Chris Menzel***Re: Axiom of Pairing**,*Raving***Re: Axiom of Pairing**,*John Jones***Re: Axiom of Pairing**,*Raving***Re: Axiom of Pairing**,*John Jones***Re: Axiom of Pairing**,*Raving***Re: Axiom of Pairing**,*John Jones***Re: Axiom of Pairing**,*David C . Ullrich***Re: Axiom of Pairing**,*John Jones*

**Re: Axiom of Pairing**,*Aatu Koskensilta***Re: Axiom of Pairing**,*MoeBlee***Re: Axiom of Pairing**,*John Jones***Re: Axiom of Pairing**,*Aatu Koskensilta***Re: Axiom of Pairing**,*MoeBlee***Re: Axiom of Pairing**,*John Jones***Re: Axiom of Pairing**,*MoeBlee***Re: Axiom of Pairing**,*John Jones***Re: Axiom of Pairing**,*Aatu Koskensilta***Re: Axiom of Pairing**,*MoeBlee***Re: Axiom of Pairing**,*MoeBlee***Re: Axiom of Pairing**,*herb z***Re: Axiom of Pairing**,*John Jones***Re: Axiom of Pairing**,*John Jones***Re: Axiom of Pairing**,*Chris Menzel***Re: Axiom of Pairing**,*John Jones***Re: Axiom of Pairing**,*Chris Menzel***Re: Axiom of Pairing**,*John Jones***Re: Axiom of Pairing**,*Chris Menzel***Re: Axiom of Pairing**,*John Jones***Re: Axiom of Pairing**,*David C . Ullrich***Re: Axiom of Pairing**,*semiopen***Re: Axiom of Pairing**,*MoeBlee***Re: Axiom of Pairing**,*John Jones***Re: Axiom of Pairing**,*MoeBlee***Re: Axiom of Pairing**,*John Jones***Re: Axiom of Pairing**,*MoeBlee***Re: Axiom of Pairing**,*Jesse F. Hughes***Re: Axiom of Pairing**,*Alan Smaill***Re: Axiom of Pairing**,*Jesse F. Hughes***Re: Axiom of Pairing**,*Aatu Koskensilta***Re: Axiom of Pairing**,*Jesse F. Hughes***Re: Axiom of Pairing**,*Aatu Koskensilta***Re: Axiom of Pairing**,*Chris Menzel***Re: Axiom of Pairing**,*Aatu Koskensilta***Re: Axiom of Pairing**,*Chris Menzel***Re: Axiom of Pairing**,*Jack Campin - bogus address***Re: Axiom of Pairing**,*Chris Menzel***Re: Axiom of Pairing**,*Chris Menzel***Re: Axiom of Pairing**,*Jack Campin - bogus address***Re: Axiom of Pairing**,*Chris Menzel***Re: Axiom of Pairing**,*Alan Smaill***Re: Axiom of Pairing**,*Aatu Koskensilta***Re: Axiom of Pairing**,*John Jones***Re: Axiom of Pairing**,*Aatu Koskensilta***Re: Axiom of Pairing**,*herb z***Re: Axiom of Pairing**,*John Jones***Re: Axiom of Pairing**,*Aatu Koskensilta*

**Re: A question about FOL theories and models**,*george***Re: The incompleteness theorems, Sigma-1-completeness, induction, all that**,*george***Re: The incompleteness theorems, Sigma-1-completeness, induction, all that**,*Rupert***retraction**,*george***Re: retraction**,*Rupert*

- <Possible follow-ups>
**Re: The incompleteness theorems, Sigma-1-completeness, induction, all that**,*Aatu Koskensilta***Re: The incompleteness theorems, Sigma-1-completeness, induction, all that**,*Aatu Koskensilta***Re: The incompleteness theorems, Sigma-1-completeness, induction, all that**,*Newberry*

**Re: Must higher-order logic be typed?**,*Owen*