sci.logic

• Thread Index

---

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

We are proud to have Web Hosting and Rack Housing from 9 Net Avenue Deutschland.
(15)