# sci.logic

**ILLC Research Reports and Technical Notes 2006**,*Marco Vervoort,P.315,+31 20 525 6519,,***Eureka! Russell's set exists!!**,*Newberry***Re: Eureka! Russell's set exists!!**,*Neil W Rickert*

**Chapter Two of Logic Algebra was released today**,*Conbra***x = x, and the failure of proof**,*John Jones***Re: x = x, and the failure of proof**,*danielmryan*

**Existence, Self-identity and Uniqueness.**,*Owen***Re: Existence, Self-identity and Uniqueness.**,*Jan Burse***Re: Existence, Self-identity and Uniqueness.**,*William Elliot***Re: Existence, Self-identity and Uniqueness.**,*Jan Burse***Re: Existence, Self-identity and Uniqueness.**,*William Elliot***Re: Existence, Self-identity and Uniqueness.**,*Jan Burse***Re: Existence, Self-identity and Uniqueness.**,*Jan Burse***Re: Existence, Self-identity and Uniqueness.**,*William Elliot***Re: Existence, Self-identity and Uniqueness.**,*William Elliot***Re: Existence, Self-identity and Uniqueness.**,*Jan Burse***Re: Existence, Self-identity and Uniqueness.**,*William Elliot*

**Re: Existence, Self-identity and Uniqueness.**,*Owen***Re: Existence, Self-identity and Uniqueness.**,*Jan Burse***Re: Existence, Self-identity and Uniqueness.**,*Owen***Re: Existence, Self-identity and Uniqueness.**,*Jan Burse***Re: Existence, Self-identity and Uniqueness.**,*Chris Menzel***Re: Existence, Self-identity and Uniqueness.**,*Jan Burse***Re: Existence, Self-identity and Uniqueness.**,*Jan Burse***Re: Existence, Self-identity and Uniqueness.**,*Chris Menzel***Re: Existence, Self-identity and Uniqueness.**,*Owen***Re: Existence, Self-identity and Uniqueness.**,*Owen***Re: Existence, Self-identity and Uniqueness.**,*Jan Burse***Re: Existence, Self-identity and Uniqueness.**,*Owen***Re: Existence, Self-identity and Uniqueness.**,*William Elliot***Re: Existence, Self-identity and Uniqueness.**,*Chris Menzel***Re: Existence, Self-identity and Uniqueness.**,*Jan Burse***Re: Existence, Self-identity and Uniqueness.**,*Jan Burse***Re: Existence, Self-identity and Uniqueness.**,*Jan Burse*

**Re: Existence, Self-identity and Uniqueness.**,*William Elliot***Re: Existence, Self-identity and Uniqueness.**,*G . Frege***Re: Existence, Self-identity and Uniqueness.**,*William Elliot*

**Recent anti-semantic advances in Mathematics**,*John Jones***Re: Recent anti-semantic advances in Mathematics**,*Peter_Smith***Re: Recent anti-semantic advances in Mathematics**,*Daryl McCullough***Re: Recent anti-semantic advances in Mathematics**,*george***Re: Recent anti-semantic advances in Mathematics**,*John Jones*

**Re: Recent anti-semantic advances in Mathematics**,*John Jones***Re: Recent anti-semantic advances in Mathematics**,*Peter_Smith***Re: Recent anti-semantic advances in Mathematics**,*John Jones***Re: Recent anti-semantic advances in Mathematics**,*Peter_Smith***Re: Recent anti-semantic advances in Mathematics**,*John Jones***Re: Recent anti-semantic advances in Mathematics**,*Alan Smaill*

**Re: Recent anti-semantic advances in Mathematics**,*David*

**A Question About Consistent Theories**,*Bob Stewart***Re: A Question About Consistent Theories**,*Aatu Koskensilta***Re: A Question About Consistent Theories**,*Bob Stewart***Re: A Question About Consistent Theories**,*David C . Ullrich***Re: A Question About Consistent Theories**,*aatu . koskensilta***Re: A Question About Consistent Theories**,*Bob Stewart***Re: A Question About Consistent Theories**,*aatu . koskensilta***Re: A Question About Consistent Theories**,*David C . Ullrich***Re: A Question About Consistent Theories**,*Bob Stewart***Re: A Question About Consistent Theories**,*David C . Ullrich***Re: A Question About Consistent Theories**,*Bob Stewart***Re: A Question About Consistent Theories**,*David C . Ullrich***Re: A Question About Consistent Theories**,*aatu . koskensilta*

**Re: A Question About Consistent Theories**,*David C . Ullrich*

**Wittgenstein and pi**,*Rupert***Re: Wittgenstein and pi**,*Aatu Koskensilta***Re: Wittgenstein and pi**,*abo***Re: Wittgenstein and pi**,*Gc***Re: Wittgenstein and pi**,*Rupert*

**an essentially non-constructive existence proof**,*Rupert***Re: an essentially non-constructive existence proof**,*Aatu Koskensilta***Re: an essentially non-constructive existence proof**,*Rupert***Re: an essentially non-constructive existence proof**,*Aatu Koskensilta*

**Constructive Proofs (Bishop)**,*guyontheinet***Re: Constructive Proofs (Bishop)**,*Jan Burse***Re: Constructive Proofs (Bishop)**,*guyontheinet***Re: Constructive Proofs (Bishop)**,*Jan Burse*

**Re: Constructive Proofs (Bishop)**,*Alan Smaill*

**Cinderella Mathematics**,*John Jones***Re: Cinderella Mathematics**,*Alan Smaill*

**Re: correcting Euclid's proof of the Infinitude of Primes which leads to an easy proof of the Infinitude of Twin Primes; both Dik Winter and Chris Heckman have failed attempts**,*G . Frege***care givers of paralyzed children**,*lindaglenn***Re: care givers of paralyzed children**,*William Elliot*

**The Chapter One (Logic Algebra) of Part Three in book "Concept Algebra" has released at web side**,*Conbra***How long are the arms of Formalisms?**,*John Jones***Re: How long are the arms of Formalisms?**,*Nam Nguyen***Re: How long are the arms of Formalisms?**,*John Jones***Re: How long are the arms of Formalisms?**,*David***Re: How long are the arms of Formalisms?**,*John Jones***Re: How long are the arms of Formalisms?**,*Nam Nguyen***Re: How long are the arms of Formalisms?**,*David***Re: How long are the arms of Formalisms?**,*Nam Nguyen***Re: How long are the arms of Formalisms?**,*John Jones***Re: How long are the arms of Formalisms?**,*John Jones***Re: How long are the arms of Formalisms?**,*Nam Nguyen***Re: How long are the arms of Formalisms?**,*John Jones***Re: How long are the arms of Formalisms?**,*Nam Nguyen***Re: How long are the arms of Formalisms?**,*John Jones***Re: How long are the arms of Formalisms?**,*Nam Nguyen***Re: How long are the arms of Formalisms?**,*John Jones*

**Re: How long are the arms of Formalisms?**,*David***Re: How long are the arms of Formalisms?**,*Peter_Smith***Re: How long are the arms of Formalisms?**,*Nam Nguyen***Re: How long are the arms of Formalisms?**,*David***Re: How long are the arms of Formalisms?**,*David***Re: How long are the arms of Formalisms?**,*Peter_Smith***Re: How long are the arms of Formalisms?**,*Nam Nguyen***Re: How long are the arms of Formalisms?**,*Peter_Smith***Re: How long are the arms of Formalisms?**,*Nam Nguyen***Re: How long are the arms of Formalisms?**,*Aatu Koskensilta***Re: How long are the arms of Formalisms?**,*Nam Nguyen***Re: How long are the arms of Formalisms?**,*Peter_Smith***Re: How long are the arms of Formalisms?**,*Peter_Smith***Re: How long are the arms of Formalisms?**,*Nam Nguyen***Re: How long are the arms of Formalisms?**,*Peter_Smith***Re: How long are the arms of Formalisms?**,*Aatu Koskensilta***Re: How long are the arms of Formalisms?**,*Nam Nguyen***Re: How long are the arms of Formalisms?**,*Aatu Koskensilta***Re: How long are the arms of Formalisms?**,*Aatu Koskensilta***Re: How long are the arms of Formalisms?**,*Nam D. Nguyen***Re: How long are the arms of Formalisms?**,*Nam D. Nguyen***Re: How long are the arms of Formalisms?**,*David***Re: How long are the arms of Formalisms?**,*Peter_Smith***Re: How long are the arms of Formalisms?**,*David***Re: How long are the arms of Formalisms?**,*Peter_Smith***Re: How long are the arms of Formalisms?**,*David***Re: How long are the arms of Formalisms?**,*Peter_Smith***Re: How long are the arms of Formalisms?**,*David***Re: How long are the arms of Formalisms?**,*Nam Nguyen***Re: How long are the arms of Formalisms?**,*John Jones*

**Re: How long are the arms of Formalisms?**,*John Jones*

**Can't get more Logical than this**,*Dava***Re: Can't get more crappy than this**,*John Jones***Re: Can't get more crappy than this**,*Dava***Re: Can't get more crappy than this**,*John Jones***Re: Can't get more crappy than this**,*Dava***Re: Can't get more crappy than this**,*John Jones***Re: Can't get more crappy than this**,*Dava*

**PARADOXES AND STATES OF AFFAIRS**,*LauLuna***Re: PARADOXES AND STATES OF AFFAIRS**,*Rupert***Re: PARADOXES AND STATES OF AFFAIRS**,*aatu . koskensilta***Re: PARADOXES AND STATES OF AFFAIRS**,*Rupert***Re: PARADOXES AND STATES OF AFFAIRS**,*aatu . koskensilta***Re: PARADOXES AND STATES OF AFFAIRS**,*LauLuna*

**Re: PARADOXES AND STATES OF AFFAIRS**,*LauLuna*

**Aluminum causes Alzheimers ?**,*caesarjbsquitti***Re: Can ZFC prove Addition is Associative?**,*ledaiman***Proving uncountability of reals**,*JN***Re: Proving uncountability of reals**,*Frederick Williams*

**Re: Why is Cantor a target for cranks?**,*george***Re: Why is Cantor a target for cranks?**,*Daryl McCullough*- <Possible follow-ups>
**Re: Why is Cantor a target for cranks?**,*R. Srinivasan***Re: Why is Cantor a target for cranks?**,*R. Srinivasan***Re: Why is Cantor a target for cranks?**,*Newberry***Re: Why is Cantor a target for cranks?**,*R. Srinivasan***Re: Why is Cantor a target for cranks?**,*Daryl McCullough***Re: Why is Cantor a target for cranks?**,*Nam Nguyen***Re: Why is Cantor a target for cranks?**,*R. Srinivasan*

**Re: Why is Cantor a target for cranks?**,*R. Srinivasan***Re: Why is Cantor a target for cranks?**,*R. Srinivasan***Re: Why is Cantor a target for cranks?**,*Newberry***Re: Why is Cantor a target for cranks?**,*R. Srinivasan***Re: Why is Cantor a target for cranks?**,*R. Srinivasan*

**Re: Why is Cantor a target for cranks?**,*Newberry***Re: Why is Cantor a target for cranks?**,*R. Srinivasan*

**Wanted ***friend 17 years old up str/Hr**,*Arturo Magidin***Re: Wanted ***friend 17 years old up str/Hr**,*The Ghost In The Machine***Re: Wanted ***friend 17 years old up str/Hr**,*aatu . koskensilta***Re: Wanted ***friend 17 years old up str/Hr**,*Arturo Magidin***Re: Wanted ***friend 17 years old up str/Hr**,*William Elliot***Re: Wanted ***friend 17 years old up str/Hr**,*herbzet***Re: Wanted ***friend 17 years old up str/Hr**,*george*

**Re: Wanted ***friend 17 years old up str/Hr**,*Frederick Williams*

**Question about model with most little domain**,*sylsau***Re: Question about model with most little domain**,*aatu . koskensilta***Re: Question about model with most little domain**,*William Elliot***Re: Question about model with most little domain**,*aatu . koskensilta***Re: Question about model with most little domain**,*William Elliot*

**Re: Question about model with most little domain**,*Frederick Williams*

**The plan to release the book "Concept Algebra"**,*Conbra***Re: The plan to release the book "Concept Algebra"**,*sureshfernando*

**Looking for Big Cocks**,*Arturo Magidin***Provability vs. Entailment**,*Lash Rambo***Re: Provability vs. Entailment**,*G . Frege***Re: Provability vs. Entailment**,*wilemien@xxxxxxxxxxxxxx***Re: Provability vs. Entailment**,*aatu . koskensilta*

**Re: Provability vs. Entailment**,*aatu . koskensilta***Re: Provability vs. Entailment**,*Jan Burse***Re: Provability vs. Entailment**,*Lash Rambo***Re: Provability vs. Entailment**,*G . Frege***Re: Provability vs. Entailment**,*Lash Rambo***Re: Provability vs. Entailment**,*george***Re: Provability vs. Entailment**,*G . Frege***Re: Provability vs. Entailment**,*Lash Rambo*

**The First 37 Branches of Computer Science Generated by CBL**,*Charlie-Boo***chemistry**,*shamsheramu@xxxxxxxxx***Re: chemistry**,*Frederick Williams*

**Finding models to a formula**,*Konrad Viltersten***Re: Finding models to a formula**,*William Elliot***Re: Finding models to a formula**,*Konrad Viltersten*

**Re: the error in Godels proof**,*R. Srinivasan*- <Possible follow-ups>
**Re: the error in Godels proof**,*R. Srinivasan*

**biotechnology**,*rushieswar*- <Possible follow-ups>
**biotechnology**,*rushieswar***biotechnology**,*rushieswar***biotechnology**,*rushieswar*

**Proving "a OR !a"**,*Konrad Viltersten***Re: Proving "a OR !a"**,*translogi@xxxxxxxxxxxxxx***Re: Proving "a OR !a"**,*Konrad Viltersten***Re: Proving "a OR !a"**,*Jan Burse***Re: Proving "a OR !a"**,*wilemien@xxxxxxxxxxxxxx*

**How to prove (Ax)(Fx & Gx) <--> ~(Ex) (Fx -> ~Gx) ?**,*translogi@xxxxxxxxxxxxxx***Re: How to prove (Ax)(Fx & Gx) <--> ~(Ex) (Fx -> ~Gx) ?**,*Peter_Smith***Re: How to prove (Ax)(Fx & Gx) <--> ~(Ex) (Fx -> ~Gx) ?**,*wilemien@xxxxxxxxxxxxxx*

**he catalogue of Concept Algebra is releases**,*Conbra***Re: he catalogue of Concept Algebra is releases**,*William Elliot*

**AXIOM.**,*John Jones***Re: AXIOM.**,*William Elliot***Re: AXIOM.**,*R. Srinivasan***Re: AXIOM.**,*John Jones*

**Re: Absolutely undecidable statements**,*Aatu Koskensilta***What is the model for this information**,*Konrad Viltersten***Re: What is the model for this information**,*William Elliot***Re: What is the model for this information**,*John Jones***Re: What is the model for this information**,*Konrad Viltersten***Re: What is the model for this information**,*William Elliot***Re: What is the model for this information**,*Konrad Viltersten***Re: What is the model for this information**,*John Jones*

**Re: What is the model for this information**,*Konrad Viltersten***Re: What is the model for this information**,*William Elliot*

**Re: how technical is Einstein's book on relativity?**,*lugita15***inference rules for predicate logic**,*translogi@xxxxxxxxxxxxxx***Re: inference rules for predicate logic**,*Jan Burse***Re: inference rules for predicate logic**,*Jan Burse***Re: inference rules for predicate logic**,*lugita15***Re: inference rules for predicate logic**,*Jan Burse***Re: inference rules for predicate logic**,*Jan Burse*

**Re: inference rules for predicate logic**,*Peter_Smith***Re: inference rules for predicate logic**,*translogi@xxxxxxxxxxxxxx***Re: inference rules for predicate logic**,*Peter_Smith***Re: inference rules for predicate logic**,*Jan Burse*

**Re: inference rules for predicate logic**,*tohentoon*

**Cut elimination**,*Peter_Smith***Re: Cut elimination**,*Charlie-Boo***Re: Cut elimination**,*Frederick Williams*

**Re: Cut elimination**,*Aatu Koskensilta***Re: Cut elimination**,*lugita15***Re: Cut elimination ....thanks guys!**,*Peter_Smith***Re: Cut elimination ....thanks guys!**,*Aatu Koskensilta*

- <Possible follow-ups>
**Cut elimination**,*Peter_Smith***Re: Cut elimination**,*Jan Burse***Re: Cut elimination**,*Peter_Smith***Re: Cut elimination**,*Jan Burse*

**Re: Rice to Set Theory: No Universal Set, no Russell Set (and others)**,*chauhdary . engg87***Newbie help: Hintikka's lemma.**,*dpm_edinburgh***Re: Newbie help: Hintikka's lemma.**,*Peter_Smith***Re: Newbie help: Hintikka's lemma.**,*Peter_Smith***Re: Newbie help: Hintikka's lemma.**,*Dominc Mulligan*

**Average vs. Median**,*Roger***Re: Average vs. Median**,*Charlie-Boo***Re: Average vs. Median**,*Roger***Re: Average vs. Median**,*Charlie-Boo*

**Re: Average vs. Median**,*Lash Rambo*

**The foreword of book "Concept Algebra" has been released**,*Conbra***Re: The foreword of book "Concept Algebra" has been released**,*Charlie-Boo***Re: The foreword of book "Concept Algebra" has been released**,*Jan Burse*- <Possible follow-ups>
**The foreword of book "Concept Algebra" has been released**,*Conbra***The foreword of book "Concept Algebra" has been released**,*Conbra*

**Axiom of Infinity**,*apoorv***Re: Axiom of Infinity**,*William Elliot***Re: Axiom of Infinity**,*apoorv***Re: Axiom of Infinity**,*William Elliot***Re: Axiom of Infinity**,*apoorv***Re: Axiom of Infinity**,*William Elliot***Re: Axiom of Infinity**,*apoorv*

**Small automated theorem proving problem**,*Lash Rambo***Re: Small automated theorem proving problem**,*george***Re: Small automated theorem proving problem**,*Lash Rambo*

**Re: Small automated theorem proving problem**,*Charlie-Boo***Re: Small automated theorem proving problem**,*Lash Rambo***Re: Small automated theorem proving problem**,*Charlie-Boo***Re: Small automated theorem proving problem**,*Lash Rambo***Re: Small automated theorem proving problem**,*george***Re: Small automated theorem proving problem**,*george***Re: Small automated theorem proving problem**,*george***Re: Small automated theorem proving problem**,*Jonathan Hoyle*

**Re: Small automated theorem proving problem**,*Alan Smaill***Re: Small automated theorem proving problem**,*Lash Rambo***Re: Small automated theorem proving problem**,*sanderbruggink*

**Re: Small automated theorem proving problem**,*george***Re: Small automated theorem proving problem**,*Lash Rambo***Re: Small automated theorem proving problem**,*george***Re: Small automated theorem proving problem**,*Lash Rambo***Re: Small automated theorem proving problem**,*george***Re: Small automated theorem proving problem**,*Lash Rambo***Re: Small automated theorem proving problem**,*Markus Triska***Re: Small automated theorem proving problem**,*george***Re: Small automated theorem proving problem**,*george***Re: Small automated theorem proving problem**,*Lash Rambo***Re: Small automated theorem proving problem**,*george***Re: Small automated theorem proving problem**,*Lash Rambo***existentially quantified conditionals at 1st order ?**,*george***Re: existentially quantified conditionals at 1st order ?**,*Alan Smaill***Re: existentially quantified conditionals at 1st order ?**,*Alan Smaill***Re: existentially quantified conditionals at 1st order ?**,*george*

**Re: Small automated theorem proving problem**,*george***Re: Small automated theorem proving problem**,*Lash Rambo***Re: Small automated theorem proving problem**,*george***Re: Small automated theorem proving problem**,*Markus Triska*

**Attention, Charlie-Boo**,*herbzet***Re: Attention, Charlie-Boo**,*Charlie-Boo***Re: Attention, Charlie-Boo**,*herbzet***Re: Attention, Charlie-Boo**,*Charlie-Boo***Re: Attention, Charlie-Boo**,*herbzet***Re: Attention, Charlie-Boo**,*herbzet***Re: Attention, Charlie-Boo**,*Chris Menzel***Re: Attention, Charlie-Boo**,*herbzet***Re: Attention, Charlie-Boo**,*Chris Menzel***Re: Attention, Charlie-Boo**,*Aatu Koskensilta*

**Re: Attention, Charlie-Boo**,*Peter_Smith***Re: Attention, Charlie-Boo**,*herbzet*

**Undecidability for every sound theory.**,*Atreides***Re: Undecidability for every sound theory.**,*lugita15***Re: Undecidability for every sound theory.**,*Atreides***Re: Undecidability for every sound theory.**,*Stephen Harris***Re: Undecidability for every sound theory.**,*Rupert***Re: Undecidability for every sound theory.**,*Stephen Harris***Re: Undecidability for every sound theory.**,*Rupert***Re: Undecidability for every sound theory.**,*Stephen Harris***Re: Undecidability for every sound theory.**,*Stephen Harris***Re: Undecidability for every sound theory.**,*lugita15***Re: Undecidability for every sound theory.**,*Rupert***Re: Undecidability for every sound theory.**,*Stephen Harris***Re: Undecidability for every sound theory.**,*Rupert***Re: Undecidability for every sound theory.**,*lugita15***Re: Undecidability for every sound theory.**,*Rupert*

**Re: Undecidability for every sound theory.**,*Stephen Harris*

**Re: Is FLT in the language of PA?**,*george***Re: Is FLT in the language of PA?**,*Rupert***Re: Is FLT in the language of PA?**,*george***Re: Is FLT in the language of PA?**,*Rupert***Re: Is FLT in the language of PA?**,*george***Re: Is FLT in the language of PA?**,*Rupert***Re: Is FLT in the language of PA?**,*george***Re: Is FLT in the language of PA?**,*Rupert***Re: Is FLT in the language of PA?**,*george***Re: Is FLT in the language of PA?**,*Daryl McCullough***Re: Is FLT in the language of PA?**,*Daryl McCullough***Re: Is FLT in the language of PA?**,*Rupert***Re: Is FLT in the language of PA?**,*aatu . koskensilta***Re: Is FLT in the language of PA?**,*Rupert***Re: Is FLT in the language of PA?**,*Aatu Koskensilta***Re: Is FLT in the language of PA?**,*george***Re: Is FLT in the language of PA?**,*Rupert***Re: Is FLT in the language of PA?**,*Rupert***Re: Is FLT in the language of PA?**,*Daryl McCullough***Re: Is FLT in the language of PA?**,*Aatu Koskensilta*

**Re: Is FLT in the language of PA?**,*george***Re: Is FLT in the language of PA?**,*Rupert***Re: Is FLT in the language of PA?**,*Rupert***Re: Is FLT in the language of PA?**,*Rupert*

**Re: Is FLT in the language of PA?**,*Daryl McCullough***Re: Is FLT in the language of PA?**,*george***Re: Is FLT in the language of PA?**,*lugita15***Re: Is FLT in the language of PA?**,*Daryl McCullough***Re: Is FLT in the language of PA?**,*george***Re: Is FLT in the language of PA?**,*Daryl McCullough***Re: Is FLT in the language of PA?**,*george***Re: Is FLT in the language of PA?**,*Daryl McCullough***Re: Is FLT in the language of PA?**,*george*

- <Possible follow-ups>
**Re: Is FLT in the language of PA?**,*george*

**Nomenclature and Terminology - Inertial movement**,*vlcek***Incompatibility of Computationalism and Consistent Bivalent Logic**,*LauLuna***Re: Incompatibility of Computationalism and Consistent Bivalent Logic**,*abo***Re: Incompatibility of Computationalism and Consistent Bivalent Logic**,*LauLuna***Re: Incompatibility of Computationalism and Consistent Bivalent Logic**,*abo***Re: Incompatibility of Computationalism and Consistent Bivalent Logic**,*LauLuna***Re: Incompatibility of Computationalism and Consistent Bivalent Logic**,*abo***Re: Incompatibility of Computationalism and Consistent Bivalent Logic**,*LauLuna***Re: Incompatibility of Computationalism and Consistent Bivalent Logic**,*LauLuna***Re: Incompatibility of Computationalism and Consistent Bivalent Logic**,*abo***Re: Incompatibility of Computationalism and Consistent Bivalent Logic**,*LauLuna***Re: Incompatibility of Computationalism and Consistent Bivalent Logic**,*abo***Re: Incompatibility of Computationalism and Consistent Bivalent Logic**,*LauLuna***Re: Incompatibility of Computationalism and Consistent Bivalent Logic**,*abo***Re: Incompatibility of Computationalism and Consistent Bivalent Logic**,*LauLuna***Re: Incompatibility of Computationalism and Consistent Bivalent Logic**,*abo*

**Re: Incompatibility of Computationalism and Consistent Bivalent Logic**,*Charlie-Boo*

**Re: Incompatibility of Computationalism and Consistent Bivalent Logic**,*David C . Ullrich***Re: Incompatibility of Computationalism and Consistent Bivalent Logic**,*abo***Re: Incompatibility of Computationalism and Consistent Bivalent Logic**,*LauLuna***Re: Incompatibility of Computationalism and Consistent Bivalent Logic**,*David C . Ullrich***Re: Incompatibility of Computationalism and Consistent Bivalent Logic**,*LauLuna***Re: Incompatibility of Computationalism and Consistent Bivalent Logic**,*David C . Ullrich***Re: Incompatibility of Computationalism and Consistent Bivalent Logic**,*LauLuna***Re: Incompatibility of Computationalism and Consistent Bivalent Logic**,*David C . Ullrich*

**Re: Incompatibility of Computationalism and Consistent Bivalent Logic**,*Charlie-Boo***Re: Incompatibility of Computationalism and Consistent Bivalent Logic**,*Grouchy*

**Frege's axioms - any answers?**,*monibeam***Re: Frege's axioms - any answers?**,*Paul Holbach***Re: Frege's axioms - any answers?**,*William Elliot*

**Have physicists found the God?**,*socratus***Re: Proper class.Proper class ?**,*george***Re: Proper class.Proper class ?**,*Keith Ramsay***Re: Proper class.Proper class ?**,*george***Re: Proper class.Proper class ?**,*Keith Ramsay*

**request for help**,*Saurav***Re: request for help**,*abo*

**[FAQ, 99/07/28] Mathematical logic on the web**,*Boris 'pi' Piwinger***Re: incompleteness and inconsistency**,*lugita15***Re: incompleteness and inconsistency**,*Nam Nguyen***Re: incompleteness and inconsistency**,*lugita15***Re: incompleteness and inconsistency**,*Nam Nguyen***Re: incompleteness and inconsistency**,*Rupert***Re: incompleteness and inconsistency**,*Nam Nguyen***Re: incompleteness and inconsistency**,*Rupert***Re: incompleteness and inconsistency**,*lugita15***Re: incompleteness and inconsistency**,*Nam Nguyen***Re: incompleteness and inconsistency**,*Rupert***Re: incompleteness and inconsistency**,*Nam Nguyen***Re: incompleteness and inconsistency**,*Rupert***Re: incompleteness and inconsistency**,*lugita15***Re: incompleteness and inconsistency**,*Nam Nguyen***Re: incompleteness and inconsistency**,*lugita15***Re: incompleteness and inconsistency**,*Nam Nguyen***Re: incompleteness and inconsistency**,*lugita15***Re: incompleteness and inconsistency**,*Nam Nguyen***Re: incompleteness and inconsistency**,*lugita15***Re: incompleteness and inconsistency**,*Nam Nguyen***Re: incompleteness and inconsistency**,*lugita15***Re: incompleteness and inconsistency**,*Nam Nguyen***Re: incompleteness and inconsistency**,*Nam Nguyen***Re: incompleteness and inconsistency**,*Rupert***Re: incompleteness and inconsistency**,*lugita15***Re: incompleteness and inconsistency**,*Rupert***Re: incompleteness and inconsistency**,*lugita15***Re: incompleteness and inconsistency**,*Rupert***Re: incompleteness and inconsistency**,*lugita15***Re: incompleteness and inconsistency**,*Rupert***Re: incompleteness and inconsistency**,*Nam Nguyen***Re: incompleteness and inconsistency**,*Rupert***Re: incompleteness and inconsistency**,*lugita15***Re: incompleteness and inconsistency**,*Rupert***Re: incompleteness and inconsistency**,*lugita15***Re: incompleteness and inconsistency**,*Rupert***Re: incompleteness and inconsistency**,*lugita15***Re: incompleteness and inconsistency**,*Rupert***Re: incompleteness and inconsistency**,*lugita15***Re: incompleteness and inconsistency**,*Rupert***Re: incompleteness and inconsistency**,*lugita15***Re: incompleteness and inconsistency**,*lugita15*

- <Possible follow-ups>
**Re: incompleteness and inconsistency**,*Manuel Bremer*

**Simple way to multiply big numbers (video)**,*Xadai***Re: Simple way to multiply big numbers (video)**,*Jan Burse***Re: Simple way to multiply big numbers (video)**,*William Elliot*

**description logic - axiomatic set theory**,*S.L.***Re: description logic - axiomatic set theory**,*Chris Menzel***Re: description logic - axiomatic set theory**,*Manuel Bremer*

**Re: If (P & ~P) -> Q is not derivable then Goedel's formula is not derivable**,*Newberry***Logical Implication and Equivalence**,*Mad_man_on_a_MissIon***Re: axioms of mathematical logic**,*itaj***Re: axioms of mathematical logic**,*tohentoon*- <Possible follow-ups>
**Re: axioms of mathematical logic**,*MoeBlee***Re: axioms of mathematical logic**,*Charlie-Boo***Re: axioms of mathematical logic**,*MoeBlee***Re: axioms of mathematical logic**,*Charlie-Boo***Re: axioms of mathematical logic**,*MoeBlee***Re: axioms of mathematical logic**,*David C . Ullrich*

**Re: axioms of mathematical logic**,*Charlie-Boo***Re: axioms of mathematical logic**,*Charlie-Boo***Re: axioms of mathematical logic**,*David C . Ullrich***Re: axioms of mathematical logic**,*Charlie-Boo***Re: axioms of mathematical logic**,*David C . Ullrich***Re: axioms of mathematical logic**,*Charlie-Boo***Re: axioms of mathematical logic**,*MoeBlee***Re: axioms of mathematical logic**,*Charlie-Boo***Re: axioms of mathematical logic**,*MoeBlee***Re: axioms of mathematical logic**,*MoeBlee***Re: axioms of mathematical logic**,*Charlie-Boo***Re: axioms of mathematical logic**,*MoeBlee***Re: axioms of mathematical logic**,*Charlie-Boo***Re: axioms of mathematical logic**,*MoeBlee***Re: axioms of mathematical logic**,*David C . Ullrich***Re: axioms of mathematical logic**,*Charlie-Boo***Re: axioms of mathematical logic**,*David C . Ullrich***Re: axioms of mathematical logic**,*Frederick Williams*

**Re: axioms of mathematical logic**,*Chris Menzel*

**Re: axioms of mathematical logic**,*Charlie-Boo***Re: axioms of mathematical logic**,*Charlie-Boo***Re: axioms of mathematical logic**,*Charlie-Boo***Re: axioms of mathematical logic**,*Charlie-Boo***Re: axioms of mathematical logic**,*Charlie-Boo***Re: axioms of mathematical logic**,*Charlie-Boo***Re: axioms of mathematical logic**,*Charlie-Boo***Re: axioms of mathematical logic**,*Charlie-Boo***Re: axioms of mathematical logic**,*David C . Ullrich*

**Re: axioms of mathematical logic**,*Chris Menzel***Re: axioms of mathematical logic**,*Keith Ramsay***Re: axioms of mathematical logic**,*Keith Ramsay*

**Re: texts for minimal logic**,*Jan Burse*