comp.theory
By Date

795 messages sorted by: [ author ] [ thread ] [ subject ]

Starting: 01/31/05
Ending: 02/28/05

Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/28/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (02/28/05)
Re: do not understand the questions Paul E. Black (02/28/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Mitch Harris (02/28/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Mitch Harris (02/28/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Mike Oliver (02/28/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/28/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Mitch Harris (02/28/05)
Please need help on promise problems betty (02/27/05)
Re: Cerberus and Quine examachine_at_gmail.com (02/27/05)
Re: anyone can suggest some books to me? Nathan Gilbert (02/27/05)
Re: Cerberus and Quine examachine_at_gmail.com (02/27/05)
anyone can suggest some books to me? nick (02/27/05)
do not understand the questions nick (02/27/05)
Re: an algorithm question Jym (02/27/05)
an algorithm question Eitan (02/26/05)
Re: A modified version of minimum spanning tree Yao Ziyuan (02/26/05)
Re: Cerberus and Quine JXStern (02/26/05)
Re: Cerberus and Quine examachine_at_gmail.com (02/26/05)
Re: A modified version of minimum spanning tree el goog (02/26/05)
A modified version of minimum spanning tree yaoziyuan_at_gmail.com (02/26/05)
Re: Cerberus and Quine JXStern (02/26/05)
Re: hard puzzle Matt Timmermans (02/26/05)
Number of 2SATs in 3SAT Russell Easterly (02/25/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/25/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/25/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/25/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Mike Oliver (02/25/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Chris Menzel (02/25/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/25/05)
Re: Cerberus and Quine examachine_at_gmail.com (02/25/05)
Re: Cerberus and Quine JXStern (02/25/05)
learning k-term DNF and k-CNF Sicco Verwer (02/25/05)
Re: hard puzzle nobody (02/25/05)
Computers as sentient beings dunric_at_yahoo.com (02/25/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Mike Oliver (02/25/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) aeo6 (02/24/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/24/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/24/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/24/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) aeo6 (02/24/05)
Re: Cerberus and Quine examachine_at_gmail.com (02/24/05)
Re: Question: NP Complete (Circuits) Jose Juan Mendoza Rodriguez (02/24/05)
Re: definition: co-moron Kent Paul Dolan (02/24/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/24/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/24/05)
Re: Cerberus and Quine Paul Holbach (02/24/05)
Re: Cerberus and Quine Paul Holbach (02/24/05)
Re: definition: co-moron mdipres_at_sympatico.ca (02/24/05)
hard puzzle puzzlecracker (02/23/05)
Re: Cerberus and Quine Paul Holbach (02/23/05)
Re: REGULAR-TM is undecidable? stephen_at_nomail.com (02/23/05)
Re: REGULAR-TM is undecidable? J.M.Roth (02/23/05)
Question: NP Complete (Circuits) timbrigham_at_hotmail.com (02/23/05)
Re: Cerberus and Quine examachine_at_gmail.com (02/23/05)
Re: Cerberus and Quine examachine_at_gmail.com (02/23/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Mitch Harris (02/23/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Mitch Harris (02/23/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Ross A. Finlayson (02/23/05)
Re: an true information theory examachine_at_gmail.com (02/23/05)
Re: MTTF of a Disk Array Pest (02/23/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) R-matrix (02/23/05)
Re: 1q Bill Taylor (02/23/05)
Re: Cerberus and Quine Paul Holbach (02/23/05)
CfP Concurrent Process Architectures 2005 Herman Roebbers (02/23/05)
Re: Cerberus and Quine Paul Holbach (02/23/05)
Re: Cerberus and Quine Paul Holbach (02/23/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Torkel Franzen (02/23/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) examachine_at_gmail.com (02/23/05)
Re: an true information theory John Wilkins (02/23/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) Sumo (02/23/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/23/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Phil Roberts, Jr. (02/23/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/23/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/23/05)
Re: Cerberus and Quine Paul Holbach (02/23/05)
Re: Cerberus and Quine Paul Holbach (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/22/05)
Re: REGULAR-TM is undecidable? stephen_at_nomail.com (02/22/05)
Re: REGULAR-TM is undecidable? jm_at_roth.lu (02/22/05)
Re: REGULAR-TM is undecidable? Rick Decker (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) George Greene (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) George Greene (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (02/22/05)
Lower bound of DFT Piotr Wyderski (02/22/05)
Re: matrix handeling algorithms chrsT (02/22/05)
Re: matrix handeling algorithms chrsT (02/22/05)
Re: F.Y.I.: Typos in "P=NP: Linear Programming Formulation of the TSP" moustapha.diaby_at_business.uconn.edu (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (02/22/05)
REGULAR-TM is undecidable? J.M.Roth (02/22/05)
Re: matrix handeling algorithms wade_at_stoner.com (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Mitch Harris (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/22/05)
Re: an true information theory examachine_at_gmail.com (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Ro (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Mitch Harris (02/22/05)
Re: 1q Robert Low (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/22/05)
Re: matrix handeling algorithms Ramon G. Ricca (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/22/05)
1q robert j. kolker (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/22/05)
Re: Cerberus and Quine examachine_at_gmail.com (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Robert Low (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/22/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/21/05)
Re: Cerberus and Quine Paul Holbach (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Neil W Rickert (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Mitch Harris (02/21/05)
Re: Cerberus and Quine JXStern (02/21/05)
Re: Cerberus and Quine JXStern (02/21/05)
Re: Cerberus and Quine examachine_at_gmail.com (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/21/05)
Cerberus and Quine JXStern (02/21/05)
Re: NP != P AND CO-NP != P Sumo (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Mitch Harris (02/21/05)
Re: I need a help with these questions Mark Carroll (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/21/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) examachine_at_gmail.com (02/21/05)
Re: I need a help with these questions jackop (02/21/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) Dave Seaman (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/21/05)
Re: F.Y.I.: Typos in "P=NP: Linear Programming Formulation of the TSP" tchow_at_lsa.umich.edu (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/21/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) examachine_at_gmail.com (02/21/05)
Call for papers - Workshop on Resource Management kettimut_at_gmail.com (02/21/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Mitch Harris (02/20/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Mitch Harris (02/20/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/20/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) r.e.s. (02/20/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/20/05)
Re: F.Y.I.: Typos in "P=NP: Linear Programming Formulation of the TSP" A.L. (02/20/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/20/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/20/05)
Re: F.Y.I.: Typos in "P=NP: Linear Programming Formulation of the TSP" moustapha.diaby_at_business.uconn.edu (02/20/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) Dave Seaman (02/20/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Mitch Harris (02/20/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/20/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/20/05)
Re: K-ary Huffman Tree is Optimal Yao Ziyuan (02/20/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) examachine_at_gmail.com (02/20/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) JXStern (02/20/05)
Re: K-ary Huffman Tree is Optimal Yao Ziyuan (02/20/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) jimp_at_specsol-spam-sux.com (02/20/05)
Re: K-ary Huffman Tree is Optimal Rick Decker (02/20/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/20/05)
Re: K-ary Huffman Tree is Optimal gcrhoads_at_yahoo.com (02/20/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) Dave Seaman (02/20/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/20/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) examachine_at_gmail.com (02/20/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Uncle Al (02/20/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/19/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/19/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/19/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/19/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/19/05)
Re: K-ary Huffman Tree is Optimal Yao Ziyuan (02/19/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) mitch (02/19/05)
Re: K-ary Huffman Tree is Optimal Rick Decker (02/19/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) JXStern (02/19/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/19/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/19/05)
Re: does sqrt(2) exist in CM? Keith Ramsay (02/19/05)
K-ary Huffman Tree is Optimal Yao Ziyuan (02/19/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/19/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) JXStern (02/19/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/19/05)
Re: does sqrt(2) exist in CM? Chris Menzel (02/19/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/18/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Barb Knox (02/18/05)
Re: Artifical Intelligence can not be Artificial ! Tim_Miltz (02/18/05)
Re: does sqrt(2) exist in CM? namducnguyen (02/18/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/18/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/18/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) Dave Seaman (02/18/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/18/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/18/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/18/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) examachine_at_gmail.com (02/18/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/18/05)
Re: does sqrt(2) exist in CM? namducnguyen (02/18/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/18/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/18/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/18/05)
matrix handeling algorithms Jab (02/18/05)
Re: Little exercise: A distance problem nobody (02/18/05)
Re: Artifical Intelligence can not be Artificial ! nobody (02/18/05)
Re: Autonomous Object Oriented Programming? A.L. (02/18/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/18/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/18/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/18/05)
Re: Little exercise: A distance problem Matt (02/18/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/18/05)
Re: does sqrt(2) exist in CM? Mike Oliver (02/18/05)
Re: does sqrt(2) exist in CM? David Bernier (02/18/05)
Re: does sqrt(2) exist in CM? tchow_at_lsa.umich.edu (02/18/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/17/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/17/05)
Re: F.Y.I.: Typos in "P=NP: Linear Programming Formulation of the TSP" Colin Percival (02/17/05)
Re: F.Y.I.: Typos in "P=NP: Linear Programming Formulation of the TSP" A.L. (02/17/05)
Re: does sqrt(2) exist in CM? tchow_at_lsa.umich.edu (02/17/05)
Autonomous Object Oriented Programming? yaoziyuan_at_gmail.com (02/17/05)
Re: F.Y.I.: Typos in "P=NP: Linear Programming Formulation of the TSP" A.L. (02/17/05)
Re: F.Y.I.: Typos in "P=NP: Linear Programming Formulation of the TSP" moustapha.diaby_at_business.uconn.edu (02/17/05)
Re: F.Y.I.: Typos in "P=NP: Linear Programming Formulation of the TSP" moustapha.diaby_at_business.uconn.edu (02/17/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/17/05)
Re: F.Y.I.: Typos in "P=NP: Linear Programming Formulation of the TSP" A.L. (02/17/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/17/05)
Re: F.Y.I.: Typos in "P=NP: Linear Programming Formulation of the TSP" moustapha.diaby_at_business.uconn.edu (02/17/05)
Re: F.Y.I.: Typos in "P=NP: Linear Programming Formulation of the TSP" A.L. (02/17/05)
Re: does sqrt(2) exist in CM? tchow_at_lsa.umich.edu (02/17/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/17/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/17/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/17/05)
Re: Idiocy of Muckenheim was Re: countability of reals Piotr Sawuk (02/17/05)
F.Y.I.: Typos in "P=NP: Linear Programming Formulation of the TSP" moustapha.diaby_at_business.uconn.edu (02/17/05)
Re: Recognizing proof of membership easier than recognizing Kurt Van Etten (02/17/05)
Re: Recognizing proof of membership easier than recognizing Kurt Van Etten (02/17/05)
Re: Recognizing proof of membership easier than recognizing Jose Juan Mendoza Rodriguez (02/17/05)
Professorship in Cryptology, University of Aarhus, Denmark Uffe Henrik Engberg (02/17/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/17/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/17/05)
Re: provenance of truth tables Jos� Carlos Santos (02/17/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/17/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/17/05)
Re: provenance of truth tables Justin Pearson (02/17/05)
Re: provenance of truth tables Mitch Harris (02/17/05)
New Busy Beaver 5-tuple Turing machines... Terry Ligocki (02/17/05)
Re: Little exercise: A distance problem lazy (02/17/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Ed Murphy (02/17/05)
Progressions on the halting problem Pollux (02/17/05)
Little exercise: A distance problem Matt (02/17/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? |-|erc (02/17/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Ed Murphy (02/17/05)
Re: Artifical Intelligence can not be Artificial ! Stephen Harris (02/17/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Joseki (02/16/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Joseki (02/16/05)
Re: Artifical Intelligence can not be Artificial ! Tim_Miltz (02/16/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/16/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/16/05)
Re: Artifical Intelligence can not be Artificial ! Stephen Harris (02/16/05)
Re: AI will never work in 100 years !!!! todprog_at_yahoo.com (02/16/05)
Re: FW: Regular expressions / FSA question Ralph Hartley (02/16/05)
Re: Artifical Intelligence can not be Artificial ! Tim_Miltz (02/16/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/16/05)
Re: FW: Regular expressions / FSA question Torben �gidius Mogensen (02/16/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Will Twentyman (02/16/05)
Re: Recognizing proof of membership easier than recognizing Mitch Harris (02/16/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/16/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/16/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/16/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/16/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/16/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/16/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/16/05)
Re: FW: Regular expressions / FSA question Torben �gidius Mogensen (02/16/05)
Re: cryptology, complexity, and quantum cryptology Johan Wallen (02/16/05)
Strength for Parametric Dialgebras glimming (02/16/05)
pancake flip grace5in_at_gmail.com (02/16/05)
Re: Artifical Intelligence can not be Artificial ! Nameless (02/16/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Ed Murphy (02/16/05)
Re: there's any finite prefix, not oo........anything you say sci.math |-|erc (02/16/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? |-|erc (02/16/05)
Re: Artifical Intelligence can not be Artificial ! Tim_Miltz (02/16/05)
Re: FW: Regular expressions / FSA question stephen_at_nomail.com (02/15/05)
Re: FW: Regular expressions / FSA question Patricia Shanahan (02/15/05)
Re: does sqrt(2) exist in CM? tchow_at_lsa.umich.edu (02/15/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/15/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/15/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/15/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/15/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/15/05)
P=NP: Linear Programming Formulation of the TSP moustapha.diaby_at_business.uconn.edu (02/15/05)
Re: provenance of truth tables Jim Spriggs (02/15/05)
Re: Artifical Intelligence can not be Artificial ! Nameless (02/15/05)
Re: provenance of truth tables Tim_Miltz (02/15/05)
Recognizing proof of membership easier than recognizing David Wagner (02/15/05)
Re: Artifical Intelligence can not be Artificial ! Tim_Miltz (02/15/05)
Re: there's any finite prefix, not oo........anything you say sci.math Will Twentyman (02/15/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Will Twentyman (02/15/05)
Re: FW: Regular expressions / FSA question stephen_at_nomail.com (02/15/05)
Re: NP != P and Co-NP != P ath77_at_aol.com (02/15/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) 1Z (02/15/05)
Re: does sqrt(2) exist in CM? tchow_at_lsa.umich.edu (02/15/05)
Re: FW: Regular expressions / FSA question Mitchell Harris (02/15/05)
Re: cryptology, complexity, and quantum cryptology Ralph Hartley (02/15/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/15/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) BarryAC (02/15/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/15/05)
Re: Artifical Intelligence can not be Artificial ! Stephen Harris (02/15/05)
Re: provenance of truth tables Mitch Harris (02/15/05)
Re: Artifical Intelligence can not be Artificial ! Tim_Miltz (02/15/05)
Artifical Intelligence can not be Artificial ! Tim_Miltz (02/15/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/15/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/15/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Ross A. Finlayson (02/15/05)
Re: [meta]: definition: co-moron mcyberliver (02/15/05)
Definition of a Co-Co-Moron: one who likes Chocolate! Casey Hawthorne (02/15/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? examachine_at_gmail.com (02/15/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Mike Oliver (02/15/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/15/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Ross A. Finlayson (02/15/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Ross A. Finlayson (02/15/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/14/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/14/05)
re: [meta]: definition: co-moron Acme Diagnostics (02/14/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Jim Spriggs (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Barb Knox (02/14/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/14/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/14/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (02/14/05)
Re: does sqrt(2) exist in CM? tchow_at_lsa.umich.edu (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/14/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/14/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/14/05)
Re: does sqrt(2) exist in CM? Keith Ramsay (02/14/05)
Re: does sqrt(2) exist in CM? Keith Ramsay (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Barb Knox (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Ross A. Finlayson (02/14/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/14/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/14/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (02/13/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Stephen Harris (02/13/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/13/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/13/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/13/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/13/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/13/05)
Re: does sqrt(2) exist in CM? Torkel Franzen (02/13/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/13/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (02/13/05)
Re: Computer Algorithm Question el goog (02/13/05)
Can you systematically determine if any given program will HALT? |-|erc (02/13/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Ross A. Finlayson (02/13/05)
Re: [meta]: definition: co-moron mcyberliver (02/13/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) R-matrix (02/13/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/13/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/13/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/13/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/13/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/13/05)
[meta]: definition: co-moron Kent Paul Dolan (02/13/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (02/13/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/12/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/12/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (02/12/05)
Re: does sqrt(2) exist in CM? Keith Ramsay (02/12/05)
[OT] Sometimes it's AI if you believe it is yaoziyuan_at_gmail.com (02/12/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/12/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/12/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/12/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Ross A. Finlayson (02/12/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (02/12/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (02/12/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/12/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/12/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/12/05)
I need a help with these questions jackop (02/12/05)
Re: does sqrt(2) exist in CM? Keith Ramsay (02/12/05)
THE HALTING SOLUTION |-|erc (02/12/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/12/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/12/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Pierre Asselin (02/12/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/12/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/12/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/12/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/12/05)
Computer Algorithm Question ymc_at_shgc.stanford.edu (02/11/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/11/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/11/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (02/11/05)
Re: Finding longest and most repeated substring Phil Carmody (02/11/05)
Re: cryptology, complexity, and quantum cryptology tchow_at_lsa.umich.edu (02/11/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/11/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) David Kastrup (02/11/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/11/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/11/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/11/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/11/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/11/05)
Re: cryptology, complexity, and quantum cryptology Mitch Harris (02/11/05)
Re: Finding longest and most repeated substring Risto Lankinen (02/11/05)
Re: Finding longest and most repeated substring Risto Lankinen (02/11/05)
Re: does sqrt(2) exist in CM? Keith Ramsay (02/11/05)
Re: does sqrt(2) exist in CM? Keith Ramsay (02/11/05)
Re: Finding longest and most repeated substring Popai (02/11/05)
Re: Finding longest and most repeated substring Popai (02/11/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Lady Chatterly (02/11/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? josephus (02/11/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Ed Murphy (02/11/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Ross A. Finlayson (02/11/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) r.e.s. (02/11/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/11/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/11/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/11/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/11/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? |-|erc (02/11/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/11/05)
NP != P and Co-NP != P Raju Renjit G. (02/11/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Mike Oliver (02/11/05)
Re: there's any finite prefix, not oo........anything you say sci.math |-|erc (02/11/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Pierre Asselin (02/11/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Will Twentyman (02/11/05)
NP != P AND CO-NP != P Raju.Renjit.Grover_at_gmail.com (02/10/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/10/05)
Re: Finding longest and most repeated substring Daniel Lidstr�m (02/10/05)
Re: Finding longest and most repeated substring GregoryD (02/10/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? examachine_at_gmail.com (02/10/05)
Re: Finding longest and most repeated substring Alf P. Steinbach (02/10/05)
Re: Finding longest and most repeated substring Hans-Christoph Wirth (02/10/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Ralph Hartley (02/10/05)
Re: Is this language context sensitive? Mitch Harris (02/10/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Mike Oliver (02/10/05)
Re: Finding longest and most repeated substring Alf P. Steinbach (02/10/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Lester Zick (02/10/05)
Re: NFA or DFA? Moritz Hammer (02/10/05)
Re: Finding longest and most repeated substring Thad Smith (02/10/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Ralph Hartley (02/10/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Ralph Hartley (02/10/05)
Re: Is this language context sensitive? ehsan.akhgari_at_gmail.com (02/10/05)
Re: Is this language context sensitive? Mitch Harris (02/10/05)
Re: NFA or DFA? Jose Juan Mendoza Rodriguez (02/10/05)
Is this language context sensitive? ehsan.akhgari_at_gmail.com (02/10/05)
Re: Finding longest and most repeated substring Bill Godfrey (02/10/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/10/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/10/05)
Re: definition: co-moron greggery peccary (02/10/05)
Re: definition: co-moron Acme Diagnostics (02/10/05)
re: definition: co-moron Acme Diagnostics (02/10/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Keith Ramsay (02/10/05)
Re: does sqrt(2) exist in CM? Keith Ramsay (02/10/05)
Re: Finding longest and most repeated substring dayzman_at_hotmail.com (02/10/05)
Re: Finding longest and most repeated substring gerard46 (02/10/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Ed Murphy (02/10/05)
Re: Finding longest and most repeated substring Alf P. Steinbach (02/10/05)
Re: Finding longest and most repeated substring dayzman_at_hotmail.com (02/10/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? The Ghost In The Machine (02/10/05)
Re: there's any finite prefix, not oo........anything you say sci.math Will Twentyman (02/10/05)
Re: definition: co-moron mcyberliver (02/10/05)
Finding longest and most repeated substring dayzman_at_hotmail.com (02/10/05)
Re: there's any finite prefix, not oo........anything you say sci.math |-|erc (02/10/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/10/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) John Hasenkam (02/10/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Mitch Harris (02/09/05)
Re: there's any finite prefix, not oo........anything you say sci.math Will Twentyman (02/09/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Michael Mendelsohn (02/09/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Ralph Hartley (02/09/05)
Re: Quantum Computer ? Paul E. Black (02/09/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Ralph Hartley (02/09/05)
If to prove is to explain, why does "I cannot explain" mean mathematics is incomplete? |-|erc (02/09/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? |-|erc (02/09/05)
Re: F(a) = ~F(a) HOW MANY OTHER SYNTACTICALLY CORRECT FORMULA DO YOU DISCARD? Owen (02/09/05)
Re: Quantum Computer ? sandey (02/09/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? examachine_at_gmail.com (02/09/05)
Re: F(a) = ~F(a) HOW MANY OTHER SYNTACTICALLY CORRECT FORMULA DO YOU DISCARD? The Ghost In The Machine (02/09/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? examachine_at_gmail.com (02/09/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? examachine_at_gmail.com (02/09/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? examachine_at_gmail.com (02/09/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? The Ghost In The Machine (02/09/05)
Re: F(a) = ~F(a) HOW MANY OTHER SYNTACTICALLY CORRECT FORMULA DO YOU DISCARD? Chris Menzel (02/09/05)
Re: F(a) = ~F(a) HOW MANY OTHER SYNTACTICALLY CORRECT FORMULA DO YOU DISCARD? Owen (02/09/05)
Quantum Computer ? Thomas A. Li (02/09/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Mike Oliver (02/09/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? |-|erc (02/09/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Chris Menzel (02/09/05)
Re: there's any finite prefix, not oo........anything you say sci.math |-|erc (02/09/05)
Re: there's any finite prefix, not oo........anything you say sci.math Will Twentyman (02/09/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Will Twentyman (02/09/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Will Twentyman (02/09/05)
Re: there's any finite prefix, not oo........anything you say sci.math |-|erc (02/09/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? |-|erc (02/09/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Mike Oliver (02/09/05)
Re: NFA or DFA? Torben �gidius Mogensen (02/09/05)
Re: definition: co-moron John F (02/09/05)
Re: NFA or DFA? Robert Low (02/09/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/09/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Jesse F. Hughes (02/09/05)
Re: NFA or DFA? Jose Juan Mendoza Rodriguez (02/09/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/09/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/09/05)
Re: NFA or DFA? J.H.Jongejan (02/09/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/09/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? josephus (02/09/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/09/05)
Re: does sqrt(2) exist in CM? Keith Ramsay (02/09/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Keith Ramsay (02/09/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) JXStern (02/09/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Ed Murphy (02/09/05)
Re: definition: co-moron astri (02/09/05)
NFA or DFA? r_ahu_l (02/09/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? |-|erc (02/09/05)
Re: there's any finite prefix, not oo........anything you say sci.math The Ghost In The Machine (02/09/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? The Ghost In The Machine (02/09/05)
Re: definition: co-moron willisA40 (02/09/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? josephus (02/09/05)
Re: does sqrt(2) exist in CM? tchow_at_lsa.umich.edu (02/09/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? tchow_at_lsa.umich.edu (02/09/05)
Re: definition: co-moron mcyberliver (02/09/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? |-|erc (02/09/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Mike Oliver (02/09/05)
Re: there's any finite prefix, not oo........anything you say sci.math |-|erc (02/09/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Chairman of the David Hilbert Appreciation Society (02/09/05)
Re: there's any finite prefix, not oo........anything you say sci.math |-|erc (02/09/05)
definition: co-moron xanthian_at_well.com (02/09/05)
Re: Easy question: WHICH LIST CONTAINS MORE DIGITS OF Pi? Joe Kearney (02/09/05)
Re: does sqrt(2) exist in CM? Joe Kearney (02/09/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Joe Kearney (02/09/05)
Re: there's any finite prefix, not oo........anything you say sci.math Joe Kearney (02/09/05)
Re: there's any finite prefix, not oo........anything you say sci.math Will Twentyman (02/09/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? poopdeville_at_gmail.com (02/08/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Ralph Hartley (02/08/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) John F (02/08/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Ralph Hartley (02/08/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? examachine_at_gmail.com (02/08/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) examachine_at_gmail.com (02/08/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? tchow_at_lsa.umich.edu (02/08/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Chris Menzel (02/08/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Mike Oliver (02/08/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Paul Holbach (02/08/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? examachine_at_gmail.com (02/08/05)
Re: My claim on Omega's defn examachine_at_gmail.com (02/08/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Ralph Hartley (02/08/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) Dave Seaman (02/08/05)
Re: there's any finite prefix, not oo........anything you say sci.math The Ghost In The Machine (02/08/05)
Re: Godel's proof proves "this has no proof". Tonico (02/08/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) tchow_at_lsa.umich.edu (02/08/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) tchow_at_lsa.umich.edu (02/08/05)
Re: does sqrt(2) exist in CM? tchow_at_lsa.umich.edu (02/08/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? A N Niel (02/08/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/08/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Ralph Hartley (02/08/05)
Re: Difference Constraints with BF pmatos (02/08/05)
Re: F(a) = ~F(a) HOW MANY OTHER SYNTACTICALLY CORRECT FORMULA DO YOU DISCARD? |-|erc (02/08/05)
Re: F(a) = ~F(a) HOW MANY OTHER SYNTACTICALLY CORRECT FORMULA DO YOU DISCARD? Charlie-Boo (02/08/05)
Re: Graham's Scan Time Complexity geomwiz_at_gmail.com (02/08/05)
Re: Difference Constraints with BF David Wagner (02/08/05)
Re: Godel's proof proves "this has no proof". |-|erc (02/08/05)
Re: Godel's proof proves "this has no proof". Tonico (02/08/05)
Re: 3SAT is Almost 2SAT Russell Easterly (02/08/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Ross A. Finlayson (02/08/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Jeffrey Ketland (02/08/05)
Re: My claim on Omega's defn r.e.s. (02/08/05)
Re: there's any finite prefix, not oo........anything you say sci.math |-|erc (02/08/05)
Re: F(a) = ~F(a) HOW MANY OTHER SYNTACTICALLY CORRECT FORMULA DO YOU DISCARD? Honey F. (02/08/05)
Re: there's any finite prefix, not oo........anything you say sci.math The Ghost In The Machine (02/08/05)
Re: F(a) = ~F(a) HOW MANY OTHER SYNTACTICALLY CORRECT FORMULA DO YOU DISCARD? The Ghost In The Machine (02/08/05)
Re: there's any finite prefix, not oo........anything you say sci.math The Ghost In The Machine (02/08/05)
Godel's proof proves "this has no proof". |-|erc (02/08/05)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |-|erc (02/08/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) OsherD (02/08/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) Robert Israel (02/08/05)
Re: Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) robert j. kolker (02/08/05)
F(a) = ~F(a) HOW MANY OTHER SYNTACTICALLY CORRECT FORMULA DO YOU DISCARD? |-|erc (02/08/05)
Existence of mathematical entities (Re: Successor Axiom: on what grounds TF?) examachine_at_gmail.com (02/08/05)
Re: there's any finite prefix, not oo........anything you say sci.math |-|erc (02/08/05)
Re: there's any finite prefix, not oo........anything you say sci.math David Bernier (02/08/05)
Re: there's any finite prefix, not oo........anything you say sci.math Will Twentyman (02/08/05)
Re: My claim on Omega's defn examachine_at_gmail.com (02/08/05)
Re: there's any finite prefix, not oo........anything you say sci.math |-|erc (02/08/05)
Re: My claim on Omega's defn r.e.s. (02/08/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) examachine_at_gmail.com (02/08/05)
Re: there's any finite prefix, not oo........anything you say sci.math Will Twentyman (02/08/05)
Re: My claim on Omega's defn examachine_at_gmail.com (02/08/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/08/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/08/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/08/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/08/05)
Re: My claim on Omega's defn r.e.s. (02/08/05)
Re: Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) tchow_at_lsa.umich.edu (02/07/05)
Re: does sqrt(2) exist in CM? Daniel W. Johnson (02/07/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/07/05)
Probability theory in (0,1) (Was Re: does sqrt(2) exist in CM?) examachine_at_gmail.com (02/07/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? examachine_at_gmail.com (02/07/05)
Re: does sqrt(2) exist in CM? David Kastrup (02/07/05)
Re: does sqrt(2) exist in CM? tchow_at_lsa.umich.edu (02/07/05)
Re: My claim on Omega's defn examachine_at_gmail.com (02/07/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/07/05)
Re: My claim on Omega's defn r.e.s. (02/07/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/07/05)
Re: does sqrt(2) exist in CM? Joe Kearney (02/07/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/07/05)
Re: does sqrt(2) exist in CM? Lee Rudolph (02/07/05)
Difference Constraints with BF pmatos (02/07/05)
Re: does sqrt(2) exist in CM? tchow_at_lsa.umich.edu (02/07/05)
Re: My claim on Omega's defn Ralph Hartley (02/07/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/07/05)
Re: My claim on Omega's defn examachine_at_gmail.com (02/07/05)
Software for simulation of data streams tsirman_at_gmail.com (02/07/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/07/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/07/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/07/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/07/05)
Re: does sqrt(2) exist in CM? mareg_at_mimosa.csv.warwick.ac.uk (02/07/05)
Re: does sqrt(2) exist in CM? Keith Ramsay (02/07/05)
Re: does sqrt(2) exist in CM? Keith Ramsay (02/07/05)
Re: does sqrt(2) exist in CM? Keith Ramsay (02/07/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Torkel Franzen (02/07/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? tchow_at_lsa.umich.edu (02/07/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? tchow_at_lsa.umich.edu (02/07/05)
Re: My claim on Omega's defn r.e.s. (02/07/05)
there's any finite prefix, not oo........anything you say sci.math |-|erc (02/07/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? poopdeville_at_gmail.com (02/07/05)
Re: My claim on Omega's defn examachine_at_gmail.com (02/07/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/07/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/07/05)
Re: does sqrt(2) exist in CM? Joe Kearney (02/07/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/07/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/07/05)
Re: does sqrt(2) exist in CM? David Kastrup (02/07/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/07/05)
Re: does sqrt(2) exist in CM? David Kastrup (02/07/05)
Re: does sqrt(2) exist in CM? robert j. kolker (02/06/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/06/05)
Re: does sqrt(2) exist in CM? Dave Rusin (02/06/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/06/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Keith Ramsay (02/06/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/06/05)
Dimensionality of Networks Edward Green (02/06/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/06/05)
simple coin puzzle puts cardinality theory in doubt |-|erc (02/06/05)
Re: does sqrt(2) exist in CM? Larry Hammick (02/06/05)
Re: does sqrt(2) exist in CM? examachine_at_gmail.com (02/06/05)
Re: does sqrt(2) exist in CM? Alan Smaill (02/05/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? tchow_at_lsa.umich.edu (02/05/05)
Re: does sqrt(2) exist in CM? David C. Ullrich (02/05/05)
does sqrt(2) exist in CM? alex goldman (02/05/05)
3SAT is Almost 2SAT Russell Easterly (02/05/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? poopdeville_at_gmail.com (02/05/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? tchow_at_lsa.umich.edu (02/05/05)
Re: Name the thesis: "Formal sentences capture informal ones" Stephen Harris (02/05/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? PD (02/04/05)
Re: Evidence... o�in (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? poopdeville_at_gmail.com (02/04/05)
Re: Evidence... examachine_at_gmail.com (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? examachine_at_gmail.com (02/04/05)
Re: Name the thesis: "Formal sentences capture informal ones" Stephen Harris (02/04/05)
Re: Name the thesis: "Formal sentences capture informal ones" tchow_at_lsa.umich.edu (02/04/05)
Re: Name the thesis: "Formal sentences capture informal ones" tchow_at_lsa.umich.edu (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? tchow_at_lsa.umich.edu (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? PD (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? tchow_at_lsa.umich.edu (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? tchow_at_lsa.umich.edu (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Torkel Franzen (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? poopdeville_at_gmail.com (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Torkel Franzen (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? poopdeville_at_gmail.com (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Keith Ramsay (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? poopdeville_at_gmail.com (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? poopdeville_at_gmail.com (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Torkel Franzen (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? poopdeville_at_gmail.com (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Torkel Franzen (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? poopdeville_at_gmail.com (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? poopdeville_at_gmail.com (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? poopdeville_at_gmail.com (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? FrediFizzx (02/04/05)
A new computer architecture Yingxia Wang (02/04/05)
Re: Evidence... Jeffrey Ketland (02/04/05)
Evidence... qmagick_at_yahoo.com (02/04/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? John Baez (02/03/05)
Re: Name the thesis: "Formal sentences capture informal ones" Stephen Harris (02/03/05)
Re: My claim on Omega's defn r.e.s. (02/03/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Chairman of the David Hilbert Appreciation Society (02/03/05)
Re: Name the thesis: "Formal sentences capture informal ones" examachine_at_gmail.com (02/03/05)
Re: Name the thesis: "Formal sentences capture informal ones" Stephen Harris (02/03/05)
Re: Name the thesis: "Formal sentences capture informal ones" Stephen Harris (02/03/05)
Re: String Transformation Problem Ralph Hartley (02/03/05)
Re: My claim on Omega's defn Ralph Hartley (02/03/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Ralph Hartley (02/03/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Mitch Harris (02/03/05)
Re: String Transformation Problem Torben �gidius Mogensen (02/03/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Keith Ramsay (02/03/05)
Re: Name the thesis: "Formal sentences capture informal ones" Torkel Franzen (02/03/05)
Web Portal - JSP? Dan Rossul (02/03/05)
Re: My claim on Omega's defn r.e.s. (02/03/05)
Re: Application Architecture - How many tiers should a web portal have? Matt Timmermans (02/03/05)
Re: Name the thesis: "Formal sentences capture informal ones" examachine_at_gmail.com (02/03/05)
Re: Name the thesis: "Formal sentences capture informal ones" examachine_at_gmail.com (02/03/05)
Re: My claim on Omega's defn examachine_at_gmail.com (02/03/05)
Re: Name the thesis: "Formal sentences capture informal ones" Lee Rudolph (02/03/05)
Re: AI will never work in 100 years !!!! whopkins_at_csd.uwm.edu (02/03/05)
Re: My claim on Omega's defn r.e.s. (02/02/05)
Re: Name the thesis: "Formal sentences capture informal ones" Mitch Harris (02/02/05)
Re: My claim on Omega's defn Ben Rudiak-Gould (02/02/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Mitch Harris (02/02/05)
PLease Read agargiso_at_gmail.com (02/02/05)
Re: String Transformation Problem Thomas A. Li (02/02/05)
Re: My claim on Omega's defn examachine_at_gmail.com (02/02/05)
Re: String Transformation Problem Colin Percival (02/02/05)
Re: My claim on Omega's defn r.e.s. (02/02/05)
Re: Name the thesis: "Formal sentences capture informal ones" tchow_at_lsa.umich.edu (02/02/05)
Re: Name the thesis: "Formal sentences capture informal ones" Mitch Harris (02/02/05)
Re: Application Architecture - How many tiers should a web portal have? Mark Carroll (02/02/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? examachine_at_gmail.com (02/02/05)
Re: Name the thesis: "Formal sentences capture informal ones" tchow_at_lsa.umich.edu (02/02/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Mitch Harris (02/02/05)
Re: My claim on Omega's defn Daryl McCullough (02/02/05)
Re: Name the thesis: "Formal sentences capture informal ones" examachine_at_gmail.com (02/02/05)
Re: Name the thesis: "Formal sentences capture informal ones" examachine_at_gmail.com (02/02/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Daryl McCullough (02/02/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Mitch Harris (02/02/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? examachine_at_gmail.com (02/02/05)
Re: Question about Courcelle/On context-free sets of graphs and their monadic second-order theory Monika Schuth (02/02/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? Mitch Harris (02/02/05)
String Transformation Problem yaoziyuan_at_gmail.com (02/02/05)
Re: My claim on Omega's defn r.e.s. (02/02/05)
Re: Idiocy of Muckenheim was Re: countability of reals |-|erc (02/02/05)
Re: Question about Courcelle/On context-free sets of graphs and their monadic second-order theory Achim Blumensath (02/02/05)
Re: Application Architecture - How many tiers should a web portal have? Russell Easterly (02/02/05)
Re: Name the thesis: "Formal sentences capture informal ones" Torkel Franzen (02/02/05)
Re: Idiocy of Muckenheim was Re: countability of reals Piotr Sawuk (02/02/05)
Re: THIS STATEMENT HAS NO PROOF IN ANY SYSTEM = true or false? examachine_at_gmail.com (02/02/05)
Re: higher-order logic Jamie Andrews; real address _at_ bottom of message (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" Jamie Andrews; real address _at_ bottom of message (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" Helene.Boucher_at_wanadoo.fr (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" tchow_at_lsa.umich.edu (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" Helene.Boucher_at_wanadoo.fr (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" tchow_at_lsa.umich.edu (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" tchow_at_lsa.umich.edu (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" Helene.Boucher_at_wanadoo.fr (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" Mike Oliver (02/01/05)
Re: higher-order logic Chris Menzel (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" Mitch Harris (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" tchow_at_lsa.umich.edu (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" Helene.Boucher_at_wanadoo.fr (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" george (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" george (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" george (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" george (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" george (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" tchow_at_lsa.umich.edu (02/01/05)
Re: Herc defines the HOLY GRAIL OF MATHEMATICS josephus (02/01/05)
Re: My claim on Omega's defn Daryl McCullough (02/01/05)
Re: higher-order logic Owen (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" Helene.Boucher_at_wanadoo.fr (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" Russell Easterly (02/01/05)
Re: Herc defines the HOLY GRAIL OF MATHEMATICS alex goldman (02/01/05)
Re: My claim on Omega's defn |-|erc (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" tchow_at_lsa.umich.edu (02/01/05)
Application Architecture - How many tiers should a web portal have? Dan Rossul (02/01/05)
CFP: Unconventional Computation, UC05 Michael J. Dinneen (02/01/05)
Re: My claim on Omega's defn Daryl McCullough (02/01/05)
Re: Name the thesis: "Formal sentences capture informal ones" Stephen Harris (01/31/05)
Re: higher-order logic Jeffrey Ketland (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" Torkel Franzen (01/31/05)
Graham's Scan Time Complexity Iluhinson Iluhinsonovich (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" Jamie Andrews; real address _at_ bottom of message (01/31/05)
Re: higher-order logic Chris Menzel (01/31/05)
Re: My claim on Omega's defn r.e.s. (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" Torkel Franzen (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" Helene.Boucher_at_wanadoo.fr (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" LordBeotian (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" Helene.Boucher_at_wanadoo.fr (01/31/05)
Re: My claim on Omega's defn examachine_at_gmail.com (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" yaoziyuan_at_gmail.com (01/31/05)
Re: higher-order logic alex goldman (01/31/05)
Re: higher-order logic Jose Juan Mendoza Rodriguez (01/31/05)
Re: My claim on Omega's defn |-|erc (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" Torkel Franzen (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" tchow_at_lsa.umich.edu (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" Torkel Franzen (01/31/05)
Re: My claim on Omega's defn Arthur Fischer (01/31/05)
Re: My claim on Omega's defn |-|erc (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" tchow_at_lsa.umich.edu (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" Torkel Franzen (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" LordBeotian (01/31/05)
Re: Name the thesis: "Formal sentences capture informal ones" tchow_at_lsa.umich.edu (01/31/05)

Last message date: 02/28/05
Archived on: 02/28/05 CET

795 messages sorted by: [ author ] [ thread ] [ subject ]

comp.theoryBy Date

comp.theory
By Date