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