sci.logic
By Date

2024 messages sorted by: [ thread ]

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

Re: Aristotles logic decidable? Barb Knox (02/28/05)
Re: math striptease Bill Taylor (02/28/05)
Re: Aristotles logic decidable? Chris Menzel (02/28/05)
Re: Aristotles logic decidable? muxol (02/28/05)
Re: Aristotles logic decidable? Charlie-Boo (02/28/05)
Re: Atheistic Philosopher now believes in God St. Jackanapes (02/28/05)
Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Piotr Sawuk (02/28/05)
Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Piotr Sawuk (02/28/05)
Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Piotr Sawuk (02/28/05)
Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Piotr Sawuk (02/28/05)
Re: Aristotles logic decidable? Chris Menzel (02/28/05)
Re: Aristotles logic decidable? The Ghost In The Machine (02/27/05)
Re: Can STRONG induction for N be derived from Peano's Axioms? Arturo Magidin (02/27/05)
Re: Ponzi or Pyramid Schemes tg (02/27/05)
Re: Ponzi or Pyramid Schemes Immortalist (02/27/05)
Re: Can STRONG induction for N be derived from Peano's Axioms? Mitch Harris (02/27/05)
math striptease kolderveran_at_walla.com (02/27/05)
Re: Measure-perfect sets of reals--existing nomenclature? Mike Oliver (02/27/05)
Re: Aristotles logic decidable? David Costa (02/27/05)
Re: Proving of classical syllogisms N (02/27/05)
Re: Aristotles logic decidable? Owen (02/27/05)
Re: False experts George Orwell (02/27/05)
Aristotles logic decidable? David Costa (02/27/05)
Re: False experts gigo448_at_netscape.net (02/27/05)
Re: Measure-perfect sets of reals--existing nomenclature? David C. Ullrich (02/27/05)
Re: False experts stevejdufour_at_yahoo.com (02/27/05)
New Books and Software for Scientists, Experts, Teachers and Students Academy (02/27/05)
Re: Cerberus and Quine examachine_at_gmail.com (02/27/05)
Re: Proper Turing cones are null? Keith Ramsay (02/27/05)
Re: False experts AnonDoll (02/27/05)
Re: False experts AnonDoll (02/27/05)
Re: False experts stevejdufour_at_yahoo.com (02/27/05)
Re: False experts Zinj (02/27/05)
Re: False experts gigo448_at_netscape.net (02/27/05)
Re: False experts AnonDoll (02/27/05)
Re: Cerberus and Quine examachine_at_gmail.com (02/27/05)
Re: False experts gigo448_at_netscape.net (02/27/05)
Measure-perfect sets of reals--existing nomenclature? Mike Oliver (02/27/05)
Re: False experts AnonDoll (02/27/05)
Re: Atheistic Philosopher now believes in God MotherG_at_kissmyass.com (02/27/05)
Re: proving bicondtionals without cases? Arturo Magidin (02/27/05)
Re: the logical argument behind equation solving?? futurist (02/27/05)
proving bicondtionals without cases? futurist (02/27/05)
Re: the logical argument behind equation solving?? Randy Poe (02/26/05)
the logical argument behind equation solving?? futurist (02/26/05)
Re: Atheistic Philosopher now believes in God ralph (02/26/05)
Re: False experts gigo448_at_netscape.net (02/26/05)
Re: False experts Barbara Schwarz (02/26/05)
Re: False experts Barbara Schwarz (02/26/05)
Re: False experts Barbara Schwarz (02/26/05)
Re: Atheistic Philosopher now believes in God MotherG_at_kissmyass.com (02/26/05)
Re: In the empty domain: Owen (02/26/05)
Re: Can STRONG induction for N be derived from Peano's Axioms? Dan Christensen (02/26/05)
Rule of <> elimination Andreas (02/26/05)
Re: False experts stevejdufour_at_yahoo.com (02/26/05)
Re: False experts gigo448_at_netscape.net (02/26/05)
Re: Cerberus and Quine JXStern (02/26/05)
Re: Rule of -> introduction Andreas (02/26/05)
Re: False experts stevejdufour_at_yahoo.com (02/26/05)
Re: Rule of -> introduction G. Frege (02/26/05)
Re: In the empty domain: Chris Menzel (02/26/05)
Rule of -> introduction Andreas (02/26/05)
Re: False experts Jim Spriggs (02/26/05)
Re: False experts Zinj (02/26/05)
Re: Cerberus and Quine examachine_at_gmail.com (02/26/05)
Re: False experts rickross_at_rickross.com (02/26/05)
Re: In the empty domain: john_correy_at_yahoo.com (02/26/05)
Re: False experts stevejdufour_at_yahoo.com (02/26/05)
Re: False experts Non-existent Mark Rathbun de Rothschild (02/26/05)
Re: Cerberus and Quine JXStern (02/26/05)
Re: Some grey areas in foundational issues William Elliot (02/26/05)
Re: In the empty domain: muxol (02/26/05)
Some grey areas in foundational issues Bhupinder Singh Anand (02/26/05)
Re: English Prime ( E-Prime [To Exist or Not to Exist]) Albert (02/26/05)
False experts Barbara Schwarz (02/26/05)
Number of 2SATs in 3SAT Russell Easterly (02/25/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/25/05)
UCLA Logic Colloquium, March 4 H. Enderton (02/25/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/25/05)
Re: Ponzi or Pyramid Schemes tg (02/25/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/25/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Mike Oliver (02/25/05)
Re: English Prime ( E-Prime [To Exist or Not to Exist]) Immortalist (02/25/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Chris Menzel (02/25/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/25/05)
Re: Ponzi or Pyramid Schemes Immortalist (02/25/05)
Re: Cerberus and Quine examachine_at_gmail.com (02/25/05)
Re: Cerberus and Quine JXStern (02/25/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Brad Guth (02/25/05)
Re: Summer Internship wanted. analytic_at_gmail.com (02/25/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Mike Oliver (02/25/05)
Re: English Prime ( E-Prime [To Exist or Not to Exist]) poopdeville_at_gmail.com (02/25/05)
Re: Proper Turing cones are null? Mike Oliver (02/25/05)
Re: Beginner's Q: How to derive (x)(Ey)(x=y) Chris Menzel (02/25/05)
Re: Proper Turing cones are null? examachine_at_gmail.com (02/25/05)
Re: Beginner's Q: How to derive (x)(Ey)(x=y) john_correy_at_yahoo.com (02/25/05)
Re: Proving of classical syllogisms N (02/24/05)
Re: Can STRONG induction for N be derived from Peano's Axioms? Arturo Magidin (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? Arturo Magidin (02/24/05)
Re: Can transfinite (strong) induction for N be derived from Peano's Axioms? Mitch Harris (02/24/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> israel (02/24/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Malthus (02/24/05)
Re: Ponzi or Pyramid Schemes tg (02/24/05)
Re: Ponzi or Pyramid Schemes Albert (02/24/05)
Re: Can transfinite (strong) induction for N be derived from Peano's Axioms? H. Enderton (02/24/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) aeo6 (02/24/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/24/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/24/05)
Re: Ponzi or Pyramid Schemes Immortalist (02/24/05)
Re: English Prime ( E-Prime [To Exist or Not to Exist]) Immortalist (02/24/05)
Re: Atheistic Philosopher now believes in God ralph (02/24/05)
Re: English Prime ( E-Prime [To Exist or Not to Exist]) Immortalist (02/24/05)
Re: Ponzi or Pyramid Schemes Immortalist (02/24/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/24/05)
Re: Ponzi or Pyramid Schemes Immortalist (02/24/05)
Re: Ponzi or Pyramid Schemes Immortalist (02/24/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) aeo6 (02/24/05)
Re: Cerberus and Quine examachine_at_gmail.com (02/24/05)
Re: Atheistic Philosopher now believes in God Ph�lt�r (02/24/05)
Re: Lie Bracket Generalized in Logic OsherD (02/24/05)
Re: Can transfinite (strong) induction for N be derived from Peano's Axioms? David C. Ullrich (02/24/05)
Re: In the empty domain: john_correy_at_yahoo.com (02/24/05)
Re: Lie Bracket Generalized in Logic OsherD (02/24/05)
Re: Proper Turing cones are null? Keith Ramsay (02/24/05)
Re: Proper Turing cones are null? Stephen Harris (02/24/05)
Re: definition: co-moron Kent Paul Dolan (02/24/05)
Re: Proper Turing cones are null? Mike Oliver (02/24/05)
Re: Can transfinite (strong) induction for N be derived from Peano's Axioms? Bill Dubuque (02/24/05)
Re: Can transfinite (strong) induction for N be derived from Peano's jryskmpr (02/24/05)
Re: Atheistic Philosopher now believes in God David V. (02/24/05)
Re: Ponzi or Pyramid Schemes tooly (02/24/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/24/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/24/05)
Re: Ponzi or Pyramid Schemes tg (02/24/05)
Re: Cerberus and Quine Paul Holbach (02/24/05)
Re: Cerberus and Quine Paul Holbach (02/24/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Fish! - of Arcadia. (02/24/05)
Re: definition: co-moron mdipres_at_sympatico.ca (02/24/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? Ken Pledger (02/23/05)
Re: English Prime ( E-Prime [To Exist or Not to Exist]) poopdeville_at_gmail.com (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? Barb Knox (02/23/05)
Can transfinite (strong) induction for N be derived from Peano's Axioms? Dan Christensen (02/23/05)
Re: English Prime ( E-Prime [To Exist or Not to Exist]) Edgar Svendsen (02/23/05)
Re: Union of Uncountable Totally Imperfect Sets Mike Oliver (02/23/05)
Union of Uncountable Totally Imperfect Sets poopdeville_at_gmail.com (02/23/05)
Re: Atheistic Philosopher now believes in God ralph (02/23/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> israel (02/23/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> israel (02/23/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> israel (02/23/05)
Re: Moon landing hoaxed in Nauru Re: Moon Landing a Hoax??!! Real Evidence here>>> israel (02/23/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Brad Guth (02/23/05)
Re: English Prime ( E-Prime [To Exist or Not to Exist]) Will Twentyman (02/23/05)
Re: Moon landing hoaxed in Nauru Re: Moon Landing a Hoax??!! Real Evidence here>>> Brad Guth (02/23/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> george (02/23/05)
Re: Ponzi or Pyramid Schemes John Jones (02/23/05)
Re: Ponzi or Pyramid Schemes Albert (02/23/05)
Re: English Prime ( E-Prime [To Exist or Not to Exist]) Immortalist (02/23/05)
Re: The Origin of The Universe / S D Rodrian halfmind_Maryland_at_yahoo.com (02/23/05)
Re: Cerberus and Quine Paul Holbach (02/23/05)
Re: Ponzi or Pyramid Schemes Immortalist (02/23/05)
Re: Ponzi or Pyramid Schemes Immortalist (02/23/05)
Re: Ponzi or Pyramid Schemes tg (02/23/05)
Ponzi or Pyramid Schemes Immortalist (02/23/05)
Re: Successor Axiom: on what grounds TF? ken quirici (02/23/05)
Re: Moon landing hoaxed in Nauru Re: Moon Landing a Hoax??!! Real Evidence here>>> Brad Guth (02/23/05)
Re: Atheistic Philosopher now believes in God David V. (02/23/05)
Re: Cerberus and Quine examachine_at_gmail.com (02/23/05)
Re: Cerberus and Quine examachine_at_gmail.com (02/23/05)
Re: The Origin of The Universe / S D Rodrian SDR (02/23/05)
Re: Atheistic Philosopher now believes in God Ph�lt�r (02/23/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (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: Moon landing hoaxed in Nauru Re: Moon Landing a Hoax??!! Real Evidence here>>> josephus (02/23/05)
Re: Moon landing hoaxed in Nauru Re: Moon Landing a Hoax??!! Real Evidence here>>> israel (02/23/05)
Re: Moon landing hoaxed in Nauru Re: Moon Landing a Hoax??!! Real Evidence here>>> josephus (02/23/05)
Re: Tsunami and the SEGNPMSS josephus (02/23/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Mitch Harris (02/23/05)
Re: The Origin of The Universe / S D Rodrian halfmind_Maryland_at_yahoo.com (02/23/05)
Re: Moon landing hoaxed in Nauru Re: Moon Landing a Hoax??!! Real Evidence here>>> israel (02/23/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Mitch Harris (02/23/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Ross A. Finlayson (02/23/05)
Re: Moon landing hoaxed in Nauru Re: Moon Landing a Hoax??!! Real Evidence here>>> Wraith (02/23/05)
Re: help with some maths (computability) Alex Vinokur (02/23/05)
Re: Moon landing hoaxed in Nauru Re: Moon Landing a Hoax??!! Real Evidence here>>> josephus (02/23/05)
Re: Atheistic Philosopher now believes in God Rob Duncan (02/23/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/23/05)
Re: Atheistic Philosopher now believes in God Rob Duncan (02/23/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/23/05)
Re: Proper Turing cones are null? Keith Ramsay (02/23/05)
Re: Atheistic Philosopher now believes in God Ph�lt�r (02/23/05)
Re: Atheistic Philosopher now believes in God David V. (02/23/05)
Re: Atheistic Philosopher now believes in God Ph�lt�r (02/23/05)
Re: Atheistic Philosopher now believes in God Ph�lt�r (02/23/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) R-matrix (02/23/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Wraith (02/23/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Fish! - of Arcadia. (02/23/05)
Re: 1q Bill Taylor (02/23/05)
Re: Richard's antinomy Bill Taylor (02/23/05)
Re: Atheistic Philosopher now believes in God y�wie (02/23/05)
Re: Atheistic Philosopher now believes in God y�wie (02/23/05)
Re: Atheistic Philosopher now believes in God y�wie (02/23/05)
Re: Cerberus and Quine Paul Holbach (02/23/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> N:dlzc D:aol T:com \(dlzc\) (02/23/05)
Re: Cerberus and Quine Paul Holbach (02/23/05)
Re: Moon landing hoaxed in Nauru Re: Moon Landing a Hoax??!! Real Evidence here>>> DrPostman (02/23/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> DrPostman (02/23/05)
Proper Turing cones are null? Mike Oliver (02/23/05)
Re: Atheistic Philosopher now believes in God David V. (02/23/05)
Re: Cerberus and Quine Paul Holbach (02/23/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Torkel Franzen (02/23/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/23/05)
Moon landing hoaxed in Nauru Re: Moon Landing a Hoax??!! Real Evidence here>>> israel (02/23/05)
Re: English Prime ( E-Prime [To Exist or Not to Exist]) Will Twentyman (02/23/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) examachine_at_gmail.com (02/23/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Brad Guth (02/23/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) Sumo (02/23/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/22/05)
Re: does sqrt(2) exist in CM? Chris Menzel (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Phil Roberts, Jr. (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/22/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/22/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/22/05)
Re: Cerberus and Quine Paul Holbach (02/22/05)
Re: Cerberus and Quine Paul Holbach (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/22/05)
Re: Atheistic Philosopher now believes in God y�wie (02/22/05)
Re: English Prime ( E-Prime [To Exist or Not to Exist]) Albert (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) George Greene (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) George Greene (02/22/05)
Re: Atheistic Philosopher now believes in God george (02/22/05)
Re: Why US intelligence fails Barbara Schwarz (02/22/05)
Re: Atheistic Philosopher now believes in God ralph (02/22/05)
Re: English Prime ( E-Prime [To Exist or Not to Exist]) John Jones (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (02/22/05)
Re: help with some maths (computability) Charlie-Boo (02/22/05)
Re: Atheistic Philosopher now believes in God David V. (02/22/05)
English Prime ( E-Prime [To Exist or Not to Exist]) Immortalist (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (02/22/05)
help with some maths (computability) Devin (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/22/05)
Re: Atheistic Philosopher now believes in God Lizz Holmans (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Mitch Harris (02/22/05)
Re: formal game available to play online Wally Sewell (02/22/05)
A formal system from scratch Tom (02/22/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/22/05)
Re: formal game available to play online William Elliot (02/22/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/22/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Ro (02/22/05)
Re: formal game available to play online Wally Sewell (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Mitch Harris (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Mitch Harris (02/22/05)
Re: Call for native speakers of English William Elliot (02/22/05)
Re: 1q Robert Low (02/22/05)
Re: Atheistic Philosopher now believes in God Ph�lt�r (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (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)
Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Jim Spriggs (02/22/05)
Re: Atheistic Philosopher now believes in God theBeaver (02/22/05)
Re: In the empty domain: Chris Menzel (02/22/05)
On Well-Ordering(s) and Sets Dense in the Reals, Infinity Ross A. Finlayson (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)
Re: formal game available to play online William Elliot (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/22/05)
1q robert j. kolker (02/22/05)
Re: Lie Bracket Generalized in Logic OsherD (02/22/05)
Re: Atheistic Philosopher now believes in God josephus (02/22/05)
Re: Atheistic Philosopher now believes in God David V. (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/21/05)
Re: Cerberus and Quine examachine_at_gmail.com (02/21/05)
Re: In the empty domain: Owen (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Robert Low (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/21/05)
Re: Atheistic Philosopher now believes in God ralph (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/21/05)
Re: In the empty domain: Paul Holbach (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/21/05)
Re: Cerberus and Quine Paul Holbach (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Neil W Rickert (02/21/05)
Re: Memetics - Blank Slate Liberals vs Hobbes Mike Burke (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Mitch Harris (02/21/05)
Re: Cerberus and Quine JXStern (02/21/05)
Re: Cerberus and Quine JXStern (02/21/05)
Re: Cerberus and Quine examachine_at_gmail.com (02/21/05)
Re: In the empty domain: Chris Menzel (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/21/05)
Re: In the empty domain: Paul Holbach (02/21/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/21/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/21/05)
Last cfp: ISIPTA '05 Marco Zaffalon (02/21/05)
Re: OKAY? It's just a joke. Immortalist (02/21/05)
Re: does sqrt(2) exist in CM? Chris Menzel (02/21/05)
Re: formal game available to play online Wally Sewell (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (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)
Cerberus and Quine JXStern (02/21/05)
Re: In the empty domain: Jim Spriggs (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Mitch Harris (02/21/05)
Re: Atheistic Philosopher now believes in God Ph�lt�r (02/21/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/21/05)
Call for native speakers of English Suzan Verberne (02/21/05)
Re: In the empty domain: David C. Ullrich (02/21/05)
Lie Bracket Generalized in Logic OsherD (02/21/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/21/05)
formal game available to play online William Elliot (02/21/05)
Re: In the empty domain: Owen (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/21/05)
Re: Atheistic Philosopher now believes in God Rob Duncan (02/21/05)
Re: Atheistic Philosopher now believes in God Rob Duncan (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/21/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) examachine_at_gmail.com (02/21/05)
Re: Atheistic Philosopher now believes in God Ph�lt�r (02/21/05)
Re: Atheistic Philosopher now believes in God y�wie (02/21/05)
Re: Atheistic Philosopher now believes in God MotherG_at_kissmyass.com (02/21/05)
Re: In the empty domain: Paul Holbach (02/21/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) Dave Seaman (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/21/05)
Re: Atheistic Philosopher now believes in God Rob Duncan (02/21/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/21/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) examachine_at_gmail.com (02/21/05)
Re: Atheistic Philosopher now believes in God theBeaver (02/20/05)
Re: Atheistic Philosopher now believes in God y�wie (02/20/05)
Re: Atheistic Philosopher now believes in God Rob Duncan (02/20/05)
Re: In the empty domain: Jim Spriggs (02/20/05)
Re: In the empty domain: Jim Spriggs (02/20/05)
Re: Proving of classical syllogisms The Last Danish Pastry (02/20/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Mitch Harris (02/20/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Mitch Harris (02/20/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> george (02/20/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Brad Guth (02/20/05)
Re: Atheistic Philosopher now believes in God ralph (02/20/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/20/05)
Re: does sqrt(2) exist in CM? Acme Diagnostics (02/20/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) r.e.s. (02/20/05)
Re: does sqrt(2) exist in CM? Chris Menzel (02/20/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/20/05)
Re: In the empty domain: Chris Menzel (02/20/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/20/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/20/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/20/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) Dave Seaman (02/20/05)
Re: In the empty domain: David C. Ullrich (02/20/05)
formal game available to play online Wally Sewell (02/20/05)
Proving of classical syllogisms Qke_Persson?= (02/20/05)
Re: Atheistic Philosopher now believes in God Ph�lt�r (02/20/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Mitch Harris (02/20/05)
Re: Atheistic Philosopher now believes in God Ph�lt�r (02/20/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/20/05)
Re: Atheistic Philosopher now believes in God Rob Duncan (02/20/05)
Re: does sqrt(2) exist in CM? Chris Menzel (02/20/05)
Re: logic of equation solving? Timothy Little (02/20/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/20/05)
Re: Why US intelligence fails |-|erc (02/20/05)
Re: Why US intelligence fails Peter Bowditch (02/20/05)
Re: Atheistic Philosopher now believes in God theBeaver (02/20/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) examachine_at_gmail.com (02/20/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) JXStern (02/20/05)
Re: Why US intelligence fails |-|erc (02/20/05)
Re: Why US intelligence fails Sarah Czepiel (02/20/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) jimp_at_specsol-spam-sux.com (02/20/05)
Re: logic of equation solving? Charles Wells (02/20/05)
logic of equation solving? adamgolding_at_adamgolding.com (02/20/05)
Re: Why US intelligence fails |-|erc (02/20/05)
Re: Why US intelligence fails |-|erc (02/20/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/20/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) Dave Seaman (02/20/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/20/05)
Re: In the empty domain: Paul Holbach (02/20/05)
Re: Atheistic Philosopher now believes in God David V. (02/20/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) examachine_at_gmail.com (02/20/05)
Re: Atheistic Philosopher now believes in God Rob Duncan (02/20/05)
Re: In the empty domain: William Elliot (02/20/05)
Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Shmuel (Seymour J.) Metz (02/20/05)
Re: Why US intelligence fails Barb Knox (02/20/05)
Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Shmuel (Seymour J.) Metz (02/20/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Uncle Al (02/20/05)
In the empty domain: Owen (02/19/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/19/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/19/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/19/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/19/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/19/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/19/05)
Re: Why US intelligence fails Barbara Schwarz (02/19/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) mitch (02/19/05)
Re: Atheistic Philosopher now believes in God ralph (02/19/05)
Re: Why US intelligence fails Sarah Czepiel (02/19/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) JXStern (02/19/05)
Re: Lis pendens trick ? raydpratt_at_hotmail.com (02/19/05)
Re: Atheistic Philosopher now believes in God Rev. Maeljin (02/19/05)
Re: Atheistic Philosopher now believes in God Rev. Maeljin (02/19/05)
Lis pendens trick ? news_at_absamail.co.za (02/19/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/19/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/19/05)
Re: Atheistic Philosopher now believes in God Ph�lt�r (02/19/05)
Re: Why US intelligence fails josephus (02/19/05)
Re: does sqrt(2) exist in CM? Keith Ramsay (02/19/05)
Re: Atheistic Philosopher now believes in God Rob Duncan (02/19/05)
Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Ross A. Finlayson (02/19/05)
Re: Atheistic Philosopher now believes in God theBeaver (02/19/05)
Re: Why US intelligence fails |-|erc (02/19/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/19/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) JXStern (02/19/05)
Re: Why US intelligence fails Matt Giwer (02/19/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/19/05)
Re: does sqrt(2) exist in CM? Chris Menzel (02/18/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/18/05)
Re: Why US intelligence fails Sarah Czepiel (02/18/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Barb Knox (02/18/05)
A New Series of Books and Software for Scientists, Experts, Teachers and Students Academy (02/18/05)
Re: does sqrt(2) exist in CM? namducnguyen (02/18/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/18/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/18/05)
Why US intelligence fails Barbara Schwarz (02/18/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) Dave Seaman (02/18/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/18/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/18/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/18/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) examachine_at_gmail.com (02/18/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/18/05)
Re: does sqrt(2) exist in CM? namducnguyen (02/18/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/18/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/18/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/18/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/18/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/18/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/18/05)
Re: F and PFA equi-interpretable (Was Re: Successor Axiom: on what grounds TF?) Helene.Boucher_at_wanadoo.fr (02/18/05)
Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Ross A. Finlayson (02/18/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/18/05)
Re: does sqrt(2) exist in CM? Mike Oliver (02/18/05)
Re: does sqrt(2) exist in CM? David Bernier (02/18/05)
Re: Atheistic Philosopher now believes in God Rob Duncan (02/18/05)
Re: Atheistic Philosopher now believes in God Rob Duncan (02/18/05)
Re: Memetics - Blank Slate Liberals vs Hobbes mWarrior (02/18/05)
Re: does sqrt(2) exist in CM? tchow_at_lsa.umich.edu (02/18/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/17/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/17/05)
Re: Atheistic Philosopher now believes in God Jim Spriggs (02/17/05)
F and PFA equi-interpretable (Was Re: Successor Axiom: on what grounds TF?) Helene.Boucher_at_wanadoo.fr (02/17/05)
Re: Atheistic Philosopher now believes in God Pope Rudraigh (02/17/05)
C++ code for transforming expressions to CNF bgoertzel (02/17/05)
Re: Atheistic Philosopher now believes in God Barb Knox (02/17/05)
Re: does sqrt(2) exist in CM? tchow_at_lsa.umich.edu (02/17/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/17/05)
Re: Memetics - Blank Slate Liberals vs Hobbes John Jones (02/17/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/17/05)
Re: Memetics - Blank Slate Liberals vs Hobbes John Jones (02/17/05)
Re: Richard's antinomy examachine_at_gmail.com (02/17/05)
Re: does sqrt(2) exist in CM? tchow_at_lsa.umich.edu (02/17/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/17/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/17/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/17/05)
Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Piotr Sawuk (02/17/05)
Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Piotr Sawuk (02/17/05)
Re: Idiocy of Muckenheim was Re: countability of reals Piotr Sawuk (02/17/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/17/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/17/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/17/05)
Re: Richard's antinomy examachine_at_gmail.com (02/17/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/17/05)
Re: anti-theory |-|erc (02/17/05)
Re: anti-theory Jack (02/17/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Shmuel (Seymour J.) Metz (02/17/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Ed Murphy (02/17/05)
Re: Atheistic Philosopher now believes in God y�wie (02/17/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? |-|erc (02/17/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence JXStern (02/17/05)
Re: anti-theory John Schutkeker (02/17/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Ed Murphy (02/17/05)
Re: Atheistic Philosopher now believes in God David V. (02/17/05)
Re: Memetics - Blank Slate Liberals vs Hobbes Albert (02/17/05)
Re: Memetics - Blank Slate Liberals vs Hobbes Albert (02/17/05)
Re: Atheistic Philosopher now believes in God Rob Duncan (02/17/05)
Re: Memetics - Blank Slate Liberals vs Hobbes Albert (02/17/05)
Re: Memetics - Blank Slate Liberals vs Hobbes Albert (02/17/05)
Re: anti-theory |-|erc (02/17/05)
Re: Atheistic Philosopher now believes in God David V. (02/17/05)
Re: and who made god? raving.loonie_at_gmail.com (02/17/05)
Re: Memetics - Blank Slate Liberals vs Hobbes mWarrior (02/17/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Daryl McCullough (02/16/05)
Re: Atheistic Philosopher now believes in God Rob Duncan (02/16/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Joseki (02/16/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Joseki (02/16/05)
Re: Atheistic Philosopher now believes in God David V. (02/16/05)
Re: Atheistic Philosopher now believes in God Rob Duncan (02/16/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/16/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/16/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Mike Oliver (02/16/05)
Re: EUREKA! a physical theory of the mind Will Twentyman (02/16/05)
Re: Memetics - Blank Slate Liberals vs Hobbes John Jones (02/16/05)
Re: Memetics - Blank Slate Liberals vs Hobbes Immortalist (02/16/05)
Re: Atheistic Philosopher now believes in God David V. (02/16/05)
Re: Atheistic Philosopher now believes in God David V. (02/16/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Daryl McCullough (02/16/05)
Re: The Origin of The Universe / S D Rodrian Dirk Van de moortel (02/16/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Daryl McCullough (02/16/05)
Re: The Origin of The Universe / S D Rodrian SDR (02/16/05)
Re: Atheistic Philosopher now believes in God Lady Chatterly (02/16/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Alan Smaill (02/16/05)
Re: Atheistic Philosopher now believes in God Rob Duncan (02/16/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/16/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Will Twentyman (02/16/05)
Re: Atheistic Philosopher now believes in God theBeaver (02/16/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/16/05)
Re: Atheistic Philosopher now believes in God theBeaver (02/16/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/16/05)
Re: anti-theory Jack (02/16/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/16/05)
Re: The Origin of The Universe / S D Rodrian Dirk Van de moortel (02/16/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/16/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/16/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/16/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence examachine_at_gmail.com (02/16/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/16/05)
Re: Atheistic Philosopher now believes in God Rob Duncan (02/16/05)
Re: cryptology, complexity, and quantum cryptology Johan Wallen (02/16/05)
Re: The Origin of The Universe / S D Rodrian SDR (02/16/05)
anti-theory |-|erc (02/16/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence JXStern (02/16/05)
Re: Atheistic Philosopher now believes in God theBeaver (02/16/05)
Re: Atheistic Philosopher now believes in God Rob Duncan (02/16/05)
Re: Atheistic Philosopher now believes in God Rob Duncan (02/16/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence robert j. kolker (02/16/05)
Re: The Origin of The Universe / S D Rodrian Bill Hobba (02/16/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Ed Murphy (02/16/05)
Re: Memetics - Blank Slate Liberals vs Hobbes Tron (02/16/05)
Re: EUREKA! a physical theory of the mind |-|erc (02/16/05)
Re: there's any finite prefix, not oo........anything you say sci.math |-|erc (02/16/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? |-|erc (02/16/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Ross A. Finlayson (02/16/05)
Re: Question on recursive functions H. Enderton (02/16/05)
Question on recursive functions S.A. (02/15/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence dave (02/15/05)
Re: does sqrt(2) exist in CM? tchow_at_lsa.umich.edu (02/15/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/15/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/15/05)
Re: Beginner's Q: How to derive (x)(Ey)(x=y) H. Enderton (02/15/05)
Re: Beginner's Q: How to derive (x)(Ey)(x=y) Chris Menzel (02/15/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/15/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/15/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Daryl McCullough (02/15/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/15/05)
Re: Beginner's Q: How to derive (x)(Ey)(x=y) Chris Menzel (02/15/05)
Re: EUREKA! a physical theory of the mind Will Twentyman (02/15/05)
Re: there's any finite prefix, not oo........anything you say sci.math Will Twentyman (02/15/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Will Twentyman (02/15/05)
Re: Memetics - Blank Slate Liberals vs Hobbes Immortalist (02/15/05)
Re: Memetics - Blank Slate Liberals vs Hobbes Immortalist (02/15/05)
Re: Memetics - Blank Slate Liberals vs Hobbes Immortalist (02/15/05)
Integers form Riem Geometry and REals form Lobachevskian geometry Archimedes Plutonium (02/15/05)
FLT will prove integers are Riem geometry and RH to prove Reals are Loba geometry Archimedes Plutonium (02/15/05)
Re: Messianic Complex Immortalist (02/15/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) 1Z (02/15/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Jay Windley (02/15/05)
Re: does sqrt(2) exist in CM? tchow_at_lsa.umich.edu (02/15/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence examachine_at_gmail.com (02/15/05)
Re: coin puzzle |-|erc (02/15/05)
Re: cryptology, complexity, and quantum cryptology Ralph Hartley (02/15/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/15/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) BarryAC (02/15/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence examachine_at_gmail.com (02/15/05)
Re: coin puzzle Alan Smaill (02/15/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence examachine_at_gmail.com (02/15/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/15/05)
Beginner's Q: How to derive (x)(Ey)(x=y) William Elliot (02/15/05)
The Origin of The Universe / S D Rodrian SDR (02/15/05)
Re: Atheistic Philosopher now believes in God theBeaver (02/15/05)
Re: Beginner's Q: How to derive (x)(Ey)(x=y) Owen (02/15/05)
The Origin of The Universe / S D Rodrian SDR (02/15/05)
Re: re:Propositional logic Dan Christensen (02/15/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/15/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/15/05)
The Origin of The Universe / S D Rodrian William Elliot (02/15/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Ross A. Finlayson (02/15/05)
Re: re:Propositional logic |-|erc (02/15/05)
Re: Propositional logic Jim Spriggs (02/15/05)
Re: [meta]: definition: co-moron mcyberliver (02/15/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Barb Knox (02/15/05)
Re: Propositional logic Barb Knox (02/15/05)
Re: Memetics - Blank Slate Liberals vs Hobbes mWarrior (02/15/05)
The Origin of The Universe / S D Rodrian SDR (02/15/05)
Re: Beginner's Q: How to derive (x)(Ey)(x=y) Chris Menzel (02/15/05)
Re: Propositional logic Owen (02/15/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? examachine_at_gmail.com (02/15/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Wally Anglesea� (02/15/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Mike Oliver (02/15/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/15/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/15/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Brad Guth (02/15/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Brad Guth (02/15/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Ross A. Finlayson (02/15/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/15/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Ross A. Finlayson (02/15/05)
Re: Beginner's Q: How to derive (x)(Ey)(x=y) Owen (02/14/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence examachine_at_gmail.com (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Chris Menzel (02/14/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence examachine_at_gmail.com (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Chris Menzel (02/14/05)
Re: coin puzzle |-|erc (02/14/05)
Re: Successor Axiom: on what grounds TF? Jeffrey Ketland (02/14/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/14/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/14/05)
Re: Memetics - Blank Slate Liberals vs Hobbes John Jones (02/14/05)
Re: Memetics - Blank Slate Liberals vs Hobbes Albert (02/14/05)
re: [meta]: definition: co-moron Acme Diagnostics (02/14/05)
Re: Propositional logic Dan Christensen (02/14/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Stephen Harris (02/14/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Jim Spriggs (02/14/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Jeffrey Ketland (02/14/05)
Re: Propositional logic Barb Knox (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Barb Knox (02/14/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/14/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence robert j. kolker (02/14/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/14/05)
Re: Memetics - Blank Slate Liberals vs Hobbes John Jones (02/14/05)
Re: Memetics - Blank Slate Liberals vs Hobbes John Jones (02/14/05)
Re: Memetics - Blank Slate Liberals vs Hobbes John Jones (02/14/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/14/05)
Re: Memetics - Blank Slate Liberals vs Hobbes John Jones (02/14/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence david petry (02/14/05)
Re: coin puzzle Alan Smaill (02/14/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence george (02/14/05)
Re: Successor Axiom: on what grounds TF? Paul Holbach (02/14/05)
Re: Atheistic Philosopher now believes in God David V. (02/14/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Mike Oliver (02/14/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Herman Jurjus (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (02/14/05)
Re: does sqrt(2) exist in CM? tchow_at_lsa.umich.edu (02/14/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence examachine_at_gmail.com (02/14/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence examachine_at_gmail.com (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/14/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Jeffrey Ketland (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/14/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/14/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/14/05)
Re: does sqrt(2) exist in CM? Keith Ramsay (02/14/05)
Re: does sqrt(2) exist in CM? Keith Ramsay (02/14/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Torkel Franzen (02/14/05)
Propositional logic desert_bise (02/14/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence LordBeotian (02/14/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Keith Ramsay (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Barb Knox (02/14/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Torkel Franzen (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Ross A. Finlayson (02/14/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/14/05)
Re: Successor Axiom: on what grounds TF? Paul Holbach (02/14/05)
Re: Successor Axiom: on what grounds TF? Paul Holbach (02/14/05)
Re: Successor Axiom: on what grounds TF? Paul Holbach (02/14/05)
Re: Successor Axiom: on what grounds TF? Jeffrey Ketland (02/14/05)
Re: Memetics - Blank Slate Liberals vs Hobbes mWarrior (02/14/05)
Re: Memetics - Blank Slate Liberals vs Hobbes mWarrior (02/14/05)
Re: Successor Axiom: on what grounds TF? Barb Knox (02/14/05)
Re: Successor Axiom: on what grounds TF? Paul Holbach (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/14/05)
Re: Atheistic Philosopher now believes in God y�wie (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/14/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/14/05)
Re: Memetics - Blank Slate Liberals vs Hobbes Albert (02/14/05)
Re: Memetics - Blank Slate Liberals vs Hobbes Albert (02/14/05)
Re: Atheistic Philosopher now believes in God MotherG_at_kissmyass.com (02/14/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Jeffrey Ketland (02/14/05)
Re: Memetics - Blank Slate Liberals vs Hobbes John Wilkins (02/13/05)
Re: Successor Axiom: on what grounds TF? Jeffrey Ketland (02/13/05)
Re: Memetics - Blank Slate Liberals vs Hobbes John Jones (02/13/05)
Re: Physics will now make all mathematical proofs and definitions, not mathematicians Re: The counterexamples to FLT Babylonian (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Stephen Harris (02/13/05)
Re: Memetics - Blank Slate Liberals vs Hobbes Albert (02/13/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (02/13/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Stephen Harris (02/13/05)
Physics will now make all mathematical proofs and definitions, not mathematicians Re: The counterexamples to FLT Archimedes Plutonium (02/13/05)
Real closure Jean-Pierre MERX (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Mike Oliver (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence robert j. kolker (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Stephen Harris (02/13/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/13/05)
Re: Can The Null Set Change in Time? Chris Menzel (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Stephen Harris (02/13/05)
Re: Can The Null Set Change in Time? Mike Oliver (02/13/05)
Re: Does Mathematics have a concept of Consistency or only one of Default??? Larry Hammick (02/13/05)
Re: Memetics - Blank Slate Liberals vs Hobbes John Jones (02/13/05)
Re: Memetics - Blank Slate Liberals vs Hobbes John Jones (02/13/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/13/05)
Re: Atheistic Philosopher now believes in God ralph (02/13/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/13/05)
Re: Can The Null Set Change in Time? Chris Menzel (02/13/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/13/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/13/05)
Re: Atheistic Philosopher now believes in God wildbluskies_at_hotmail.com (02/13/05)
Re: and who made god? Albert (02/13/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/13/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Mike Oliver (02/13/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (02/13/05)
Re: Memetics - Blank Slate Liberals vs Hobbes Hlafordlaes (02/13/05)
Re: Can The Null Set Change in Time? Owen (02/13/05)
Re: Can The Null Set Change in Time? Owen (02/13/05)
Re: Can The Null Set Change in Time? Owen (02/13/05)
Re: and who made god? simon rickaby (02/13/05)
Re: Can The Null Set Change in Time? Owen (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Torkel Franzen (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Stephen Harris (02/13/05)
Re: Atheistic Philosopher now believes in God Ph�lt�r (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Torkel Franzen (02/13/05)
Re: Beginner's Q: How to derive (x)(Ey)(x=y) Little Dionysos (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence LordBeotian (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Torkel Franzen (02/13/05)
Re: Atheistic Philosopher now believes in God xeno (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Stephen Harris (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Stephen Harris (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Stephen Harris (02/13/05)
Re: Atheistic Philosopher now believes in God Lysander (02/13/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> josephus (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Torkel Franzen (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Torkel Franzen (02/13/05)
Quantized Hall Effect will prove integers are Adics Re: The counterexamples to FLT Archimedes Plutonium (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Torkel Franzen (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Stephen Harris (02/13/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Mike Oliver (02/13/05)
Can you systematically determine if any given program will HALT? |-|erc (02/13/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Keith Ramsay (02/13/05)
Re: Atheistic Philosopher now believes in God Matt Giwer (02/13/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Jay Windley (02/13/05)
Re: Beginner's Q: How to derive (x)(Ey)(x=y) William Elliot (02/13/05)
Re: Beginner's Q: How to derive (x)(Ey)(x=y) William Elliot (02/13/05)
Re: Atheistic Philosopher now believes in God David V. (02/13/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Ross A. Finlayson (02/13/05)
Re: Atheistic Philosopher now believes in God David V. (02/13/05)
Re: [meta]: definition: co-moron mcyberliver (02/13/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) R-matrix (02/13/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/13/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/13/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/13/05)
Re: Memetics - Blank Slate Liberals vs Hobbes Albert (02/13/05)
Re: Atheistic Philosopher now believes in God tetrapod.sapien_at_gmail.com (02/13/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Brad Guth (02/13/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/13/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/13/05)
Re: Memetics - Blank Slate Liberals vs Hobbes John Jones (02/13/05)
Re: Memetics - Blank Slate Liberals vs Hobbes John Jones (02/13/05)
Re: Memetics - Blank Slate Liberals vs Hobbes John Jones (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence |-|erc (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence |-|erc (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence |-|erc (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence |-|erc (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence |-|erc (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence |-|erc (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence |-|erc (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence |-|erc (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence |-|erc (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence |-|erc (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence |-|erc (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence |-|erc (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence |-|erc (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence |-|erc (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence |-|erc (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence |-|erc (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence |-|erc (02/13/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence |-|erc (02/13/05)
[meta]: definition: co-moron Kent Paul Dolan (02/13/05)
Re: and who made god? Albert (02/13/05)
Re: Memetics - Blank Slate Liberals vs Hobbes Albert (02/13/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Brad Guth (02/12/05)
Re: The counterexamples to FLT Larry Hammick (02/12/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Brad Guth (02/12/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (02/12/05)
Re: Memetics - Blank Slate Liberals vs Hobbes mWarrior (02/12/05)
Re: Expansion-Contraction of Logical-Lattice Quantum Mechanical Atom OsherD (02/12/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/12/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/12/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (02/12/05)
Re: and who made god? Mani Deli (02/12/05)
Re: does sqrt(2) exist in CM? Keith Ramsay (02/12/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence JXStern (02/12/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Lester Zick (02/12/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/12/05)
Re: Memetics - Blank Slate Liberals vs Hobbes Thistle (02/12/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/12/05)
Re: Memetics - Blank Slate Liberals vs Hobbes Immortalist (02/12/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence David C. Ullrich (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 Thistle (02/12/05)
Re: Memetics - Blank Slate Liberals vs Hobbes John Jones (02/12/05)
Re: Prime-Number-Axiom for ZFC ? David C. Ullrich (02/12/05)
Re: and who made god? Albert (02/12/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Daryl McCullough (02/12/05)
Re: Memetics - Blank Slate Liberals vs Hobbes Immortalist (02/12/05)
Re: and who made god? Albert (02/12/05)
Re: Memetics - Blank Slate Liberals vs Hobbes Thistle (02/12/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Jay Windley (02/12/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/12/05)
Re: and who made god? island5_at_earthlink.net (02/12/05)
Re: and who made god? island5_at_earthlink.net (02/12/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Neil W Rickert (02/12/05)
Memetics - Blank Slate Liberals vs Hobbes Immortalist (02/12/05)
Re: Beginner's Q: How to derive (x)(Ey)(x=y) Dan Christensen (02/12/05)
Re: and who made god? island5_at_earthlink.net (02/12/05)
Re: and who made god? island5_at_earthlink.net (02/12/05)
Re: and who made god? island5_at_earthlink.net (02/12/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Babylonian (02/12/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Ross A. Finlayson (02/12/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence JXStern (02/12/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence JXStern (02/12/05)
Re: Successor Axiom: on what grounds TF? Jeffrey Ketland (02/12/05)
Re: Beginner's Q: How to derive (x)(Ey)(x=y) Little Dionysos (02/12/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence JXStern (02/12/05)
Re: and who made god? island5_at_earthlink.net (02/12/05)
Re: and who made god? island5_at_earthlink.net (02/12/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence LordBeotian (02/12/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Mike Oliver (02/12/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Torkel Franzen (02/12/05)
Re: Beginner's Q: How to derive (x)(Ey)(x=y) Torkel Franzen (02/12/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence LordBeotian (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) Torkel Franzen (02/12/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence robert j. kolker (02/12/05)
Re: Prime-Number-Axiom for ZFC ? Little Dionysos (02/12/05)
Re: Beginner's Q: How to derive (x)(Ey)(x=y) Little Dionysos (02/12/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Mike Oliver (02/12/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence robert j. kolker (02/12/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (02/12/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (02/12/05)
Re: Beginner's Q: How to derive (x)(Ey)(x=y) Torkel Franzen (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) Little Dionysos (02/12/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/12/05)
Re: Beginner's Q: How to derive (x)(Ey)(x=y) Owen (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) The Ghost In The Machine (02/12/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Larry Hammick (02/12/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence David C. Ullrich (02/12/05)
Re: Prime-Number-Axiom for ZFC ? David C. Ullrich (02/12/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Larry Hammick (02/12/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Daryl McCullough (02/12/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence robert j. kolker (02/12/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence robert j. kolker (02/12/05)
Re: Godel's NBG and realism David C. Ullrich (02/12/05)
Re: Godel's incompleteness and formal language Dave Seaman (02/12/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/12/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/12/05)
Re: Beginner's Q: How to derive (x)(Ey)(x=y) Torkel Franzen (02/12/05)
Re: Beginner's Q: How to derive (x)(Ey)(x=y) William Elliot (02/12/05)
Re: Successor Axiom: on what grounds TF? Chairman of the David Hilbert Appreciation Society (02/12/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Torkel Franzen (02/12/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence conesetter (02/12/05)
Re: Beginner's Q: How to derive (x)(Ey)(x=y) Little Dionysos (02/12/05)
Re: and who made god? simon rickaby (02/12/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Herman Jurjus (02/12/05)
Re: Successor Axiom: on what grounds TF? Jeffrey Ketland (02/12/05)
Re: Beginner's Q: How to derive (x)(Ey)(x=y) William Elliot (02/12/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> josephus (02/12/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> DrPostman (02/12/05)
Re: does sqrt(2) exist in CM? Keith Ramsay (02/12/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> TrixieB_at_yahoo.com (02/12/05)
Re: Godel's incompleteness and formal language crypto_stonelock_at_hotmail.com (02/12/05)
Re: Closed set with Cantor-Bendixson Rank omega Mike Oliver (02/12/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence fishfry (02/12/05)
THE HALTING SOLUTION |-|erc (02/12/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Brad Guth (02/12/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/12/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/12/05)
Re: and who made god? Albert (02/12/05)
Beginner's Q: How to derive (x)(Ey)(x=y) Little Dionysos (02/12/05)
Re: Cardinality is like psychology |-|erc (02/12/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence |-|erc (02/12/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Jay Windley (02/12/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> DrPostman (02/12/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Pierre Asselin (02/12/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/12/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/12/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> N:dlzc D:aol T:com \(dlzc\) (02/11/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/11/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/11/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Brad Guth (02/11/05)
Re: Mathematics, Pseudomathematics, Artificial Intelligence Daryl McCullough (02/11/05)
Re: sci.logic tosspots mitch and george fuck off from alt.philosophy G. Frege (02/11/05)
Re: The counterexamples to FLT Babylonian (02/11/05)
Mathematics, Pseudomathematics, Artificial Intelligence david petry (02/11/05)
Re: Closed set with Cantor-Bendixson Rank omega Dave Rusin (02/11/05)
UCLA Logic Colloquium, Feb 18 H. Enderton (02/11/05)
Re: Closed set with Cantor-Bendixson Rank omega Mike Oliver (02/11/05)
Re: sci.logic tosspots mitch and george fuck off from alt.philosophy george (02/11/05)
Re: Prime-Number-Axiom for ZFC ? george (02/11/05)
Re: Closed set with Cantor-Bendixson Rank omega igor.kh_at_gmail.com (02/11/05)
Re: Prime-Number-Axiom for ZFC ? george (02/11/05)
Re: Prime-Number-Axiom for ZFC ? george (02/11/05)
Re: and who made god? Albert (02/11/05)
Re: and who made god? Albert (02/11/05)
Re: and who made god? Albert (02/11/05)
Re: Prime-Number-Axiom for ZFC ? Mike Oliver (02/11/05)
Re: Godel's NBG and realism Chris Menzel (02/11/05)
Re: and who made god? island5_at_earthlink.net (02/11/05)
Re: and who made god? island5_at_earthlink.net (02/11/05)
Re: The counterexamples to FLT Archimedes Plutonium (02/11/05)
Re: and who made god? Albert (02/11/05)
Re: Cardinality is like psychology Eckard Blumschein (02/11/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/11/05)
Re: and who made god? island5_at_earthlink.net (02/11/05)
Re: and who made god? island5_at_earthlink.net (02/11/05)
Re: and who made god? Mani Deli (02/11/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/11/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (02/11/05)
Re: Closed set with Cantor-Bendixson Rank omega Mike Oliver (02/11/05)
Re: Godel's incompleteness and formal language Dave Seaman (02/11/05)
Re: Closed set with Cantor-Bendixson Rank omega Igor Khavkine (02/11/05)
Re: Prime-Number-Axiom for ZFC ? namducnguyen (02/11/05)
Re: Godel's incompleteness and formal language crypto_stonelock_at_hotmail.com (02/11/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Jay Windley (02/11/05)
Re: and who made god? island5_at_earthlink.net (02/11/05)
Re: and who made god? island5_at_earthlink.net (02/11/05)
Re: Corrective interpretation of real numbers Eckard Blumschein (02/11/05)
Re: cryptology, complexity, and quantum cryptology tchow_at_lsa.umich.edu (02/11/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> josephus (02/11/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/11/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) David Kastrup (02/11/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/11/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/11/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/11/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> DrPostman (02/11/05)
Re: Richard's antinomy LordBeotian (02/11/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/11/05)
Re: Prime-Number-Axiom for ZFC ? Mike Oliver (02/11/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/11/05)
Re: cryptology, complexity, and quantum cryptology Mitch Harris (02/11/05)
Re: Prime-Number-Axiom for ZFC ? namducnguyen (02/11/05)
Re: does sqrt(2) exist in CM? Keith Ramsay (02/11/05)
Re: Prime-Number-Axiom for ZFC ? rupertmccallum_at_yahoo.com (02/11/05)
Re: does sqrt(2) exist in CM? Keith Ramsay (02/11/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Lady Chatterly (02/11/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> josephus (02/11/05)
Re: Closed set with Cantor-Bendixson Rank omega poopdeville_at_gmail.com (02/11/05)
Prime-Number-Axiom for ZFC ? Nam Nguyen (02/11/05)
Re: Richard's antinomy Bill Taylor (02/11/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? josephus (02/11/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Ed Murphy (02/11/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Ross A. Finlayson (02/11/05)
Re: Does Mathematics have a concept of Consistency or only one of Default??? Androcles (02/11/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) r.e.s. (02/11/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/11/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/11/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/11/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/11/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? |-|erc (02/11/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/11/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Brad Guth (02/11/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Mike Oliver (02/11/05)
Re: cantor argument blues |-|erc (02/11/05)
Re: there's any finite prefix, not oo........anything you say sci.math |-|erc (02/11/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Pierre Asselin (02/11/05)
Re: EUREKA! a physical theory of the mind |-|erc (02/11/05)
Re: and who made god? |-|erc (02/11/05)
Re: and who made god? ken quirici (02/11/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Will Twentyman (02/11/05)
Re: Godel's NBG and realism David C. Ullrich (02/11/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> N:dlzc D:aol T:com \(dlzc\) (02/11/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Jay Windley (02/11/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Jay Windley (02/10/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Jay Windley (02/10/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> ajc415_at_newsguy.com (02/10/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Brad Guth (02/10/05)
Re: Does Mathematics have a concept of Consistency or only one of Default??? John Schoenfeld (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)
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??? Jim Spriggs (02/10/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/10/05)
Re: The counterexamples to FLT Archimedes Plutonium (02/10/05)
Re: Godel's NBG and realism Nath Rao (02/10/05)
Re: Does Mathematics have a concept of Consistency or only one of Default??? Babylonian (02/10/05)
Does Mathematics have a concept of Consistency or only one of Default??? Archimedes Plutonium (02/10/05)
Re: Godel's NBG and realism examachine_at_gmail.com (02/10/05)
Re: sci.logic tosspots mitch and george fuck off from alt.philosophy Immortalist (02/10/05)
sci.logic tosspots mitch and george fuck off from alt.philosophy John Jones (02/10/05)
Re: Closed set with Cantor-Bendixson Rank omega Mike Oliver (02/10/05)
Re: Closed set with Cantor-Bendixson Rank omega H. Enderton (02/10/05)
Re: Richard's antinomy examachine_at_gmail.com (02/10/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? examachine_at_gmail.com (02/10/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> N:dlzc D:aol T:com \(dlzc\) (02/10/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Brad Guth (02/10/05)
Re: and who made god? island5_at_earthlink.net (02/10/05)
Re: Richard's antinomy LordBeotian (02/10/05)
Re: cantor argument blues george (02/10/05)
Re: Godel's NBG and realism Aatu Koskensilta (02/10/05)
Re: geometry of negation george (02/10/05)
Re: A science-president giving the State of the Union speech; help with a term-concept MrPepper11 (02/10/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Ralph Hartley (02/10/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Mike Oliver (02/10/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (02/10/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Ralph Hartley (02/10/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Ralph Hartley (02/10/05)
Re: and who made god? ken quirici (02/10/05)
Re: cantor argument blues examachine_at_gmail.com (02/10/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/10/05)
Re: Richard's antinomy LordBeotian (02/10/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/10/05)
Re: definition: co-moron greggery peccary (02/10/05)
Re: Richard's antinomy examachine_at_gmail.com (02/10/05)
Re: definition: co-moron Acme Diagnostics (02/10/05)
re: definition: co-moron Acme Diagnostics (02/10/05)
Re: Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/10/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: Richard's antinomy LordBeotian (02/10/05)
Re: The counterexamples to FLT Archimedes Plutonium (02/10/05)
Re: Closed set with Cantor-Bendixson Rank omega poopdeville_at_gmail.com (02/10/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Keith Ramsay (02/10/05)
Re: does sqrt(2) exist in CM? Keith Ramsay (02/10/05)
Re: Closed set with Cantor-Bendixson Rank omega Igor Khavkine (02/10/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Jay Windley (02/10/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Ed Murphy (02/10/05)
Re: Closed set with Cantor-Bendixson Rank omega Mike Oliver (02/10/05)
Re: Richard's antinomy Chip Eastham (02/10/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? The Ghost In The Machine (02/10/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> josephus (02/10/05)
Re: EUREKA! a physical theory of the mind Will Twentyman (02/10/05)
Re: there's any finite prefix, not oo........anything you say sci.math Will Twentyman (02/10/05)
Re: definition: co-moron mcyberliver (02/10/05)
Re: Closed set with Cantor-Bendixson Rank omega poopdeville_at_gmail.com (02/10/05)
Re: "there is nothing you can't prove" T/F |-|erc (02/10/05)
Re: EUREKA! a physical theory of the mind |-|erc (02/10/05)
Re: Richard's antinomy Bill Taylor (02/10/05)
Re: "there is nothing you can't prove" T/F will.harris_at_gmail.com (02/10/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Brad Guth (02/10/05)
Re: Richard's antinomy rupertmccallum_at_yahoo.com (02/10/05)
Re: there's any finite prefix, not oo........anything you say sci.math |-|erc (02/10/05)
Re: Godel's NBG and realism examachine_at_gmail.com (02/10/05)
Re: ALL Countable Reals |-|erc (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: Moon Landing a Hoax??!! Real Evidence here>>> Jay Windley (02/10/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/10/05)
Re: Closed set with Cantor-Bendixson Rank omega Mike Oliver (02/10/05)
Re: Closed set with Cantor-Bendixson Rank omega Mike Oliver (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>>> DrPostman (02/10/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> DrPostman (02/10/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) John Hasenkam (02/10/05)
Re: ALL Countable Reals Barb Knox (02/10/05)
Re: Richard's antinomy LordBeotian (02/10/05)
Re: Richard's antinomy examachine_at_gmail.com (02/09/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Brad Guth (02/09/05)
Re: Morality, Ethics, Law, and the Unmarked Intersection Don (02/09/05)
Linear Logic Maybe Jan Burse (02/09/05)
Linear Logic Maybe Jan Burse (02/09/05)
Re: Closed set with Cantor-Bendixson Rank omega Mike Oliver (02/09/05)
Closed set with Cantor-Bendixson Rank omega poopdeville_at_gmail.com (02/09/05)
Re: and who made god? island5_at_earthlink.net (02/09/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Jay Windley (02/09/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)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Brad Guth (02/09/05)
Re: and who made god? ken quirici (02/09/05)
Re: Moon Landing a Hoax??!! Real Evidence here>>> Brad Guth (02/09/05)
Re: Richard's antinomy rupertmccallum_at_yahoo.com (02/09/05)
Re: geometry of negation John Jones (02/09/05)
Re: geometry of negation John Jones (02/09/05)
Re: and who made god? island5_at_earthlink.net (02/09/05)
Re: Richard's antinomy Stuart M Newberger (02/09/05)
Re: Is logic possible? Will Twentyman (02/09/05)
Re: EUREKA! a physical theory of the mind Will Twentyman (02/09/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Mitch Harris (02/09/05)
Re: there's any finite prefix, not oo........anything you say sci.math Will Twentyman (02/09/05)
Re: Godel's incompleteness and formal language Dave Seaman (02/09/05)
translation aisak (02/09/05)
Re: F(a) = ~F(a) HOW MANY OTHER SYNTACTICALLY CORRECT FORMULA DO YOU DISCARD? Chris Menzel (02/09/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Michael Mendelsohn (02/09/05)
Richard's antinomy examachine_at_gmail.com (02/09/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Ralph Hartley (02/09/05)
Re: Godel's incompleteness and formal language crypto_stonelock_at_hotmail.com (02/09/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Ralph Hartley (02/09/05)
Re: Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/09/05)
Re: Corrective interpretation of real numbers Eckard Blumschein (02/09/05)
Re: Successor Axiom: on what grounds TF? Herman Jurjus (02/09/05)
If to prove is to explain, why does "I cannot explain" mean mathematics is incomplete? |-|erc (02/09/05)
Re: F(a) = ~F(a) HOW MANY OTHER SYNTACTICALLY CORRECT FORMULA DO YOU DISCARD? |-|erc (02/09/05)
Re: F(a) = ~F(a) HOW MANY OTHER SYNTACTICALLY CORRECT FORMULA DO YOU DISCARD? Jesse F. Hughes (02/09/05)
Re: F(a) = ~F(a) HOW MANY OTHER SYNTACTICALLY CORRECT FORMULA DO YOU DISCARD? Jim Spriggs (02/09/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? |-|erc (02/09/05)
Re: F(a) = ~F(a) HOW MANY OTHER SYNTACTICALLY CORRECT FORMULA DO YOU DISCARD? Owen (02/09/05)
Is logic possible? Jim Spriggs (02/09/05)
Re: F(a) = ~F(a) HOW MANY OTHER SYNTACTICALLY CORRECT FORMULA DO YOU DISCARD? Owen (02/09/05)
Re: F(a) = ~F(a) HOW MANY OTHER SYNTACTICALLY CORRECT FORMULA DO YOU DISCARD? Jim Spriggs (02/09/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? examachine_at_gmail.com (02/09/05)
Re: F(a) = ~F(a) HOW MANY OTHER SYNTACTICALLY CORRECT FORMULA DO YOU DISCARD? Owen (02/09/05)
Re: F(a) = ~F(a) HOW MANY OTHER SYNTACTICALLY CORRECT FORMULA DO YOU DISCARD? The Ghost In The Machine (02/09/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? examachine_at_gmail.com (02/09/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? examachine_at_gmail.com (02/09/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? examachine_at_gmail.com (02/09/05)
Re: F(a) = ~F(a) HOW MANY OTHER SYNTACTICALLY CORRECT FORMULA DO YOU DISCARD? Jim Spriggs (02/09/05)
Re: F(a) = ~F(a) HOW MANY OTHER SYNTACTICALLY CORRECT FORMULA DO YOU DISCARD? Owen (02/09/05)
Re: F(a) = ~F(a) HOW MANY OTHER SYNTACTICALLY CORRECT FORMULA DO YOU DISCARD? Owen (02/09/05)
Re: Corrective interpretation of real numbers Bernd Funke (02/09/05)
Re: F(a) = ~F(a) HOW MANY OTHER SYNTACTICALLY CORRECT FORMULA DO YOU DISCARD? Jesse F. Hughes (02/09/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? The Ghost In The Machine (02/09/05)
Re: ALL Countable Reals The Ghost In The Machine (02/09/05)
Re: F(a) = ~F(a) HOW MANY OTHER SYNTACTICALLY CORRECT FORMULA DO YOU DISCARD? Chris Menzel (02/09/05)
Re: F(a) = ~F(a) HOW MANY OTHER SYNTACTICALLY CORRECT FORMULA DO YOU DISCARD? Owen (02/09/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Mike Oliver (02/09/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? |-|erc (02/09/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Chris Menzel (02/09/05)
Re: and who made god? ken quirici (02/09/05)
Re: there's any finite prefix, not oo........anything you say sci.math |-|erc (02/09/05)
Re: ALL Countable Reals Will Twentyman (02/09/05)
Re: ALL Countable Reals |-|erc (02/09/05)
Re: there's any finite prefix, not oo........anything you say sci.math Will Twentyman (02/09/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Will Twentyman (02/09/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Will Twentyman (02/09/05)
Re: there's any finite prefix, not oo........anything you say sci.math |-|erc (02/09/05)
Re: Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/09/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? |-|erc (02/09/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Mike Oliver (02/09/05)
Re: definition: co-moron John F (02/09/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/09/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Jesse F. Hughes (02/09/05)
Re: Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/09/05)
Re: Successor Axiom: on what grounds TF? Herman Jurjus (02/09/05)
Re: Corrective interpretation of real numbers Herman Jurjus (02/09/05)
Re: Corrective interpretation of real numbers Herman Jurjus (02/09/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/09/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/09/05)
Re: geometry of negation george (02/09/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/09/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? josephus (02/09/05)
Re: geometry of negation george (02/09/05)
Re: What evidence is there for a continuous space-time? Franz Heymann (02/09/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/09/05)
Re: does sqrt(2) exist in CM? Keith Ramsay (02/09/05)
Re: geometry of negation george (02/09/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Keith Ramsay (02/09/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) JXStern (02/09/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Ed Murphy (02/09/05)
Re: definition: co-moron astri (02/09/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? |-|erc (02/09/05)
Re: cantor argument blues The Ghost In The Machine (02/09/05)
Re: there's any finite prefix, not oo........anything you say sci.math The Ghost In The Machine (02/09/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? The Ghost In The Machine (02/09/05)
Re: "there is nothing you can't prove" T/F |-|erc (02/09/05)
Re: definition: co-moron willisA40 (02/09/05)
Re: "there is nothing you can't prove" T/F The Ghost In The Machine (02/09/05)
Re: cantor argument blues |-|erc (02/09/05)
Re: Expansion-Contraction of Logical-Lattice Quantum Mechanical Atom OsherD (02/09/05)
Re: Successor Axiom: on what grounds TF? Jeffrey Ketland (02/09/05)
Expansion-Contraction of Logical-Lattice Quantum Mechanical Atom OsherD (02/09/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? josephus (02/09/05)
Re: does sqrt(2) exist in CM? tchow_at_lsa.umich.edu (02/09/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? tchow_at_lsa.umich.edu (02/09/05)
Re: definition: co-moron mcyberliver (02/09/05)
Re: EUREKA! a physical theory of the mind |-|erc (02/09/05)
Re: geometry of negation george (02/09/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? |-|erc (02/09/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Mike Oliver (02/09/05)
Re: there's any finite prefix, not oo........anything you say sci.math |-|erc (02/09/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Chairman of the David Hilbert Appreciation Society (02/09/05)
Re: there's any finite prefix, not oo........anything you say sci.math |-|erc (02/09/05)
Re: ALL Countable Reals |-|erc (02/08/05)
Re: ALL Countable Reals Will Twentyman (02/08/05)
definition: co-moron xanthian_at_well.com (02/08/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Joe Kearney (02/08/05)
Re: does sqrt(2) exist in CM? Joe Kearney (02/08/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Joe Kearney (02/08/05)
Re: there's any finite prefix, not oo........anything you say sci.math Joe Kearney (02/08/05)
Re: geometry of negation george (02/08/05)
Re: there's any finite prefix, not oo........anything you say sci.math Will Twentyman (02/08/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? poopdeville_at_gmail.com (02/08/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Ralph Hartley (02/08/05)
Re: Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/08/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) John F (02/08/05)
Re: Successor Axiom: on what grounds TF? Jeffrey Ketland (02/08/05)
Re: geometry of negation John Jones (02/08/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Ralph Hartley (02/08/05)
Re: Successor Axiom: on what grounds TF? Robert Low (02/08/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Daryl McCullough (02/08/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? examachine_at_gmail.com (02/08/05)
Re: Successor Axiom: on what grounds TF? examachine_at_gmail.com (02/08/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Mike Oliver (02/08/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) examachine_at_gmail.com (02/08/05)
Re: What evidence is there for a continuous space-time? zzbunker_at_netscape.net (02/08/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Chris Menzel (02/08/05)
Re: "there is nothing you can't prove" T/F will.harris_at_gmail.com (02/08/05)
Re: geometry of negation Immortalist (02/08/05)
Re: geometry of negation Immortalist (02/08/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Daryl McCullough (02/08/05)
Re: What evidence is there for a continuous space-time? Franz Heymann (02/08/05)
Re: What evidence is there for a continuous space-time? Franz Heymann (02/08/05)
Re: What evidence is there for a continuous space-time? Franz Heymann (02/08/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? tchow_at_lsa.umich.edu (02/08/05)
Re: MAYBE YOU WILL ANSWER A MULTI CHOICE ??? Joe Kearney (02/08/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Chris Menzel (02/08/05)
Re: Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/08/05)
Re: Godel's NBG and realism Chris Menzel (02/08/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Mike Oliver (02/08/05)
Re: Corrective interpretation of real numbers Eckard Blumschein (02/08/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/08/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? examachine_at_gmail.com (02/08/05)
Re: My claim on Omega's defn examachine_at_gmail.com (02/08/05)
Re: Successor Axiom: on what grounds TF? Herman Jurjus (02/08/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Ralph Hartley (02/08/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) Dave Seaman (02/08/05)
Re: Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/08/05)
Re: Successor Axiom: on what grounds TF? Herman Jurjus (02/08/05)
Re: there's any finite prefix, not oo........anything you say sci.math The Ghost In The Machine (02/08/05)
Re: EUREKA! a physical theory of the mind The Ghost In The Machine (02/08/05)
Re: "there is nothing you can't prove" T/F The Ghost In The Machine (02/08/05)
Re: Godel's proof proves "this has no proof". Tonico (02/08/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) tchow_at_lsa.umich.edu (02/08/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) tchow_at_lsa.umich.edu (02/08/05)
Re: does sqrt(2) exist in CM? tchow_at_lsa.umich.edu (02/08/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? A N Niel (02/08/05)
Re: Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/08/05)
Re: Godel's NBG and realism David C. Ullrich (02/08/05)
Re: Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/08/05)
Re: Godel's NBG and realism David C. Ullrich (02/08/05)
Re: Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/08/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/08/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Ralph Hartley (02/08/05)
Re: Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/08/05)
Re: Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/08/05)
Re: Successor Axiom: on what grounds TF? Herman Jurjus (02/08/05)
Re: Successor Axiom: on what grounds TF? Charlie-Boo (02/08/05)
Re: Cardinality is like psychology |-|erc (02/08/05)
Re: Cardinality is like psychology Eckard Blumschein (02/08/05)
Re: Successor Axiom: on what grounds TF? Joe Kearney (02/08/05)
Re: 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? Charlie-Boo (02/08/05)
Re: Successor Axiom: on what grounds TF? Robert Low (02/08/05)
Re: Cardinality is like psychology Eckard Blumschein (02/08/05)
Re: Cardinality is like psychology |-|erc (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)
Re: 3SAT is Almost 2SAT Russell Easterly (02/08/05)
Re: Successor Axiom: on what grounds TF? Timothy Little (02/08/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Ross A. Finlayson (02/08/05)
Re: Consistent partial falsehood William Elliot (02/08/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Jeffrey Ketland (02/08/05)
Re: Turing completeness |-|erc (02/08/05)
Re: My claim on Omega's defn r.e.s. (02/08/05)
Re: there's any finite prefix, not oo........anything you say sci.math |-|erc (02/08/05)
Re: EUREKA! a physical theory of the mind |-|erc (02/08/05)
Re: F(a) = ~F(a) HOW MANY OTHER SYNTACTICALLY CORRECT FORMULA DO YOU DISCARD? Honey F. (02/08/05)
Re: there's any finite prefix, not oo........anything you say sci.math The Ghost In The Machine (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: there's any finite prefix, not oo........anything you say sci.math The Ghost In The Machine (02/08/05)
Re: EUREKA! a physical theory of the mind The Ghost In The Machine (02/08/05)
Re: "there is nothing you can't prove" T/F The Ghost In The Machine (02/08/05)
Godel's proof proves "this has no proof". |-|erc (02/08/05)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |-|erc (02/08/05)
Re: "there is nothing you can't prove" T/F |-|erc (02/08/05)
Re: What evidence is there for a continuous space-time? Eric Gisse (02/08/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) OsherD (02/08/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Robert Israel (02/08/05)
Re: "there is nothing you can't prove" T/F The Ghost In The Machine (02/08/05)
Re: EUREKA! a physical theory of the mind |-|erc (02/08/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/08/05)
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)
Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/08/05)
Re: there's any finite prefix, not oo........anything you say sci.math |-|erc (02/08/05)
Re: there's any finite prefix, not oo........anything you say sci.math David Bernier (02/08/05)
Re: there's any finite prefix, not oo........anything you say sci.math Will Twentyman (02/08/05)
Re: Successor Axiom: on what grounds TF? examachine_at_gmail.com (02/08/05)
Re: Successor Axiom: on what grounds TF? examachine_at_gmail.com (02/08/05)
Re: My claim on Omega's defn examachine_at_gmail.com (02/08/05)
Turing completeness Leonid Portnoy (02/08/05)
Re: there's any finite prefix, not oo........anything you say sci.math |-|erc (02/08/05)
Re: EUREKA! a physical theory of the mind |-|erc (02/08/05)
Re: Successor Axiom: on what grounds TF? Jeffrey Ketland (02/08/05)
geometry of negation mitch (02/08/05)
Re: My claim on Omega's defn r.e.s. (02/08/05)
Re: Successor Axiom: on what grounds TF? Jeffrey Ketland (02/08/05)
Re: Successor Axiom: on what grounds TF? examachine_at_gmail.com (02/08/05)
Re: EUREKA! a physical theory of the mind Chris Menzel (02/08/05)
Re: Successor Axiom: on what grounds TF? examachine_at_gmail.com (02/08/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) examachine_at_gmail.com (02/08/05)
Re: Godel's NBG and realism examachine_at_gmail.com (02/08/05)
Re: there's any finite prefix, not oo........anything you say sci.math Will Twentyman (02/08/05)
Re: Successor Axiom: on what grounds TF? Joe Kearney (02/08/05)
Re: EUREKA! a physical theory of the mind |-|erc (02/07/05)
Re: What evidence is there for a continuous space-time? examachine_at_gmail.com (02/07/05)
Re: My claim on Omega's defn examachine_at_gmail.com (02/07/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/07/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/07/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/07/05)
Re: Successor Axiom: on what grounds TF? Jeffrey Ketland (02/07/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/07/05)
Re: EUREKA! a physical theory of the mind ken quirici (02/07/05)
Re: "there is nothing you can't prove" T/F |-|erc (02/07/05)
Re: EUREKA! a physical theory of the mind |-|erc (02/07/05)
Re: EUREKA! a physical theory of the mind |-|erc (02/07/05)
Re: My claim on Omega's defn r.e.s. (02/07/05)
Re: "there is nothing you can't prove" T/F |-|erc (02/07/05)
Re: http://www.book.com/ Twittering One (02/07/05)
Re: What evidence is there for a continuous space-time? Mike (02/07/05)
Re: What evidence is there for a continuous space-time? Peter Kinane (02/07/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) tchow_at_lsa.umich.edu (02/07/05)
Re: What evidence is there for a continuous space-time? zzbunker_at_netscape.net (02/07/05)
Re: does sqrt(2) exist in CM? Daniel W. Johnson (02/07/05)
Re: Successor Axiom: on what grounds TF? Jeffrey Ketland (02/07/05)
Re: and who made god? Kenneth Doyle (02/07/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/07/05)
Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) examachine_at_gmail.com (02/07/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? examachine_at_gmail.com (02/07/05)
Re: EUREKA! a physical theory of the mind ken quirici (02/07/05)
Re: Successor Axiom: on what grounds TF? examachine_at_gmail.com (02/07/05)
Re: What evidence is there for a continuous space-time? examachine_at_gmail.com (02/07/05)
Re: What evidence is there for a continuous space-time? examachine_at_gmail.com (02/07/05)
Re: What evidence is there for a continuous space-time? examachine_at_gmail.com (02/07/05)
Re: does sqrt(2) exist in CM? David Kastrup (02/07/05)
Re: Successor Axiom: on what grounds TF? examachine_at_gmail.com (02/07/05)
Re: does sqrt(2) exist in CM? tchow_at_lsa.umich.edu (02/07/05)
Re: My claim on Omega's defn examachine_at_gmail.com (02/07/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/07/05)
Re: My claim on Omega's defn r.e.s. (02/07/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/07/05)
Re: EUREKA! a physical theory of the mind Chris Menzel (02/07/05)
Re: why baseball is a more balanced game than football or basketball; NewEngland beats Philadelphia Archimedes Plutonium (02/07/05)
http://www.book.com/ Immortalist (02/07/05)
Re: and who made god? island5_at_earthlink.net (02/07/05)
Re: does sqrt(2) exist in CM? Joe Kearney (02/07/05)
Re: EUREKA! a physical theory of the mind ken quirici (02/07/05)
Re: Godel's NBG and realism Nath Rao (02/07/05)
Re: EUREKA! a physical theory of the mind Chris Menzel (02/07/05)
Re: and who made god? ken quirici (02/07/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/07/05)
Re: and who made god? island5_at_earthlink.net (02/07/05)
Re: EUREKA! a physical theory of the mind ken quirici (02/07/05)
Re: does sqrt(2) exist in CM? Lee Rudolph (02/07/05)
Re: does sqrt(2) exist in CM? tchow_at_lsa.umich.edu (02/07/05)
Re: and who made god? Albert (02/07/05)
Re: and who made god? Albert (02/07/05)
Re: My claim on Omega's defn Ralph Hartley (02/07/05)
Re: "there is nothing you can't prove" T/F The Ghost In The Machine (02/07/05)
Re: and who made god? ken quirici (02/07/05)
Re: What evidence is there for a continuous space-time? Mike (02/07/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/07/05)
Re: Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/07/05)
Re: Consistent partial falsehood examachine_at_gmail.com (02/07/05)
Re: My claim on Omega's defn examachine_at_gmail.com (02/07/05)
Re: Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/07/05)
Re: What evidence is there for a continuous space-time? TomGee (02/07/05)
Re: Successor Axiom: on what grounds TF? Herman Jurjus (02/07/05)
Re: Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/07/05)
Re: and who made god? island5_at_earthlink.net (02/07/05)
Re: Successor Axiom: on what grounds TF? |-|erc (02/07/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/07/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/07/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/07/05)
Re: What evidence is there for a continuous space-time? Franz Heymann (02/07/05)
Re: What evidence is there for a continuous space-time? Franz Heymann (02/07/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/07/05)
Re: Successor Axiom: on what grounds TF? David C. Ullrich (02/07/05)
Re: and who made god? |-|erc (02/07/05)
Re: and who made god? Barb Knox (02/07/05)
EUREKA! a physical theory of the mind |-|erc (02/07/05)
Re: does sqrt(2) exist in CM? mareg_at_mimosa.csv.warwick.ac.uk (02/07/05)
Re: does sqrt(2) exist in CM? Keith Ramsay (02/07/05)
Re: What evidence is there for a continuous space-time? Mike (02/07/05)
Re: does sqrt(2) exist in CM? Keith Ramsay (02/07/05)
why baseball is a more balanced game than football or basketball; NewEngland beats Philadelphia Archimedes Plutonium (02/07/05)
Re: article on schools of foundations of mathematics Mitch Harris (02/07/05)
Re: does sqrt(2) exist in CM? Keith Ramsay (02/07/05)
Re: Consistent partial falsehood William Elliot (02/07/05)
Re: Humanism William Elliot (02/07/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Torkel Franzen (02/07/05)
Re: Consistent partial falsehood William Elliot (02/07/05)
Re: and who made god? Twittering One (02/07/05)
Re: and who made god? Twittering One (02/07/05)
Re: and who made god? Twittering One (02/07/05)
Re: What evidence is there for a continuous space-time? Nick (02/07/05)
Re: What evidence is there for a continuous space-time? |-|erc (02/07/05)
Re: and who made god? Albert (02/07/05)
Re: and who made god? Albert (02/07/05)
Re: and who made god? Albert (02/07/05)
Re: What evidence is there for a continuous space-time? zzbunker_at_netscape.net (02/07/05)
Re: "there is nothing you can't prove" T/F |-|erc (02/07/05)
Re: What evidence is there for a continuous space-time? Mike (02/07/05)
Re: "there is nothing you can't prove" T/F The Ghost In The Machine (02/07/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? tchow_at_lsa.umich.edu (02/07/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? tchow_at_lsa.umich.edu (02/07/05)
Re: and who made god? Twittering One (02/07/05)
Re: My claim on Omega's defn r.e.s. (02/07/05)
there's any finite prefix, not oo........anything you say sci.math |-|erc (02/07/05)
Re: and who made god? |-|erc (02/07/05)
Re: and who made god? |-|erc (02/07/05)
Re: Successor Axiom: on what grounds TF? Jeffrey Ketland (02/07/05)
Re: and who made god? Albert (02/07/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? poopdeville_at_gmail.com (02/07/05)
Re: and who made god? Albert (02/07/05)
Re: and who made god? Sportacus DerWolfin (02/07/05)
Re: ******** CAN ANYONE HERE DEFINE CHAITIN'S OMEGA ? *********** examachine_at_gmail.com (02/07/05)
Re: My claim on Omega's defn examachine_at_gmail.com (02/07/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/07/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/07/05)
Re: and who made god? Albert (02/07/05)
Re: Successor Axiom: on what grounds TF? examachine_at_gmail.com (02/07/05)
What evidence is there for a continuous space-time? examachine_at_gmail.com (02/07/05)
Re: does sqrt(2) exist in CM? Joe Kearney (02/07/05)
Re: and who made god? |-|erc (02/07/05)
Re: Successor Axiom: on what grounds TF? |-|erc (02/07/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/07/05)
Re: Successor Axiom: on what grounds TF? Jeffrey Ketland (02/07/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/07/05)
Re: does sqrt(2) exist in CM? David Kastrup (02/07/05)
Re: "there is nothing you can't prove" T/F |-|erc (02/07/05)
Re: Successor Axiom: on what grounds TF? |-|erc (02/07/05)
Re: and who made god? |-|erc (02/07/05)
Re: Successor Axiom: on what grounds TF? examachine_at_gmail.com (02/06/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/06/05)
Re: does sqrt(2) exist in CM? David Kastrup (02/06/05)
Re: Godel's incompleteness and formal language examachine_at_gmail.com (02/06/05)
Re: does sqrt(2) exist in CM? robert j. kolker (02/06/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/06/05)
Re: does sqrt(2) exist in CM? Dave Rusin (02/06/05)
Re: Consistent partial falsehood Acme Diagnostics (02/06/05)
Re: Consistent partial falsehood Acme Diagnostics (02/06/05)
Re: Godel's incompleteness and formal language Leonid Portnoy (02/06/05)
Re: Successor Axiom: on what grounds TF? Jeffrey Ketland (02/06/05)
Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Shmuel (Seymour J.) Metz (02/06/05)
Re: and who made god? Neil Coward (02/06/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/06/05)
how easy a M.A.D. Fleet would solve the Iran nuclear bomb building Archimedes Plutonium (02/06/05)
law & order is more essential than freedom & democracy Re: A science-president giving the State of the Union speech; help with a term-concept Archimedes Plutonium (02/06/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Keith Ramsay (02/06/05)
Re: Godel's incompleteness and formal language Jeffrey Ketland (02/06/05)
Re: "there is nothing you can't prove" T/F The Ghost In The Machine (02/06/05)
Re: Successor Axiom: on what grounds TF? The Ghost In The Machine (02/06/05)
Re: and who made god? ken quirici (02/06/05)
Re: Successor Axiom: on what grounds TF? Torkel Franzen (02/06/05)
Re: Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/06/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/06/05)
Re: Successor Axiom: on what grounds TF? Torkel Franzen (02/06/05)
Re: Godel's incompleteness and formal language examachine_at_gmail.com (02/06/05)
Re: Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/06/05)
Re: Consistent partial falsehood examachine_at_gmail.com (02/06/05)
Re: article on schools of foundations of mathematics examachine_at_gmail.com (02/06/05)
Re: Successor Axiom: on what grounds TF? examachine_at_gmail.com (02/06/05)
Humanism Oliver Geraghty (02/06/05)
Re: Godel's incompleteness and formal language examachine_at_gmail.com (02/06/05)
Re: Godel's NBG and realism examachine_at_gmail.com (02/06/05)
Re: Godel's incompleteness and formal language Torkel Franzen (02/06/05)
Re: The Origin of The Universe / S D Rodrian SDR (02/06/05)
Re: Godel's NBG and realism David C. Ullrich (02/06/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/06/05)
Re: Consistent partial falsehood William Elliot (02/06/05)
Re: Successor Axiom: on what grounds TF? David C. Ullrich (02/06/05)
Re: Godel's NBG and realism Jesse F. Hughes (02/06/05)
Re: Godel's incompleteness and formal language Leonid Portnoy (02/06/05)
Re: Consistent partial falsehood William Elliot (02/06/05)
Re: Successor Axiom: on what grounds TF? Ross A. Finlayson (02/06/05)
Re: Successor Axiom: on what grounds TF? Barb Knox (02/06/05)
Re: article on schools of foundations of mathematics Jeffrey Ketland (02/06/05)
Re: Successor Axiom: on what grounds TF? |-|erc (02/06/05)
Re: The Origin of The Universe / S D Rodrian Bill Hobba (02/06/05)
Re: Successor Axiom: on what grounds TF? Jeffrey Ketland (02/06/05)
Re: Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/06/05)
Re: Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/06/05)
Re: Successor Axiom: on what grounds TF? Jeffrey Ketland (02/06/05)
Re: Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/06/05)
Is the OPINION just one step above total ignorance? RFHall (02/06/05)
Re: Morality, Ethics, Law, and the Unmarked Intersection RFHall (02/06/05)
Re: and who made god? |-|erc (02/06/05)
Re: "there is nothing you can't prove" T/F examachine_at_gmail.com (02/06/05)
Re: Successor Axiom: on what grounds TF? examachine_at_gmail.com (02/06/05)
Re: Successor Axiom: on what grounds TF? Barb Knox (02/06/05)
Re: "there is nothing you can't prove" T/F |-|erc (02/06/05)
Re: "there is nothing you can't prove" T/F |-|erc (02/06/05)
Re: Successor Axiom: on what grounds TF? examachine_at_gmail.com (02/06/05)
Re: "there is nothing you can't prove" T/F examachine_at_gmail.com (02/06/05)
Re: Of course Cantors diagonlisation is ok was Re: Where's respect?.... examachine_at_gmail.com (02/06/05)
Re: "there is nothing you can't prove" T/F The Ghost In The Machine (02/06/05)
Re: Godel's NBG and realism rupertmccallum_at_yahoo.com (02/06/05)
simple coin puzzle puts cardinality theory in doubt |-|erc (02/06/05)
Re: Of course Cantors diagonlisation is ok was Re: Where's respect?.... cbrown_at_cbrownsystems.com (02/06/05)
Re: "there is nothing you can't prove" T/F |-|erc (02/06/05)
Re: does sqrt(2) exist in CM? Larry Hammick (02/06/05)
Re: Successor Axiom: on what grounds TF? Jeffrey Ketland (02/06/05)
Re: "there is nothing you can't prove" T/F examachine_at_gmail.com (02/06/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/06/05)
Re: Consistent partial falsehood examachine_at_gmail.com (02/06/05)
Re: Successor Axiom: on what grounds TF? |-|erc (02/06/05)
Godel's NBG and realism examachine_at_gmail.com (02/06/05)
Re: Successor Axiom: on what grounds TF? |-|erc (02/06/05)
Re: "there is nothing you can't prove" T/F |-|erc (02/06/05)
Re: "there is nothing you can't prove" T/F |-|erc (02/06/05)
Re: coin puzzle |-|erc (02/06/05)
Re: coin puzzle Jim Burns (02/06/05)
Re: Of course Cantors diagonlisation is ok was Re: Where's respect?.... examachine_at_gmail.com (02/05/05)
Re: Of course Cantors diagonlisation is ok was Re: Where's respect?.... examachine_at_gmail.com (02/05/05)
Re: Successor Axiom: on what grounds TF? Barb Knox (02/05/05)
Re: Successor Axiom: on what grounds TF? Torkel Franzen (02/05/05)
Re: Of course Cantors diagonlisation is ok was Re: Where's respect?.... Barb Knox (02/05/05)
Re: Of course Cantors diagonlisation is ok was Re: Where's respect?.... examachine_at_gmail.com (02/05/05)
Re: Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/05/05)
Re: Man, Mr. bush Jr. sure is wicked evil eh? Johnny the Jew (02/05/05)
Re: does sqrt(2) exist in CM? Alan Smaill (02/05/05)
Re: coin puzzle David Kastrup (02/05/05)
Re: coin puzzle Alan Smaill (02/05/05)
Re: coin puzzle Alan Smaill (02/05/05)
Re: coin puzzle Alan Smaill (02/05/05)
Re: coin puzzle Alan Smaill (02/05/05)
Re: Of course Cantors diagonlisation is ok was Re: Where's respect?.... Barb Knox (02/05/05)
Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Piotr Sawuk (02/05/05)
Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Piotr Sawuk (02/05/05)
Re: Successor Axiom: on what grounds TF? Torkel Franzen (02/05/05)
re: Consistent partial falsehood Acme Diagnostics (02/05/05)
Re: Successor Axiom: on what grounds TF? examachine_at_gmail.com (02/05/05)
Re: The Jesus Christ Code. � examachine_at_gmail.com (02/05/05)
Re: "there is nothing you can't prove" T/F examachine_at_gmail.com (02/05/05)
Consistent partial falsehood examachine_at_gmail.com (02/05/05)
Re: does sqrt(2) exist in CM? A N Niel (02/05/05)
Re: Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/05/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? tchow_at_lsa.umich.edu (02/05/05)
Re: coin puzzle Lynn Kurtz (02/05/05)
Re: Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/05/05)
Re: Successor Axiom: on what grounds TF? Torkel Franzen (02/05/05)
Re: Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/05/05)
Re: Successor Axiom: on what grounds TF? LordBeotian (02/05/05)
Re: Successor Axiom: on what grounds TF? Torkel Franzen (02/05/05)
Re: Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/05/05)
Re: "there is nothing you can't prove" T/F The Ghost In The Machine (02/05/05)
Re: Successor Axiom: on what grounds TF? Torkel Franzen (02/05/05)
Re: Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/05/05)
Re: Successor Axiom: on what grounds TF? Torkel Franzen (02/05/05)
Re: Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/05/05)
Re: Of course Cantors diagonlisation is ok was Re: Where's respect?.... exanews_at_gmail.com (02/05/05)
Re: Successor Axiom: on what grounds TF? namducnguyen (02/05/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/05/05)
Re: Successor Axiom: on what grounds TF? Torkel Franzen (02/05/05)
Re: coin puzzle David Kastrup (02/05/05)
Re: Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/05/05)
Re: coin puzzle Jim Burns (02/05/05)
Re: Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/05/05)
does sqrt(2) exist in CM? alex goldman (02/05/05)
Re: Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/05/05)
Re: Successor Axiom: on what grounds TF? Peter Webb (02/05/05)
Re: Successor Axiom: on what grounds TF? Torkel Franzen (02/05/05)
Re: Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/05/05)
Re: Successor Axiom: on what grounds TF? Torkel Franzen (02/05/05)
Re: Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/05/05)
Re: coin puzzle |-|erc (02/05/05)
Re: Herc, Australia does not even exist! alex goldman (02/05/05)
Re: Herc, Australia does not even exist! |-|erc (02/05/05)
Re: OT: An interesting snippet about proof of God's Existence.-- "Pastor" Frank the Marcionite The_Sage (02/05/05)
Re: Successor Axiom: on what grounds TF? Torkel Franzen (02/05/05)
Re: coin puzzle G. Frege (02/05/05)
Re: coin puzzle Alan Smaill (02/05/05)
Re: Herc, Australia does not even exist! G. Frege (02/05/05)
coin puzzle |-|erc (02/05/05)
Re: Herc, Australia does not even exist! |-|erc (02/05/05)
Re: "there is nothing you can't prove" T/F |-|erc (02/05/05)
Re: Herc, Australia does not even exist! |-|erc (02/05/05)
Re: The Origin of The Universe / S D Rodrian SDR (02/05/05)
Re: Herc, Australia does not even exist! alex goldman (02/05/05)
Re: "there is nothing you can't prove" T/F The Ghost In The Machine (02/05/05)
"there is nothing you can't prove" T/F |-|erc (02/05/05)
Successor Axiom: on what grounds TF? Helene.Boucher_at_wanadoo.fr (02/05/05)
Re: Can The Null Set Change in Time? OsherD (02/05/05)
3SAT is Almost 2SAT Russell Easterly (02/05/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? poopdeville_at_gmail.com (02/05/05)
Re: "Has a finite model" => "decidable"? H. Enderton (02/05/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? tchow_at_lsa.umich.edu (02/05/05)
Re: The Origin of The Universe / S D Rodrian Bill Hobba (02/05/05)
Re: Name the thesis: "Formal sentences capture informal ones" Stephen Harris (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? PD (02/04/05)
Re: Evidence... o�in (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? poopdeville_at_gmail.com (02/04/05)
Re: YOU IGNORAMUSES ACTUAL:LY BELIEVE THIS ? examachine_at_gmail.com (02/04/05)
Re: Evidence... examachine_at_gmail.com (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? examachine_at_gmail.com (02/04/05)
Re: Are open formulae really needed? reader (02/04/05)
CFP: 6th Workshop on Nonmonotonic Reasoning, Action, and Change - August 1, 2005 Maurice Pagnucco (02/04/05)
Re: Name the thesis: "Formal sentences capture informal ones" Stephen Harris (02/04/05)
Re: just how many reals are there in aleph_1 ? Snorkleton McBurp (02/04/05)
Re: Actualists Chris Menzel (02/04/05)
Re: A beginners question (tableaux and modal logics) aitor.cuesta (02/04/05)
Re: just how many reals are there in aleph_1 ? The Ghost In The Machine (02/04/05)
Re: just how many reals are there in aleph_1 ? The Ghost In The Machine (02/04/05)
A beginners question (tableaux and modal logics) aitor.cuesta (02/04/05)
Re: article on schools of foundations of mathematics Mitch Harris (02/04/05)
Re: article on schools of foundations of mathematics Mitch Harris (02/04/05)
Re: just how many reals are there in aleph_1 ? Arthur Fischer (02/04/05)
Re: Actualists john (02/04/05)
Re: Recursive definition of wff G. Frege (02/04/05)
Re: Recursive definition of wff G. Frege (02/04/05)
Re: Name the thesis: "Formal sentences capture informal ones" tchow_at_lsa.umich.edu (02/04/05)
Re: Name the thesis: "Formal sentences capture informal ones" tchow_at_lsa.umich.edu (02/04/05)
Re: Godel's incompleteness and formal language tausyn (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? tchow_at_lsa.umich.edu (02/04/05)
Re: Recursive definition of wff Andreas (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? PD (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? tchow_at_lsa.umich.edu (02/04/05)
Re: Recursive definition of wff Peter Webb (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? tchow_at_lsa.umich.edu (02/04/05)
Re: Recursive definition of wff Andreas (02/04/05)
Re: Recursive definition of wff G. Frege (02/04/05)
Re: article on schools of foundations of mathematics Alan Smaill (02/04/05)
Re: Herc, Australia does not even exist! |-|erc (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Torkel Franzen (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? poopdeville_at_gmail.com (02/04/05)
Recursive definition of wff Andreas (02/04/05)
Re: Herc, Australia does not even exist! Tonico (02/04/05)
Re: The Origin of The Universe / S D Rodrian SDR (02/04/05)
Re: The Origin of The Universe / S D Rodrian SDR (02/04/05)
Re: A science-president giving the State of the Union speech; help with a term-concept Archimedes Plutonium (02/04/05)
Re: Actualists john (02/04/05)
Re: just how many reals are there in aleph_1 ? The Ghost In The Machine (02/04/05)
Re: just how many reals are there in aleph_1 ? The Ghost In The Machine (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Torkel Franzen (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? poopdeville_at_gmail.com (02/04/05)
Re: Herc filk |-|erc (02/04/05)
Re: just how many reals are there in aleph_1 ? |-|erc (02/04/05)
Re: just how many reals are there in aleph_1 ? |-|erc (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Keith Ramsay (02/04/05)
Can The Null Set Change in Time? OsherD (02/04/05)
Re: Herc filk Lee Gold (02/04/05)
Herc filk Barb Knox (02/04/05)
Herc, Australia does not even exist! alex goldman (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? poopdeville_at_gmail.com (02/04/05)
Re: just how many reals are there in aleph_1 ? Mark Nudelman (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? poopdeville_at_gmail.com (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Torkel Franzen (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? poopdeville_at_gmail.com (02/04/05)
Re: just how many reals are there in aleph_1 ? |-|erc (02/04/05)
Re: higher-order logic Chris Menzel (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Torkel Franzen (02/04/05)
Re: just how many reals are there in aleph_1 ? |-|erc (02/04/05)
Re: just how many reals are there in aleph_1 ? Mark Nudelman (02/04/05)
Re: just how many reals are there in aleph_1 ? Barb Knox (02/04/05)
Re: Godel's incompleteness and formal language Acme Diagnostics (02/04/05)
Re: higher-order logic alex goldman (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? poopdeville_at_gmail.com (02/04/05)
Re: What is the logic in the human penis ? ? ? |-|erc (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? poopdeville_at_gmail.com (02/04/05)
Re: just how many reals are there in aleph_1 ? |-|erc (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? poopdeville_at_gmail.com (02/04/05)
What is the logic in the human penis ? ? ? Dan Simper (02/04/05)
Re: just how many reals are there in aleph_1 ? Mark Nudelman (02/04/05)
Re: The Origin of The Universe / S D Rodrian Bill Hobba (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? FrediFizzx (02/04/05)
Re: just how many reals are there in aleph_1 ? |-|erc (02/04/05)
Re: OT: An interesting snippet about proof of God's Existence. The_Sage (02/04/05)
Re: just how many reals are there in aleph_1 ? Mark Nudelman (02/04/05)
Re: just how many reals are there in aleph_1 ? |-|erc (02/04/05)
Re: The Origin of The Universe / S D Rodrian Bill Hobba (02/04/05)
Re: just how many reals are there in aleph_1 ? Mark Nudelman (02/04/05)
Re: just how many reals are there in aleph_1 ? |-|erc (02/04/05)
Re: just how many reals are there in aleph_1 ? Mark Nudelman (02/04/05)
Re: just how many reals are there in aleph_1 ? |-|erc (02/04/05)
Re: Evidence... Jeffrey Ketland (02/04/05)
Re: just how many reals are there in aleph_1 ? Mark Nudelman (02/04/05)
Re: just how many reals are there in aleph_1 ? |-|erc (02/04/05)
Re: "Has a finite model" => "decidable"? John Harrison (02/04/05)
Re: "Has a finite model" => "decidable"? John Harrison (02/03/05)
Re: just how many reals are there in aleph_1 ? Mark Nudelman (02/03/05)
Re: The Origin of The Universe / S D Rodrian SDR (02/03/05)
Evidence... qmagick_at_yahoo.com (02/03/05)
Re: just how many reals are there in aleph_1 ? Randy Poe (02/03/05)
Re: Godel's incompleteness and formal language crypto_stonelock_at_hotmail.com (02/03/05)
Re: The Origin of The Universe / S D Rodrian SDR (02/03/05)
Re: just how many reals are there in aleph_1 ? |-|erc (02/03/05)
Re: just how many reals are there in aleph_1 ? |-|erc (02/03/05)
Re: article on schools of foundations of mathematics Mitch Harris (02/03/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? John Baez (02/03/05)
Re: higher-order logic Owen (02/03/05)
Re: Godel's incompleteness and formal language tausyn (02/03/05)
Re: article on schools of foundations of mathematics Herman Jurjus (02/03/05)
Re: A science-president giving the State of the Union speech; help with a term-concept MrPepper11 (02/03/05)
Re: Name the thesis: "Formal sentences capture informal ones" Stephen Harris (02/03/05)
Re: My claim on Omega's defn r.e.s. (02/03/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Chairman of the David Hilbert Appreciation Society (02/03/05)
Re: Name the thesis: "Formal sentences capture informal ones" examachine_at_gmail.com (02/03/05)
Re: Name the thesis: "Formal sentences capture informal ones" Stephen Harris (02/03/05)
Re: Name the thesis: "Formal sentences capture informal ones" Stephen Harris (02/03/05)
truth table genratibng programs Ant (02/03/05)
Re: just how many reals are there in aleph_1 ? Randy Poe (02/03/05)
Re: Solve this problem! Russell Easterly (02/03/05)
Re: just how many reals are there in aleph_1 ? The Ghost In The Machine (02/03/05)
Re: Actualists Chris Menzel (02/03/05)
Re: OT: An interesting snippet about proof of God's Existence. desertphile_at_hotmail.com (02/03/05)
Re: just how many reals are there in aleph_1 ? Torkel Franzen (02/03/05)
Re: just how many reals are there in aleph_1 ? Mark Nudelman (02/03/05)
The Origin of The Universe / S D Rodrian SDR (02/03/05)
Re: just how many reals are there in aleph_1 ? Jon Haugsand (02/03/05)
Re: just how many reals are there in aleph_1 ? Mark Nudelman (02/03/05)
Re: The Origin of The Universe / S D Rodrian Bill Hobba (02/03/05)
Re: The Origin of The Universe / S D Rodrian Bill Hobba (02/03/05)
Re: My claim on Omega's defn Ralph Hartley (02/03/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Ralph Hartley (02/03/05)
Re: "Has a finite model" => "decidable"? Mitch Harris (02/03/05)
Re: article on schools of foundations of mathematics Mitch Harris (02/03/05)
Actualists john (02/03/05)
Re: just how many reals are there in aleph_1 ? |-|erc (02/03/05)
Re: Godel's incompleteness and formal language David C. Ullrich (02/03/05)
Re: "Has a finite model" => "decidable"? Torkel Franzen (02/03/05)
Re: A Possible Additional Axiom Schema for PA ? Jeffrey Ketland (02/03/05)
Re: "Has a finite model" => "decidable"? David C. Ullrich (02/03/05)
Re: Godel's incompleteness and formal language LordBeotian (02/03/05)
Re: article on schools of foundations of mathematics Herman Jurjus (02/03/05)
Re: Godel's incompleteness and formal language LordBeotian (02/03/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Mitch Harris (02/03/05)
A science-president giving the State of the Union speech; help with a term-concept Archimedes Plutonium (02/03/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Keith Ramsay (02/03/05)
Re: just how many reals are there in aleph_1 ? Barb Knox (02/03/05)
Re: Godel's incompleteness and formal language Acme Diagnostics (02/03/05)
Re: just how many reals are there in aleph_1 ? |-|erc (02/03/05)
Re: A Possible Additional Axiom Schema for PA ? William Elliot (02/03/05)
Re: just how many reals are there in aleph_1 ? Mark Nudelman (02/03/05)
Re: Godel's incompleteness and formal language Torkel Franzen (02/03/05)
Re: Godel's incompleteness and formal language Jason Simons (02/03/05)
Re: ******** CAN ANYONE HERE DEFINE CHAITIN'S OMEGA ? *********** Torkel Franzen (02/03/05)
Re: Name the thesis: "Formal sentences capture informal ones" Torkel Franzen (02/03/05)
Re: The Origin of The Universe / S D Rodrian robert j. kolker (02/03/05)
The Origin of The Universe / S D Rodrian SDR (02/03/05)
Re: just how many reals are there in aleph_1 ? Beta (02/03/05)
Re: My claim on Omega's defn r.e.s. (02/03/05)
Re: Godel's incompleteness and formal language Jeffrey Ketland (02/03/05)
The Origin of The Universe / S D Rodrian SDR (02/03/05)
Re: just how many reals are there in aleph_1 ? |-|erc (02/03/05)
Re: YOU IGNORAMUSES ACTUAL:LY BELIEVE THIS ? |-|erc (02/03/05)
Re: Godel's incompleteness and formal language examachine_at_gmail.com (02/03/05)
Re: just how many reals are there in aleph_1 ? Mark Nudelman (02/03/05)
Re: article on schools of foundations of mathematics examachine_at_gmail.com (02/03/05)
Re: ******** CAN ANYONE HERE DEFINE CHAITIN'S OMEGA ? *********** examachine_at_gmail.com (02/03/05)
Re: OT: An interesting snippet about proof of God's Existence. The_Sage (02/03/05)
Re: YOU IGNORAMUSES ACTUAL:LY BELIEVE THIS ? examachine_at_gmail.com (02/03/05)
Re: ******** CAN ANYONE HERE DEFINE CHAITIN'S OMEGA ? *********** examachine_at_gmail.com (02/03/05)
Re: Name the thesis: "Formal sentences capture informal ones" examachine_at_gmail.com (02/03/05)
Re: Name the thesis: "Formal sentences capture informal ones" examachine_at_gmail.com (02/03/05)
Re: My claim on Omega's defn examachine_at_gmail.com (02/03/05)
Re: Godel's incompleteness and formal language Jeffrey Ketland (02/03/05)
Re: Godel's incompleteness and formal language Jeffrey Ketland (02/03/05)
Re: YOU IGNORAMUSES ACTUAL:LY BELIEVE THIS ? |-|erc (02/03/05)
Re: a well known question Lee Rudolph (02/03/05)
Re: just how many reals are there in aleph_1 ? |-|erc (02/03/05)
Re: Name the thesis: "Formal sentences capture informal ones" Lee Rudolph (02/03/05)
Re: Godel's incompleteness and formal language Barb Knox (02/03/05)
Re: Godel's incompleteness and formal language David C. Ullrich (02/03/05)
Re: The Origin of The Universe / S D Rodrian Bill Hobba (02/02/05)
Re: Godel's incompleteness and formal language Truth Detector (02/02/05)
Re: just how many reals are there in aleph_1 ? Randy Poe (02/02/05)
Re: just how many reals are there in aleph_1 ? Randy Poe (02/02/05)
Re: OT: An interesting snippet about proof of God's Existence. Pastor Frank (02/02/05)
Re: My claim on Omega's defn r.e.s. (02/02/05)
Re: just how many reals are there in aleph_1 ? Mark Nudelman (02/02/05)
Re: Godel's incompleteness and formal language Jeffrey Ketland (02/02/05)
Re: Name the thesis: "Formal sentences capture informal ones" Mitch Harris (02/02/05)
Re: My claim on Omega's defn Ben Rudiak-Gould (02/02/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Mitch Harris (02/02/05)
Re: Godel's incompleteness and formal language Truth Detector (02/02/05)
Re: A Possible Additional Axiom Schema for PA ? Jeffrey Ketland (02/02/05)
Re: A Possible Additional Axiom Schema for PA ? Helene.Boucher_at_wanadoo.fr (02/02/05)
Re: Godel's incompleteness and formal language Jim Spriggs (02/02/05)
Re: A Possible Additional Axiom Schema for PA ? Jeffrey Ketland (02/02/05)
Re: My claim on Omega's defn examachine_at_gmail.com (02/02/05)
Godel's incompleteness and formal language Truth Detector (02/02/05)
Re: OT: An interesting snippet about proof of God's Existence. Steve Mading (02/02/05)
Re: ******** CAN ANYONE HERE DEFINE CHAITIN'S OMEGA ? *********** stephen_at_nomail.com (02/02/05)
Re: A Possible Additional Axiom Schema for PA ? Helene.Boucher_at_wanadoo.fr (02/02/05)
Re: My claim on Omega's defn r.e.s. (02/02/05)
Re: Name the thesis: "Formal sentences capture informal ones" tchow_at_lsa.umich.edu (02/02/05)
Re: Solve this problem! G. Frege (02/02/05)
Re: ******** CAN ANYONE HERE DEFINE CHAITIN'S OMEGA ? *********** Torkel Franzen (02/02/05)
Re: Name the thesis: "Formal sentences capture informal ones" Mitch Harris (02/02/05)
The Origin of The Universe / S D Rodrian SDR (02/02/05)
Re: OT: An interesting snippet about proof of God's Existence. ZenIsWhen (02/02/05)
Re: YOU IGNORAMUSES ACTUAL:LY BELIEVE THIS ? examachine_at_gmail.com (02/02/05)
Re: ******** CAN ANYONE HERE DEFINE CHAITIN'S OMEGA ? *********** examachine_at_gmail.com (02/02/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? examachine_at_gmail.com (02/02/05)
Re: Name the thesis: "Formal sentences capture informal ones" tchow_at_lsa.umich.edu (02/02/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Mitch Harris (02/02/05)
Re: My claim on Omega's defn Daryl McCullough (02/02/05)
Re: A Possible Additional Axiom Schema for PA ? Jeffrey Ketland (02/02/05)
Re: Name the thesis: "Formal sentences capture informal ones" examachine_at_gmail.com (02/02/05)
Re: Name the thesis: "Formal sentences capture informal ones" examachine_at_gmail.com (02/02/05)
Re: A Possible Additional Axiom Schema for PA ? William Elliot (02/02/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Daryl McCullough (02/02/05)
Re: A Possible Additional Axiom Schema for PA ? namducnguyen (02/02/05)
Re: A Possible Additional Axiom Schema for PA ? namducnguyen (02/02/05)
Re: Morality, Ethics, Law, and the Unmarked Intersection Don (02/02/05)
Re: just how many reals are there in aleph_1 ? Lasse (02/02/05)
Re: just how many reals are there in aleph_1 ? |-|erc (02/02/05)
Re: A Possible Additional Axiom Schema for PA ? William Elliot (02/02/05)
Re: just how many reals are there in aleph_1 ? |-|erc (02/02/05)
Re: sketch of PROOF OF COUNTABLE REALS |-|erc (02/02/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Mitch Harris (02/02/05)
Re: YOU IGNORAMUSES ACTUAL:LY BELIEVE THIS ? Will Twentyman (02/02/05)
Re: "Has a finite model" => "decidable"? Mitch Harris (02/02/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? examachine_at_gmail.com (02/02/05)
Re: computation and cardinality George Greene (02/02/05)
Re: computation and cardinality George Greene (02/02/05)
Re: computation and cardinality George Greene (02/02/05)
Re: A Possible Additional Axiom Schema for PA ? George Greene (02/02/05)
Re: "Has a finite model" => "decidable"? David C. Ullrich (02/02/05)
Re: just how many reals are there in aleph_1 ? George Greene (02/02/05)
Re: just how many reals are there in aleph_1 ? George Greene (02/02/05)
Re: just how many reals are there in aleph_1 ? Lasse (02/02/05)
Re: ******** CAN ANYONE HERE DEFINE CHAITIN'S OMEGA ? *********** Torkel Franzen (02/02/05)
Re: ******** CAN ANYONE HERE DEFINE CHAITIN'S OMEGA ? *********** Jesse F. Hughes (02/02/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Mitch Harris (02/02/05)
Re: just how many reals are there in aleph_1 ? |-|erc (02/02/05)
Re: just how many reals are there in aleph_1 ? Beta (02/02/05)
Re: Solve this problem! |-|erc (02/02/05)
Re: Has anyone heard about a [-1,1] logic? |-|erc (02/02/05)
Re: just how many reals are there in aleph_1 ? |-|erc (02/02/05)
Re: A Possible Additional Axiom Schema for PA ? LordBeotian (02/02/05)
Re: just how many reals are there in aleph_1 ? fishfry (02/02/05)
Re: My claim on Omega's defn r.e.s. (02/02/05)
Re: Idiocy of Muckenheim was Re: countability of reals |-|erc (02/02/05)
Re: sketch of PROOF OF COUNTABLE REALS |-|erc (02/02/05)
Re: a well known question Robert Low (02/02/05)
Re: sketch of PROOF OF COUNTABLE REALS rupertmccallum_at_yahoo.com (02/02/05)
Re: Name the thesis: "Formal sentences capture informal ones" Torkel Franzen (02/02/05)
Re: ******** CAN ANYONE HERE DEFINE CHAITIN'S OMEGA ? *********** Torkel Franzen (02/02/05)
Re: ******** CAN ANYONE HERE DEFINE CHAITIN'S OMEGA ? *********** |-|erc (02/02/05)
Re: just how many reals are there in aleph_1 ? |-|erc (02/02/05)
Re: ******** CAN ANYONE HERE DEFINE CHAITIN'S OMEGA ? *********** Jesse F. Hughes (02/02/05)
Re: just how many reals are there in aleph_1 ? Jim Spriggs (02/02/05)
just how many reals are there in aleph_1 ? |-|erc (02/02/05)
Re: A Possible Additional Axiom Schema for PA ? namducnguyen (02/02/05)
Re: A Possible Additional Axiom Schema for PA ? Jeffrey Ketland (02/02/05)
Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Shmuel (Seymour J.) Metz (02/02/05)
Re: sketch of PROOF OF COUNTABLE REALS |-|erc (02/02/05)
Re: higher-order logic Keith Ramsay (02/02/05)
Re: OT: An interesting snippet about proof of God's Existence.-- "Pastor" Frank the Marcionite Libertarius (02/02/05)
Re: Has anyone heard about a [-1,1] logic? Jeffrey Ketland (02/02/05)
Re: Solve this problem! Russell Easterly (02/02/05)
A Possible Additional Axiom Schema for PA ? namducnguyen (02/02/05)
Re: higher-order logic Chris Menzel (02/02/05)
Has anyone heard about a [-1,1] logic? SkanderH (02/02/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Keith Ramsay (02/02/05)
Re: Division by Zero in Nature, and Decomposition of Time. LEFTY (02/02/05)
Solve this problem! Russell Easterly (02/02/05)
Re: Idiocy of Muckenheim was Re: countability of reals Piotr Sawuk (02/02/05)
a well known question Bill Taylor (02/02/05)
Re: OT: An interesting snippet about proof of God's Existence. The_Sage (02/02/05)
Re: OT: An interesting snippet about proof of God's Existence.-- "Pastor" Frank the Marcionite The_Sage (02/02/05)
Re: sketch of PROOF OF COUNTABLE REALS Will Twentyman (02/02/05)
Re: YOU IGNORAMUSES ACTUAL:LY BELIEVE THIS ? |-|erc (02/02/05)
Re: YOU IGNORAMUSES ACTUAL:LY BELIEVE THIS ? Will Twentyman (02/02/05)
Re: WWHHOOOOO YEEEEHHHHHH |-|erc (02/02/05)
Re: WWHHOOOOO YEEEEHHHHHH |-|erc (02/02/05)
Re: sketch of PROOF OF COUNTABLE REALS |-|erc (02/02/05)
Re: ******** CAN ANYONE HERE DEFINE CHAITIN'S OMEGA ? *********** |-|erc (02/02/05)
Re: sketch of PROOF OF COUNTABLE REALS rupertmccallum_at_yahoo.com (02/02/05)
Re: YOU IGNORAMUSES ACTUAL:LY BELIEVE THIS ? |-|erc (02/02/05)
Re: sketch of PROOF OF COUNTABLE REALS examachine_at_gmail.com (02/02/05)
Re: ******** CAN ANYONE HERE DEFINE CHAITIN'S OMEGA ? *********** examachine_at_gmail.com (02/02/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? examachine_at_gmail.com (02/02/05)
Re: sketch of PROOF OF COUNTABLE REALS |-|erc (02/02/05)
Re: sketch of PROOF OF COUNTABLE REALS Justin (02/02/05)
Re: YOU IGNORAMUSES ACTUAL:LY BELIEVE THIS ? examachine_at_gmail.com (02/02/05)
Re: sketch of PROOF OF COUNTABLE REALS examachine_at_gmail.com (02/02/05)
Re: Division by Zero in Nature, and Decomposition of Time. LEFTY (02/02/05)
Re: OT: An interesting snippet about proof of God's Existence.-- "Pastor" Frank the Marcionite Libertarius (02/02/05)
Re: OT: An interesting snippet about proof of God's Existence. Libertarius (02/02/05)
sketch of PROOF OF COUNTABLE REALS |-|erc (02/02/05)
Re: YOU IGNORAMUSES ACTUAL:LY BELIEVE THIS ? |-|erc (02/02/05)
Re: a well known question G. Frege (02/02/05)
Re: a well known question Will Twentyman (02/01/05)
Re: OT: An interesting snippet about proof of God's Existence. Pastor Frank (02/01/05)
Re: higher-order logic Jamie Andrews; real address _at_ bottom of message (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" Jamie Andrews; real address _at_ bottom of message (02/01/05)
a well known question vasil_stanev (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" Helene.Boucher_at_wanadoo.fr (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" tchow_at_lsa.umich.edu (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" Helene.Boucher_at_wanadoo.fr (02/01/05)
Re: YOU IGNORAMUSES ACTUAL:LY BELIEVE THIS ? Will Twentyman (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" tchow_at_lsa.umich.edu (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" tchow_at_lsa.umich.edu (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" Helene.Boucher_at_wanadoo.fr (02/01/05)
Re: higher-order logic Owen (02/01/05)
Re: YOU IGNORAMUSES ACTUAL:LY BELIEVE THIS ? The Ghost In The Machine (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" Mike Oliver (02/01/05)
Re: higher-order logic Chris Menzel (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" Mitch Harris (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" tchow_at_lsa.umich.edu (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" Helene.Boucher_at_wanadoo.fr (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" george (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" george (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" george (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" george (02/01/05)
Re: "Has a finite model" => "decidable"? Mitch Harris (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" george (02/01/05)
Re: Are open formulae really needed? george (02/01/05)
Re: Are open formulae really needed? george (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" tchow_at_lsa.umich.edu (02/01/05)
Re: How far can you move the bar? ken quirici (02/01/05)
Re: How far can you move the bar? ken quirici (02/01/05)
Re: How far can you move the bar? |-|erc (02/01/05)
Re: How far can you move the bar? |-|erc (02/01/05)
Re: How far can you move the bar? ken quirici (02/01/05)
Re: "Has a finite model" => "decidable"? Daryl McCullough (02/01/05)
Re: "Has a finite model" => "decidable"? Daryl McCullough (02/01/05)
Re: "Has a finite model" => "decidable"? Torkel Franzen (02/01/05)
Re: "Has a finite model" => "decidable"? LordBeotian (02/01/05)
Re: YOU IGNORAMUSES ACTUAL:LY BELIEVE THIS ? |-|erc (02/01/05)
Re: "Has a finite model" => "decidable"? Daryl McCullough (02/01/05)
Re: "Has a finite model" => "decidable"? LordBeotian (02/01/05)
Re: "Has a finite model" => "decidable"? Torkel Franzen (02/01/05)
Re: "Has a finite model" => "decidable"? LordBeotian (02/01/05)
Re: Herc defines the HOLY GRAIL OF MATHEMATICS josephus (02/01/05)
Re: How far can you move the bar? Will Twentyman (02/01/05)
Re: YOU IGNORAMUSES ACTUAL:LY BELIEVE THIS ? Will Twentyman (02/01/05)
Order of the complex numbers and its consequences Carloman (02/01/05)
Re: "Has a finite model" => "decidable"? Torkel Franzen (02/01/05)
"Has a finite model" => "decidable"? LordBeotian (02/01/05)
Re: My claim on Omega's defn Daryl McCullough (02/01/05)
Re: higher-order logic Owen (02/01/05)
Re: higher-order logic Owen (02/01/05)
Re: Division by Zero in Nature, and Decomposition of Time. glbrad01 (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" Helene.Boucher_at_wanadoo.fr (02/01/05)
Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Ross A. Finlayson (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" Russell Easterly (02/01/05)
Re: Herc defines the HOLY GRAIL OF MATHEMATICS alex goldman (02/01/05)
Re: My claim on Omega's defn |-|erc (02/01/05)
Re: YOU IGNORAMUSES ACTUAL:LY BELIEVE THIS ? The Ghost In The Machine (02/01/05)
Re: Division by Zero in Nature, and Decomposition of Time. LEFTY (02/01/05)
Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Piotr Sawuk (02/01/05)
Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Piotr Sawuk (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" tchow_at_lsa.umich.edu (02/01/05)
Re: Division by Zero in Nature, and Decomposition of Time. LEFTY (02/01/05)
Re: OT: An interesting snippet about proof of God's Existence. The_Sage (02/01/05)
Re: OT: An interesting snippet about proof of God's Existence.-- "Pastor" Frank the Marcionite The_Sage (02/01/05)
[FAQ, 99/07/28] Mathematical logic on the web Boris 'pi' Piwinger (02/01/05)
Re: ******** CAN ANYONE HERE DEFINE CHAITIN'S OMEGA ? *********** r.e.s. (02/01/05)
Re: How far can you move the bar? |-|erc (02/01/05)
Re: YOU IGNORAMUSES ACTUAL:LY BELIEVE THIS ? |-|erc (02/01/05)
Re: HOW MANY DIGITS ARE IN < 0 . 1 2 1 2 1 .. > ( THAT ARE LESS THAN 10 ) ? oo |-|erc (02/01/05)
Re: My claim on Omega's defn Daryl McCullough (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" Stephen Harris (01/31/05)
Re: higher-order logic Jeffrey Ketland (01/31/05)
Re: ******** CAN ANYONE HERE DEFINE CHAITIN'S OMEGA ? *********** Torkel Franzen (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" Torkel Franzen (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" Jamie Andrews; real address _at_ bottom of message (01/31/05)
Re: On Well-Ordering(s) and Sets Dense in the Reals, Infinity Ross A. Finlayson (01/31/05)
Re: ******** CAN ANYONE HERE DEFINE CHAITIN'S OMEGA ? *********** r.e.s. (01/31/05)
Re: higher-order logic Chris Menzel (01/31/05)
Re: My claim on Omega's defn r.e.s. (01/31/05)
Re: WWHHOOOOO YEEEEHHHHHH Will Twentyman (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" Torkel Franzen (01/31/05)
Re: How far can you move the bar? Will Twentyman (01/31/05)
Re: YOU IGNORAMUSES ACTUAL:LY BELIEVE THIS ? Will Twentyman (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" Helene.Boucher_at_wanadoo.fr (01/31/05)
Re: HOW MANY DIGITS ARE IN < 0 . 1 2 1 2 1 .. > ( THAT ARE LESS THAN 10 ) ? oo Will Twentyman (01/31/05)
Re: WWHHOOOOO YEEEEHHHHHH The Ghost In The Machine (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" LordBeotian (01/31/05)
Re: Are open formulae really needed? J.L. Perez-de-la-Cruz (01/31/05)
Re: OT: An interesting snippet about proof of God's Existence. prabbit1_at_shamrocksgf.com (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" Helene.Boucher_at_wanadoo.fr (01/31/05)
Re: My claim on Omega's defn examachine_at_gmail.com (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" yaoziyuan_at_gmail.com (01/31/05)
Re: WWHHOOOOO YEEEEHHHHHH The Ghost In The Machine (01/31/05)
Re: higher-order logic alex goldman (01/31/05)
Re: higher-order logic Jose Juan Mendoza Rodriguez (01/31/05)
Re: My claim on Omega's defn |-|erc (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" Torkel Franzen (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" tchow_at_lsa.umich.edu (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" Torkel Franzen (01/31/05)
Re: My claim on Omega's defn Arthur Fischer (01/31/05)
Re: My claim on Omega's defn |-|erc (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" tchow_at_lsa.umich.edu (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" Torkel Franzen (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" LordBeotian (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" tchow_at_lsa.umich.edu (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" Torkel Franzen (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" tchow_at_lsa.umich.edu (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" LordBeotian (01/31/05)
Re: WWHHOOOOO YEEEEHHHHHH |-|erc (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" Helene.Boucher_at_wanadoo.fr (01/31/05)
Re: HOW MANY DIGITS ARE IN < 0 . 1 2 1 2 1 .. > ( THAT ARE LESS THAN 10 ) ? oo MR BANNER (01/31/05)
Re: WWHHOOOOO YEEEEHHHHHH Barb Knox (01/31/05)
Re: HOW MANY DIGITS ARE IN < 0 . 1 2 1 2 1 .. > ( THAT ARE LESS THAN 10 ) ? oo Will Twentyman (01/31/05)
Re: higher-order logic Owen (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" Lee Rudolph (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" LordBeotian (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" Herman Jurjus (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" Mitch Harris (01/31/05)
Re: My claim on Omega's defn r.e.s. (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" Mitch Harris (01/31/05)
Re: My claim on Omega's defn The Ghost In The Machine (01/31/05)
Re: WWHHOOOOO YEEEEHHHHHH |-|erc (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" |-|erc (01/31/05)
Re: My claim on Omega's defn |-|erc (01/31/05)
Re: A Class of X3SAT Solvable in PolyTime Russell Easterly (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" Torkel Franzen (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" Torkel Franzen (01/31/05)
Re: WWHHOOOOO YEEEEHHHHHH The Ghost In The Machine (01/31/05)
Re: ******** CAN ANYONE HERE DEFINE CHAITIN'S OMEGA ? *********** r.e.s. (01/31/05)
Re: My claim on Omega's defn r.e.s. (01/31/05)
Re: ******** CAN ANYONE HERE DEFINE CHAITIN'S OMEGA ? *********** r.e.s. (01/31/05)
Re: ******** CAN ANYONE HERE DEFINE CHAITIN'S OMEGA ? *********** r.e.s. (01/31/05)
Re: ******** CAN ANYONE HERE DEFINE CHAITIN'S OMEGA ? *********** |-|erc (01/31/05)
Re: My claim on Omega's defn |-|erc (01/31/05)
Re: My claim on Omega's defn The Ghost In The Machine (01/31/05)
Re: WWHHOOOOO YEEEEHHHHHH |-|erc (01/31/05)
Re: ******** CAN ANYONE HERE DEFINE CHAITIN'S OMEGA ? *********** |-|erc (01/31/05)
Re: Morality, Ethics, Law, and the Unmarked Intersection RFHall (01/30/05)

Last message date: 02/28/05
Archived on: 02/28/05 GMT

2024 messages sorted by: [ thread ]

sci.logicBy Date

sci.logic
By Date