sci.logic

• Thread Index

---

• errata
  • From: george
• Re: Logic in Schools
  • From: Torkel Franzen
• Re: Logic in Schools
  • From: George Dance
• Re: Considerations of Time-Travel in General Relativity.
  • From: playbass
• Re: Derivations (SD)
  • From: David C . Ullrich
• Re: Gödel's theorems in Wikipedia
  • From: Aatu Koskensilta
• Re: Set Theory Exercise
  • From: Max Weiss
• Re: About countable Ordinals.
  • From: H. Enderton
• Re: Derivations (SD)
  • From: Torkel Franzen
• Re: Derivations (SD)
  • From: 1st Semester Logic Student
• Re: Derivations (SD)
  • From: Robert Low
• Re: Derivations (SD)
  • From: Torkel Franzen
• Re: Derivations (SD)
  • From: 1st Semester Logic Student
• Re: Derivations (SD)
  • From: Lee Rudolph
• Re: Derivations (SD)
  • From: Jeffrey Ketland
• Re: Derivations (SD)
  • From: Torkel Franzen
• Re: About countable Ordinals.
  • From: Torkel Franzen
• Re: Fun Times With SL
  • From: mikejde@xxxxxxxxx
• Re: About countable Ordinals.
  • From: Keith Ramsay
• Re: Fun Times With SL
  • From: 1st Semester Logic Student
• Re: Derivations (SD)
  • From: 1st Semester Logic Student
• About countable Ordinals.
  • From: Bill Taylor
• Re: Formulas & Sentences of PL...
  • From: Jim Spriggs
• Re: Formulas & Sentences of PL...
  • From: mikejde@xxxxxxxxx
• Re: Formulas & Sentences of PL...
  • From: Jim Spriggs
• Re: Formulas & Sentences of PL...
  • From: mikejde@xxxxxxxxx
• Re: Formulas & Sentences of PL...
  • From: Jim Spriggs
• Re: Set Theory Exercise
  • From: george
• Re: Set Theory Exercise
  • From: Max Weiss
• Re: Truth Values in PL
  • From: Owen
• Re: Formulas & Sentences of PL...
  • From: mikejde@xxxxxxxxx
• Re: Derivations (SD)
  • From: Jeffrey Ketland
• Derivations (SD)
  • From: 1st Semester Logic Student
• Re: Set Theory Exercise
  • From: george
• Set Theory Exercise
  • From: William Elliot
• Re: Set Theory Exercise
  • From: Max Weiss
• Re: Set Theory Exercise
  • From: Alan Smaill
• Re: Fun Times With SL
  • From: mikejde@xxxxxxxxx
• Re: Set Theory Exercise
  • From: Max Weiss
• Re: Fun Times With SL
  • From: H. Enderton
• Re: Set Theory Exercise
  • From: William Elliot
• Re: Gödel's theorems in Wikipedia
  • From: (not a)\\/b
• Re: Gödel's theorems in Wikipedia
  • From: (not a)\\b
• Re: The WHO CARES proof of anti-anti-diagonalisation
  • From: The Ghost In The Machine
• Re: equivalence of 2 tests
  • From: george
• Re: The WHO CARES proof of anti-anti-diagonalisation
  • From: george
• Re: Set Theory Exercise
  • From: george
• Re: Truth Values in PL
  • From: Jim Burns
• Re: Set Theory Exercise
  • From: Max Weiss
• Re: The WHO CARES proof of anti-anti-diagonalisation
  • From: HERC777
• Re: Shrieks and splashes
  • From: Robert Low
• Re: Truth Values in PL
  • From: George Dance
• Re: Shrieks and splashes
  • From: Barb Knox
• Re: The WHO CARES proof of anti-anti-diagonalisation
  • From: george
• Re: Shrieks and splashes
  • From: Robert Low
• Re: Shrieks and splashes
  • From: The Ghost In The Machine
• Re: Shrieks and splashes
  • From: ps218
• Re: Shrieks and splashes
  • From: The Ghost In The Machine
• Shrieks and splashes
  • From: ps218
• Re: The WHO CARES proof of anti-anti-diagonalisation
  • From: The Ghost In The Machine
• Re: The WHO CARES proof of anti-anti-diagonalisation
  • From: HERC777
• Re: Fun Times With SL
  • From: William Elliot
• Fun Times With SL
  • From: 1st Semester Logic Student
• Re: Set Theory Exercise
  • From: William Elliot
• Set Theory Exercise
  • From: Max Weiss
• Re: The WHO CARES proof of anti-anti-diagonalisation
  • From: george
• Re: Gödel's theorems in Wikipedia
  • From: David C . Ullrich
• Re: Comparing times in FOPC
  • From: Gary Leighton
• Re: Comparing times in FOPC
  • From: Gary Leighton
• Re: Gödel's theorems in Wikipedia
  • From: David C . Ullrich
• Re: Gödel's theorems in Wikipedia
  • From: David C . Ullrich
• Re: The WHO CARES proof of anti-anti-diagonalisation
  • From: Robert Maas, see http://tinyurl.com/uh3t
• Re: Truth Values in PL
  • From: Ken Quirici
• Re: Logic in Schools
  • From: H. Enderton
• Re: Truth Values in PL
  • From: H. Enderton
• Re: Comparing times in FOPC
  • From: Jim Spriggs
• Re: Gödel's theorems in Wikipedia
  • From: Aatu Koskensilta
• Re: Gödel's theorems in Wikipedia
  • From: Chris Menzel
• Re: Comparing times in FOPC
  • From: Gary Leighton
• Re: Gödel's theorems in Wikipedia
  • From: hellovijay
• Re: Gödel's theorems in Wikipedia
  • From: Herman Jurjus
• Re: Comparing times in FOPC
  • From: Chris Menzel
• Re: Comparing times in FOPC
  • From: Jim Spriggs
• Re: "First example of a purely number-theoretic first order statement independent of PA"
  • From: Jim Spriggs
• Re: Comparing times in FOPC
  • From: Gary Leighton
• Re: Gödel's theorems in Wikipedia
  • From: Aatu Koskensilta
• Re: Gödel's theorems in Wikipedia
  • From: Aatu Koskensilta
• Re: Gödel's theorems in Wikipedia
  • From: Aatu Koskensilta
• Re: Comparing times in FOPC
  • From: Chris Menzel
• Re: Gödel's theorems in Wikipedia
  • From: David C . Ullrich
• Re: "First example of a purely number-theoretic first order statement independent of PA"
  • From: Lee Rudolph
• Comparing times in FOPC
  • From: Gary Leighton
• Re: "First example of a purely number-theoretic first order statement independent of PA"
  • From: Torkel Franzen
• Re: "First example of a purely number-theoretic first order statement independent of PA"
  • From: Jim Spriggs
• Re: "First example of a purely number-theoretic first order statement independent of PA"
  • From: Jim Spriggs
• Re: Predicate Logic
  • From: Ken Quirici
• Re: Predicate Logic
  • From: Chris Menzel
• Re: Gödel's theorems in Wikipedia
  • From: Chris Menzel
• Re: Gödel's theorems in Wikipedia
  • From: ps218
• re: Gödel's theorems in Wikipedia
  • From: Acme Diagnostics
• Re: "First example of a purely number-theoretic first order statement independent of PA"
  • From: Torkel Franzen
• "First example of a purely number-theoretic first order statement independent of PA"
  • From: Jim Spriggs
• Re: free variables in FOL
  • From: Ken Quirici
• Re: Predicate Logic
  • From: Ken Quirici
• Re: free variables in FOL
  • From: Ken Quirici
• Re: Predicate Logic
  • From: Ken Quirici
• Re: Predicate Logic
  • From: Ken Quirici
• Gödel's theorems in Wikipedia
  • From: Aatu Koskensilta
• Re: Back to SL for a sec...
  • From: William Elliot
• Re: Predicate Logic
  • From: 1st Semester Logic Student
• Re: Predicate Logic
  • From: Chris Menzel
• Re: Formulas & Sentences of PL...
  • From: William Elliot
• Re: Formulas & Sentences of PL...
  • From: 1st Semester Logic Student
• Re: Back to SL for a sec...
  • From: HERC777
• Re: Formulas & Sentences of PL...
  • From: Jim Spriggs
• Re: free variables in FOL
  • From: HERC777
• Back to SL for a sec...
  • From: 1st Semester Logic Student
• Re: Formulas & Sentences of PL...
  • From: William Elliot
• Re: free variables in FOL
  • From: Ken Quirici
• Re: Predicate Logic
  • From: Ken Quirici
• Formulas & Sentences of PL...
  • From: 1st Semester Logic Student
• Re: Predicate Logic
  • From: 1st Semester Logic Student
• Re: free variables in FOL
  • From: HERC777
• re: Logic in Schools
  • From: Acme Diagnostics
• Re: free variables in FOL
  • From: Ken Quirici
• Re: Logic in Schools
  • From: Jim Spriggs
• Re: Logic in Schools
  • From: Jim Spriggs
• Re: meaning of "only" vs. "if/then"
  • From: Jim Spriggs
• meaning of "only" vs. "if/then"
  • From: rachelms79
• Re: Derivations
  • From: Fred
• Re: free variables in FOL
  • From: HERC777
• Re: Complete extensions of the theory of Linear Orders
  • From: timm
• Re: Derivations
  • From: H. J. Sander Bruggink
• Re: free variables in FOL
  • From: Ken Quirici
• Re: free variables in FOL
  • From: HERC777
• Re: Derivations
  • From: Fred
• Re: free variables in FOL
  • From: HERC777
• Re: Logic in Schools
  • From: Robert Low
• Re: Logic in Schools
  • From: William Elliot
• Logic in Schools
  • From: PureAI
• Complete extensions of the theory of Linear Orders
  • From: vg
• Re: free variables in FOL
  • From: HERC777
• Re: Predicate Logic
  • From: Ken Quirici
• Re: Predicate Logic
  • From: Ken Quirici
• Re: free variables in FOL
  • From: Ken Quirici
• Re: free variables in FOL
  • From: HERC777
• Re: Truth Values in PL
  • From: Jim Spriggs
• Re: Predicate Logic
  • From: Chris Menzel
• Re: Truth Values in PL
  • From: Ken Quirici
• Re: Truth Values in PL
  • From: Jim Spriggs
• Re: Truth Values in PL
  • From: William Elliot
• Re: Truth Values in PL
  • From: Jim Spriggs
• Re: Truth Values in PL
  • From: Ken Quirici
• Re: Predicate Logic
  • From: Ken Quirici
• Re: Predicate Logic
  • From: Ken Quirici
• Re: Predicate Logic
  • From: Chris Menzel
• Re: Predicate Logic
  • From: Jim Spriggs
• Re: Predicate Logic
  • From: Chris Menzel
• Truth Values in PL
  • From: 1st Semester Logic Student
• Re: Predicate Logic
  • From: 1st Semester Logic Student
• Re: Predicate Logic
  • From: Jim Spriggs
• Re: Predicate Logic
  • From: Ken Quirici
• Re: Predicate Logic
  • From: Jim Spriggs
• Re: Predicate Logic
  • From: Ken Quirici
• Re: Predicate Logic
  • From: 1st Semester Logic Student
• Re: Predicate Logic
  • From: Jim Spriggs
• Re: Predicate Logic
  • From: Fred
• Re: free variables in FOL
  • From: Ken Quirici
• Re: free variables in FOL
  • From: Chris Menzel
• Re: free variables in FOL
  • From: Ken Quirici
• Re: free variables in FOL
  • From: Ken Quirici
• Re: free variables in FOL
  • From: Ken Quirici
• Re: Predicate Logic
  • From: David C . Ullrich
• Predicate Logic
  • From: 1st Semester Logic Student
• Re: Derivations
  • From: Fred
• Re: Aristotelian syllogistic and monadic FOL
  • From: Hero . van . Jindelt
• Re: Aristotelian syllogistic and monadic FOL
  • From: Klaus Glashoff
• Re: free variables in FOL
  • From: Barb Knox
• Re: free variables in FOL
  • From: Pierre Asselin
• Re: m balls k urns
  • From: Arturo Magidin
• Re: m balls k urns
  • From: oercim
• Re: logic relay chat
  • From: HERC777
• logic relay chat
  • From: adamgolding
• Re: free variables in FOL
  • From: HERC777
• Re: The WHO CARES proof of anti-anti-diagonalisation
  • From: HERC777
• Re: m balls k urns
  • From: Arturo Magidin
• well-ordering the rationals (and reals?)
  • From: William Elliot
• Re: The WHO CARES proof of anti-anti-diagonalisation
  • From: george
• Re: The WHO CARES proof of anti-anti-diagonalisation
  • From: george
• Re: m balls k urns
  • From: oercim
• Re: Did we really hope to get away with The Gödelian Argument?
  • From: george
• Re: free variables in FOL
  • From: William Elliot
• Re: Aristotelian syllogistic and monadic FOL
  • From: Hero . van . Jindelt
• Re: free variables in FOL
  • From: Chris Menzel
• Re: Aristotelian syllogistic and monadic FOL
  • From: Hero . van . Jindelt
• Re: free variables in FOL
  • From: Ken Quirici
• Re: free variables in FOL
  • From: Torkel Franzen
• Re: free variables in FOL
  • From: Jim Spriggs
• Re: free variables in FOL
  • From: Ken Quirici
• Re: free variables in FOL
  • From: Jim Spriggs
• Re: Aristotelian syllogistic and monadic FOL
  • From: Chris Menzel
• Re: Aristotelian syllogistic and monadic FOL
  • From: Hero . van . Jindelt
• free variables in FOL
  • From: Ken Quirici
• Re: Analog math < Did we really hope to get away with The Gödelian Argument?
  • From: Ralph
• Re: Analog math < Did we really hope to get away with The Gödelian Argument?
  • From: Ralph
• Re: Analog math < Did we really hope to get away with The Gödelian Argument?
  • From: Ralph
• Re: Aristotelian syllogistic and monadic FOL
  • From: Hero . van . Jindelt
• Re: Aristotelian syllogistic and monadic FOL
  • From: Klaus Glashoff
• Re: Aristotelian syllogistic and monadic FOL
  • From: Klaus Glashoff
• Re: m balls k urns
  • From: Poker Joker
• Re: Aristotelian syllogistic and monadic FOL
  • From: Hero . van . Jindelt
• Re: Aristotelian syllogistic and monadic FOL
  • From: Jim Spriggs
• Re: Aristotelian syllogistic and monadic FOL
  • From: Ken Pledger
• Re: Aristotelian syllogistic and monadic FOL
  • From: Hero . van . Jindelt
• Re: Aristotelian syllogistic and monadic FOL
  • From: Chris Menzel
• Re: Aristotelian syllogistic and monadic FOL
  • From: Klaus Glashoff
• Re: Aristotelian syllogistic and monadic FOL
  • From: Klaus Glashoff
• Re: Aristotelian syllogistic and monadic FOL
  • From: Jim Spriggs
• Re: Aristotelian syllogistic and monadic FOL
  • From: Hero . van . Jindelt
• Re: Derivations
  • From: Sevenhundred Elves
• Re: Catalog of undecidable problems?
  • From: george
• Re: Aristotelian syllogistic and monadic FOL
  • From: Klaus Glashoff
• Re: Aristotelian syllogistic and monadic FOL
  • From: Klaus Glashoff
• Re: Aristotelian syllogistic and monadic FOL
  • From: Klaus Glashoff
• Re: m balls k urns
  • From: Barb Knox
• m balls k urns
  • From: oercim
• Re: Aristotelian syllogistic and monadic FOL
  • From: Hero . van . Jindelt
• Re: MathWorld - error or ok?
  • From: Ken Quirici
• Re: MathWorld - error or ok?
  • From: Arturo Magidin
• MathWorld - error or ok?
  • From: Ken Quirici
• Re: FOL, ZFC, NGB and Prolog
  • From: Tom
• Re: Humanistic mathematics (Cantor's Theory)
  • From: Chris Menzel
• Did we really hope to get away with The Gödelian Argument?
  • From: Bhupinder Singh Anand
• Re: Derivations
  • From: Jim Spriggs
• Re: Derivations
  • From: Ken Quirici
• Re: Derivations
  • From: William Elliot
• Re: Aristotelian syllogistic and monadic FOL
  • From: Klaus Glashoff
• Re: Humanistic mathematics (Cantor's Theory)
  • From: david petry
• Re: Aristotelian syllogistic and monadic FOL
  • From: Klaus Glashoff
• Re: Derivations
  • From: 1st Semester Logic Student
• Re: FOL, ZFC, NGB and Prolog
  • From: T.B.
• Re: Does sci.logic have a faq?
  • From: David C . Ullrich
• Re: Does sci.logic have a faq?
  • From: Ken Quirici
• Re: Derivations
  • From: H. J. Sander Bruggink
• Re: Derivations
  • From: H. J. Sander Bruggink
• Re: FOL, ZFC, NGB and Prolog
  • From: Torkel Franzen
• Re: Humanistic mathematics (Cantor's Theory)
  • From: Robin Chapman
• Re: Does sci.logic have a faq?
  • From: Jim Spriggs
• Re: Does sci.logic have a faq?
  • From: Ken Pledger
• Re: Does sci.logic have a faq?
  • From: Jim Spriggs
• Re: Does sci.logic have a faq?
  • From: Ken Quirici
• Re: Does sci.logic have a faq?
  • From: Jim Spriggs
• Re: Does sci.logic have a faq?
  • From: Ken Quirici
• Re: Derivations
  • From: Ken Quirici
• Does sci.logic have a faq?
  • From: Jim Spriggs
• Re: Derivations
  • From: William Elliot
• Re: Derivations
  • From: Jim Spriggs
• Re: Derivations
  • From: Jim Spriggs
• Re: Dubya can play chess?
  • From: Rich Grise
• Re: Derivations
  • From: 1st Semester Logic Student
• Re: FOL, ZFC, NGB and Prolog
  • From: galathaea
• Re: FOL, ZFC, NGB and Prolog
  • From: Torkel Franzen
• Re: FOL, ZFC, NGB and Prolog
  • From: Tom
• Re: FOL, ZFC, NGB and Prolog
  • From: Tom
• Re: Derivations
  • From: William Elliot
• Re: Derivations
  • From: Jim Spriggs
• Derivations
  • From: 1st Semester Logic Student
• Sierpinski numbers
  • From: mitch
• Re: Quandary.
  • From: SPRThompson
• Re: FOL, ZFC, NGB and Prolog
  • From: Tom
• Re: FOL, ZFC, NGB and Prolog
  • From: Keith Ramsay
• Re: FOL, ZFC, NGB and Prolog
  • From: Tom
• Re: Penrose's Computing Pi Description?
  • From: Stephen Harris
• Re: Penrose's Computing Pi Description?
  • From: HERC777
• Re: FOL, ZFC, NGB and Prolog
  • From: Keith Ramsay
• Re: Penrose's Computing Pi Description?
  • From: Stephen Harris
• Re: Penrose's Computing Pi Description?
  • From: HERC777
• Re: Penrose's Computing Pi Description?
  • From: Stephen Harris
• Re: Penrose's Computing Pi Description?
  • From: Stephen Harris
• Re: Question...
  • From: William Elliot
• Re: Penrose's Computing Pi Description?
  • From: HERC777
• Re: Penrose's Computing Pi Description?
  • From: H. J. Sander Bruggink
• Re: Question...
  • From: Ken Quirici
• Re: A Repeat for SCI.MATH
  • From: HERC777
• Re: FOL, ZFC, NGB and Prolog
  • From: Aatu Koskensilta
• Re: Boolean expression sought for
  • From: Martin Shobe
• Re: 2 questions about AC
  • From: Nam Nguyen
• Re: Question...
  • From: William Elliot
• Re: 2 questions about AC
  • From: William Elliot
• Re: 2 questions about AC
  • From: G . Frege
• Re: 2 questions about AC
  • From: G . Frege
• Re: 2 questions about AC
  • From: big.ass
• Re: Penrose's Computing Pi Description?
  • From: Stephen Harris
• Re: Question...
  • From: Ken Quirici
• Re: Penrose's Computing Pi Description?
  • From: Stephen Harris
• Re: 2 questions about AC
  • From: G . Frege
• Re: FOL, ZFC, NGB and Prolog
  • From: Tom
• Re: How do you pronounce Godel ??
  • From: Stephen Harris
• Re: Penrose's Computing Pi Description?
  • From: Stephen Harris
• Re: FOL, ZFC, NGB and Prolog
  • From: galathaea
• Re: Question...
  • From: William Elliot
• Re: Question...
  • From: William Elliot
• Re: Question...
  • From: Ken Quirici
• Re: FOL, ZFC, NGB and Prolog
  • From: Tom
• Question...
  • From: 1st Semester Logic Student
• Re: 2 questions about AC
  • From: big.ass
• Re: 2 questions about AC
  • From: David C . Ullrich
• Re: Penrose's Computing Pi Description?
  • From: H. J. Sander Bruggink
• Penrose's Computing Pi Description?
  • From: Stephen Harris
• Re: FOL, ZFC, NGB and Prolog
  • From: Aatu Koskensilta
• Re: 2 questions about AC
  • From: William Elliot
• 2 questions about AC
  • From: big.ass
• Re: A Repeat for SCI.MATH
  • From: The Ghost In The Machine
• Re: A Repeat for SCI.MATH
  • From: HERC777
• Re: Quandary.
  • From: Ken Pledger
• Re: Quandary.
  • From: Will Twentyman
• Re: FOL, ZFC, NGB and Prolog
  • From: Tom
• Quandary.
  • From: Rozmonth
• Re: FOL, ZFC, NGB and Prolog
  • From: Jim Spriggs
• Re: [OT] Right Books (was re: Excuses, Excuses)
  • From: Acme Diagnostics
• Re: Boolean expression sought for
  • From: Ken Quirici
• Re: FOL, ZFC, NGB and Prolog
  • From: Tom
• Re: Boolean expression sought for
  • From: xadrezus
• Re: [OT] Right Books (was re: Excuses, Excuses)
  • From: Aatu Koskensilta
• Re: Boolean expression sought for
  • From: xadrezus
• Re: A Repeat for SCI.MATH
  • From: The Ghost In The Machine
• Re: Boolean expression sought for
  • From: Ken Quirici
• Re: Boolean expression sought for
  • From: Candida Ferreira
• [OT] Right Books (was re: Excuses, Excuses)
  • From: Acme Diagnostics
• Re: Boolean expression sought for
  • From: xadrezus
• Re: Boolean expression sought for
  • From: xadrezus
• Re: Catalog of undecidable problems?
  • From: Anders Goeransson
• Re: Farewell to FOL - The relativity of mathematics truth in general.
  • From: Herman Jurjus
• Re: A Repeat for SCI.MATH
  • From: HERC777
• Re: How do you pronounce Godel ??
  • From: H. J. Sander Bruggink
• Re: How do you pronounce Godel ??
  • From: poopdeville
• Here.
  • From: Rozmonth
• Re: Boolean expression sought for
  • From: Peter Webb
• Re: A Repeat for SCI.MATH
  • From: The Ghost In The Machine
• Re: Boolean expression sought for
  • From: Ken Pledger
• Re: FOL, ZFC, NGB and Prolog
  • From: Barb Knox
• Re: A Repeat for SCI.MATH
  • From: HERC777
• Re: Formalization of the "UTM(n)" notation
  • From: george
• Re: Formalization of the "UTM(n)" notation
  • From: george
• Re: Farewell to FOL - The relativity of mathematics truth in general.
  • From: george
• Re: FOL, ZFC, NGB and Prolog
  • From: Tom
• Boolean expression sought for
  • From: xadrezus
• Re: FOL, ZFC, NGB and Prolog
  • From: Jim Spriggs
• FOL, ZFC, NGB and Prolog
  • From: Tom
• How do you pronounce Godel ??
  • From: locksley
• Re: Farewell to FOL - The relativity of mathematics truth in general.
  • From: Nam Nguyen
• Re: A Repeat for SCI.MATH
  • From: The Ghost In The Machine
• Re: Farewell to FOL - The relativity of mathematics truth in general.
  • From: Herman Jurjus
• Re: A Repeat for SCI.MATH
  • From: HERC777
• Farewell to FOL - The relativity of mathematics truth in general.
  • From: Nam Nguyen
• Re: Aristotelian syllogistic and monadic FOL
  • From: Ken Pledger
• Re: A Repeat for SCI.MATH
  • From: The Ghost In The Machine
• Re: A Repeat for SCI.MATH
  • From: HERC777
• Re: The Problem of the Quick Detectives
  • From: Ken Quirici
• Re: The Problem of the Quick Detectives
  • From: Indoarsman
• Re: The Problem of the Quick Detectives
  • From: Ken Quirici
• Re: The Problem of the Quick Detectives
  • From: Indoarsman
• Re: according to Fred if it's raining then the sky is green
  • From: Ken Quirici
• Re: according to Fred if it's raining then the sky is green
  • From: Chris Menzel
• Re: A Repeat for SCI.MATH
  • From: The Ghost In The Machine
• Re: according to Fred if it's raining then the sky is green
  • From: hawat.thufir@xxxxxxxxx
• Re: A Repeat for SCI.MATH
  • From: HERC777
• Re: according to Fred if it's raining then the sky is green
  • From: H. J. Sander Bruggink
• Re: according to Fred if it's raining then the sky is green
  • From: Ken Quirici
• Re: A Repeat for SCI.MATH
  • From: The Ghost In The Machine
• Re: according to Fred if it's raining then the sky is green
  • From: HERC777
• Re: A Repeat for SCI.MATH
  • From: HERC777
• Re: A Repeat for SCI.MATH
  • From: The Ghost In The Machine
• Re: A Repeat for SCI.MATH
  • From: HERC777
• Re: The Problem of the Quick Detectives
  • From: Ken Quirici
• Re: No one here is capable of working this out
  • From: HERC777
• Re: Formalization of the "UTM(n)" notation
  • From: The Ghost In The Machine
• Re: Formalization of the "UTM(n)" notation
  • From: HERC777
• Re: Hello There?
  • From: Nam Nguyen
• Re: A POLYNOMIAL COMPUTER GENERATED REAL NUMBER SET
  • From: HERC777
• Re: Formalization of the "UTM(n)" notation
  • From: george
• Re: according to Fred if it's raining then the sky is green
  • From: Jeffrey Ketland
• Re: The Problem of the Quick Detectives
  • From: Indoarsman
• according to Fred if it's raining then the sky is green
  • From: hawat.thufir@xxxxxxxxx
• Re: an old issue with E-type statements in Categorical Logic
  • From: googlegroupemail
• Re: Formalization of the "UTM(n)" notation
  • From: The Ghost In The Machine
• Re: Formalization of the "UTM(n)" notation
  • From: The Ghost In The Machine
• Re: Hello There?
  • From: Keith Ramsay
• Re: Hello There?
  • From: Robert Low
• Re: Hello There?
  • From: Nam Nguyen
• Re: Formalization of the "UTM(n)" notation
  • From: C Rode
• Re: Hello There?
  • From: Nam Nguyen
• Re: Hello There?
  • From: Torkel Franzen
• Re: Hello There?
  • From: Peter Webb
• Re: Hello There?
  • From: Peter Webb
• Re: Hello There?
  • From: Nam Nguyen
• Re: A POLYNOMIAL COMPUTER GENERATED REAL NUMBER SET
  • From: george
• Re: No one here is capable of working this out
  • From: george
• Re: Hello There?
  • From: Torkel Franzen
• Re: Hello There?
  • From: Robert Low
• Re: Hello There?
  • From: Torkel Franzen
• Re: Hello There?
  • From: Robert Low
• Re: good one
  • From: William Elliot
• Re: No one here is capable of working this out
  • From: HERC777
• Re: Formalization of the "UTM(n)" notation
  • From: HERC777
• Re: No one here is capable of working this out
  • From: george
• Re: Formalization of the "UTM(n)" notation
  • From: george
• Re: Formalization of the "UTM(n)" notation
  • From: HERC777
• Re: Formalization of the "UTM(n)" notation
  • From: The Ghost In The Machine
• Is it logic to have a free ipod? I say yes ! Check this !!! Us,Uk,Canada
  • From: annia . jensen
• Re: No one here is capable of working this out
  • From: HERC777
• Re: Excuses, Excuses (was Re: Irony)
  • From: anzaurres1
• UCLA Logic Colloquium, June 10
  • From: H. Enderton
• Re: p-adic integers
  • From: Patrick
• Re: Aristotelian syllogistic and monadic FOL
  • From: Stephen Harris
• Re: Proof that the diagonal is useless, redundant, noise,
  • From: george
• Re: Catalog of undecidable problems?
  • From: george
• Re: Catalog of undecidable problems?
  • From: Torkel Franzen
• Re: Catalog of undecidable problems?
  • From: george
• Re: No one here is capable of working this out
  • From: george
• Re: No one here is capable of working this out
  • From: george
• Aristotelian syllogistic and monadic FOL
  • From: Klaus
• Re: Formalization of the "UTM(n)" notation
  • From: C Rode
• Re: p-adic integers
  • From: Peter Webb
• Re: Formalization of the "UTM(n)" notation
  • From: The Ghost In The Machine
• Re: Formalization of the "UTM(n)" notation
  • From: HERC777
• Re: No one here is capable of working this out
  • From: HERC777
• Re: No one here is capable of working this out
  • From: george
• Re: The Problem of the Quick Detectives
  • From: Ken Quirici
• Re: The Problem of the Quick Detectives
  • From: Ken Quirici
• Re: Undecidable
  • From: Jeffrey Ketland
• Re: The Problem of the Quick Detectives
  • From: Indoarsman
• Re: Undecidable
  • From: Aatu Koskensilta
• Re: Undecidable
  • From: William Elliot
• Re: Proof that the diagonal is useless, redundant, noise,
  • From: HERC777
• Re: Undecidable
  • From: Jesse Alama
• Re: Undecidable
  • From: William Elliot
• Re: Undecidable
  • From: William Elliot
• Re: an old issue with E-type statements in Categorical Logic
  • From: raydpratt
• Re: Proof that the diagonal is useless, redundant, noise,
  • From: The Ghost In The Machine
• Re: Undecidable
  • From: Torkel Franzen
• Re: an old issue with E-type statements in Categorical Logic
  • From: raydpratt
• Re: Undecidable
  • From: Jesse Alama
• Re: Undecidable
  • From: Barb Knox
• Re: Proof that the diagonal is useless, redundant, noise,
  • From: HERC777
• Undecidable
  • From: William Elliot
• Re: Excuses, Excuses (was Re: Irony)
  • From: Chris Menzel
• Re: Excuses, Excuses (was Re: Irony)
  • From: Torkel Franzen
• Re: an old issue with E-type statements in Categorical Logic
  • From: Ken Pledger
• Re: p-adic integers
  • From: Arturo Magidin
• Re: Help in answering news story on refutation of fermat's last theorem
  • From: anzaurres1
• Re: p-adic integers
  • From: Arturo Magidin
• Re: p-adic integers
  • From: Arturo Magidin
• Re: p-adic integers
  • From: Robert Low
• Re: p-adic integers
  • From: Ken Quirici
• Re: p-adic integers
  • From: Arturo Magidin
• p-adic integers
  • From: Ken Quirici
• an old issue with E-type statements in Categorical Logic
  • From: googlegroupemail
• 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: george
• Re: Excuses, Excuses (was Re: Irony)
  • From: Torkel Franzen
• Re: The Problem of the Quick Detectives
  • From: Ken Quirici
• Re: The Problem of the Quick Detectives
  • From: Ken Quirici
• The Problem of the Quick Detectives
  • From: Indoarsman
• Re: Excuses, Excuses (was Re: Irony)
  • From: David C . Ullrich
• Re: Excuses, Excuses (was Re: Irony)
  • From: Torkel Franzen
• Re: Proof that the diagonal is useless, redundant, noise,
  • From: The Ghost In The Machine
• [FAQ, 99/07/28] Mathematical logic on the web
  • From: Boris 'pi' Piwinger
• Re: Proof that the diagonal is useless, redundant, noise,
  • From: HERC777
• Re: Excuses, Excuses (was Re: Irony)
  • From: Barb Knox
• Re: Excuses, Excuses (was Re: Irony)
  • From: Chris Menzel
• Re: if the barber cuts everyones beard who doesn't shave himself....
  • From: george
• Re: Excuses, Excuses (was Re: Irony)
  • From: Robert Vienneau

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