sci.logic

• Date Index

• Re: I want to ask you 8<, Scott Hedrick
• Texas Legislature Bans Marriage, Daryl McCullough
  • Re: Texas Legislature Bans Marriage, William Elliot
• Re: Proof that the diagonal is useless, redundant, noise,, george
  • Re: Proof that the diagonal is useless, redundant, noise,, HERC777
    • Re: Proof that the diagonal is useless, redundant, noise,, george
      • Re: Proof that the diagonal is useless, redundant, noise,, The Ghost In The Machine
    • Re: Proof that the diagonal is useless, redundant, noise,, No Way
    • Re: Proof that the diagonal is useless, redundant, noise,, george
    • Re: Proof that the diagonal is useless, redundant, noise,, The Ghost In The Machine
• Re: Help in answering news story on refutation of fermat's last theorem, anzaurres1
  • Re: Help in answering news story on refutation of fermat's last theorem, Acme Diagnostics
    • Re: Help in answering news story on refutation of fermat's last theorem, anzaurres1
      • Re: Help in answering news story on refutation of fermat's last theorem, Torkel Franzen
      • Re: Help in answering news story on refutation of fermat's last theorem, anzaurres1
      • Re: Help in answering news story on refutation of fermat's last theorem, Torkel Franzen
• What is the meaning of P┴Q, kazuolove
• LaTeX for Logicians, Peter_Smith
  • Re: LaTeX for Logicians, Jim
    • Re: LaTeX for Logicians, Peter_Smith
• Last One for the week!, 1st Semester Logic Student
  • Re: Last One for the week!, Jim Spriggs
    • Re: Last One for the week!, 1st Semester Logic Student
      • Re: Last One for the week!, Jim Spriggs
    • Re: Last One for the week!, 1st Semester Logic Student
  • Re: Last One for the week!, William Elliot
    • Re: Last One for the week!, 1st Semester Logic Student
• truth-functionally equivalent, 1st Semester Logic Student
  • Re: truth-functionally equivalent, Jim Spriggs
• Truth Tables!, 1st Semester Logic Student
  • Re: Truth Tables!, Jim Spriggs
    • Re: Truth Tables!, William Elliot
      • Re: Truth Tables!, 1st Semester Logic Student
      • Re: Truth Tables!, Jim Spriggs
      • Re: Truth Tables!, 1st Semester Logic Student
      • Re: Truth Tables!, William Elliot
      • Re: Truth Tables!, 1st Semester Logic Student
      • Re: Truth Tables!, Jim Spriggs
      • Re: Truth Tables!, William Elliot
      • Re: Truth Tables!, Jim Spriggs
      • Re: Truth Tables!, 1st Semester Logic Student
      • Re: Truth Tables!, William Elliot
  • Re: Truth Tables!, Chris Menzel
    • Re: Truth Tables!, 1st Semester Logic Student
      • Re: Truth Tables!, Jim Spriggs
      • Re: Truth Tables!, 1st Semester Logic Student
      • Re: Truth Tables!, Jim Spriggs
      • Re: Truth Tables!, 1st Semester Logic Student
• truth-functional form, 1st Semester Logic Student
  • Re: truth-functional form, William Elliot
    • Re: truth-functional form, Barb Knox
      • Re: truth-functional form, Ken Quirici
  • Re: truth-functional form, HERC777
    • Re: truth-functional form, Ken Quirici
      • Re: truth-functional form, HERC777
• Week #2 Problem Set Help!, 1st Semester Logic Student
  • Re: Week #2 Problem Set Help!, Jim Spriggs
    • Re: Week #2 Problem Set Help!, 1st Semester Logic Student
      • Re: Week #2 Problem Set Help!, Jim Spriggs
      • Re: Week #2 Problem Set Help!, 1st Semester Logic Student
      • Re: Week #2 Problem Set Help!, Jim Spriggs
      • Re: Week #2 Problem Set Help!, 1st Semester Logic Student
      • Re: Week #2 Problem Set Help!, William Elliot
      • Re: Week #2 Problem Set Help!, 1st Semester Logic Student
      • Re: Week #2 Problem Set Help!, William Elliot
• What is the meaning of this "A ㅗ B(=A par B) in the linear logic?, kazuolove
  • Re: What is the meaning of this "A ㅗ B(=A par B) in the linear logic?, Keith Ramsay
• Re: if the barber cuts everyones beard who doesn't shave himself...., Owen
  • <Possible follow-ups>
  • Re: if the barber cuts everyones beard who doesn't shave himself...., ken quirici
    • Re: if the barber cuts everyones beard who doesn't shave himself...., Chris Menzel
      • Re: if the barber cuts everyones beard who doesn't shave himself...., ken quirici
      • Re: if the barber cuts everyones beard who doesn't shave himself...., Chris Menzel
      • Re: if the barber cuts everyones beard who doesn't shave himself...., ken quirici
      • Re: if the barber cuts everyones beard who doesn't shave himself...., Chris Menzel
      • Re: if the barber cuts everyones beard who doesn't shave himself...., ken quirici
      • Re: if the barber cuts everyones beard who doesn't shave himself...., Chris Menzel
      • Re: if the barber cuts everyones beard who doesn't shave himself...., Ken Quirici
      • Re: if the barber cuts everyones beard who doesn't shave himself...., Chris Menzel
      • Re: if the barber cuts everyones beard who doesn't shave himself...., Ken Quirici
      • Re: if the barber cuts everyones beard who doesn't shave himself...., Chris Menzel
      • Re: if the barber cuts everyones beard who doesn't shave himself...., Ken Quirici
      • Re: if the barber cuts everyones beard who doesn't shave himself...., Chris Menzel
      • Re: if the barber cuts everyones beard who doesn't shave himself...., Ken Quirici
      • Re: if the barber cuts everyones beard who doesn't shave himself...., Ken Quirici
• Another Question. Can anyone help??? First Time learn Logic, enyang1117
• General logic programs and Stable model Question. Can anyone help me?, enyang1117
• ping GhostInTheMachine, HERC777
  • Message not available
    • Re: ping GhostInTheMachine, ken quirici
      • Re: ping GhostInTheMachine, HERC777
      • Re: ping GhostInTheMachine, ken quirici
      • Re: ping GhostInTheMachine, HERC777
      • Re: ping GhostInTheMachine, The Ghost In The Machine
      • Re: ping GhostInTheMachine, The Ghost In The Machine
• attention please!, macrocoro
  • <Possible follow-ups>
  • attention please!, macrocoro
• Re: The Consise Cantor Disproof, george
  • Re: The Consise Cantor Disproof, HERC777
    • Re: The Consise Cantor Disproof, HERC777
    • Re: The Consise Cantor Disproof, george
      • Re: The Consise Cantor Disproof, HERC777
      • Re: The Consise Cantor Disproof, george
      • Re: The Consise Cantor Disproof, george
      • Re: The Consise Cantor Disproof, HERC777
      • Re: The Consise Cantor Disproof, george
      • Re: The Consise Cantor Disproof, HERC777
      • Re: The Consise Cantor Disproof, george
      • Re: The Consise Cantor Disproof, HERC777
      • Re: The Consise Cantor Disproof, george
      • Re: The Consise Cantor Disproof, HERC777
      • Re: The Consise Cantor Disproof, Robert Low
      • Re: The Consise Cantor Disproof, Martin Shobe
      • Re: The Consise Cantor Disproof, HERC777
      • Re: The Consise Cantor Disproof, Martin Shobe
      • Re: The Consise Cantor Disproof, george
      • Re: The Consise Cantor Disproof, HERC777
      • Re: The Consise Cantor Disproof, george
      • Re: The Consise Cantor Disproof, HERC777
      • Re: The Consise Cantor Disproof, The Ghost In The Machine
      • Re: The Consise Cantor Disproof, george
• Re: PROOF of an inconsistency with Cantor's diagonal proof, george
• (P & ~Q), 1st Semester Logic Student
  • Re: (P & ~Q), William Elliot
    • Re: (P & ~Q), 1st Semester Logic Student
      • Re: (P & ~Q), HERC777
      • Re: (P & ~Q), ken quirici
      • Re: (P & ~Q), HERC777
      • Re: (P & ~Q), ken quirici
      • Re: (P & ~Q), Robert Low
      • Re: (P & ~Q), ken quirici
      • Re: (P & ~Q), Jim Spriggs
      • Re: (P & ~Q), ken quirici
      • Re: (P & ~Q), Jim Spriggs
      • Re: (P & ~Q), 1st Semester Logic Student
      • Re: (P & ~Q), Robert Low
      • Re: (P & ~Q), ken quirici
      • Re: (P & ~Q), Robert Low
      • Re: (P & ~Q), ken quirici
• This seems easy...But..., 1st Semester Logic Student
  • Re: This seems easy...But..., William Elliot
    • Re: This seems easy...But..., 1st Semester Logic Student
• Here is a hard one, for me..., 1st Semester Logic Student
  • Re: Here is a hard one, for me..., William Elliot
    • Re: Here is a hard one, for me..., 1st Semester Logic Student
      • Re: Here is a hard one, for me..., William Elliot
      • Re: Here is a hard one, for me..., Jim Spriggs
  • Re: Here is a hard one, for me..., 1st Semester Logic Student
    • Re: Here is a hard one, for me..., William Elliot
      • Re: Here is a hard one, for me..., 1st Semester Logic Student
  • Re: Here is a hard one, for me..., Jim Spriggs
• Homework Help, 1st Semester Logic Student
  • Re: Homework Help, HERC777
  • Re: Homework Help, William Elliot
    • Re: Homework Help, 1st Semester Logic Student
  • Re: Homework Help, Barb Knox
    • Re: Homework Help, William Elliot
    • Re: Homework Help, Robert Low
      • Re: Homework Help, H. J. Sander Bruggink
      • Re: Homework Help, Robert Low
      • Re: Homework Help, Barb Knox
      • Re: Homework Help, HERC777
• Re: A new Arithmetic Principle?, Nam Nguyen
  • Re: A new Arithmetic Principle?, george
    • Re: A new Arithmetic Principle?, Nam Nguyen
      • Re: A new Arithmetic Principle?, george
      • Re: A new Arithmetic Principle?, Nam Nguyen
      • Re: A new Arithmetic Principle?, george
• Spacial / Cellular Automata / Combinatorics / ???? Question, braincog
  • Re: Spacial / Cellular Automata / Combinatorics / ???? Question, Peter Webb
    • Re: Spacial / Cellular Automata / Combinatorics / ???? Question, HERC777
      • Re: Spacial / Cellular Automata / Combinatorics / ???? Question, braincog
      • Re: Spacial / Cellular Automata / Combinatorics / ???? Question, HERC777
• Re: when laypersons look smarter than math professors Re: a question for the anti-Cantorians, george
  • Re: when laypersons look smarter than math professors Re: a question for the anti-Cantorians, HERC777
    • Re: when laypersons look smarter than math professors Re: a question for the anti-Cantorians, george
      • Re: when laypersons look smarter than math professors Re: a question for the anti-Cantorians, HERC777
      • Re: when laypersons look smarter than math professors Re: a question for the anti-Cantorians, The Ghost In The Machine
      • Re: when laypersons look smarter than math professors Re: a question for the anti-Cantorians, george
      • Re: when laypersons look smarter than math professors Re: a question for the anti-Cantorians, HERC777
      • Re: when laypersons look smarter than math professors Re: a question for the anti-Cantorians, The Ghost In The Machine
      • Re: when laypersons look smarter than math professors Re: a question for the anti-Cantorians, ken quirici
      • Re: when laypersons look smarter than math professors Re: a question for the anti-Cantorians, The Ghost In The Machine
      • Re: when laypersons look smarter than math professors Re: a question for the anti-Cantorians, ken quirici
      • Re: when laypersons look smarter than math professors Re: a question for the anti-Cantorians, The Ghost In The Machine
      • Re: when laypersons look smarter than math professors Re: a question for the anti-Cantorians, george
      • Re: when laypersons look smarter than math professors Re: a question for the anti-Cantorians, The Ghost In The Machine
  • Re: when laypersons look smarter than math professors Re: a question for the anti-Cantorians, The Ghost In The Machine
    • Re: when laypersons look smarter than math professors Re: a question for the anti-Cantorians, HERC777
      • Re: when laypersons look smarter than math professors Re: a question for the anti-Cantorians, The Ghost In The Machine
• UCLA Logic Colloquium, May 27, H. Enderton
• Papers on Bhattacharyya coefficient, Ambrish Tyagi
• a question on infinite models, Bruce Samuels
  • Re: a question on infinite models, Torkel Franzen
  • Re: a question on infinite models, Chris Menzel
    • Re: a question on infinite models, Bruce Samuels
      • Re: a question on infinite models, Bruce Samuels
      • Re: a question on infinite models, Chris Menzel
  • Re: a question on infinite models, H. Enderton
    • Re: a question on infinite models, Chris Menzel
      • Re: a question on infinite models, HERC777
      • Re: a question on infinite models, Chris Menzel
• Translation of "among", Benefactor
  • Re: Translation of "among", William Elliot
    • Re: Translation of "among", HERC777
      • Re: Translation of "among", HERC777
      • Re: Translation of "among", george
      • Re: Translation of "among", HERC777
  • Re: Translation of "among", David C . Ullrich
    • Re: Translation of "among", george
    • Re: Translation of "among", george
      • Re: Translation of "among", David C . Ullrich
      • Re: Translation of "among", HERC777
  • Re: Translation of "among", Jon Sneyers
  • Re: Translation of "among", george
  • Re: Translation of "among", Stephen Harris
  • Re: Translation of "among", george
    • Re: Translation of "among", HERC777
• Logic question, Ambrish Tyagi
  • Re: Logic question, Robert Low
  • Re: Logic question, ken quirici
    • Re: Logic question, Ambrish Tyagi
      • Re: Logic question, ken quirici
      • Re: Logic question, Robert Low
      • Re: Logic question, ken quirici
      • Re: Logic question, Robert Low
      • Re: Logic question, Ambrish Tyagi
  • Re: Logic question, Bill Smythe
    • Re: Logic question, Ambrish Tyagi
      • Re: Logic question, Bill Smythe
• common sense?, ken quirici
  • Re: common sense?, Robert Low
    • Re: common sense?, ken quirici
      • Re: common sense?, Robert Low
    • Re: common sense?, aeo6
      • Re: common sense?, Robert Low
      • Re: common sense?, aeo6
      • Re: common sense?, Robert Low
  • Re: common sense?, The Ghost In The Machine
  • Re: common sense?, Jon Sneyers
    • Re: common sense?, ken quirici
      • Re: common sense?, Robert Low
• Re: deductive databases, Mikito Harakiri
  • Re: deductive databases, Chris Menzel
  • <Possible follow-ups>
  • Re: deductive databases, vc
• Raatikainen's Paper on Chaitin, Daryl McCullough
  • Re: Raatikainen's Paper on Chaitin, Stephen Harris
    • Re: Raatikainen's Paper on Chaitin, Stephen Harris
  • Re: Raatikainen's Paper on Chaitin, Daryl McCullough
    • Re: Raatikainen's Paper on Chaitin, Torkel Franzen
      • Re: Raatikainen's Paper on Chaitin, Daryl McCullough
      • Re: Raatikainen's Paper on Chaitin, Stephen Harris
      • Re: Raatikainen's Paper on Chaitin, Stephen Harris
• Welcome to my concise encyclopedia,thanks!!, macrocoro
• Please help me on a bit of logic., Jay
  • Re: Please help me on a bit of logic., Jay
  • Re: Please help me on a bit of logic., Robert Low
    • Re: Please help me on a bit of logic., Jay
  • Re: Please help me on a bit of logic., Jim Spriggs
• Universal logic modules vs NAND-like modules, Candida Ferreira
• Re: A simple undiagonalisable list - ILLUSTRATED, george
  • Re: A simple undiagonalisable list - ILLUSTRATED, HERC777
  • <Possible follow-ups>
  • Re: A simple undiagonalisable list - ILLUSTRATED, george
• UCLA Logic Colloquium, May 20, H. Enderton
• Re: A Simple Non-Diagonalisable List, george
  • Re: A Simple Non-Diagonalisable List, HERC777
    • Re: A Simple Non-Diagonalisable List, george
      • Re: A Simple Non-Diagonalisable List, HERC777
      • Re: A Simple Non-Diagonalisable List, george
      • Re: A Simple Non-Diagonalisable List, HERC777
• Re: CANTORS DIAGONAL IS INDEPENDANT OF THE LIST OF REALS, george
• Identity of J. R. Harris, irvanellis@xxxxxxxxx
• Question on Chaitin, David Costa
  • Re: Question on Chaitin, Torkel Franzen
    • Message not available
      • Message not available
      • Message not available
      • Message not available
      • Message not available
      • Re: Question on Chaitin, Daryl McCullough
  • Message not available
    • Message not available
      • Message not available
      • Message not available
      • Message not available
      • Message not available
      • Re: Question on Chaitin, george
      • Re: Question on Chaitin, Torkel Franzen
      • Re: Question on Chaitin, Jim Spriggs
      • Re: Question on Chaitin, Daryl McCullough
      • Re: Question on Chaitin, Torkel Franzen
      • Re: Question on Chaitin, Ross A. Finlayson
  • Message not available
    • Message not available
      • Message not available
      • Message not available
      • Message not available
      • Re: Question on Chaitin, Stephen Harris
  • Message not available
    • Message not available
      • Message not available
      • Message not available
      • Message not available
      • Re: Question on Chaitin, Stephen Harris
  • Message not available
    • Message not available
      • Message not available
      • Message not available
      • Message not available
      • Re: Question on Chaitin, Stephen Harris
  • Message not available
    • Message not available
      • Message not available
      • Message not available
      • Message not available
      • Message not available
      • Message not available
      • Message not available
      • Message not available
      • Re: Question on Chaitin, Stephen Harris
  • Message not available
    • Message not available
      • Message not available
      • Message not available
      • Message not available
      • Message not available
      • Message not available
      • Message not available
      • Message not available
      • Re: Question on Chaitin, examachine
      • Re: Question on Chaitin, Robert Low
      • Re: Question on Chaitin, Stephen Harris
      • Re: Question on Chaitin, Chris Menzel
      • Re: Question on Chaitin, Stephen Harris
  • Message not available
    • Message not available
      • Message not available
      • Message not available
      • Re: Question on Chaitin, examachine
  • Message not available
    • Message not available
      • Message not available
      • Message not available
      • Re: Question on Chaitin, Charlie-Boo
• Re: ANTI-CANTOR THEORY, Anders Goeransson
• THE MOST ELECTRIFYING EVENT IN HUMAN HISTORY, Godyssey
• Transform First Order Logic to Equational Logic, Marc . Jentsch
  • Re: Transform First Order Logic to Equational Logic, irvanellis@xxxxxxxxx
• Re: ARE THESE TWO SETS EQUAL ?, george
  • Re: ARE THESE TWO SETS EQUAL ?, HERC777
    • Re: ARE THESE TWO SETS EQUAL ?, george
    • Re: ARE THESE TWO SETS EQUAL ?, george
      • Re: ARE THESE TWO SETS EQUAL ?, HERC777
  • <Possible follow-ups>
  • Re: ARE THESE TWO SETS EQUAL ?, george
    • Re: ARE THESE TWO SETS EQUAL ?, rupertmccallum
    • Re: ARE THESE TWO SETS EQUAL ?, rupertmccallum
• set theory question, ixians
• Order of the complex numbers and its consequences, Carloman
• Re: www.freewebs.com/namesort/numsort.html DISPROOF OF HIGHER INFINITY, Proginoskes
  • Re: www.freewebs.com/namesort/numsort.html DISPROOF OF HIGHER INFINITY, The Ghost In The Machine
    • Re: www.freewebs.com/namesort/numsort.html DISPROOF OF HIGHER INFINITY, HERC777
      • Re: www.freewebs.com/namesort/numsort.html DISPROOF OF HIGHER INFINITY, The Ghost In The Machine
      • Re: www.freewebs.com/namesort/numsort.html DISPROOF OF HIGHER INFINITY, HERC777
      • Re: www.freewebs.com/namesort/numsort.html DISPROOF OF HIGHER INFINITY, The Ghost In The Machine
• Re: Rounding Up The Cardinality Cult <<<<<<<<<<<<<<<<<<<<<<<<<, HERC777
  • Re: Rounding Up The Cardinality Cult <<<<<<<<<<<<<<<<<<<<<<<<<, The Ghost In The Machine
  • <Possible follow-ups>
  • Re: Rounding Up The Cardinality Cult <<<<<<<<<<<<<<<<<<<<<<<<<, tadchem
    • Re: Rounding Up The Cardinality Cult <<<<<<<<<<<<<<<<<<<<<<<<<, HERC777
    • Re: Rounding Up The Cardinality Cult <<<<<<<<<<<<<<<<<<<<<<<<<, The Ghost In The Machine
  • Re: Rounding Up The Cardinality Cult <<<<<<<<<<<<<<<<<<<<<<<<<, Robert Low
• The Jesus Christ Code. ©, caesarjbsquitti
• Is there a logic where A or (~A) =/= True, yet.., alex goldman
  • Re: Is there a logic where A or (~A) =/= True, yet.., Jim Spriggs
    • Re: Is there a logic where A or (~A) =/= True, yet.., Torkel Franzen
      • Re: Is there a logic where A or (~A) =/= True, yet.., Jim Spriggs
      • Re: Is there a logic where A or (~A) =/= True, yet.., Jim Spriggs
• Re: A Small Blackboard, george
  • Re: A Small Blackboard, HERC777
    • Re: A Small Blackboard, george
• Re: A little knowledge is a dangerous thing - THE HALTING PROOF, george
  • Re: A little knowledge is a dangerous thing - THE HALTING PROOF, Charlie-Boo
    • Re: A little knowledge is a dangerous thing - THE HALTING PROOF, Bhupinder Singh Anand
      • Re: A little knowledge is a dangerous thing - THE HALTING PROOF, george
    • Re: A little knowledge is a dangerous thing - THE HALTING PROOF, george
  • <Possible follow-ups>
  • Re: A little knowledge is a dangerous thing - THE HALTING PROOF, george
• Re: refining the diag proof. defn of countable, george
• Re: BEHOLD....... PROOF THAT *CARDINALITY IS BONKERS*, george
  • Re: BEHOLD....... PROOF THAT *CARDINALITY IS BONKERS*, The Ghost In The Machine
  • <Possible follow-ups>
  • Re: BEHOLD....... PROOF THAT *CARDINALITY IS BONKERS*, george
    • Re: BEHOLD....... PROOF THAT *CARDINALITY IS BONKERS*, HERC777
      • Re: BEHOLD....... PROOF THAT *CARDINALITY IS BONKERS*, george
      • Re: BEHOLD....... PROOF THAT *CARDINALITY IS BONKERS*, HERC777
      • Re: BEHOLD....... PROOF THAT *CARDINALITY IS BONKERS*, george
  • Re: BEHOLD....... PROOF THAT *CARDINALITY IS BONKERS*, george
    • Re: BEHOLD....... PROOF THAT *CARDINALITY IS BONKERS*, HERC777
      • Re: BEHOLD....... PROOF THAT *CARDINALITY IS BONKERS*, george
  • Re: BEHOLD....... PROOF THAT *CARDINALITY IS BONKERS*, george
    • Re: BEHOLD....... PROOF THAT *CARDINALITY IS BONKERS*, HERC777
• Re: On Programs That Output Themselves, G . Frege
  • <Possible follow-ups>
  • Re: On Programs That Output Themselves, Charlie-Boo
    • Re: On Programs That Output Themselves, Chris Menzel
  • Re: On Programs That Output Themselves, Robert Low
    • Re: On Programs That Output Themselves, Charlie-Boo
      • Re: On Programs That Output Themselves, Chris Menzel
      • Message not available
      • Message not available
      • Message not available
      • Message not available
      • Re: On Programs That Output Themselves, David C . Ullrich
      • Re: On Programs That Output Themselves, Charlie-Boo
      • Message not available
      • Message not available
      • Message not available
      • Message not available
      • Message not available
      • Message not available
      • Message not available
      • Message not available
      • Re: On Programs That Output Themselves, Charlie-Boo
      • Re: On Programs That Output Themselves, David C . Ullrich
      • Message not available
      • Re: On Programs That Output Themselves, Anders Goeransson
  • Re: On Programs That Output Themselves, Chris Menzel
  • Re: On Programs That Output Themselves, Charlie-Boo
    • Re: On Programs That Output Themselves, Chris Menzel
  • Re: On Programs That Output Themselves, Robert Low
  • Re: On Programs That Output Themselves, David C . Ullrich
  • Re: On Programs That Output Themselves, David C . Ullrich
    • Re: On Programs That Output Themselves, Chris Menzel
    • Re: On Programs That Output Themselves, Nam Nguyen
      • Re: On Programs That Output Themselves, Chris Menzel
      • Re: On Programs That Output Themselves, Nam Nguyen
      • Re: On Programs That Output Themselves, Chris Menzel
      • Re: On Programs That Output Themselves, David C . Ullrich
  • Re: On Programs That Output Themselves, Dave Rusin
    • Re: On Programs That Output Themselves, David C . Ullrich
  • Re: On Programs That Output Themselves, Richard Harter
    • Re: On Programs That Output Themselves, Chris Menzel
• Re: kinds of definitions, H. Enderton
• Re: Golden Number linked to 666, Gregory Toomey
  • Re: Golden Number linked to 666, Robert Low
    • Re: Golden Number linked to 666, Gregory Toomey
• countable list of countable lists, ken quirici
  • Re: countable list of countable lists, Jim Spriggs
    • Re: countable list of countable lists, ken quirici
• language, irvanellis@xxxxxxxxx
  • Re: language, Charlie-Boo
    • Re: language, David C . Ullrich
      • Re: language, irvanellis@xxxxxxxxx
      • Re: language, David C . Ullrich
      • Re: language, Robert Low
  • Re: language, Ken Pledger
  • Re: language, HERC777
    • Re: language, irvanellis@xxxxxxxxx
      • Re: language, HERC777
• Re: Why do we have the natural numbers?, Charlie-Boo
  • Re: Why do we have the natural numbers?, Chris Menzel
  • <Possible follow-ups>
  • Re: Why do we have the natural numbers?, george
    • Re: Why do we have the natural numbers?, Charlie-Boo
• Re: Cohen model for a > countable model of set theory, Pierre Asselin
  • Re: Cohen model for a > countable model of set theory, shunya
    • Re: Cohen model for a > countable model of set theory, Torkel Franzen
• Re: A New (And Slightly Stupid) Set Theory, HERC777
  • Re: A New (And Slightly Stupid) Set Theory, The Ghost In The Machine
    • Re: A New (And Slightly Stupid) Set Theory, HERC777
      • Re: A New (And Slightly Stupid) Set Theory, The Ghost In The Machine
      • Re: A New (And Slightly Stupid) Set Theory, HERC777
      • Re: A New (And Slightly Stupid) Set Theory, The Ghost In The Machine
      • Re: A New (And Slightly Stupid) Set Theory, HERC777
• [FAQ, 99/07/28] Mathematical logic on the web, Boris 'pi' Piwinger
• Truth and facticity (Was: Re: Recursivity vs. Provability), mitch
  • Re: Truth and facticity (Was: Re: Recursivity vs. Provability), george
• Re: arithmetic in ZF, Barb Knox
  • Re: arithmetic in ZF, Ross A. Finlayson
    • Re: arithmetic in ZF, Chris Menzel
      • Re: arithmetic in ZF, Ross A. Finlayson
      • Re: arithmetic in ZF, Chris Menzel
      • Re: arithmetic in ZF, Ross A. Finlayson
      • Re: arithmetic in ZF, Paul Holbach
      • Re: arithmetic in ZF, Chris Menzel
      • Re: arithmetic in ZF, Paul Holbach
      • Re: arithmetic in ZF, Bhupinder Singh Anand
      • Re: arithmetic in ZF, Ross A. Finlayson
      • Re: arithmetic in ZF, Ross A. Finlayson
      • Re: arithmetic in ZF, Ross A. Finlayson
      • Re: arithmetic in ZF, george
  • <Possible follow-ups>
  • Re: arithmetic in ZF, Babylonian
    • Re: arithmetic in ZF, george
    • Re: arithmetic in ZF, george
      • Re: arithmetic in ZF, Alan Smaill
      • Re: arithmetic in ZF, george
      • Re: arithmetic in ZF, Alan Smaill
      • Re: arithmetic in ZF, george
      • Re: arithmetic in ZF, Alan Smaill
      • Re: arithmetic in ZF, george
      • Re: arithmetic in ZF, Keith Ramsay
      • Re: arithmetic in ZF, Babylonian
  • Re: arithmetic in ZF, Babylonian
    • Re: arithmetic in ZF, george
      • Re: arithmetic in ZF, Babylonian
      • Re: arithmetic in ZF, george
      • Re: arithmetic in ZF, Babylonian
      • Re: arithmetic in ZF, george
      • Re: arithmetic in ZF, Babylonian
  • Re: arithmetic in ZF, george
    • Re: arithmetic in ZF, Ross A. Finlayson
• Re: What does "dictum de omni et nullo" mean?, William Elliot
  • <Possible follow-ups>
  • Re: What does "dictum de omni et nullo" mean?, Charlie-Boo
  • Re: What does "dictum de omni et nullo" mean?, Ken Pledger
    • Re: What does "dictum de omni et nullo" mean?, Jim Spriggs
  • Re: What does "dictum de omni et nullo" mean?, philippe

• Windows
• Science
• Usenet

• Archive
• About
• Privacy
• Search
• Imprint