sci.logic
By Date

636 messages sorted by: [ thread ]

Starting: 10/31/04
Ending: 11/21/04

Re: November 25 is Infinite Clause day!! David Bernier (11/21/04)
Re: Goedel applied to the real-world Ron Peterson (11/21/04)
Re: Cantor's diagonal proof wrong? Ross A. Finlayson (11/21/04)
ex: an undecidable sentence shane (11/21/04)
So you want to count an infinite power set ? HERC777 (11/20/04)
November 25 is Infinite Clause day!! HERC777 (11/20/04)
Re: New countable infiniity logic stephen_at_nomail.com (11/20/04)
Re: Curry's paradox - (Google=Google?) Immortalist (11/20/04)
Re: New countable infiniity logic stephen_at_nomail.com (11/20/04)
Re: New countable infiniity logic Dave Seaman (11/20/04)
Re: New countable infiniity logic Josh Purinton (11/20/04)
Re: Aristotle's horse in De Morgan's harness. Owen (11/20/04)
Re: New countable infiniity logic whit0911_at_umn.edu (11/20/04)
Re: I think logic is obsolete today . . . . . . num num (11/20/04)
Re: Cantor's diagonal proof wrong? Jesse F. Hughes (11/20/04)
Re: I think logic is obsolete today . . . . . . The Ghost In The Machine (11/20/04)
Re: Cantor's diagonal proof wrong? The Ghost In The Machine (11/20/04)
Re: Aristotle's horse in De Morgan's harness. Owen (11/20/04)
Re: Aristotle's horse in De Morgan's harness. Owen (11/20/04)
Re: Cantor's diagonal proof wrong? David Bernier (11/20/04)
Re: Goedel applied to the real-world Torkel Franzen (11/20/04)
Re: Goedel applied to the real-world Steven (11/20/04)
Re: Goedel applied to the real-world Chris Menzel (11/20/04)
Re: ? Completeness Quantification ? Chris Menzel (11/20/04)
Re: I think logic is obsolete today . . . . . . William Elliot (11/20/04)
Re: ? Completeness Quantification ? Barb Knox (11/20/04)
I think logic is obsolete today . . . . . . Hans-Marc Olsen (11/20/04)
? Completeness Quantification ? num num (11/20/04)
Re: Goedel applied to the real-world Barb Knox (11/20/04)
Re: Cantor's diagonal proof wrong? Paul Holbach (11/20/04)
Re: Aristotle's horse in De Morgan's harness. KRamsay (11/19/04)
Re: Cantor's diagonal proof wrong? HERC777 (11/19/04)
Aristotle's horse in De Morgan's harness. Kenneth Doyle (11/19/04)
Re: how were you taught Godel's completeness theorem? Chris Menzel (11/19/04)
Re: Curry's paradox - (Google=Google?) Sam Hill (11/19/04)
Re: Goedel applied to the real-world JusUK (11/19/04)
Re: Riddle for you! HERC777 (11/19/04)
Re: Prpositional logic - how to eliminate "forall" William Elliot (11/19/04)
Re: Cantor's diagonal proof wrong? George Greene (11/19/04)
Curry's paradox - (Google=Google?) Immortalist (11/19/04)
Re: how were you taught Godel's completeness theorem? shane (11/19/04)
Re: Goedel applied to the real-world Ron Peterson (11/19/04)
Re: Cantor's diagonal proof wrong? Barb Knox (11/19/04)
Re: Cantor's diagonal proof wrong? George Greene (11/19/04)
Re: Cantor's diagonal proof wrong? George Greene (11/19/04)
Re: Predicate! logic - how to eliminate "forall" Konrad Den Ende (11/18/04)
Re: Riddle for you! Will Twentyman (11/18/04)
Re: Prpositional logic - how to eliminate "forall" Hilbert Levitz (11/18/04)
Re: how were you taught Godel's completeness theorem? H. Enderton (11/18/04)
Re: how were you taught Godel's completeness theorem? Torkel Franzen (11/18/04)
Re: how were you taught Godel's completeness theorem? shane (11/18/04)
Re: Cantor's diagonal proof wrong? Ross A. Finlayson (11/18/04)
Prpositional logic - how to eliminate "forall" Konrad Den Ende (11/18/04)
re:Riddle for you! Lucifix (11/18/04)
CFP: 28th German Conference on AI (KI 2005) Jan Murray (11/18/04)
Re: Cantor's diagonal proof wrong? Han de Bruijn (11/18/04)
Re: how were you taught Godel's completeness theorem? David C. Ullrich (11/18/04)
Re: how were you taught Godel's completeness theorem? Chris Menzel (11/18/04)
Re: Cantor's diagonal proof wrong? Chris Menzel (11/18/04)
Re: Riddle for you! Herman Jurjus (11/18/04)
Re: Riddle for you! Mitch Harris (11/18/04)
Re: Cantor's diagonal proof wrong? Mitch Harris (11/18/04)
Re: Goedel applied to the real-world JusUK (11/18/04)
Re: here we go again with India and Pakistan over Kashmir; we need a M.A.D. Fleet in place Archimedes Plutonium (11/18/04)
Re: Aleph One Sets Mike Oliver (11/18/04)
Re: how were you taught Godel's completeness theorem? Torkel Franzen (11/18/04)
Re: Goedel applied to the real-world Ron Peterson (11/18/04)
Re: Aleph One Sets George Greene (11/18/04)
Re: Aleph One Sets George Greene (11/18/04)
how were you taught Godel's completeness theorem? shane (11/18/04)
Re: Cantor's diagonal proof wrong? Ross A. Finlayson (11/18/04)
Re: and who made god? Albert (11/18/04)
Re: Cantor's diagonal proof wrong? Chris Menzel (11/18/04)
Re: here we go again with India and Pakistan over Kashmir; we need a M.A.D. Fleet in place George Cox (11/17/04)
Re: Goedel applied to the real-world Ron Peterson (11/17/04)
Re: Resolving the paradoxes of set theory Will Twentyman (11/17/04)
Re: Cantor's diagonal proof wrong? Paul Leyland (11/17/04)
Re: and who made god? Mani Deli (11/17/04)
Re: Cantor's diagonal proof wrong? Ross A. Finlayson (11/17/04)
Riddle for you! Lucifix (11/17/04)
Re: Goedel applied to the real-world JusUK (11/17/04)
Re: Cantor's diagonal proof wrong? Han de Bruijn (11/17/04)
Re: Cantor's diagonal proof wrong? Han de Bruijn (11/17/04)
Re: Cantor's diagonal proof wrong? Chris Menzel (11/17/04)
here we go again with India and Pakistan over Kashmir; we need a M.A.D. Fleet in place Archimedes Plutonium (11/17/04)
Re: Resolving the paradoxes of set theory George Greene (11/17/04)
Re: Cantor's diagonal proof wrong? George Greene (11/17/04)
Re: The Logic of "if" and "if and only if" LookinBob (11/17/04)
Re: Cantor's diagonal proof wrong? George Greene (11/17/04)
Re: Goedel applied to the real-world Barb Knox (11/17/04)
Re: Deep Thoughts # 17: Liar Paradox is a Formal Metamathematical Theorem Charlie-Boo (11/17/04)
Re: Goedel applied to the real-world Charlie-Boo (11/17/04)
Re: New countable infiniity logic HERC777 (11/16/04)
Re: Goedel applied to the real-world Barb Knox (11/16/04)
Re: Deep Thoughts # 17: Liar Paradox is a Formal Metamathematical Theorem G. Frege (11/16/04)
Re: Deep Thoughts # 17: Liar Paradox is a Formal Metamathematical Theorem Charlie-Boo (11/16/04)
Re: Goedel applied to the real-world Ron Peterson (11/16/04)
Re: Cantor's diagonal proof wrong? Ross A. Finlayson (11/16/04)
Re: Metaphysics & Google Albert (11/16/04)
Re: Goedel applied to the real-world Albert (11/16/04)
Re: What's Wrong With... George Dance (11/16/04)
Re: Deep Thoughts # 17: Liar Paradox is a Formal Metamathematical Theorem Mike Oliver (11/16/04)
Re: Deep Thoughts # 17: Liar Paradox is a Formal Metamathematical Theorem Charlie-Boo (11/16/04)
Re: mnemonics for learning genders in German Tim Mellor (11/16/04)
Re: Deep Thoughts # 17: Liar Paradox is a Formal Metamathematical Theorem Josh Purinton (11/16/04)
Re: Deep Thoughts # 17: Liar Paradox is a Formal Metamathematical Theorem Josh Purinton (11/16/04)
Re: Deep Thoughts # 17: Liar Paradox is a Formal Metamathematical Theorem Charlie-Boo (11/16/04)
Re: Deep Thoughts # 17: Liar Paradox is a Formal Metamathematical Theorem Charlie-Boo (11/16/04)
Re: Deep Thoughts # 17: Liar Paradox is a Formal Metamathematical Theorem David C. Ullrich (11/16/04)
MAN AS OLD AS COAL at World Mystery Park. Ed Conrad (11/16/04)
Re: Cantor's diagonal proof wrong? Torkel Franzen (11/16/04)
Re: Cantor's diagonal proof wrong? Paul Leyland (11/16/04)
Re: What's Wrong With... Owen (11/16/04)
Re: Cantor's diagonal proof wrong? Han de Bruijn (11/16/04)
Re: What's Wrong With... William Elliot (11/16/04)
Re: Goedel applied to the real-world Acme Diagnostics (11/16/04)
Metaphysics & Google Immortalist (11/16/04)
Re: Goedel applied to the real-world Barb Knox (11/16/04)
Re: Goedel applied to the real-world Mani Deli (11/16/04)
Re: Deep Thoughts # 17: Liar Paradox is a Formal Metamathematical Theorem Josh Purinton (11/16/04)
Re: Goedel applied to the real-world Albert (11/16/04)
Re: Deep Thoughts # 17: Liar Paradox is a Formal Metamathematical Theorem Charlie-Boo (11/16/04)
Re: Cantor's diagonal proof wrong? Curt Welch (11/16/04)
Re: Cantor's diagonal proof wrong? Acid Pooh (11/15/04)
Re: Goedel applied to the real-world Mani Deli (11/15/04)
Re: What's Wrong With... G. Frege (11/15/04)
Re: Goedel applied to the real-world Hilbert Levitz (11/15/04)
Re: What's Wrong With... num num (11/15/04)
Re: Goedel applied to the real-world Mike Oliver (11/15/04)
Re: FBI turned AMERICA into a NATION of PROGRAMMED SLAVES and ROBOTS dave (11/15/04)
Re: What's Wrong With... num num (11/15/04)
Re: Cantor's diagonal proof wrong? robert j. kolker (11/15/04)
Re: Cantor's diagonal proof wrong? robert j. kolker (11/15/04)
Re: Cantor's diagonal proof wrong? robert j. kolker (11/15/04)
Re: Goedel applied to the real-world Torkel Franzen (11/15/04)
Re: Goedel applied to the real-world Barb Knox (11/15/04)
Re: Goedel applied to the real-world Charlie-Boo (11/15/04)
Re: Automatic generation of G�del sentence for a given formal system Charlie-Boo (11/15/04)
Re: What's Wrong With... William Elliot (11/15/04)
Re: Cantor's diagonal proof wrong? Curt Welch (11/15/04)
Re: Cantor's diagonal proof wrong? Acid Pooh (11/15/04)
Re: A poosible additional axiom to ZFC? namducnguyen (11/15/04)
Re: A poosible additional axiom to ZFC? namducnguyen (11/15/04)
Re: A poosible additional axiom to ZFC? namducnguyen (11/15/04)
What's Wrong With... num num (11/15/04)
Re: A poosible additional axiom to ZFC? namducnguyen (11/15/04)
Re: Cantor's diagonal proof wrong? Curt Welch (11/15/04)
Re: A poosible additional axiom to ZFC? namducnguyen (11/15/04)
Re: A poosible additional axiom to ZFC? namducnguyen (11/15/04)
Re: Cantor's diagonal proof wrong? Victor Eijkhout (11/15/04)
Re: Resolving the paradoxes of set theory Anders Goeransson (11/14/04)
Re: Resolving the paradoxes of set theory Tim Peters (11/14/04)
Re: Automatic generation of G�del sentence for a given formal system Mike Oliver (11/14/04)
Re: Resolving the paradoxes of set theory Anders Goeransson (11/14/04)
Re: Automatic generation of G�del sentence for a given formal system Barb Knox (11/14/04)
Re: Resolving the paradoxes of set theory Mike Oliver (11/14/04)
Re: Resolving the paradoxes of set theory Anders Goeransson (11/14/04)
Re: Cantor's diagonal proof wrong? fishfry (11/14/04)
Re: Cantor's diagonal proof wrong? Curt Welch (11/14/04)
Re: Cantor's diagonal proof wrong? fishfry (11/14/04)
Re: Resolving the paradoxes of set theory Mike Oliver (11/14/04)
Re: Cantor's diagonal proof wrong? Curt Welch (11/14/04)
Re: Resolving the paradoxes of set theory Anders Goeransson (11/14/04)
Automatic generation of G�del sentence for a given formal system Emanuel_Rutten_at_planet.nl (11/14/04)
Re: Resolving the paradoxes of set theory Mike Oliver (11/14/04)
Re: Cantor's diagonal proof wrong? Ross A. Finlayson (11/14/04)
Re: The Road with no Branches argument Albert (11/14/04)
Re: The Road with no Branches argument ZZBunker (11/14/04)
Re: The Road with no Branches argument ZZBunker (11/14/04)
Re: Liberal Hedonism ;-( ZZBunker (11/14/04)
Re: Resolving the paradoxes of set theory Anders Goeransson (11/14/04)
On the origin of logic stellamonika (11/14/04)
Re: Resolving the paradoxes of set theory Tim Peters (11/14/04)
Re: Resolving the paradoxes of set theory Arturo Magidin (11/13/04)
Re: Resolving the paradoxes of set theory Arturo Magidin (11/13/04)
Re: Resolving the paradoxes of set theory Chris Menzel (11/13/04)
Re: Resolving the paradoxes of set theory Anders Goeransson (11/13/04)
Re: Resolving the paradoxes of set theory alephnull (11/13/04)
Re: Resolving the paradoxes of set theory George Greene (11/13/04)
Re: Resolving the paradoxes of set theory George Greene (11/13/04)
Re: Resolving the paradoxes of set theory George Greene (11/13/04)
Re: Resolving the paradoxes of set theory George Greene (11/13/04)
Re: Resolving the paradoxes of set theory Tim Peters (11/13/04)
Re: single-combinator basis with direct algebraic characterisation? J�n Fairbairn (11/13/04)
Re: Resolving the paradoxes of set theory George Greene (11/13/04)
Re: The Road with no Branches argument Albert (11/13/04)
Re: A poosible additional axiom to ZFC? Peter Webb (11/13/04)
Re: Resolving the paradoxes of set theory Anders Goeransson (11/13/04)
Re: A poosible additional axiom to ZFC? David C. Ullrich (11/13/04)
Re: need help in understanding Torkel's ZFC comment David C. Ullrich (11/13/04)
Re: Resolving the paradoxes of set theory Daryl McCullough (11/13/04)
Re: Deep Thoughts # 17: Liar Paradox is a Formal Metamathematical Theorem David C. Ullrich (11/13/04)
Re: A poosible additional axiom to ZFC? Peter Webb (11/13/04)
Re: Deep Thoughts # 17: Liar Paradox is a Formal Metamathematical Theorem Chris Menzel (11/13/04)
Re: (Not quite) Cantor's diagonal proof Norman Megill (11/13/04)
Re: need help in understanding Torkel's ZFC comment Charlie-Boo (11/13/04)
Re: Resolving the paradoxes of set theory alephnull (11/13/04)
Re: Deep Thoughts # 17: Liar Paradox is a Formal Metamathematical Theorem Charlie-Boo (11/13/04)
Re: (Not quite) Cantor's diagonal proof Charlie-Boo (11/13/04)
Re: A poosible additional axiom to ZFC? Tim Peters (11/13/04)
Re: Resolving the paradoxes of set theory Torkel Franzen (11/13/04)
Re: A poosible additional axiom to ZFC? namducnguyen (11/13/04)
Re: Resolving the paradoxes of set theory Chris Menzel (11/13/04)
Re: Resolving the paradoxes of set theory Chris Menzel (11/13/04)
Need SDES or 3DES encryption Michael Numminen (11/13/04)
Re: A poosible additional axiom to ZFC? namducnguyen (11/13/04)
Re: Resolving the paradoxes of set theory Barb Knox (11/13/04)
UCLA Logic Colloquium, Nov 19 H. Enderton (11/13/04)
Re: Resolving the paradoxes of set theory Arturo Magidin (11/12/04)
Re: Resolving the paradoxes of set theory alephnull (11/12/04)
Re: Resolving the paradoxes of set theory alephnull (11/12/04)
Re: Resolving the paradoxes of set theory alephnull (11/12/04)
Re: The Road with no Branches argument Immortalist (11/12/04)
Re: Deep Thoughts # 17: Liar Paradox is a Formal Metamathematical Theorem Josh Purinton (11/12/04)
Re: The Road with no Branches argument Immortalist (11/12/04)
Re: and who made god? Chris Degnen (11/12/04)
Re: and who made god? Immortalist (11/12/04)
Re: The Road with no Branches argument Keynes (11/12/04)
Re: Deep Thoughts # 17: Liar Paradox is a Formal Metamathematical Theorem Charlie-Boo (11/12/04)
Re: need help in understanding Torkel's ZFC comment Josh Purinton (11/12/04)
Re: need help in understanding Torkel's ZFC comment Josh Purinton (11/12/04)
Re: (Not quite) Cantor's diagonal proof Norman Megill (11/12/04)
Re: and who made god? The Sophist (11/12/04)
Re: need help in understanding Torkel's ZFC comment G. Frege (11/12/04)
Re: A poosible additional axiom to ZFC? Peter Webb (11/12/04)
Re: (Not quite) Cantor's diagonal proof Charlie-Boo (11/12/04)
Re: A poosible additional axiom to ZFC? namducnguyen (11/12/04)
Re: A poosible additional axiom to ZFC? namducnguyen (11/12/04)
Re: need help in understanding Torkel's ZFC comment Charlie-Boo (11/12/04)
Re: Resolving the paradoxes of set theory Chris Menzel (11/12/04)
Re: Resolving the paradoxes of set theory Chris Menzel (11/12/04)
Re: A poosible additional axiom to ZFC? Peter Webb (11/12/04)
Re: A poosible additional axiom to ZFC? David C. Ullrich (11/12/04)
Re: clarification on recursively enumerable (R.E.) David C. Ullrich (11/12/04)
Re: and who made god? Nils-Erik Forsberg (11/12/04)
Re: A poosible additional axiom to ZFC? namducnguyen (11/12/04)
Re: A poosible additional axiom to ZFC? Peter Webb (11/12/04)
Re: clarification on recursively enumerable (R.E.) William Elliot (11/12/04)
Re: Resolving the paradoxes of set theory Torkel Franzen (11/12/04)
Re: A poosible additional axiom to ZFC? namducnguyen (11/12/04)
Re: Resolving the paradoxes of set theory alephnull (11/12/04)
Re: Resolving the paradoxes of set theory alephnull (11/12/04)
Re: A poosible additional axiom to ZFC? namducnguyen (11/12/04)
Re: Resolving the paradoxes of set theory alephnull (11/12/04)
Re: Resolving the paradoxes of set theory Barb Knox (11/12/04)
Re: Resolving the paradoxes of set theory alephnull (11/12/04)
Re: and who made god? Albert (11/12/04)
Re: and who made god? Albert (11/12/04)
Re: and who made god? Albert (11/12/04)
Re: The Road with no Branches argument Albert (11/12/04)
Re: Natural deduction Dan Christensen (11/11/04)
Re: clarification on recursively enumerable (R.E.) Mitch Harris (11/11/04)
Re: and who made god? Immortalist (11/11/04)
Re: The Road with no Branches argument Immortalist (11/11/04)
Re: and who made god? Chris Degnen (11/11/04)
Re: clarification on recursively enumerable (R.E.) Chris Menzel (11/11/04)
Re: and who made god? Mani Deli (11/11/04)
Re: clarification on recursively enumerable (R.E.) shane miller (11/11/04)
Re: and who made god? Ron Peterson (11/11/04)
Re: clarification on recursively enumerable (R.E.) Chris Menzel (11/11/04)
Re: clarification on recursively enumerable (R.E.) Mike Oliver (11/11/04)
Re: clarification on recursively enumerable (R.E.) William Elliot (11/11/04)
Re: clarification on recursively enumerable (R.E.) Mitch Harris (11/11/04)
Re: A poosible additional axiom to ZFC? David C. Ullrich (11/11/04)
Re: The Road with no Branches argument 1Z (11/11/04)
Re: clarification on recursively enumerable (R.E.) David C. Ullrich (11/11/04)
Re: clarification on recursively enumerable (R.E.) David C. Ullrich (11/11/04)
Re: The Road with no Branches argument Albert (11/11/04)
Re: A poosible additional axiom to ZFC? Chris Menzel (11/11/04)
Re: and who made god? Albert (11/11/04)
Re: and who made god? Albert (11/11/04)
Re: and who made god? Albert (11/11/04)
Re: The Logic of "if" and "if and only if" raydpratt (11/11/04)
Re: and who made god? Chris Degnen (11/11/04)
Re: clarification on recursively enumerable (R.E.) Mitch Harris (11/11/04)
Re: Natural deduction William Elliot (11/11/04)
Re: and who made god? William Elliot (11/11/04)
Re: A poosible additional axiom to ZFC? namducnguyen (11/11/04)
Re: A poosible additional axiom to ZFC? Nam Nguyen (11/11/04)
Re: and who made god? Immortalist (11/11/04)
Re: Natural deduction Dan Christensen (11/11/04)
Re: The Road with no Branches argument Milan (11/11/04)
and who made god? Mani Deli (11/11/04)
Re: and who made god? Albert (11/11/04)
Re: Resolving the paradoxes of set theory Barb Knox (11/11/04)
Re: New countable infiniity logic Barb Knox (11/10/04)
Re: The Logic of "if" and "if and only if" MythozDog (11/10/04)
mnemonics for learning genders in German Hilbert Levitz (11/10/04)
Re: clarification on recursively enumerable (R.E.) Stephen Harris (11/10/04)
Re: clarification on recursively enumerable (R.E.) Stephen Harris (11/10/04)
Re: Resolving the paradoxes of set theory Nathan (11/10/04)
Re: New countable infiniity logic whit0911_at_umn.edu (11/10/04)
Re: Why "geometric"? George Cox (11/10/04)
Re: Why "geometric"? George Cox (11/10/04)
Re: Resolving the paradoxes of set theory Chris Menzel (11/10/04)
Re: Natural deduction Chris Menzel (11/10/04)
Re: and who made god? The Sophist (11/10/04)
Re: and who made god? Chris Degnen (11/10/04)
Re: Natural deduction Torkel Franzen (11/10/04)
Natural deduction robicat (11/10/04)
Re: Resolving the paradoxes of set theory Will Twentyman (11/10/04)
Re: clarification on recursively enumerable (R.E.) Chris Menzel (11/10/04)
Re: clarification on recursively enumerable (R.E.) Mitch Harris (11/10/04)
Re: and who made god? danti (11/10/04)
Re: clarification on recursively enumerable (R.E.) William Elliot (11/10/04)
Re: A poosible additional axiom to ZFC? David C. Ullrich (11/10/04)
Re: clarification on recursively enumerable (R.E.) David C. Ullrich (11/10/04)
Re: clarification on recursively enumerable (R.E.) David C. Ullrich (11/10/04)
Re: Aleph One Sets David C. Ullrich (11/10/04)
Re: Resolving the paradoxes of set theory Chris Menzel (11/10/04)
Re: Resolving the paradoxes of set theory Norman Megill (11/10/04)
Re: Resolving the paradoxes of set theory Chris Menzel (11/10/04)
Re: A poosible additional axiom to ZFC? Norman Megill (11/10/04)
Re: clarification on recursively enumerable (R.E.) Mitch Harris (11/10/04)
Re: A poosible additional axiom to ZFC? Peter Webb (11/10/04)
Re: A poosible additional axiom to ZFC? Peter Webb (11/10/04)
A poosible additional axiom to ZFC? namducnguyen (11/10/04)
Re: Resolving the paradoxes of set theory alephnull (11/10/04)
Re: Resolving the paradoxes of set theory Josh Purinton (11/10/04)
Re: Resolving the paradoxes of set theory Daryl McCullough (11/10/04)
Good analogy...made me follow. MythozDog (11/10/04)
Re: Resolving the paradoxes of set theory George Greene (11/10/04)
Re: Resolving the paradoxes of set theory George Greene (11/10/04)
Re: Resolving the paradoxes of set theory George Greene (11/10/04)
Re: and who made god? Holly (11/09/04)
Re: Aleph One Sets Mike Oliver (11/09/04)
Re: and who made god? sTR0NTIUM D0g (11/09/04)
Re: Aleph One Sets Tim Peters (11/09/04)
Re: and who made god? Ron Peterson (11/09/04)
Re: New countable infiniity logic Shmuel (Seymour J.) Metz (11/09/04)
Re: The Road with no Branches argument 1Z (11/09/04)
Re: clarification on recursively enumerable (R.E.) Torkel Franzen (11/09/04)
Re: clarification on recursively enumerable (R.E.) Daryl McCullough (11/09/04)
Re: Liberal Hedonism ;-( Chris Degnen (11/09/04)
Re: clarification on recursively enumerable (R.E.) shane miller (11/09/04)
Re: and who made god? Chris Degnen (11/09/04)
Re: and who made god? sTR0NTIUM D0g (11/09/04)
Re: single-combinator basis with direct algebraic characterisation? William Elliot (11/09/04)
Re: The Road with no Branches argument 1Z (11/09/04)
Re: clarification on recursively enumerable (R.E.) William Elliot (11/09/04)
Re: clarification on recursively enumerable (R.E.) David C. Ullrich (11/09/04)
Re: Liberal Hedonism ;-( Richard F Hall (11/09/04)
Re: single-combinator basis with direct algebraic characterisation? J�n Fairbairn (11/09/04)
Re: The Road with no Branches argument Richard F Hall (11/09/04)
Re: clarification on recursively enumerable (R.E.) Torkel Franzen (11/09/04)
Re: New countable infiniity logic shane miller (11/09/04)
Re: clarification on recursively enumerable (R.E.) William Elliot (11/09/04)
Re: New countable infiniity logic Virgil (11/09/04)
Re: clarification on recursively enumerable (R.E.) Acid Pooh (11/09/04)
Re: and who made god? ZZBunker (11/09/04)
Re: clarification on recursively enumerable (R.E.) shane miller (11/09/04)
Re: New countable infiniity logic Josh Purinton (11/09/04)
Re: and who made god? Albert (11/09/04)
Re: The Road with no Branches argument Albert (11/09/04)
Re: and who made god? Holly (11/09/04)
Re: clarification on recursively enumerable (R.E.) Will Twentyman (11/08/04)
Re: clarification on recursively enumerable (R.E.) Daryl McCullough (11/08/04)
Re: Resolving the paradoxes of set theory Will Twentyman (11/08/04)
clarification on recursively enumerable (R.E.) shane (11/08/04)
Re: and who made god? Ron Peterson (11/08/04)
Re: The Road with no Branches argument Milan (11/08/04)
Re: New countable infiniity logic stephen_at_nomail.com (11/08/04)
Re: New countable infiniity logic whit0911_at_umn.edu (11/08/04)
Re: The Road with no Branches argument Acme Diagnostics (11/08/04)
Re: (Not quite) Cantor's diagonal proof Norman Megill (11/08/04)
Re: single-combinator basis with direct algebraic characterisation? J�n Fairbairn (11/08/04)
Re: (Not quite) Cantor's diagonal proof Charlie-Boo (11/08/04)
Re: Aleph One Sets Mike Oliver (11/08/04)
Re: single-combinator basis with direct algebraic characterisation? William Elliot (11/08/04)
Re: The Road with no Branches argument 1Z (11/08/04)
Re: and who made god? sTR0NTIUM D0g (11/08/04)
Re: and who made god? danti (11/08/04)
Re: The Road with no Branches argument 1Z (11/08/04)
Re: Aleph One Sets David C. Ullrich (11/08/04)
Re: Aleph One Sets David C. Ullrich (11/08/04)
Re: The Logic of "if" and "if and only if" Steven (11/08/04)
Re: The Logic of "if" and "if and only if" William Elliot (11/08/04)
Re: Aleph One Sets Mike Oliver (11/08/04)
Re: and who made god? X's Lover (11/08/04)
Re: and who made god? Albert (11/08/04)
Re: and who made god? Albert (11/08/04)
Re: and who made god? Albert (11/08/04)
Re: Aleph One Sets Tim Peters (11/07/04)
Re: The Logic of "if" and "if and only if" H. J. Sander Bruggink (11/07/04)
Re: and who made god? Daniel T. (11/07/04)
Re: Aleph One Sets H. Enderton (11/07/04)
The Logic of "if" and "if and only if" Mike Bluett (11/07/04)
Re: Aleph One Sets Mike Oliver (11/07/04)
Re: What is the name of these rules (natural deduction)? Konrad Den Ende (11/07/04)
Re: Aleph One Sets George Greene (11/07/04)
Re: and who made god? X's Lover (11/07/04)
Re: and who made god? Ryan Tanaka (11/07/04)
Re: and who made god? Daniel T. (11/07/04)
Re: and who made god? Daniel T. (11/07/04)
Re: Aleph One Sets Mike Oliver (11/07/04)
Re: What is the name of these rules (natural deduction)? William Elliot (11/07/04)
Re: single-combinator basis with direct algebraic characterisation? J�n Fairbairn (11/07/04)
What is the name of these rules (natural deduction)? Konrad Den Ende (11/07/04)
Re: and who made god? danti (11/07/04)
Re: Aleph One Sets David C. Ullrich (11/07/04)
Re: and who made god? danti (11/07/04)
Re: single-combinator basis with direct algebraic characterisation? William Elliot (11/07/04)
Re: single-combinator basis with direct algebraic characterisation? J�n Fairbairn (11/07/04)
Re: Liberal Hedonism ;-( zerkanX (11/07/04)
Re: and who made god? ZZBunker (11/07/04)
Re: Aleph One Sets KRamsay (11/07/04)
Re: The Road with no Branches argument Albert (11/07/04)
Re: Resolving the paradoxes of set theory Tim Peters (11/07/04)
Re: (Not quite) Cantor's diagonal proof George Greene (11/07/04)
Re: (Not quite) Cantor's diagonal proof George Greene (11/07/04)
Re: Liberal Hedonism ;-( Bill Taylor (11/07/04)
Re: single-combinator basis with direct algebraic characterisation? William Elliot (11/07/04)
Re: The Road with no Branches argument Milan (11/07/04)
Re: Resolving the paradoxes of set theory alephnull (11/07/04)
Re: single-combinator basis with direct algebraic characterisation? r.e.s. (11/07/04)
Quiz(07_xi_2004) M_SHIRAISHI (11/07/04)
Re: Formal covering of Hegel?s Science of Logic I vjp2.at_at_at.BioStrategist.dot.dot.com (11/07/04)
Re: Aleph One Sets Martin Goldstern (11/06/04)
Re: Resolving the paradoxes of set theory Tim Peters (11/06/04)
Re: and who made god? X's Lover (11/06/04)
Re: Aleph One Sets Mike Oliver (11/06/04)
Re: Aleph One Sets Tim Peters (11/06/04)
Re: Aleph One Sets Mike Oliver (11/06/04)
Re: Aleph One Sets KRamsay (11/06/04)
Re: and who made god? Albert (11/06/04)
Re: and who made god? Albert (11/06/04)
Re: Aleph One Sets Mike Oliver (11/06/04)
Re: The Road with no Branches argument Acme Diagnostics (11/06/04)
Re: Resolving the paradoxes of set theory alephnull (11/06/04)
Re: Resolving the paradoxes of set theory Torkel Franzen (11/06/04)
Re: Resolving the paradoxes of set theory alephnull (11/06/04)
Re: Resolving the paradoxes of set theory alephnull (11/06/04)
Re: Resolving the paradoxes of set theory alephnull (11/06/04)
Re: and who made god? Immortalist (11/06/04)
Formal covering of Hegel�s Science of Logic I The Spirit of Truth (11/06/04)
Re: and who made god? Ron Peterson (11/06/04)
Re: The Road with no Branches argument 1Z (11/06/04)
Re: Aleph One Sets David C. Ullrich (11/06/04)
Re: The Road with no Branches argument Malcolm (11/06/04)
Re: single-combinator basis with direct algebraic characterisation? William Elliot (11/06/04)
Re: Aleph One Sets Tim Peters (11/06/04)
comedy: How the Democrats can start winning again Archimedes Plutonium (11/06/04)
Re: Natural numbers as coequalizer (Re: Those Naughty Category Theorists) Michael Barr (11/06/04)
Re: single-combinator basis with direct algebraic characterisation? peter_douglass (11/06/04)
Re: Liberal Hedonism ;-( John Jones (11/06/04)
Re: (Not quite) Cantor's diagonal proof George Greene (11/05/04)
Re: (Not quite) Cantor's diagonal proof George Greene (11/05/04)
Re: Different size infinities? HERC777 (11/05/04)
Re: The Road with no Branches argument Milan (11/05/04)
Re: single-combinator basis with direct algebraic characterisation? H. J. Sander Bruggink (11/05/04)
Re: single-combinator basis with direct algebraic characterisation? r.e.s. (11/05/04)
Re: Liberal Hedonism ;-( Immortalist (11/05/04)
Re: Liberal Hedonism ;-( John Jones (11/05/04)
Re: The Road with no Branches argument 1Z (11/05/04)
Re: The Road with no Branches argument 1Z (11/05/04)
single-combinator basis with direct algebraic characterisation? William Elliot (11/05/04)
Re: The Road with no Branches argument 1Z (11/05/04)
Re: single-combinator basis with direct algebraic characterisation? r.e.s. (11/05/04)
From: r.e.s. <r.s@ZZmindspring.com> William Elliot (11/05/04)
Re: Aleph One Sets David C. Ullrich (11/05/04)
Re: Different size infinities? Tim Mellor (11/05/04)
Re: Natural numbers as coequalizer (Re: Those Naughty Category Theorists) Jesse F. Hughes (11/05/04)
Re: The Road with no Branches argument Keynes (11/05/04)
Re: Aleph One Sets George Greene (11/05/04)
Re: Liberal Hedonism ;-( Immortalist (11/05/04)
Re: Liberal Hedonism ;-( Immortalist (11/05/04)
Re: Resolving the paradoxes of set theory George Greene (11/05/04)
Liberal Hedonism ;-( Immortalist (11/05/04)
Re: single-combinator basis with direct algebraic characterisation? r.e.s. (11/05/04)
Re: Resolving the paradoxes of set theory Barb Knox (11/05/04)
Re: Resolving the paradoxes of set theory George Greene (11/05/04)
Re: The Road with no Branches argument Milan (11/05/04)
Re: The Road with no Branches argument Milan (11/04/04)
Re: Different size infinities? HERC777 (11/04/04)
Natural numbers as coequalizer (Re: Those Naughty Category Theorists) noone (11/04/04)
Re: The Road with no Branches argument Acme Diagnostics (11/04/04)
Re: Resolving the paradoxes of set theory Nathan (11/04/04)
Re: The Road with no Branches argument 1Z (11/04/04)
Re: The Road with no Branches argument 1Z (11/04/04)
Re: The Road with no Branches argument 1Z (11/04/04)
Re: The Road with no Branches argument 1Z (11/04/04)
Re: The Road with no Branches argument 1Z (11/04/04)
Re: and who made god? X's Lover (11/04/04)
Re: Social Contract Requires Our Support William Elliot (11/04/04)
Re: single-combinator basis with direct algebraic characterisation? William Elliot (11/04/04)
Social Contract Requires Our Support raydpratt (11/04/04)
Re: and who made god? The Sophist (11/04/04)
Re: The Road with no Branches argument Albert (11/04/04)
Re: The Road with no Branches argument Albert (11/04/04)
Re: and who made god? X's Lover (11/04/04)
Re: Possible Proof of the Lusin-Purves Theorem Acid Pooh (11/04/04)
Re: The Road with no Branches argument Milan (11/03/04)
Re: The Road with no Branches argument Milan (11/03/04)
Re: The Road with no Branches argument Milan (11/03/04)
Re: single-combinator basis with direct algebraic characterisation? r.e.s. (11/03/04)
Re: and who made god? Anthony Buckland (11/03/04)
Re: Resolving the paradoxes of set theory Chris Menzel (11/03/04)
Re: Resolving the paradoxes of set theory alephnull (11/03/04)
Re: Resolving the paradoxes of set theory Torkel Franzen (11/03/04)
Re: Resolving the paradoxes of set theory alephnull (11/03/04)
Re: Resolving the paradoxes of set theory Daryl McCullough (11/03/04)
Re: and who made god? Torkel Franzen (11/03/04)
Re: and who made god? Liam (11/03/04)
Re: Resolving the paradoxes of set theory George Greene (11/03/04)
Re: and who made god? Albert (11/03/04)
Re: The Road with no Branches argument 1Z (11/03/04)
Re: single-combinator basis with direct algebraic characterisation? William Elliot (11/03/04)
Re: and who made god? Wolf Kirchmeir (11/03/04)
Re: and who made god? Ron Peterson (11/03/04)
Re: and who made god? Ron Peterson (11/03/04)
Re: and who made god? Ron Peterson (11/03/04)
Re: The Road with no Branches argument 1Z (11/03/04)
Re: and who made god? Richard F Hall (11/03/04)
Re: The Road with no Branches argument Richard F Hall (11/03/04)
Re: single-combinator basis with direct algebraic characterisation? Torben �gidius Mogensen (11/03/04)
Re: The Road with no Branches argument Acme Diagnostics (11/03/04)
Re: and who made god? Mani Deli (11/03/04)
Re: and who made god?...God ! ZZBunker (11/03/04)
Re: and who made god? Mani Deli (11/03/04)
Re: Aleph One Sets Mike Oliver (11/03/04)
Re: and who made god? King John II the Good (11/03/04)
Re: The Road with no Branches argument Albert (11/03/04)
Re: The Road with no Branches argument Milan (11/03/04)
Re: and who made god? King John II the Good (11/03/04)
Re: Aleph One Sets Tim Peters (11/03/04)
Re: Resolving the paradoxes of set theory Daryl McCullough (11/03/04)
Re: The Road with no Branches argument Albert (11/03/04)
Re: The Road with no Branches argument Milan (11/03/04)
Re: Aleph One Sets George Greene (11/02/04)
Re: The Road with no Branches argument Milan (11/02/04)
Re: The Road with no Branches argument Milan (11/02/04)
Re: (Not quite) Cantor's diagonal proof George Greene (11/02/04)
Re: Resolving the paradoxes of set theory George Greene (11/02/04)
Re: Resolving the paradoxes of set theory George Greene (11/02/04)
Re: Why "geometric"? Tim Mellor (11/02/04)
Re: Resolving the paradoxes of set theory Chris Menzel (11/02/04)
Re: Resolving the paradoxes of set theory George Greene (11/02/04)
Re: Possible Proof of the Lusin-Purves Theorem Mike Oliver (11/02/04)
Re: Possible Proof of the Lusin-Purves Theorem Acid Pooh (11/02/04)
Re: Resolving the paradoxes of set theory alephnull (11/02/04)
Re: single-combinator basis with direct algebraic characterisation? r.e.s. (11/02/04)
Re: The Road with no Branches argument 1Z (11/02/04)
Re: single-combinator basis with direct algebraic characterisation? r.e.s. (11/02/04)
Re: The Road with no Branches argument 1Z (11/02/04)
Re: (Not quite) Cantor's diagonal proof Norman Megill (11/02/04)
Re: The Road with no Branches argument 1Z (11/02/04)
Re: (Not quite) Cantor's diagonal proof Josh Purinton (11/02/04)
Re: (Not quite) Cantor's diagonal proof Charlie-Boo (11/02/04)
Re: The Road with no Branches argument Acme Diagnostics (11/02/04)
Re: The Road with no Branches argument Albert (11/02/04)
Re: The Road with no Branches argument 1Z (11/02/04)
Re: How to do magic with infinity Frank Piron (11/02/04)
Re: How to do magic with infinity Han de Bruijn (11/02/04)
Re: single-combinator basis with direct algebraic characterisation? Torben �gidius Mogensen (11/02/04)
Re: single-combinator basis with direct algebraic characterisation? William Elliot (11/02/04)
Re: How to do magic with infinity Frank Piron (11/02/04)
Re: Why "geometric"? KRamsay (11/02/04)
Re: The Road with no Branches argument Acme Diagnostics (11/02/04)
Re: New countable infiniity logic Barb Knox (11/02/04)
Re: The Road with no Branches argument Acme Diagnostics (11/02/04)
Re: and who made god?...God ! caesarjbsquitti (11/02/04)
Re: The Road with no Branches argument Albert (11/02/04)
Re: The Road with no Branches argument Albert (11/02/04)
Re: The Road with no Branches argument Milan (11/02/04)
Re: The Road with no Branches argument Milan (11/02/04)
Re: The Road with no Branches argument Milan (11/02/04)
Re: FBI SADISTS SEXUALLY ABUSED and RAPED ME for 3 YRS and BEHEADED ME HERC777 (11/02/04)
Re: Longest Thread Ever nemo (11/01/04)
single-combinator basis with direct algebraic characterisation? r.e.s. (11/01/04)
Re: and who made God Barb Knox (11/01/04)
Re: the separation of logic from the application of science Lester Zick (11/01/04)
Re: the separation of logic from the application of science David Longley (11/01/04)
Re: the separation of logic from the application of science Lester Zick (11/01/04)
Re: Possible Proof of the Lusin-Purves Theorem Mike Oliver (11/01/04)
Re: the separation of logic from the application of science JPL Verhey (11/01/04)
Re: the separation of logic from the application of science patty (11/01/04)
Re: the separation of logic from the application of science David Longley (11/01/04)
Re: the separation of logic from the application of science David Longley (11/01/04)
Re: the separation of logic from the application of science David Longley (11/01/04)
Re: the separation of logic from the application of science patty (11/01/04)
Re: the separation of logic from the application of science JPL Verhey (11/01/04)
Re: the separation of logic from the application of science JPL Verhey (11/01/04)
Re: Resolving the paradoxes of set theory Nathan (11/01/04)
Re: the separation of logic from the application of science David Longley (11/01/04)
Re: the separation of logic from the application of science JPL Verhey (11/01/04)
Re: the separation of logic from the application of science David Longley (11/01/04)
Re: The Road with no Branches argument 1Z (11/01/04)
Re: and who made god? Albert (11/01/04)
Re: the separation of logic from the application of science JPL Verhey (11/01/04)
Re: the separation of logic from the application of science patty (11/01/04)
Re: the separation of logic from the application of science David Longley (11/01/04)
Re: the separation of logic from the application of science JPL Verhey (11/01/04)
Re: The Road with no Branches argument 1Z (11/01/04)
Re: The Road with no Branches argument 1Z (11/01/04)
Re: the separation of logic from the application of science David Longley (11/01/04)
and who made God Kamal (11/01/04)
Re: and who made god? Ron Peterson (11/01/04)
Re: Goedel applied to the real-world Ron Peterson (11/01/04)
Re: How to do magic with infinity Han de Bruijn (11/01/04)
the separation of logic from the application of science patty (11/01/04)
Re: and who made god? X's Lover (11/01/04)
Re: Longest Thread Ever nemo (11/01/04)
Re: Goedel applied to the real-world Acme Diagnostics (11/01/04)
Re: Longest Thread Ever William Elliot (11/01/04)
Re: Possible Proof of the Lusin-Purves Theorem Acid Pooh (11/01/04)
Re: The Road with no Branches argument Albert (11/01/04)
Re: The Road with no Branches argument Albert (11/01/04)
Re: The Road with no Branches argument Albert (11/01/04)
Re: Longest Thread Ever Walter Bushell (11/01/04)
Re: Aleph One Sets Robert E. Beaudoin (11/01/04)
[FAQ, 99/07/28] Mathematical logic on the web Boris 'pi' Piwinger (11/01/04)
Anti+truths: Splitting The Truth ! caesarjbsquitti (11/01/04)
Why "geometric"? George Cox (10/31/04)
Re: Resolving the paradoxes of set theory Josh Purinton (10/31/04)
Re: Goedel applied to the real-world Immortalist (10/31/04)
Re: Resolving the paradoxes of set theory Josh Purinton (10/31/04)
Re: Resolving the paradoxes of set theory Josh Purinton (10/31/04)
Re: The Road with no Branches argument Anthony Cerrato (10/31/04)
Re: Goedel applied to the real-world Torkel Franzen (10/31/04)
Re: animal poison on plants; Plant Kingdom the dual of Animal Kingdom Re: eating one Eounymus seed Archimedes Plutonium (10/31/04)
Re: Goedel applied to the real-world Immortalist (10/31/04)
Re: "basis for mathematics" Charlie-Boo (10/31/04)
Re: Goedel applied to the real-world Acme Diagnostics (10/31/04)
Re: The Road with no Branches argument Acme Diagnostics (10/31/04)
Re: Resolving the paradoxes of set theory Daryl McCullough (10/31/04)
Re: The Road with no Branches argument Torkel Franzen (10/31/04)
Re: Religious belief and delusional disorder George Dance (10/31/04)
Re: The Road with no Branches argument Acme Diagnostics (10/31/04)
Re: Resolving the paradoxes of set theory George Greene (10/31/04)
Re: Resolving the paradoxes of set theory Norman Megill (10/31/04)
Re: Resolving the paradoxes of set theory George Greene (10/31/04)
Re: Resolving the paradoxes of set theory George Greene (10/31/04)
Re: The Road with no Branches argument Torkel Franzen (10/31/04)
Re: Resolving the paradoxes of set theory Ross A. Finlayson (10/31/04)
Longest Thread Ever William Elliot (10/31/04)
Re: The Road with no Branches argument Acme Diagnostics (10/31/04)

Last message date: 11/21/04
Archived on: 11/21/04 GMT

636 messages sorted by: [ thread ]

sci.logicBy Date

sci.logic
By Date