comp.theory
By Author

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

---

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

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

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

---

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

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