comp.theory
By Author

1272 messages sorted by: [ date ] [ thread ] [ subject ]

---

Starting: 12/30/04
Ending: 01/31/05

• Aatu Koskensilta
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/29/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/29/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/29/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/18/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/17/05)
  • Re: usenet kooks and a crank scale (01/17/05)
  • Re: usenet kooks and a crank scale (01/16/05)
  • Re: usenet kooks and a crank scale (01/16/05)
  • Re: usenet kooks and a crank scale (01/15/05)
  • Re: usenet kooks and a crank scale (01/15/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/09/05)
• abe.buckingham_at_gmail.com
  • Re: ******* TRY THESE SCI.MATH ********** (01/20/05)
• Acme Diagnostics
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/29/05)
  • Re: Random reals are not computable! (01/25/05)
  • Re: Random reals are not computable! (01/25/05)
• Ajoy K Thamattoor
  • Re: How to compare O(log(d,n)) and O(n^(1/d)) (01/19/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/18/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/18/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/18/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/18/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/10/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/10/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/10/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/09/05)
• Alan Smaill
  • Re: Why we cannot compute omega (01/28/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/17/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/14/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/14/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/14/05)
• alex goldman
  • Re: higher-order logic (01/30/05)
  • higher-order logic (01/27/05)
  • Re: SCRATCH SCRATCH WHY YOU ALL HATE ME NOW? (01/15/05)
  • Re: SCRATCH SCRATCH WHY YOU ALL HATE ME NOW? (01/15/05)
  • Re: SCRATCH SCRATCH WHY YOU ALL HATE ME NOW? (01/15/05)
  • Re: SCRATCH SCRATCH WHY YOU ALL HATE ME NOW? (01/14/05)
  • Re: SCRATCH SCRATCH WHY YOU ALL HATE ME NOW? (01/14/05)
• Alex Lopez-Ortiz
  • WADS 2005 Call for papers (01/16/05)
• Alex Vinokur
  • Re: Wanted: Nondeterministic Turing Machine of Polynomial Time Complexity (01/16/05)
• Alf P. Steinbach
  • Re: Finding maximal repeating substring using suffix tree (01/12/05)
• Amar
  • Re: Is it known whether or not integer factoring is NP-complete? (01/30/05)
  • Re: Is it known whether or not integer factoring is NP-complete? (01/30/05)
  • Re: Is it known whether or not integer factoring is NP-complete? (01/28/05)
  • Re: Is it known whether or not integer factoring is NP-complete? (01/28/05)
• Andersen
  • Re: little-oh (01/19/05)
  • Re: little-oh (01/19/05)
  • Re: little-oh (01/19/05)
  • little-oh (01/19/05)
• André Betz
  • Re: Smaller UTM than Rule110 (01/09/05)
  • Re: Smaller UTM than Rule110 (01/02/05)
  • Smaller UTM than Rule110 (01/01/05)
• Arthur Fischer
  • Re: My claim on Omega's defn (01/31/05)
  • Re: My claim on Omega's defn (01/31/05)
  • Re: My claim on Omega's defn (01/30/05)
  • Re: Why we cannot compute omega (01/25/05)
• Arthur J. O'Dwyer
  • Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? (01/08/05)
• Aso Merapi
  • Re: I HEARBY CLAIM THE SYMBOL oo TO REFER TO UNCOUNTABLE INFINITY (01/19/05)
• Barb Knox
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/30/05)
  • Re: Why we cannot compute omega (01/27/05)
  • Re: Why we cannot compute omega (01/27/05)
  • Re: Metaphysics of Potential Infinity (01/22/05)
  • Re: How many digits is pi computable to? (01/17/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/13/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/13/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/10/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/09/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/09/05)
  • Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? (01/08/05)
• berndlosert_at_netscape.net
  • Re: MTTF of a Disk Array (01/07/05)
  • Re: MTTF of a Disk Array (01/04/05)
  • Re: MTTF of a Disk Array (01/03/05)
  • MTTF of a Disk Array (01/03/05)
• Bill Smythe
  • Re: Infinite number of infinite coin flips (01/22/05)
  • Re: Infinite number of infinite coin flips (01/21/05)
  • Infinite number of infinite coin flips (01/19/05)
  • Re: How many digits is pi computable to? (01/17/05)
  • Re: How many digits is pi computable to? (01/17/05)
  • Re: How many digits is pi computable to? (01/17/05)
• brianm
  • Is this Binary Tree correct ? (01/10/05)
• briggs_at_encompasserve.org
  • Re: OPPOSITE OF all coin sequences are computable to infinite length ? (01/07/05)
• Bryan Olson
  • Re: Follow-up (01/20/05)
• bryant_j_j_at_yahoo.com
  • Re: ******* TRY THESE SCI.MATH ********** (01/26/05)
  • Re: Why we cannot compute omega (01/25/05)
  • Re: Why we cannot compute omega (01/25/05)
  • Re: Why we cannot compute omega (01/25/05)
  • Re: Why we cannot compute omega (01/25/05)
  • Re: How far can you move the bar MONOSPACED (01/25/05)
  • Re: I HEARBY CLAIM THE SYMBOL oo TO REFER TO UNCOUNTABLE INFINITY (01/19/05)
  • Re: VVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVV VVVVVVVV (01/19/05)
  • Re: VVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVV VVVVVVVV (01/19/05)
  • Re: I HEARBY CLAIM THE SYMBOL oo TO REFER TO UNCOUNTABLE INFINITY (01/19/05)
  • Nuisance by |-|erc who has flipped out: Re: How many flips of DIAG are on the infintie list of infinite con flippers? (01/19/05)
  • Re: Closer and closer you move to the Cantorian cliff (01/16/05)
  • Re: SCRATCH SCRATCH WHY YOU ALL HATE ME NOW? (01/15/05)
  • Re: Idiocy of Muckenheim was Re: countability of reals (01/14/05)
  • Re: Idiocy of Muckenheim was Re: countability of reals (01/14/05)
  • Re: Idiocy of Muckenheim was Re: countability of reals (01/14/05)
  • Re: Idiocy of Muckenheim was Re: countability of reals (01/14/05)
  • Re: Idiocy of Muckenheim was Re: countability of reals (01/14/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/14/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/14/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/14/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/14/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
• Casey Hawthorne
  • Re: word relavence (01/07/05)
• Chairman of the David Hilbert Appreciation Society
  • Re: Why we cannot compute omega (01/28/05)
• Charlie-Boo
  • Re: Why we cannot compute omega (01/24/05)
  • Re: Smaller UTM than Rule110 (01/02/05)
• Chris Menzel
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/20/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/18/05)
• Christoph M. Wintersteiger
  • Re: Why NP Problem is Important and Practical Examples (01/14/05)
  • Re: Kolmogorov? (01/08/05)
• Colin Andrew Percival
  • Re: Lower bound analysis, question (01/13/05)
• Dan Rossul
  • SafeDisc and others... (01/04/05)
• Daniel A. Jimenez
  • Re: Complexity of minimal circuit (01/20/05)
• Daniel W. Johnson
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/09/05)
• darkk_at_wo.cz
  • Sum types (01/21/05)
• Daryl McCullough
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/30/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/29/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/29/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/27/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/27/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/27/05)
  • Re: Random reals are not computable! (01/26/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/26/05)
  • Re: Random reals are not computable! (01/25/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/19/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/18/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/11/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/11/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/11/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/10/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/10/05)
  • Re: OPPOSITE OF all coin sequences are computable to infinite length ? (01/07/05)
• Dave Seaman
  • Re: ******* TRY THESE SCI.MATH ********** (01/26/05)
  • Re: How many digits is pi computable to? (01/18/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
• David Ames
  • Re: VVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVV­VVVVVVVV (01/20/05)
• David Bernier
  • Re: Herc defines the HOLY GRAIL OF MATHEMATICS (01/29/05)
  • Re: Herc defines the HOLY GRAIL OF MATHEMATICS (01/29/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/21/05)
• David J. Haglin
  • SIGACT News Deadline, Feb 1 (01/12/05)
• David McAnally
  • Re: True = [ proven | provable ] (01/24/05)
  • Re: True = [ proven | provable ] (01/24/05)
  • Re: True = [ proven | provable ] (01/22/05)
  • Re: True = [ proven | provable ] (01/18/05)
  • Re: True = [ proven | provable ] (01/17/05)
• David Moews
  • Re: In case you studied the GOTO theoretical language... (01/18/05)
  • Re: Winning Ways: NP-hardness question (01/12/05)
  • Re: In case you studied the GOTO theoretical language... (01/11/05)
• David Wagner
  • Re: Decidabilty of a problem of regular languages (01/28/05)
  • Re: bound on number of shortest paths in a undirected & unweighted graph (01/20/05)
  • Re: bound on number of shortest paths in a undirected & unweighted graph (01/19/05)
  • Re: finding ALL shortest paths from i to j (not All pair shortest paths) (01/17/05)
• dayzman_at_hotmail.com
  • Finding maximal repeating substring using suffix tree (01/12/05)
• Don Del Grande
  • Re: How many digits is pi computable to? (01/17/05)
• Ed Murphy
  • Re: Infinite number of infinite coin flips (01/19/05)
  • Re: How many digits is pi computable to? (01/19/05)
  • Re: How many digits is pi computable to? (01/19/05)
  • Re: How many digits is pi computable to? (01/18/05)
  • Re: How many digits is pi computable to? (01/18/05)
  • Re: How many digits is pi computable to? (01/18/05)
  • Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? (01/12/05)
  • Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? (01/11/05)
• Edward Wijaya
  • Finding Maximal Clique (01/22/05)
• el goog
  • Re: Is it known whether or not integer factoring is NP-complete? (01/29/05)
  • Re: finding ALL shortest paths from i to j (not All pair shortest paths) (01/16/05)
• euclid
  • Re: AI will never work in 100 years !!!! (01/27/05)
• examachine_at_gmail.com
  • Re: Why we cannot compute omega (01/29/05)
  • Re: Herc defines the HOLY GRAIL OF MATHEMATICS (01/29/05)
  • Re: Why we cannot compute omega (01/29/05)
  • Re: Why we cannot compute omega (01/28/05)
  • Re: Why we cannot compute omega (01/27/05)
  • Re: Why we cannot compute omega (01/27/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/27/05)
  • Re: Why we cannot compute omega (01/26/05)
  • Re: Random reals are not computable! (01/26/05)
  • Re: Random reals are not computable! (01/26/05)
  • Re: Random reals are not computable! (01/26/05)
  • Re: Metaphysics of Potential Infinity (01/26/05)
  • Re: Random reals are not computable! (01/26/05)
  • Re: Random reals are not computable! (01/26/05)
  • Re: Random reals are not computable! (01/26/05)
  • Re: Random reals are not computable! (01/26/05)
  • Re: Random reals are not computable! (01/26/05)
  • Re: Why we cannot compute omega (01/25/05)
  • Re: Why we cannot compute omega (01/25/05)
  • Re: Metaphysics of Potential Infinity (01/25/05)
  • Re: Metaphysics of Potential Infinity (01/25/05)
  • Re: Random reals are not computable! (01/25/05)
  • Re: Random reals are not computable! (01/25/05)
  • Re: Metaphysics of Potential Infinity (01/25/05)
  • Re: Random reals are not computable! (01/25/05)
  • Re: Why we cannot compute omega (01/25/05)
  • Re: Random reals are not computable! (01/25/05)
  • Re: Metaphysics of Potential Infinity (01/25/05)
  • Random reals are not computable! (01/25/05)
  • Re: Metaphysics of Potential Infinity (01/25/05)
  • Re: Why we cannot compute omega (01/24/05)
  • Re: Why we cannot compute omega (01/24/05)
  • Re: Why we cannot compute omega (01/24/05)
  • Re: Why we cannot compute omega (01/24/05)
  • Re: AI will never work in 100 years !!!! (01/24/05)
  • Re: Why we cannot compute omega (01/24/05)
  • Re: Why we cannot compute omega (01/24/05)
  • Re: Why we cannot compute omega (01/24/05)
  • Re: AI will never work in 100 years !!!! (01/23/05)
  • Re: AI will never work in 100 years !!!! (01/23/05)
  • Re: Metaphysics of Potential Infinity (01/23/05)
  • Re: AI will never work in 100 years !!!! (01/23/05)
  • Re: Who introduced Nondeterministic Turing Machine? (01/23/05)
  • Re: Metaphysics of Potential Infinity (01/23/05)
  • Re: Metaphysics of Potential Infinity (01/23/05)
  • Re: Metaphysics of Potential Infinity (01/23/05)
  • Re: Metaphysics of Potential Infinity (01/23/05)
  • Re: Metaphysics of Potential Infinity (01/22/05)
  • Re: Why NP Problem is Important and Practical Examples (01/19/05)
  • Re: Why NP Problem is Important and Practical Examples (01/19/05)
  • Re: Why NP Problem is Important and Practical Examples (01/19/05)
  • Re: Why NP Problem is Important and Practical Examples (01/19/05)
  • Re: True = [ proven | provable ] (01/19/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/18/05)
  • Re: Why NP Problem is Important and Practical Examples (01/18/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/17/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/16/05)
  • Re: Why NP Problem is Important and Practical Examples (01/16/05)
  • Re: SCRATCH SCRATCH WHY YOU ALL HATE ME NOW? (01/15/05)
  • Re: Towards disproof of Omega (01/15/05)
  • Re: Towards disproof of Omega (01/14/05)
  • Re: Towards disproof of Omega (01/14/05)
  • Re: Towards disproof of Omega (01/14/05)
  • Re: Towards disproof of Omega (01/13/05)
  • Re: Towards disproof of Omega (01/13/05)
  • Re: Fast arrays (01/13/05)
  • Re: Fast arrays (01/12/05)
• exanews_at_gmail.com
  • Re: Metaphysics of Potential Infinity (01/21/05)
  • Re: Metaphysics of Potential Infinity (01/21/05)
  • Metaphysics of Potential Infinity (01/21/05)
• Foobarus Frobinium
  • Prime Factor-Based n-ary Tree (01/25/05)
• Gareth Owen
  • Re: How many digits is pi computable to? (01/18/05)
• gcrhoads_at_yahoo.com
  • Re: Finding Maximal Clique (01/25/05)
  • Re: How to compare O(log(d,n)) and O(n^(1/d)) (01/19/05)
• george
  • Re: Why we cannot compute omega (01/25/05)
  • Re: Metaphysics of Potential Infinity (01/22/05)
  • Re: Closer and closer you move to the Cantorian cliff (01/16/05)
  • Re: Closer and closer you move to the Cantorian cliff (01/16/05)
  • Re: The hyper-infinity believers friendly question (01/12/05)
  • Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? (01/12/05)
  • Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? (01/12/05)
  • Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? (01/12/05)
• George Cox
  • Re: THERE ARE oo DIGITS IN < 0 . 1 2 1 2 1.. > (01/26/05)
  • Re: THERE ARE oo DIGITS IN < 0 . 1 2 1 2 1.. > (01/26/05)
  • Re: "A random real number will be on a computables list to an infinite number of digits" (01/20/05)
  • Re: True = [ proven | provable ] (01/20/05)
  • Re: "A random real number will be on a computables list to an infinite number of digits" (01/20/05)
  • Re: True = [ proven | provable ] (01/20/05)
  • Re: True = [ proven | provable ] (01/20/05)
  • Re: True = [ proven | provable ] (01/17/05)
  • Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? (01/09/05)
  • Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? (01/09/05)
  • Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? (01/08/05)
• google_at_technologist.com
  • Tree Automata Intersection Algorithm (01/07/05)
• Guenter Stertenbrink
  • Re: Finding Maximal Clique (01/27/05)
  • Re: finding ALL shortest paths from i to j (not All pair shortest paths) (01/27/05)
• H. Enderton
  • Re: higher-order logic (01/30/05)
• H. J. Sander Bruggink
  • Re: In case you studied the GOTO theoretical language... (01/11/05)
• Helene.Boucher_at_wanadoo.fr
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/31/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
• Herman Jurjus
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/31/05)
• iluhinson_at_gmail.com
  • Ambiguous and not ambiguous Context Free Grammars (01/28/05)
• Ivan Kopecek
  • Re: Who can prove Boruvka's algorithm ? (01/25/05)
• J.H.Jongejan
  • Re: Who can prove Boruvka's algorithm ? (01/20/05)
• jblanch
  • Are current indexing methods too simple? (01/23/05)
  • Is stright indexing taking up too much space? (01/23/05)
  • Re: word relavence (01/09/05)
  • word relavence (01/07/05)
• Jean-Marc Bourguet
  • Re: To generate all permutations of length N (01/21/05)
• Jeffrey Ketland
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/29/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/28/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/28/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/28/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/28/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/28/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/27/05)
  • Re: Random reals are not computable! (01/26/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/26/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/24/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/16/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/14/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/14/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/13/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
• Joe
  • two questions about unicyclic graph (01/26/05)
  • About Prufer code (01/22/05)
  • How to design a linear algorithm to determine whether two uncyclic graphs are ismophic (01/21/05)
  • Who can prove Boruvka's algorithm ? (01/19/05)
  • centre of graph (01/19/05)
  • two questions about unicyclic graph (01/17/05)
• John
  • Universal Hashing Functions for strings (01/24/05)
  • Approximate Eigenvalues (01/24/05)
  • Is this hash function Universal? (01/13/05)
  • Test, Please ignore! (01/07/05)
• John Savard
  • Re: *** The string is on_the_list TO_INFINITE_DIGITS is NOT incomprehensible *** (01/18/05)
  • Re: *** The string is on_the_list TO_INFINITE_DIGITS is NOT incomprehensible *** (01/18/05)
  • Re: True = [ proven | provable ] (01/17/05)
  • Re: Closer and closer you move to the Cantorian cliff (01/17/05)
  • Re: OPPOSITE OF all coin sequences are computable to infinite length ? (01/09/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/09/05)
  • Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? (01/09/05)
  • Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? (01/09/05)
• John Titor
  • Re: True = [ proven | provable ] (01/26/05)
• Jon Haugsand
  • Re: To generate all permutations of length N (01/21/05)
• Jose Juan Mendoza Rodriguez
  • Re: higher-order logic (01/28/05)
• Josh Purinton
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/15/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
• jrefactors_at_hotmail.com
  • Re: Why NP Problem is Important and Practical Examples (01/15/05)
  • Why NP Problem is Important and Practical Examples (01/12/05)
• Jussi Rintanen
  • Finding large bipartite subgraphs (01/07/05)
• Kate Orman
  • Re: Towards disproof of Omega (01/14/05)
• Keith Ramsay
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/30/05)
• Ken
  • random eulerian circuit tour (01/18/05)
• Ken Johnson
  • Re: How many digits is pi computable to? (01/20/05)
• ken quirici
  • Re: Infinite number of infinite coin flips (01/21/05)
  • Re: HERC 97 SCI.MATH 0 (01/20/05)
  • Re: In case you studied the GOTO theoretical language... (01/12/05)
  • Re: In case you studied the GOTO theoretical language... (01/11/05)
• Kenneth Doyle
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/19/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/19/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/19/05)
  • Re: Smaller UTM than Rule110 (01/19/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/19/05)
  • Re: In case you studied the GOTO theoretical language... (01/11/05)
  • Re: Smaller UTM than Rule110 (01/04/05)
• Kent Paul Dolan
  • Re: AI will never work in 100 years !!!! (01/23/05)
  • Re: Making images - best language? (01/21/05)
  • Re: How many digits is pi computable to? (01/19/05)
  • Re: How many digits is pi computable to? (01/19/05)
  • Re: How many digits is pi computable to? (01/19/05)
  • Re: How many digits is pi computable to? (01/18/05)
  • Re: Towards disproof of Omega (01/14/05)
  • Re: [complexity][algorithm] Find a clique in a graph (01/08/05)
  • Re: Towards disproof of Omega (01/07/05)
  • Re: Smaller UTM than Rule110 (01/06/05)
  • Re: Smaller UTM than Rule110 (01/04/05)
  • Re: Smaller UTM than Rule110 (01/04/05)
  • Re: Smaller UTM than Rule110 (01/04/05)
  • Re: Smaller UTM than Rule110 (01/03/05)
  • Re: Smaller UTM than Rule110 (01/02/05)
  • [meta]: Smaller UTM than Rule110 (01/02/05)
  • Re: Smaller UTM than Rule110 (01/02/05)
  • [META] Google "Scholar" (12/31/04)
• Kerry Soileau
  • Is it known whether or not integer factoring is NP-complete? (01/28/05)
• korax1214_at_mailandnews.co.uk
  • Re: How to design a linear algorithm to determine whether two uncyclic graphs are ismophic (01/21/05)
• Kvele
  • turing machine (01/07/05)
• Lady Chatterly
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/14/05)
• Lars Engebretsen
  • Re: little-oh (01/19/05)
  • Re: little-oh (01/19/05)
  • Re: little-oh (01/19/05)
• Lars Kecke
  • Re: True = [ proven | provable ] (01/17/05)
• Lasse
  • Re: ******* TRY THESE SCI.MATH ********** (01/20/05)
• Lee Rudolph
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/31/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/29/05)
  • Re: Random reals are not computable! (01/25/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/09/05)
• Leon
  • How to compare O(log(d,n)) and O(n^(1/d)) (01/18/05)
• les_ander_at_yahoo.com
  • bound on number of shortest paths in a undirected & unweighted graph (01/18/05)
  • Re: finding ALL shortest paths from i to j (not All pair shortest paths) (01/16/05)
  • finding ALL shortest paths from i to j (not All pair shortest paths) (01/15/05)
• Lester Zick
  • Re: AI will never work in 100 years !!!! (01/27/05)
  • Re: AI will never work in 100 years !!!! (01/27/05)
• LordBeotian
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/31/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/31/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/30/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/29/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/26/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/26/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/26/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/26/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/26/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/25/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/25/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/25/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/24/05)
  • Re: True = [ proven | provable ] (01/24/05)
  • Re: True = [ proven | provable ] (01/24/05)
  • Re: True = [ proven | provable ] (01/21/05)
  • Re: True = [ proven | provable ] (01/20/05)
  • Re: True = [ proven | provable ] (01/19/05)
  • Re: True = [ proven | provable ] (01/19/05)
  • Re: True = [ proven | provable ] (01/18/05)
  • Re: True = [ proven | provable ] (01/18/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/16/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/16/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/13/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
• Lysander
  • Re: True = [ proven | provable ] (01/17/05)
• Marco
  • Re: [complexity][algorithm] Find a clique in a graph (01/24/05)
  • Re: [complexity][algorithm] Find a clique in a graph (01/24/05)
  • [complexity][algorithm] Find a clique in a graph (01/08/05)
• mareg_at_mimosa.csv.warwick.ac.uk
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/29/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/29/05)
  • Re: To generate all permutations of length N (01/21/05)
  • Re: little-oh (01/19/05)
• Mark Carroll
  • Re: Making images - best language? (01/21/05)
• Markus Redeker
  • Re: Smaller UTM than Rule110 (01/02/05)
• Martin Johansen
  • Re: atoi (01/20/05)
• Matt Timmermans
  • Re: two questions about unicyclic graph (01/22/05)
  • Re: Tree Automata Intersection Algorithm (01/08/05)
  • Re: MTTF of a Disk Array (01/03/05)
• Matthew Russotto
  • Re: Infinite number of infinite coin flips (01/19/05)
  • Re: How many digits is pi computable to? (01/18/05)
  • Re: How many digits is pi computable to? (01/18/05)
• Mcintosh Harold V.
  • Re: Smaller UTM than Rule110 (01/11/05)
  • Re: Smaller UTM than Rule110 (01/09/05)
• Michael Mendelsohn
  • Re: How many digits is pi computable to? (01/17/05)
  • Re: How many digits is pi computable to? (01/17/05)
• Miguel.V
  • Decidabilty of a problem of regular languages (01/28/05)
• Mike Oliver
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/29/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/29/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/27/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/26/05)
  • Re: Random reals are not computable! (01/26/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/26/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/25/05)
  • Re: Random reals are not computable! (01/25/05)
  • Re: Random reals are not computable! (01/25/05)
  • Re: Random reals are not computable! (01/25/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/25/05)
  • Re: *** The string is on_the_list TO_INFINITE_DIGITS is NOT incomprehensible *** (01/19/05)
  • Re: *** The string is on_the_list TO_INFINITE_DIGITS is NOT incomprehensible *** (01/18/05)
• Mike Robson
  • Re: Winning Ways: NP-hardness question (01/11/05)
  • Re: Winning Ways: NP-hardness question (01/11/05)
  • Re: Winning Ways: NP-hardness question (01/11/05)
• Miss Elaine Eos
  • Re: AI will never work in 100 years !!!! (01/24/05)
• Mitch Harris
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/31/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/31/05)
  • Re: Is it known whether or not integer factoring is NP-complete? (01/28/05)
  • Re: Metaphysics of Potential Infinity (01/27/05)
  • Re: Metaphysics of Potential Infinity (01/26/05)
  • Re: Metaphysics of Potential Infinity (01/24/05)
  • Re: Making images - best language? (01/21/05)
  • Re: Metaphysics of Potential Infinity (01/21/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/19/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/19/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/19/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/19/05)
  • Re: little-oh (01/19/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/19/05)
  • Re: little-oh (01/19/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/18/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/18/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/18/05)
  • Re: Winning Ways: NP-hardness question (01/18/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/17/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/17/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/17/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/17/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/17/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/16/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/14/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/14/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/14/05)
  • Metatopic: newsgroups vs. blogs (01/13/05)
  • Re: Winning Ways: NP-hardness question (01/12/05)
  • Re: Winning Ways: NP-hardness question (01/12/05)
  • Re: Winning Ways: NP-hardness question (01/12/05)
  • Winning Ways: NP-hardness question (01/11/05)
  • Re: Smaller UTM than Rule110 (01/05/05)
• Mladen Adamovic
  • Re: Graph drawing tool (01/29/05)
  • Re: [complexity][algorithm] Find a clique in a graph (01/09/05)
• namducnguyen
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/17/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/14/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/14/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/11/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/11/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/10/05)
• newstome_at_comcast.net
  • Re: Is it known whether or not integer factoring is NP-complete? (01/29/05)
  • Re: Is it known whether or not integer factoring is NP-complete? (01/28/05)
  • Re: little-oh (01/20/05)
• Nicholas King
  • Re: Why NP Problem is Important and Practical Examples (01/12/05)
  • Re: Why NP Problem is Important and Practical Examples (01/12/05)
• nikolai kingsley
  • Re: How many digits is pi computable to? (01/18/05)
• nobody
  • Re: AI will never work in 100 years !!!! (01/25/05)
  • Re: AI will never work in 100 years !!!! (01/24/05)
  • Re: AI will never work in 100 years !!!! (01/24/05)
  • Re: AI will never work in 100 years !!!! (01/23/05)
  • Re: AI will never work in 100 years !!!! (01/23/05)
• nszabolcs
  • Re: Graph drawing tool (01/28/05)
• Ogie Ogelthorpe
  • Re: True = [ proven | provable ] (01/18/05)
  • Re: True = [ proven | provable ] (01/17/05)
• Ogie Oglethorpe
  • Re: True = [ proven | provable ] (01/20/05)
• Owen
  • Re: higher-order logic (01/31/05)
  • Re: Metaphysics of Potential Infinity (01/21/05)
• Patricia Shanahan
  • Re: ******* TRY THESE SCI.MATH ********** (01/25/05)
• Paul Boca
  • FACS FACTS Newsletter Call for Contributions on Formal Aspects of Computing Science (deadline 11 February 2005) (01/30/05)
• Paul E. Black
  • Re: Fast arrays (01/13/05)
  • Re: Fast arrays (01/12/05)
  • Re: Why NP Problem is Important and Practical Examples (01/12/05)
• per.vognsen_at_gmail.com
  • Re: Silly Recurrence (01/03/05)
• Phil Carmody
  • Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? (01/10/05)
  • Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? (01/09/05)
• Piotr Sawuk
  • Re: Idiocy of Muckenheim was Re: countability of reals (01/26/05)
  • Re: Idiocy of Muckenheim was Re: countability of reals (01/18/05)
• pleonasm
  • Re: AI will never work in 100 years !!!! (01/27/05)
• poopdeville_at_gmail.com
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/29/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/29/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/28/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/28/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/28/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/28/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/28/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/28/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/27/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/26/05)
  • Re: Metaphysics of Potential Infinity (01/26/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/26/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/26/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/25/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/25/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/24/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/24/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/19/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/19/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/15/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/15/05)
  • Re: SCRATCH SCRATCH WHY YOU ALL HATE ME NOW? (01/14/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/14/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/14/05)
  • Re: SCRATCH SCRATCH WHY YOU ALL HATE ME NOW? (01/14/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
• Popai
  • Re: Finding maximal repeating substring using suffix tree (01/12/05)
• Prai Jei
  • Re: *** The string is on_the_list TO_INFINITE_DIGITS is NOT incomprehensible *** (01/18/05)
• Przemyslaw Wesolek
  • Re: Kolmogorov? (01/14/05)
  • Re: Fast arrays (01/14/05)
  • Fast arrays (01/12/05)
• puzzlecracker
  • atoi (01/20/05)
  • atoi (01/20/05)
  • riddles array (01/20/05)
  • LL TO BST (01/19/05)
• r.e.s.
  • Re: My claim on Omega's defn (01/31/05)
  • Re: My claim on Omega's defn (01/31/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/29/05)
  • Re: Herc defines the HOLY GRAIL OF MATHEMATICS (01/29/05)
  • Re: Why we cannot compute omega (01/29/05)
  • Re: Herc defines the HOLY GRAIL OF MATHEMATICS (01/29/05)
  • Re: Why we cannot compute omega (01/29/05)
  • Re: Herc defines the HOLY GRAIL OF MATHEMATICS (01/29/05)
  • Re: Why we cannot compute omega (01/29/05)
  • Re: Herc defines the HOLY GRAIL OF MATHEMATICS (01/29/05)
  • Re: Why we cannot compute omega (01/29/05)
  • Re: Herc defines the HOLY GRAIL OF MATHEMATICS (01/29/05)
  • Re: Why we cannot compute omega (01/29/05)
  • Re: Why we cannot compute omega (01/28/05)
  • Re: Why we cannot compute omega (01/27/05)
  • Re: Why we cannot compute omega (01/27/05)
  • Re: Why we cannot compute omega (01/27/05)
  • Re: Random reals are not computable! (01/26/05)
  • Re: Metaphysics of Potential Infinity (01/24/05)
  • Re: Who introduced Nondeterministic Turing Machine? (01/23/05)
  • Re: Metaphysics of Potential Infinity (01/23/05)
  • Re: Metaphysics of Potential Infinity (01/23/05)
  • Re: Metaphysics of Potential Infinity (01/21/05)
  • Re: Metaphysics of Potential Infinity (01/21/05)
  • Re: Why NP Problem is Important and Practical Examples (01/20/05)
  • Re: Why NP Problem is Important and Practical Examples (01/19/05)
  • Re: Why NP Problem is Important and Practical Examples (01/19/05)
  • Re: Why NP Problem is Important and Practical Examples (01/19/05)
  • Re: How many digits is pi computable to? (01/18/05)
  • Re: How many digits is pi computable to? (01/18/05)
  • Re: Why NP Problem is Important and Practical Examples (01/16/05)
  • Re: In case you studied the GOTO theoretical language... (01/12/05)
  • Re: Smaller UTM than Rule110 (01/03/05)
  • Re: Smaller UTM than Rule110 (01/02/05)
  • Re: Smaller UTM than Rule110 (01/02/05)
• Ralph Hartley
  • Re: WELL WHICH IS IT... ? (01/27/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/26/05)
  • Re: WELL WHICH IS IT... ? (01/25/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/19/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/18/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/14/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/13/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/13/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/11/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/11/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/11/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/11/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/11/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/11/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/10/05)
  • Re: Smaller UTM than Rule110 (01/10/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/10/05)
  • Re: Smaller UTM than Rule110 (01/05/05)
  • Re: Smaller UTM than Rule110 (01/03/05)
• rehhman
  • Re: Fast arrays (01/12/05)
  • Number System (01/12/05)
• Richard Harter
  • Re: How to design a linear algorithm to determine whether two uncyclic graphs are ismophic (01/21/05)
• Richard Tobin
  • Re: OPPOSITE OF all coin sequences are computable to infinite length ? (01/07/05)
• Rick Decker
  • Re: To generate all permutations of length N (01/22/05)
  • Re: To generate all permutations of length N (01/21/05)
  • Re: Why NP Problem is Important and Practical Examples (01/16/05)
  • Re: Why NP Problem is Important and Practical Examples (01/15/05)
  • Re: Lower bound analysis, question (01/13/05)
  • Re: Lower bound analysis, question (01/13/05)
  • Re: Lower bound analysis, question (01/13/05)
  • Re: Fast arrays (01/13/05)
  • Re: Why NP Problem is Important and Practical Examples (01/12/05)
  • Re: Why NP Problem is Important and Practical Examples (01/12/05)
  • Re: Fast arrays (01/12/05)
  • Re: Why NP Problem is Important and Practical Examples (01/12/05)
  • Re: In case you studied the GOTO theoretical language... (01/11/05)
  • Re: Is this Binary Tree correct ? (01/10/05)
  • Kolmogorov? (01/08/05)
  • Re: Smaller UTM than Rule110 (01/05/05)
  • Re: Smaller UTM than Rule110 (01/04/05)
  • Re: Smaller UTM than Rule110 (01/04/05)
• Robert Kolker
  • Re: Metaphysics of Potential Infinity (01/22/05)
  • Re: Metaphysics of Potential Infinity (01/21/05)
  • Re: OPPOSITE OF all coin sequences are computable to infinite length ? (01/07/05)
• Roderick Bloem
  • Re: Graph drawing tool (01/27/05)
  • Complexity of minimal circuit (01/20/05)
• Ron Sperber
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
• ronaldfinkbine_at_hotmail.com
  • Re: Making images - best language? (01/26/05)
  • Graph drawing tool (01/26/05)
• rupertmccallum_at_yahoo.com
  • Re: My claim on Omega's defn (01/31/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/25/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/24/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/24/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/24/05)
  • Re: Why we cannot compute omega (01/24/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/24/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/24/05)
  • Re: Why we cannot compute omega (01/24/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/24/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/24/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/24/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/23/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/23/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/23/05)
  • Re: WELL WHICH IS IT... ? (01/23/05)
  • Re: WELL WHICH IS IT... ? (01/21/05)
  • Re: How many flips of DIAG are on the infintie list of infinite con flippers ? (01/21/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/20/05)
  • Re: How many flips of DIAG are on the infintie list of infinite con flippers ? (01/20/05)
  • Re: How many flips of DIAG are on the infintie list of infinite con flippers ? (01/19/05)
• Russell Easterly
  • Re: A Class of X3SAT Solvable in PolyTime (01/31/05)
  • Re: A Class of X3SAT Solvable in PolyTime (01/30/05)
  • A Class of X3SAT Solvable in PolyTime (01/28/05)
  • A Clause Based Upperbound for 3XSAT (01/12/05)
  • Re: Smaller UTM than Rule110 (01/03/05)
• sandey
  • Re: riddles array (01/20/05)
  • Re: bound on number of shortest paths in a undirected & unweighted graph (01/20/05)
  • Re: bound on number of shortest paths in a undirected & unweighted graph (01/20/05)
  • Re: bound on number of shortest paths in a undirected & unweighted graph (01/19/05)
  • Re: two questions about unicyclic graph (01/18/05)
  • Re: finding ALL shortest paths from i to j (not All pair shortest paths) (01/16/05)
  • Re: finding ALL shortest paths from i to j (not All pair shortest paths) (01/16/05)
• Scott Aaronson
  • Re: Complexity of minimal circuit (01/23/05)
• Scott Dorsey
  • Re: AI will never work in 100 years !!!! (01/27/05)
  • Re: AI will never work in 100 years !!!! (01/27/05)
  • Re: How many digits is pi computable to? (01/19/05)
• scottW
  • advise on math course (01/17/05)
• sergei_m_1_at_yahoo.com
  • examples of nfa to dfa conversion (01/01/05)
• siahpoushha
  • Re: Scholarship in Paderborn, Germany (01/09/05)
• Smalmatskungen
  • Re: Lower bound analysis, question (01/13/05)
  • Re: Lower bound analysis, question (01/13/05)
  • Lower bound analysis, question (01/12/05)
• Stephen Harris
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
• stephen_at_nomail.com
  • Re: WELL WHICH IS IT... ? (01/21/05)
  • Re: Lower bound analysis, question (01/13/05)
  • Re: Number System (01/12/05)
  • Re: Winning Ways: NP-hardness question (01/11/05)
  • Re: MTTF of a Disk Array (01/03/05)
• sytelus_at_yahoo.com
  • Quest For The Minimal Instruction Set (01/20/05)
• taati_at_dpir.com
  • Re: advise on math course (01/17/05)
• tchow_at_lsa.umich.edu
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/31/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/29/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/29/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/29/05)
  • Name the thesis: "Formal sentences capture informal ones" (01/29/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/29/05)
  • Re: Is it known whether or not integer factoring is NP-complete? (01/29/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/29/05)
  • Re: Is it known whether or not integer factoring is NP-complete? (01/29/05)
  • Re: Is it known whether or not integer factoring is NP-complete? (01/29/05)
  • Re: Is it known whether or not integer factoring is NP-complete? (01/28/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/28/05)
  • Re: Is it known whether or not integer factoring is NP-complete? (01/28/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/27/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/27/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/27/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/27/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/26/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/26/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/26/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/25/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/25/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/25/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/24/05)
  • Re: To generate all permutations of length N (01/21/05)
  • Re: To generate all permutations of length N (01/21/05)
  • Re: To generate all permutations of length N (01/21/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/20/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/19/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/19/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/19/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/19/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/18/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/18/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/18/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/18/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/17/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/17/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/17/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/17/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/14/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/14/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/14/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/14/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/14/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: Winning Ways: NP-hardness question (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: Winning Ways: NP-hardness question (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/11/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/11/05)
  • Re: Winning Ways: NP-hardness question (01/11/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/11/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/11/05)
  • Re: Winning Ways: NP-hardness question (01/11/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/11/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/11/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/10/05)
  • Re: Smaller UTM than Rule110 (01/10/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/10/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/10/05)
  • Re: Finding large bipartite subgraphs (01/07/05)
  • Re: Smaller UTM than Rule110 (01/05/05)
  • Re: Smaller UTM than Rule110 (01/04/05)
• tcne
  • Re: Follow-up (01/20/05)
  • Follow-up (01/20/05)
• Termite of Tempation
  • Re: How many flips of DIAG are on the infintie list of infinite con flippers? (01/19/05)
  • Re: I HEARBY CLAIM THE SYMBOL oo TO REFER TO UNCOUNTABLE INFINITY (01/19/05)
  • Re: I HEARBY CLAIM THE SYMBOL oo TO REFER TO UNCOUNTABLE INFINITY (01/19/05)
  • Re: The hyper-infinity believers friendly question (01/12/05)
• The Ghost In The Machine
  • Re: My claim on Omega's defn (01/31/05)
  • Re: My claim on Omega's defn (01/31/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/29/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/29/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/27/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/27/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/26/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/26/05)
  • Re: WELL WHICH IS IT... ? (01/26/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/26/05)
  • Re: How far can you move the bar MONOSPACED (01/25/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/25/05)
  • Re: Why we cannot compute omega (01/25/05)
  • Re: How far can you move the bar MONOSPACED (01/25/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/24/05)
  • Re: Why we cannot compute omega (01/24/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/24/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/23/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/23/05)
  • Re: How many flips of DIAG are on the infintie list of infinite con flippers ? (01/22/05)
  • Re: How many flips of DIAG are on the infintie list of infinite con flippers ? (01/22/05)
  • Re: How many flips of DIAG are on the infintie list of infinite con flippers ? (01/22/05)
  • Re: WELL WHICH IS IT... ? (01/22/05)
  • Re: WELL WHICH IS IT... ? (01/21/05)
  • Re: How many flips of DIAG are on the infintie list of infinite con flippers ? (01/21/05)
  • Re: "A random real number will be on a computables list to an infinite number of digits" (01/21/05)
  • Re: How many flips of DIAG are on the infintie list of infinite con flippers ? (01/20/05)
  • Re: HERC 97 SCI.MATH 0 (01/20/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/20/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/20/05)
  • Re: "A random real number will be on a computables list to an infinite number of digits" (01/20/05)
  • Re: "A random real number will be on a computables list to an infinite number of digits" (01/20/05)
  • Re: How many flips of DIAG are on the infintie list of infinite con flippers ? (01/19/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: HOW MANY DIGITS OF PI HAVE PROPERTY X ? (01/12/05)
  • Re: Difference between AN UNKNOWN and UNKNOWN (01/12/05)
  • Re: Difference between AN UNKNOWN and UNKNOWN (01/11/05)
  • Re: Towards disproof of Omega (01/07/05)
  • Re: Towards disproof of Omega (01/07/05)
  • Re: OPPOSITE OF all coin sequences are computable to infinite length ? (01/07/05)
• THE SWARM MASTER
  • In case you studied the GOTO theoretical language... (01/16/05)
  • In case you studied the GOTO theoretical language... (01/11/05)
  • In case you studied the GOTO theoretical language... (01/09/05)
• Thomas A. Li
  • Re: solving SAT: generating extended resolution proofs using techniques for resolution? (01/27/05)
  • Re: solving SAT: generating extended resolution proofs using techniques for resolution? (01/26/05)
  • Re: Who introduced Nondeterministic Turing Machine? (01/24/05)
  • Who introduced Nondeterministic Turing Machine? (01/23/05)
  • Re: Why NP Problem is Important and Practical Examples (01/13/05)
• Thomas B.
  • Re: Shannon's information theory (01/01/05)
• Tim Peters
  • Re: OPPOSITE OF all coin sequences are computable to infinite length ? (01/08/05)
  • Re: OPPOSITE OF all coin sequences are computable to infinite length ? (01/07/05)
• Tim Tyler
  • Re: Smaller UTM than Rule110 (01/10/05)
  • Re: Smaller UTM than Rule110 (01/06/05)
  • Re: Smaller UTM than Rule110 (01/05/05)
  • Re: Smaller UTM than Rule110 (01/05/05)
  • Re: Smaller UTM than Rule110 (01/04/05)
  • Re: Smaller UTM than Rule110 (01/04/05)
  • Re: Smaller UTM than Rule110 (01/04/05)
  • Re: Smaller UTM than Rule110 (01/04/05)
  • Re: Smaller UTM than Rule110 (01/04/05)
  • Re: Smaller UTM than Rule110 (01/04/05)
  • Re: Smaller UTM than Rule110 (01/03/05)
  • Re: Smaller UTM than Rule110 (01/03/05)
  • Re: [meta]: Smaller UTM than Rule110 (01/02/05)
  • Re: Smaller UTM than Rule110 (01/02/05)
  • Re: Smaller UTM than Rule110 (01/02/05)
  • Re: Smaller UTM than Rule110 (01/02/05)
• Timothy Little
  • Re: Towards disproof of Omega (01/08/05)
  • Re: OPPOSITE OF all coin sequences are computable to infinite length ? (01/07/05)
  • Re: OPPOSITE OF all coin sequences are computable to infinite length ? (01/07/05)
  • Re: OPPOSITE OF all coin sequences are computable to infinite length ? (01/07/05)
• tinyurl.com/uh3t
  • Re: Closer and closer you move to the Cantorian cliff (01/16/05)
  • Re: Closer and closer you move to the Cantorian cliff (01/16/05)
• Toby Walsh
  • CFP: SAT 2005 (2nd CFP) (01/17/05)
• Torben Ægidius Mogensen
  • Re: Is it known whether or not integer factoring is NP-complete? (01/28/05)
  • Re: Is it known whether or not integer factoring is NP-complete? (01/28/05)
  • Re: riddles array (01/20/05)
  • Re: Quest For The Minimal Instruction Set (01/20/05)
• Torkel Franzen
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/31/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/31/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/31/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/29/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/29/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/29/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/29/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/28/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/28/05)
  • Re: Random reals are not computable! (01/26/05)
  • Re: Random reals are not computable! (01/26/05)
  • Re: Random reals are not computable! (01/25/05)
  • Re: Random reals are not computable! (01/25/05)
  • Re: Random reals are not computable! (01/25/05)
  • Re: True = [ proven | provable ] (01/24/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/24/05)
  • Re: True = [ proven | provable ] (01/22/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/19/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/19/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/19/05)
  • Re: True = [ proven | provable ] (01/18/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/18/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/18/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/18/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/17/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/17/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/17/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/17/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/16/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/15/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/15/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/14/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/14/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/14/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/14/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/14/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/14/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/14/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/14/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/14/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/13/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/13/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/13/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/11/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/11/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/11/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/11/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/11/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/11/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/10/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/10/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/10/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/09/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/09/05)
  • Re: Smaller UTM than Rule110 (01/04/05)
• valdez
  • Re: THERE ARE oo DIGITS IN < 0 . 1 2 1 2 1.. > (01/26/05)
  • Re: THERE ARE oo DIGITS IN < 0 . 1 2 1 2 1.. > (01/26/05)
  • Re: THERE ARE oo DIGITS IN < 0 . 1 2 1 2 1.. > (01/26/05)
  • Re: THERE ARE oo DIGITS IN < 0 . 1 2 1 2 1.. > (01/26/05)
• Vince
  • Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? (01/16/05)
• W.J. van Hoeve
  • CFP: CP-AI-OR 2005: Last call for papers (01/08/05)
• Will Nayor
  • Re: solving SAT: generating extended resolution proofs using techniques for resolution? (01/27/05)
  • Re: solving SAT: generating extended resolution proofs using techniques for resolution? (01/26/05)
  • Q: solving SAT: generating extended resolution proofs using techniques for resolution? (01/26/05)
• Will Twentyman
  • Re: Random reals are not computable! (01/27/05)
  • Re: How far can you move the bar MONOSPACED (01/26/05)
  • Re: How far can you move the bar MONOSPACED (01/26/05)
  • Re: Why we cannot compute omega (01/25/05)
  • Re: Why we cannot compute omega (01/25/05)
  • Re: How far can you move the bar MONOSPACED (01/25/05)
  • Re: How far can you move the bar MONOSPACED (01/25/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/25/05)
  • Re: Why we cannot compute omega (01/24/05)
  • Re: How far can you move the bar MONOSPACED (01/24/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/24/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/24/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/24/05)
  • Re: WELL WHICH IS IT... ? (01/21/05)
  • Re: HERC 97 SCI.MATH 0 (01/21/05)
  • Re: HERC 97 SCI.MATH 0 (01/20/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/20/05)
  • Re: "A random real number will be on a computables list to an infinite number of digits" (01/20/05)
  • Re: I HEARBY CLAIM THE SYMBOL oo TO REFER TO UNCOUNTABLE INFINITY (01/19/05)
  • Re: How many flips of DIAG are on the infintie list of infinite con flippers? (01/19/05)
  • Re: How many digits is pi computable to? (01/19/05)
  • Re: Idiocy of Muckenheim was Re: countability of reals (01/17/05)
  • Re: Idiocy of Muckenheim was Re: countability of reals (01/14/05)
  • Re: Idiocy of Muckenheim was Re: countability of reals (01/14/05)
  • Re: Number System (01/13/05)
  • Re: The hyper-infinity believers friendly question (01/12/05)
  • Re: HOW MANY DIGITS OF PI HAVE PROPERTY X ? (01/12/05)
  • Re: Difference between AN UNKNOWN and UNKNOWN (01/12/05)
  • Re: Difference between AN UNKNOWN and UNKNOWN (01/12/05)
  • Re: Difference between AN UNKNOWN and UNKNOWN (01/12/05)
  • Re: HOW MANY DIGITS OF PI HAVE PROPERTY X ? (01/11/05)
  • Re: Difference between AN UNKNOWN and UNKNOWN (01/11/05)
  • Re: Difference between AN UNKNOWN and UNKNOWN (01/10/05)
  • Re: OPPOSITE OF all coin sequences are computable to infinite length ? (01/07/05)
• William Elliot
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
• xanthian_at_well.com
  • Re: AI will never work in 100 years !!!! (01/25/05)
  • Re: AI will never work in 100 years !!!! (01/25/05)
• XMLGuy
  • Re: Tree Automata Intersection Algorithm (01/13/05)
  • Re: Tree Automata Intersection Algorithm (01/10/05)
• Yao Ziyuan
  • Re: Input/Output Cache Systems for the Web (01/22/05)
  • Input/Output Cache Systems for the Web (01/22/05)
  • Re: To generate all permutations of length N (01/21/05)
• yaoziyuan_at_gmail.com
  • Re: A New Layer on the USENET (01/26/05)
  • Re: A New Layer on the USENET (01/26/05)
  • Re: A New Layer on the USENET (01/26/05)
  • A New Layer on the USENET (01/26/05)
  • Re: Input/Output Cache Systems for the Web (01/22/05)
  • Re: To generate all permutations of length N (01/21/05)
  • To generate all permutations of length N (01/21/05)
• yeahright_at_sitandspin.com
  • Making images - best language? (01/21/05)
• |-|erc
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/31/05)
  • Re: My claim on Omega's defn (01/31/05)
  • Re: My claim on Omega's defn (01/31/05)
  • Re: My claim on Omega's defn (01/31/05)
  • Re: My claim on Omega's defn (01/31/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • My claim on Omega's defn (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Name the thesis: "Formal sentences capture informal ones" (01/30/05)
  • Re: Why we cannot compute omega (01/30/05)
  • Re: Herc defines the HOLY GRAIL OF MATHEMATICS (01/29/05)
  • Re: Why we cannot compute omega (01/29/05)
  • Re: Herc defines the HOLY GRAIL OF MATHEMATICS (01/29/05)
  • Re: Herc defines the HOLY GRAIL OF MATHEMATICS (01/29/05)
  • Re: Why we cannot compute omega (01/29/05)
  • Re: Herc defines the HOLY GRAIL OF MATHEMATICS (01/29/05)
  • Re: Why we cannot compute omega (01/29/05)
  • Re: Herc defines the HOLY GRAIL OF MATHEMATICS (01/29/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/29/05)
  • Re: Why we cannot compute omega (01/29/05)
  • Re: Herc defines the HOLY GRAIL OF MATHEMATICS (01/29/05)
  • Re: Why we cannot compute omega (01/29/05)
  • Herc defines the HOLY GRAIL OF MATHEMATICS (01/29/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/29/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/29/05)
  • Re: Why we cannot compute omega (01/29/05)
  • Re: Why we cannot compute omega (01/29/05)
  • Re: Random reals are not computable! (01/29/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/27/05)
  • Re: Why we cannot compute omega (01/27/05)
  • Re: Why we cannot compute omega (01/27/05)
  • Re: Why we cannot compute omega (01/27/05)
  • Re: Random reals are not computable! (01/27/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/27/05)
  • Re: Why we cannot compute omega (01/27/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/26/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/26/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/26/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/26/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/26/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/26/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/26/05)
  • Re: Random reals are not computable! (01/26/05)
  • Re: Idiocy of Muckenheim was Re: countability of reals (01/26/05)
  • Re: THERE ARE oo DIGITS IN < 0 . 1 2 1 2 1.. > (01/26/05)
  • Re: THERE ARE oo DIGITS IN < 0 . 1 2 1 2 1.. > (01/26/05)
  • Re: How far can you move the bar MONOSPACED (01/26/05)
  • Re: How far can you move the bar MONOSPACED (01/26/05)
  • Re: THERE ARE oo DIGITS IN < 0 . 1 2 1 2 1.. > (01/26/05)
  • Re: THERE ARE oo DIGITS IN < 0 . 1 2 1 2 1.. > (01/26/05)
  • Re: True = [ proven | provable ] (01/26/05)
  • Re: How far can you move the bar MONOSPACED (01/26/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/26/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/25/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/25/05)
  • Re: Why we cannot compute omega (01/25/05)
  • Re: How far can you move the bar MONOSPACED (01/25/05)
  • Re: Why we cannot compute omega (01/25/05)
  • Re: Why we cannot compute omega (01/25/05)
  • Re: Why we cannot compute omega (01/25/05)
  • Re: Why we cannot compute omega (01/25/05)
  • Re: Why we cannot compute omega (01/25/05)
  • Re: Why we cannot compute omega (01/25/05)
  • Re: How far can you move the bar MONOSPACED (01/25/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/25/05)
  • Re: Why we cannot compute omega (01/24/05)
  • Re: Why we cannot compute omega (01/24/05)
  • Re: Why we cannot compute omega (01/24/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/24/05)
  • Re: True = [ proven | provable ] (01/24/05)
  • Re: True = [ proven | provable ] (01/24/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/24/05)
  • Re: Why we cannot compute omega (01/24/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/24/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/24/05)
  • Re: Why we cannot compute omega (01/24/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/24/05)
  • Re: Why we cannot compute omega (01/24/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/24/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/24/05)
  • Re: Why we cannot compute omega (01/24/05)
  • Re: True = [ proven | provable ] (01/24/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/24/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/24/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/23/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/23/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/23/05)
  • Why we cannot compute omega (01/22/05)
  • Re: How many flips of DIAG are on the infintie list of infinite con flippers ? (01/22/05)
  • Re: How many flips of DIAG are on the infintie list of infinite con flippers ? (01/22/05)
  • Re: How many flips of DIAG are on the infintie list of infinite con flippers ? (01/22/05)
  • How far can you move the bar MONOSPACED (01/21/05)
  • How FAR can I move the BAR (01/21/05)
  • Define : X is_on_the_list L to Y many_digits (01/21/05)
  • Re: How many flips of DIAG are on the infintie list of infinite con flippers ? (01/21/05)
  • Re: WELL WHICH IS IT... ? (01/21/05)
  • Re: WELL WHICH IS IT... ? (01/21/05)
  • Re: How many flips of DIAG are on the infintie list of infinite con flippers ? (01/21/05)
  • Re: "A random real number will be on a computables list to an infinite number of digits" (01/21/05)
  • WELL WHICH IS IT... ? (01/21/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/21/05)
  • Re: HERC 97 SCI.MATH 0 (01/21/05)
  • Re: True = [ proven | provable ] (01/20/05)
  • Re: True = [ proven | provable ] (01/20/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/20/05)
  • HERC 97 SCI.MATH 0 (01/20/05)
  • Re: ******* TRY THESE SCI.MATH ********** (01/20/05)
  • ******* TRY THESE SCI.MATH ********** (01/20/05)
  • Re: True = [ proven | provable ] (01/20/05)
  • Re: "A random real number will be on a computables list to an infinite number of digits" (01/20/05)
  • Re: How many flips of DIAG are on the infintie list of infinite con flippers ? (01/20/05)
  • Re: True = [ proven | provable ] (01/20/05)
  • "A random real number will be on a computables list to an infinite number of digits" (01/20/05)
  • Re: VVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVVV­VVVVVVVV (01/20/05)
  • Re: I HEARBY CLAIM THE SYMBOL oo TO REFER TO UNCOUNTABLE INFINITY (01/20/05)
  • Re: How many flips of DIAG are on the infintie list of infinite con flippers ? (01/20/05)
  • Re: How many flips of DIAG are on the infintie list of infinite con flippers? (01/20/05)
  • Re: True = [ proven | provable ] (01/20/05)
  • Re: True = [ proven | provable ] (01/20/05)
  • Re: I HEARBY CLAIM THE SYMBOL oo TO REFER TO UNCOUNTABLE INFINITY (01/19/05)
  • I HEARBY CLAIM THE SYMBOL oo TO REFER TO UNCOUNTABLE INFINITY (01/19/05)
  • Re: How many digits is pi computable to? (01/19/05)
  • Re: How many digits is pi computable to? (01/19/05)
  • Re: How many flips of DIAG are on the infintie list of infinite con flippers ? (01/19/05)
  • How many flips of DIAG are on the infintie list of infinite con flippers ? (01/19/05)
  • Re: How many flips of DIAG are on the infintie list of infinite con flippers? (01/19/05)
  • How many flips of DIAG are on the infintie list of infinite con flippers? (01/19/05)
  • Re: How many digits is pi computable to? (01/19/05)
  • Re: How many digits is pi computable to? (01/19/05)
  • Re: True = [ proven | provable ] (01/19/05)
  • Re: How many digits is pi computable to? (01/18/05)
  • *** The string is on_the_list TO_INFINITE_DIGITS is NOT incomprehensible *** (01/18/05)
  • Re: True = [ proven | provable ] (01/18/05)
  • Re: How many digits is pi computable to? (01/18/05)
  • Re: How many digits is pi computable to? (01/18/05)
  • Re: How many digits is pi computable to? (01/18/05)
  • Re: True = [ proven | provable ] (01/18/05)
  • Re: How many digits is pi computable to? (01/18/05)
  • Re: Idiocy of Muckenheim was Re: countability of reals (01/18/05)
  • Re: How many digits is pi computable to? (01/18/05)
  • Re: How many digits is pi computable to? (01/18/05)
  • Re: How many digits is pi computable to? (01/18/05)
  • Re: How many digits is pi computable to? (01/18/05)
  • Re: True = [ proven | provable ] (01/18/05)
  • Re: True = [ proven | provable ] (01/17/05)
  • Re: True = [ proven | provable ] (01/17/05)
  • Re: Closer and closer you move to the Cantorian cliff (01/17/05)
  • True = [ proven | provable ] (01/17/05)
  • Re: usenet kooks and a crank scale (01/17/05)
  • Re: Closer and closer you move to the Cantorian cliff (01/17/05)
  • Re: usenet kooks and a crank scale (01/16/05)
  • Re: Closer and closer you move to the Cantorian cliff (01/16/05)
  • Re: usenet kooks and a crank scale (01/16/05)
  • Re: usenet kooks and a crank scale (01/15/05)
  • Re: usenet kooks and a crank scale (01/15/05)
  • Re: usenet kooks and a crank scale (01/15/05)
  • Re: SCRATCH SCRATCH WHY YOU ALL HATE ME NOW? (01/15/05)
  • Closer and closer you move to the Cantorian cliff (01/15/05)
  • Re: SCRATCH SCRATCH WHY YOU ALL HATE ME NOW? (01/15/05)
  • Re: Towards disproof of Omega (01/14/05)
  • Re: SCRATCH SCRATCH WHY YOU ALL HATE ME NOW? (01/14/05)
  • Re: Towards disproof of Omega (01/14/05)
  • Re: SCRATCH SCRATCH WHY YOU ALL HATE ME NOW? (01/14/05)
  • Re: SCRATCH SCRATCH WHY YOU ALL HATE ME NOW? (01/14/05)
  • SCRATCH SCRATCH WHY YOU ALL HATE ME NOW? (01/14/05)
  • Re: Idiocy of Muckenheim was Re: countability of reals (01/14/05)
  • Re: Idiocy of Muckenheim was Re: countability of reals (01/14/05)
  • Re: Idiocy of Muckenheim was Re: countability of reals (01/14/05)
  • Re: Idiocy of Muckenheim was Re: countability of reals (01/14/05)
  • Re: Idiocy of Muckenheim was Re: countability of reals (01/14/05)
  • Re: Idiocy of Muckenheim was Re: countability of reals (01/14/05)
  • Re: Idiocy of Muckenheim was Re: countability of reals (01/14/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/14/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/14/05)
  • Re: Towards disproof of Omega (01/14/05)
  • Re: Metatopic: newsgroups vs. blogs (01/13/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • another moron Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: John misses point Re: FUCKING RUDE CHAP Re: Idiocy of Muckenheim was Re: countability of reals (01/13/05)
  • Re: The hyper-infinity believers friendly question (01/13/05)
  • The hyper-infinity believers friendly question (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: HOW MANY DIGITS OF PI HAVE PROPERTY X ? (01/12/05)
  • Re: Difference between AN UNKNOWN and UNKNOWN (01/12/05)
  • Re: Difference between AN UNKNOWN and UNKNOWN (01/12/05)
  • Re: Difference between AN UNKNOWN and UNKNOWN (01/12/05)
  • Re: Difference between AN UNKNOWN and UNKNOWN (01/12/05)
  • Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? (01/12/05)
  • Re: Difference between AN UNKNOWN and UNKNOWN (01/12/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/12/05)
  • Re: In case you studied the GOTO theoretical language... (01/11/05)
  • Re: Uncountability of reals was Re: countability of reals (01/11/05)
  • HOW MANY DIGITS OF PI HAVE PROPERTY X ? (01/11/05)
  • Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? (01/11/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/11/05)
  • Re: Difference between AN UNKNOWN and UNKNOWN (01/11/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/11/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/11/05)
  • Re: Difference between AN UNKNOWN and UNKNOWN (01/11/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/10/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/10/05)
  • Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? (01/10/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/10/05)
  • Re: In case you studied the GOTO theoretical language... (01/10/05)
  • Re: In case you studied the GOTO theoretical language... (01/10/05)
  • Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/10/05)
  • Re: OPPOSITE OF all coin sequences are computable to infinite length ? (01/10/05)
  • Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? (01/09/05)
  • THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? (01/09/05)
  • Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? (01/09/05)
  • Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? (01/09/05)
  • Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? (01/08/05)
  • Re: OPPOSITE OF all coin sequences are computable to infinite length ? (01/08/05)
  • Re: OPPOSITE OF all coin sequences are computable to infinite length ? (01/08/05)
  • Difference between AN UNKNOWN and UNKNOWN (01/08/05)
  • Re: OPPOSITE OF all coin sequences are computable to infinite length ? (01/08/05)
  • Re: Towards disproof of Omega (01/07/05)
  • Re: OPPOSITE OF all coin sequences are computable to infinite length ? (01/07/05)
  • Re: OPPOSITE OF all coin sequences are computable to infinite length ? (01/07/05)
  • Re: OPPOSITE OF all coin sequences are computable to infinite length ? (01/07/05)
  • Re: OPPOSITE OF all coin sequences are computable to infinite length ? (01/07/05)
  • OPPOSITE OF all coin sequences are computable to infinite length ? (01/07/05)
  • Towards disproof of Omega 2 (01/06/05)
  • Towards disproof of Omega (01/06/05)

Last message date: 01/31/05
Archived on: 01/31/05 CET

---

1272 messages sorted by: [ date ] [ thread ] [ subject ]

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