comp.theory
By Thread
795 messages sorted by: [ author ] [ date ] [ subject ]
Starting: 01/31/05
Ending: 02/28/05
- Please need help on promise problems betty (02/27/05)
- anyone can suggest some books to me? nick (02/27/05)
- do not understand the questions nick (02/27/05)
- an algorithm question Eitan (02/26/05)
- A modified version of minimum spanning tree yaoziyuan_at_gmail.com (02/26/05)
- Number of 2SATs in 3SAT Russell Easterly (02/25/05)
- learning k-term DNF and k-CNF Sicco Verwer (02/25/05)
- Computers as sentient beings dunric_at_yahoo.com (02/25/05)
- hard puzzle puzzlecracker (02/23/05)
- Question: NP Complete (Circuits) timbrigham_at_hotmail.com (02/23/05)
- Re: MTTF of a Disk Array Pest (02/23/05)
- CfP Concurrent Process Architectures 2005 Herman Roebbers (02/23/05)
- Lower bound of DFT Piotr Wyderski (02/22/05)
- REGULAR-TM is undecidable? J.M.Roth (02/22/05)
- Re: an true information theory examachine_at_gmail.com (02/22/05)
- Call for papers - Workshop on Resource Management kettimut_at_gmail.com (02/21/05)
- K-ary Huffman Tree is Optimal Yao Ziyuan (02/19/05)
- matrix handeling algorithms Jab (02/18/05)
- Autonomous Object Oriented Programming? yaoziyuan_at_gmail.com (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)
- Professorship in Cryptology, University of Aarhus, Denmark Uffe Henrik Engberg (02/17/05)
- New Busy Beaver 5-tuple Turing machines... Terry Ligocki (02/17/05)
- Progressions on the halting problem Pollux (02/17/05)
- Little exercise: A distance problem Matt (02/17/05)
- Strength for Parametric Dialgebras glimming (02/16/05)
- pancake flip grace5in_at_gmail.com (02/16/05)
- P=NP: Linear Programming Formulation of the TSP moustapha.diaby_at_business.uconn.edu (02/15/05)
- Recognizing proof of membership easier than recognizing David Wagner (02/15/05)
- Re: FW: Regular expressions / FSA question Mitchell Harris (02/15/05)
- Re: provenance of truth tables Mitch Harris (02/15/05)
- Artifical Intelligence can not be Artificial ! Tim_Miltz (02/15/05)
- Definition of a Co-Co-Moron: one who likes Chocolate! Casey Hawthorne (02/15/05)
- Can you systematically determine if any given program will HALT? |-|erc (02/13/05)
- [OT] Sometimes it's AI if you believe it is yaoziyuan_at_gmail.com (02/12/05)
- I need a help with these questions jackop (02/12/05)
- THE HALTING SOLUTION |-|erc (02/12/05)
- Computer Algorithm Question ymc_at_shgc.stanford.edu (02/11/05)
- NP != P and Co-NP != P Raju Renjit G. (02/11/05)
- NP != P AND CO-NP != P Raju.Renjit.Grover_at_gmail.com (02/10/05)
- Is this language context sensitive? ehsan.akhgari_at_gmail.com (02/10/05)
- Finding longest and most repeated substring dayzman_at_hotmail.com (02/10/05)
- If to prove is to explain, why does "I cannot explain" mean mathematics is incomplete? |-|erc (02/09/05)
- Quantum Computer ? Thomas A. Li (02/09/05)
- NFA or DFA? r_ahu_l (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)
- Godel's proof proves "this has no proof". |-|erc (02/08/05)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |-|erc (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)
- Difference Constraints with BF pmatos (02/07/05)
- Software for simulation of data streams tsirman_at_gmail.com (02/07/05)
- there's any finite prefix, not oo........anything you say sci.math |-|erc (02/07/05)
- Dimensionality of Networks Edward Green (02/06/05)
- simple coin puzzle puts cardinality theory in doubt |-|erc (02/06/05)
- does sqrt(2) exist in CM? alex goldman (02/05/05)
- 3SAT is Almost 2SAT Russell Easterly (02/05/05)
- A new computer architecture Yingxia Wang (02/04/05)
- Web Portal - JSP? Dan Rossul (02/03/05)
- Re: AI will never work in 100 years !!!! whopkins_at_csd.uwm.edu (02/03/05)
- PLease Read agargiso_at_gmail.com (02/02/05)
- String Transformation Problem yaoziyuan_at_gmail.com (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: 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: Herc defines the HOLY GRAIL OF MATHEMATICS alex goldman (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)
- Graham's Scan Time Complexity Iluhinson Iluhinsonovich (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" 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 ] [ date ] [ subject ]
