sci.logic
By Thread

2024 messages sorted by: [ date ]

Starting: 01/30/05
Ending: 02/28/05

math striptease kolderveran_at_walla.com (02/27/05)
- Re: math striptease Bill Taylor (02/28/05)
Aristotles logic decidable? David Costa (02/27/05)
- Re: Aristotles logic decidable? Owen (02/27/05)
  - Re: Aristotles logic decidable? David Costa (02/27/05)
- Re: Aristotles logic decidable? Chris Menzel (02/28/05)
- Re: Aristotles logic decidable? muxol (02/28/05)
  - Re: Aristotles logic decidable? Chris Menzel (02/28/05)
New Books and Software for Scientists, Experts, Teachers and Students Academy (02/27/05)
Measure-perfect sets of reals--existing nomenclature? Mike Oliver (02/27/05)
- Re: Measure-perfect sets of reals--existing nomenclature? David C. Ullrich (02/27/05)
  - Re: Measure-perfect sets of reals--existing nomenclature? Mike Oliver (02/27/05)
proving bicondtionals without cases? futurist (02/27/05)
- Re: proving bicondtionals without cases? Arturo Magidin (02/27/05)
the logical argument behind equation solving?? futurist (02/26/05)
- Re: the logical argument behind equation solving?? Randy Poe (02/26/05)
  - Re: the logical argument behind equation solving?? futurist (02/27/05)
Rule of <> elimination Andreas (02/26/05)
Rule of -> introduction Andreas (02/26/05)
- Re: Rule of -> introduction G. Frege (02/26/05)
  - Re: Rule of -> introduction Andreas (02/26/05)
Some grey areas in foundational issues Bhupinder Singh Anand (02/26/05)
- Re: Some grey areas in foundational issues William Elliot (02/26/05)
False experts Barbara Schwarz (02/26/05)
- Re: False experts Non-existent Mark Rathbun de Rothschild (02/26/05)
  - Re: False experts Jim Spriggs (02/26/05)
  - Re: False experts Barbara Schwarz (02/26/05)
- Re: False experts stevejdufour_at_yahoo.com (02/26/05)
- Re: False experts rickross_at_rickross.com (02/26/05)
Number of 2SATs in 3SAT Russell Easterly (02/25/05)
UCLA Logic Colloquium, March 4 H. Enderton (02/25/05)
Re: Summer Internship wanted. analytic_at_gmail.com (02/25/05)
Re: Can transfinite (strong) induction for N be derived from Peano's jryskmpr (02/24/05)
Can transfinite (strong) induction for N be derived from Peano's Axioms? Dan Christensen (02/23/05)
- Re: Can transfinite (strong) induction for N be derived from Peano's Axioms? Barb Knox (02/23/05)
- Re: Can transfinite (strong) induction for N be derived from Peano's Axioms? Ken Pledger (02/23/05)
  - Re: Can transfinite (strong) induction for N be derived from Peano's Axioms? Ken Pledger (02/23/05)
- Re: Can transfinite (strong) induction for N be derived from Peano's Axioms? Arturo Magidin (02/24/05)
  - Re: Can transfinite (strong) induction for N be derived from Peano's Axioms? Bill Dubuque (02/24/05)
  - Re: Can STRONG induction for N be derived from Peano's Axioms? Dan Christensen (02/24/05)
- Re: Can transfinite (strong) induction for N be derived from Peano's Axioms? David C. Ullrich (02/24/05)
- Re: Can transfinite (strong) induction for N be derived from Peano's Axioms? H. Enderton (02/24/05)
  - Re: Can transfinite (strong) induction for N be derived from Peano's Axioms? Mitch Harris (02/24/05)
    - Re: Can transfinite (strong) induction for N be derived from Peano's Axioms? Arturo Magidin (02/24/05)
Union of Uncountable Totally Imperfect Sets poopdeville_at_gmail.com (02/23/05)
- Re: Union of Uncountable Totally Imperfect Sets Mike Oliver (02/23/05)
Ponzi or Pyramid Schemes Immortalist (02/23/05)
- Re: Ponzi or Pyramid Schemes tg (02/23/05)
  - Re: Ponzi or Pyramid Schemes Immortalist (02/23/05)
- Re: Ponzi or Pyramid Schemes Albert (02/23/05)
  - Re: Ponzi or Pyramid Schemes Immortalist (02/23/05)
- Re: Ponzi or Pyramid Schemes tooly (02/24/05)
  - Re: Ponzi or Pyramid Schemes Immortalist (02/24/05)
Re: Tsunami and the SEGNPMSS josephus (02/23/05)
Proper Turing cones are null? Mike Oliver (02/23/05)
- Re: Proper Turing cones are null? Keith Ramsay (02/23/05)
  - Re: Proper Turing cones are null? Mike Oliver (02/23/05)
  - Re: Proper Turing cones are null? Keith Ramsay (02/23/05)
- Re: Proper Turing cones are null? examachine_at_gmail.com (02/25/05)
  - Re: Proper Turing cones are null? Mike Oliver (02/25/05)
English Prime ( E-Prime [To Exist or Not to Exist]) Immortalist (02/22/05)
- Re: English Prime ( E-Prime [To Exist or Not to Exist]) John Jones (02/22/05)
  - Re: English Prime ( E-Prime [To Exist or Not to Exist]) Albert (02/22/05)
- Re: English Prime ( E-Prime [To Exist or Not to Exist]) Will Twentyman (02/23/05)
  - Re: English Prime ( E-Prime [To Exist or Not to Exist]) Immortalist (02/23/05)
    - Re: English Prime ( E-Prime [To Exist or Not to Exist]) Will Twentyman (02/23/05)
- Re: English Prime ( E-Prime [To Exist or Not to Exist]) Edgar Svendsen (02/23/05)
  - Re: English Prime ( E-Prime [To Exist or Not to Exist]) Immortalist (02/24/05)
- Re: English Prime ( E-Prime [To Exist or Not to Exist]) poopdeville_at_gmail.com (02/23/05)
  - Re: English Prime ( E-Prime [To Exist or Not to Exist]) Immortalist (02/24/05)
help with some maths (computability) Devin (02/22/05)
- Re: help with some maths (computability) Charlie-Boo (02/22/05)
- Re: help with some maths (computability) Alex Vinokur (02/23/05)
A formal system from scratch Tom (02/22/05)
On Well-Ordering(s) and Sets Dense in the Reals, Infinity Ross A. Finlayson (02/22/05)
- Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Jim Spriggs (02/22/05)
  - Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Ross A. Finlayson (02/22/05)
- Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity fishfry (02/22/05)
Last cfp: ISIPTA '05 Marco Zaffalon (02/21/05)
Re: OKAY? It's just a joke. Immortalist (02/21/05)
- Re: OKAY? It's just a joke. Don H (02/21/05)
  - Re: OKAY? It's just a joke. Immortalist (02/21/05)
Call for native speakers of English Suzan Verberne (02/21/05)
- Re: Call for native speakers of English William Elliot (02/22/05)
  - Re: Call for native speakers of English Jim Spriggs (02/22/05)
    - Re: Call for native speakers of English William Elliot (02/22/05)
Lie Bracket Generalized in Logic OsherD (02/21/05)
- Re: Lie Bracket Generalized in Logic OsherD (02/22/05)
  - Re: Lie Bracket Generalized in Logic OsherD (02/24/05)
    - Re: Lie Bracket Generalized in Logic OsherD (02/24/05)
formal game available to play online Wally Sewell (02/20/05)
- formal game available to play online William Elliot (02/21/05)
  - Re: formal game available to play online Wally Sewell (02/21/05)
Proving of classical syllogisms Qke_Persson?= (02/20/05)
- Re: Proving of classical syllogisms The Last Danish Pastry (02/20/05)
- Re: Proving of classical syllogisms N (02/24/05)
  - Re: Proving of classical syllogisms N (02/27/05)
logic of equation solving? adamgolding_at_adamgolding.com (02/20/05)
- Re: logic of equation solving? Charles Wells (02/20/05)
- Re: logic of equation solving? Timothy Little (02/20/05)
In the empty domain: Owen (02/19/05)
- Re: In the empty domain: William Elliot (02/20/05)
- Re: In the empty domain: Paul Holbach (02/20/05)
- Re: In the empty domain: David C. Ullrich (02/20/05)
- Re: In the empty domain: Chris Menzel (02/20/05)
  - Re: In the empty domain: Owen (02/21/05)
  - Re: In the empty domain: john_correy_at_yahoo.com (02/26/05)
    - Re: In the empty domain: Chris Menzel (02/26/05)
    - Re: In the empty domain: Owen (02/26/05)
- Re: In the empty domain: Jim Spriggs (02/20/05)
  - Re: In the empty domain: Jim Spriggs (02/20/05)
  - Re: In the empty domain: Paul Holbach (02/21/05)
    - Re: In the empty domain: Jim Spriggs (02/21/05)
    - Re: In the empty domain: Paul Holbach (02/21/05)
- Re: In the empty domain: john_correy_at_yahoo.com (02/24/05)
- Re: In the empty domain: muxol (02/26/05)
Lis pendens trick ? news_at_absamail.co.za (02/19/05)
- Re: Lis pendens trick ? raydpratt_at_hotmail.com (02/19/05)
A New Series of Books and Software for Scientists, Experts, Teachers and Students Academy (02/18/05)
Why US intelligence fails Barbara Schwarz (02/18/05)
- Re: Why US intelligence fails Sarah Czepiel (02/18/05)
  - Re: Why US intelligence fails |-|erc (02/19/05)
- Re: Why US intelligence fails Matt Giwer (02/19/05)
  - Re: Why US intelligence fails Barbara Schwarz (02/19/05)
F and PFA equi-interpretable (Was Re: Successor Axiom: on what grounds TF?) Helene.Boucher_at_wanadoo.fr (02/17/05)
- Re: F and PFA equi-interpretable (Was Re: Successor Axiom: on what grounds TF?) Helene.Boucher_at_wanadoo.fr (02/18/05)
C++ code for transforming expressions to CNF bgoertzel (02/17/05)
anti-theory |-|erc (02/16/05)
- Re: anti-theory Jack (02/16/05)
  - Re: anti-theory |-|erc (02/17/05)
    - Re: anti-theory Jack (02/17/05)
    - Re: anti-theory |-|erc (02/17/05)
- Re: anti-theory John Schutkeker (02/17/05)
Question on recursive functions S.A. (02/15/05)
- Re: Question on recursive functions H. Enderton (02/16/05)
Integers form Riem Geometry and REals form Lobachevskian geometry Archimedes Plutonium (02/15/05)
Re: Messianic Complex Immortalist (02/15/05)
The Origin of The Universe / S D Rodrian SDR (02/15/05)
- Re: The Origin of The Universe / S D Rodrian halfmind_Maryland_at_yahoo.com (02/23/05)
  - Re: The Origin of The Universe / S D Rodrian SDR (02/23/05)
    - Re: The Origin of The Universe / S D Rodrian halfmind_Maryland_at_yahoo.com (02/23/05)
The Origin of The Universe / S D Rodrian SDR (02/15/05)
- Re: The Origin of The Universe / S D Rodrian Bill Hobba (02/16/05)
  - Re: The Origin of The Universe / S D Rodrian SDR (02/16/05)
  - Re: The Origin of The Universe / S D Rodrian Dirk Van de moortel (02/16/05)
    - Re: The Origin of The Universe / S D Rodrian SDR (02/16/05)
    - Re: The Origin of The Universe / S D Rodrian Dirk Van de moortel (02/16/05)
The Origin of The Universe / S D Rodrian SDR (02/15/05)
- The Origin of The Universe / S D Rodrian William Elliot (02/15/05)
Propositional logic desert_bise (02/14/05)
- Re: Propositional logic Barb Knox (02/14/05)
  - Re: Propositional logic Owen (02/15/05)
    - Re: Propositional logic Barb Knox (02/15/05)
- Re: Propositional logic Dan Christensen (02/14/05)
- Re: Propositional logic Jim Spriggs (02/15/05)
- Re: re:Propositional logic |-|erc (02/15/05)
- Re: re:Propositional logic Dan Christensen (02/15/05)
Physics will now make all mathematical proofs and definitions, not mathematicians Re: The counterexamples to FLT Archimedes Plutonium (02/13/05)
- Re: Physics will now make all mathematical proofs and definitions, not mathematicians Re: The counterexamples to FLT Babylonian (02/13/05)
- FLT will prove integers are Riem geometry and RH to prove Reals are Loba geometry Archimedes Plutonium (02/15/05)
Real closure Jean-Pierre MERX (02/13/05)
Quantized Hall Effect will prove integers are Adics Re: The counterexamples to FLT Archimedes Plutonium (02/13/05)
Can you systematically determine if any given program will HALT? |-|erc (02/13/05)
Re: Atheistic Philosopher now believes in God tetrapod.sapien_at_gmail.com (02/13/05)
- Re: Atheistic Philosopher now believes in God David V. (02/13/05)
- Re: Atheistic Philosopher now believes in God David V. (02/13/05)
  - Re: Atheistic Philosopher now believes in God y�wie (02/14/05)
    - Re: Atheistic Philosopher now believes in God David V. (02/14/05)
- Re: Atheistic Philosopher now believes in God Matt Giwer (02/13/05)
- Re: Atheistic Philosopher now believes in God Lysander (02/13/05)
  - Re: Atheistic Philosopher now believes in God xeno (02/13/05)
- Re: Atheistic Philosopher now believes in God Ph�lt�r (02/13/05)
- Re: Atheistic Philosopher now believes in God wildbluskies_at_hotmail.com (02/13/05)
  - Re: Atheistic Philosopher now believes in God ralph (02/13/05)
- Re: Atheistic Philosopher now believes in God MotherG_at_kissmyass.com (02/14/05)
  - Re: Atheistic Philosopher now believes in God Rob Duncan (02/16/05)
- Re: Atheistic Philosopher now believes in God theBeaver (02/15/05)
  - Re: Atheistic Philosopher now believes in God Rob Duncan (02/16/05)
- Re: Atheistic Philosopher now believes in God Pope Rudraigh (02/17/05)
  - Re: Atheistic Philosopher now believes in God Jim Spriggs (02/17/05)
  - Re: Atheistic Philosopher now believes in God Rob Duncan (02/18/05)
- Re: Atheistic Philosopher now believes in God theBeaver (02/19/05)
  - Re: Atheistic Philosopher now believes in God Rob Duncan (02/19/05)
- Re: Atheistic Philosopher now believes in God Lizz Holmans (02/22/05)
- Re: Atheistic Philosopher now believes in God David V. (02/22/05)
- Re: Atheistic Philosopher now believes in God george (02/22/05)
- Re: Atheistic Philosopher now believes in God Rob Duncan (02/23/05)
  - Re: Atheistic Philosopher now believes in God David V. (02/23/05)
Memetics - Blank Slate Liberals vs Hobbes Immortalist (02/12/05)
- Re: Memetics - Blank Slate Liberals vs Hobbes Thistle (02/12/05)
  - Re: Memetics - Blank Slate Liberals vs Hobbes Immortalist (02/12/05)
- Re: Memetics - Blank Slate Liberals vs Hobbes John Jones (02/12/05)
  - Re: Memetics - Blank Slate Liberals vs Hobbes Immortalist (02/12/05)
    - Re: Memetics - Blank Slate Liberals vs Hobbes John Jones (02/13/05)
    - Re: Memetics - Blank Slate Liberals vs Hobbes Immortalist (02/15/05)
  - Re: Memetics - Blank Slate Liberals vs Hobbes mWarrior (02/12/05)
- Re: Memetics - Blank Slate Liberals vs Hobbes Mike Burke (02/21/05)
THE HALTING SOLUTION |-|erc (02/12/05)
Beginner's Q: How to derive (x)(Ey)(x=y) Little Dionysos (02/12/05)
- Re: Beginner's Q: How to derive (x)(Ey)(x=y) William Elliot (02/12/05)
  - Re: Beginner's Q: How to derive (x)(Ey)(x=y) Little Dionysos (02/12/05)
  - Re: Beginner's Q: How to derive (x)(Ey)(x=y) The Ghost In The Machine (02/12/05)
    - Re: Beginner's Q: How to derive (x)(Ey)(x=y) Jim Spriggs (02/12/05)
    - Re: Beginner's Q: How to derive (x)(Ey)(x=y) Little Dionysos (02/12/05)
- Re: Beginner's Q: How to derive (x)(Ey)(x=y) Dan Christensen (02/12/05)
Mathematics, Pseudomathematics, Artificial Intelligence david petry (02/11/05)
- Re: Mathematics, Pseudomathematics, Artificial Intelligence Daryl McCullough (02/11/05)
  - Re: Mathematics, Pseudomathematics, Artificial Intelligence |-|erc (02/13/05)
- Re: Mathematics, Pseudomathematics, Artificial Intelligence |-|erc (02/12/05)
- Re: Mathematics, Pseudomathematics, Artificial Intelligence fishfry (02/12/05)
- Re: Mathematics, Pseudomathematics, Artificial Intelligence Herman Jurjus (02/12/05)
- Re: Mathematics, Pseudomathematics, Artificial Intelligence robert j. kolker (02/12/05)
  - Re: Mathematics, Pseudomathematics, Artificial Intelligence |-|erc (02/13/05)
  - Re: Mathematics, Pseudomathematics, Artificial Intelligence Keith Ramsay (02/14/05)
- Re: Mathematics, Pseudomathematics, Artificial Intelligence LordBeotian (02/12/05)
  - Re: Mathematics, Pseudomathematics, Artificial Intelligence Torkel Franzen (02/12/05)
  - Re: Mathematics, Pseudomathematics, Artificial Intelligence |-|erc (02/13/05)
- Re: Mathematics, Pseudomathematics, Artificial Intelligence JXStern (02/12/05)
  - Re: Mathematics, Pseudomathematics, Artificial Intelligence |-|erc (02/13/05)
- Re: Mathematics, Pseudomathematics, Artificial Intelligence Babylonian (02/12/05)
- Re: Mathematics, Pseudomathematics, Artificial Intelligence examachine_at_gmail.com (02/14/05)
UCLA Logic Colloquium, Feb 18 H. Enderton (02/11/05)
Prime-Number-Axiom for ZFC ? Nam Nguyen (02/11/05)
- Re: Prime-Number-Axiom for ZFC ? rupertmccallum_at_yahoo.com (02/11/05)
  - Re: Prime-Number-Axiom for ZFC ? namducnguyen (02/11/05)
- Re: Prime-Number-Axiom for ZFC ? Mike Oliver (02/11/05)
  - Re: Prime-Number-Axiom for ZFC ? namducnguyen (02/11/05)
  - Re: Prime-Number-Axiom for ZFC ? george (02/11/05)
- Re: Prime-Number-Axiom for ZFC ? george (02/11/05)
Does Mathematics have a concept of Consistency or only one of Default??? Archimedes Plutonium (02/10/05)
- Re: Does Mathematics have a concept of Consistency or only one of Default??? Babylonian (02/10/05)
- Re: Does Mathematics have a concept of Consistency or only one of Default??? Jim Spriggs (02/10/05)
  - Re: Does Mathematics have a concept of Consistency or only one of Default??? Larry Hammick (02/13/05)
- Re: Does Mathematics have a concept of Consistency or only one of Default??? robert j. kolker (02/10/05)
  - Re: Does Mathematics have a concept of Consistency or only one of Default??? John Schoenfeld (02/10/05)
- Re: Does Mathematics have a concept of Consistency or only one of Default??? Androcles (02/11/05)
Re: The counterexamples to FLT Archimedes Plutonium (02/10/05)
- Re: The counterexamples to FLT Archimedes Plutonium (02/10/05)
  - Re: The counterexamples to FLT Archimedes Plutonium (02/11/05)
    - Re: The counterexamples to FLT Babylonian (02/11/05)
    - Re: The counterexamples to FLT Larry Hammick (02/12/05)
Linear Logic Maybe Jan Burse (02/09/05)
Linear Logic Maybe Jan Burse (02/09/05)
Closed set with Cantor-Bendixson Rank omega poopdeville_at_gmail.com (02/09/05)
- Re: Closed set with Cantor-Bendixson Rank omega Mike Oliver (02/09/05)
  - Re: Closed set with Cantor-Bendixson Rank omega poopdeville_at_gmail.com (02/10/05)
- Re: Closed set with Cantor-Bendixson Rank omega Igor Khavkine (02/10/05)
  - Re: Closed set with Cantor-Bendixson Rank omega poopdeville_at_gmail.com (02/10/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Brad Guth (02/09/05)
- Re: Moon Landing a Hoax??!! Real Evidence here>>> Brad Guth (02/09/05)
- Re: Moon Landing a Hoax??!! Real Evidence here>>> Jay Windley (02/09/05)
  - Re: Moon Landing a Hoax??!! Real Evidence here>>> Brad Guth (02/09/05)
- Re: Moon Landing a Hoax??!! Real Evidence here>>> DrPostman (02/10/05)
translation aisak (02/09/05)
Richard's antinomy examachine_at_gmail.com (02/09/05)
- Re: Richard's antinomy Stuart M Newberger (02/09/05)
  - Re: Richard's antinomy Chip Eastham (02/10/05)
- Re: Richard's antinomy rupertmccallum_at_yahoo.com (02/09/05)
  - Re: Richard's antinomy examachine_at_gmail.com (02/09/05)
    - Re: Richard's antinomy rupertmccallum_at_yahoo.com (02/10/05)
- Re: Richard's antinomy LordBeotian (02/10/05)
  - Re: Richard's antinomy examachine_at_gmail.com (02/10/05)
  - Re: Richard's antinomy examachine_at_gmail.com (02/10/05)
- Re: Richard's antinomy Bill Taylor (02/10/05)
  - Re: Richard's antinomy examachine_at_gmail.com (02/10/05)
    - Re: Richard's antinomy Bill Taylor (02/11/05)
If to prove is to explain, why does "I cannot explain" mean mathematics is incomplete? |-|erc (02/09/05)
Is logic possible? Jim Spriggs (02/09/05)
- Re: Is logic possible? Will Twentyman (02/09/05)
Re: cantor argument blues |-|erc (02/09/05)
- Re: cantor argument blues The Ghost In The Machine (02/09/05)
- Re: cantor argument blues examachine_at_gmail.com (02/10/05)
- Re: cantor argument blues george (02/10/05)
  - Re: cantor argument blues |-|erc (02/11/05)
Expansion-Contraction of Logical-Lattice Quantum Mechanical Atom OsherD (02/09/05)
- Re: Expansion-Contraction of Logical-Lattice Quantum Mechanical Atom OsherD (02/09/05)
  - Re: Expansion-Contraction of Logical-Lattice Quantum Mechanical Atom OsherD (02/12/05)
Re: ALL Countable Reals Will Twentyman (02/08/05)
- Re: ALL Countable Reals |-|erc (02/08/05)
  - Re: ALL Countable Reals Will Twentyman (02/09/05)
definition: co-moron xanthian_at_well.com (02/08/05)
- Re: definition: co-moron mcyberliver (02/09/05)
  - Re: definition: co-moron willisA40 (02/09/05)
- Re: definition: co-moron astri (02/09/05)
  - Re: definition: co-moron John F (02/09/05)
- re: definition: co-moron Acme Diagnostics (02/10/05)
- Re: definition: co-moron greggery peccary (02/10/05)
- Re: definition: co-moron mdipres_at_sympatico.ca (02/24/05)
  - Re: definition: co-moron Kent Paul Dolan (02/24/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Joe Kearney (02/08/05)
- Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? |-|erc (02/09/05)
Re: MAYBE YOU WILL ANSWER A MULTI CHOICE ??? Joe Kearney (02/08/05)
Re: Corrective interpretation of real numbers Eckard Blumschein (02/08/05)
- Re: Corrective interpretation of real numbers Herman Jurjus (02/09/05)
- Re: Corrective interpretation of real numbers Herman Jurjus (02/09/05)
  - Re: Corrective interpretation of real numbers Eckard Blumschein (02/09/05)
- Re: Corrective interpretation of real numbers Bernd Funke (02/09/05)
- Re: Corrective interpretation of real numbers Eckard Blumschein (02/11/05)
Re: Cardinality is like psychology Eckard Blumschein (02/08/05)
- Re: Cardinality is like psychology |-|erc (02/08/05)
  - Re: Cardinality is like psychology Eckard Blumschein (02/08/05)
Godel's proof proves "this has no proof". |-|erc (02/08/05)
- Re: Godel's proof proves "this has no proof". Tonico (02/08/05)
  - Re: Godel's proof proves "this has no proof". |-|erc (02/08/05)
    - Re: Godel's proof proves "this has no proof". Tonico (02/08/05)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |-|erc (02/08/05)
F(a) = ~F(a) HOW MANY OTHER SYNTACTICALLY CORRECT FORMULA DO YOU DISCARD? |-|erc (02/08/05)
- Re: F(a) = ~F(a) HOW MANY OTHER SYNTACTICALLY CORRECT FORMULA DO YOU DISCARD? The Ghost In The Machine (02/08/05)
- Re: F(a) = ~F(a) HOW MANY OTHER SYNTACTICALLY CORRECT FORMULA DO YOU DISCARD? Honey F. (02/08/05)
- Re: F(a) = ~F(a) HOW MANY OTHER SYNTACTICALLY CORRECT FORMULA DO YOU DISCARD? Charlie-Boo (02/08/05)
  - Re: F(a) = ~F(a) HOW MANY OTHER SYNTACTICALLY CORRECT FORMULA DO YOU DISCARD? |-|erc (02/08/05)
Re: Yawn... Who cares if teen GIs are lied to by corporate America? Art Deco (02/08/05)
Turing completeness Leonid Portnoy (02/08/05)
- Re: Turing completeness |-|erc (02/08/05)
geometry of negation mitch (02/08/05)
- Re: geometry of negation Immortalist (02/08/05)
- Re: geometry of negation Immortalist (02/08/05)
  - Re: geometry of negation John Jones (02/09/05)
- Re: geometry of negation John Jones (02/08/05)
- Re: geometry of negation george (02/08/05)
- Re: geometry of negation george (02/09/05)
- Re: geometry of negation george (02/09/05)
- Re: geometry of negation george (02/09/05)
- Re: geometry of negation george (02/09/05)
  - Re: geometry of negation John Jones (02/09/05)
    - Re: geometry of negation george (02/10/05)
- sci.logic tosspots mitch and george fuck off from alt.philosophy John Jones (02/10/05)
  - Re: sci.logic tosspots mitch and george fuck off from alt.philosophy Immortalist (02/10/05)
  - Re: sci.logic tosspots mitch and george fuck off from alt.philosophy george (02/11/05)
    - Re: sci.logic tosspots mitch and george fuck off from alt.philosophy G. Frege (02/11/05)
http://www.book.com/ Immortalist (02/07/05)
- Re: http://www.book.com/ Twittering One (02/07/05)
EUREKA! a physical theory of the mind |-|erc (02/07/05)
- Re: EUREKA! a physical theory of the mind ken quirici (02/07/05)
  - Re: EUREKA! a physical theory of the mind Chris Menzel (02/07/05)
  - Re: EUREKA! a physical theory of the mind |-|erc (02/07/05)
- Re: EUREKA! a physical theory of the mind Will Twentyman (02/09/05)
  - Re: EUREKA! a physical theory of the mind |-|erc (02/10/05)
why baseball is a more balanced game than football or basketball; NewEngland beats Philadelphia Archimedes Plutonium (02/07/05)
- Re: why baseball is a more balanced game than football or basketball; NewEngland beats Philadelphia Archimedes Plutonium (02/07/05)
  - the Default Mechanism of sport games and why football, basketball are illogical Re: why baseball is a more balanced Archimedes Plutonium (02/09/05)
    - Is there a real concept of Consistency or is it more like a Default Zone Re: the Default Mechanism of Archimedes Plutonium (02/10/05)
    - Re: Is there a real concept of Consistency or is it more like a Default Zone Re: the Default Mechanism of Jim Spriggs (02/10/05)
there's any finite prefix, not oo........anything you say sci.math |-|erc (02/07/05)
- Re: there's any finite prefix, not oo........anything you say sci.math Will Twentyman (02/08/05)
  - Re: there's any finite prefix, not oo........anything you say sci.math |-|erc (02/08/05)
how easy a M.A.D. Fleet would solve the Iran nuclear bomb building Archimedes Plutonium (02/06/05)
Humanism Oliver Geraghty (02/06/05)
- Re: Humanism William Elliot (02/07/05)
Is the OPINION just one step above total ignorance? RFHall (02/06/05)
Re: and who made god? |-|erc (02/06/05)
- Re: and who made god? ken quirici (02/06/05)
  - Re: and who made god? Barb Knox (02/07/05)

sci.logicBy Thread

sci.logic
By Thread