comp.theory
By Date
236 messages sorted by: [ author ] [ thread ] [ subject ]
Starting: 09/30/04
Ending: 10/30/04
- Re: P vs NP craziness & Oracle's Predictions tchow_at_lsa.umich.edu (10/30/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) Chas Brown (10/30/04)
- Re: P vs NP craziness & Oracle's Predictions Torkel Franzen (10/30/04)
- Re: P vs NP craziness & Oracle's Predictions Poulpes_at_gmail.com (10/30/04)
- Re: Different size infinities? HERC777 (10/29/04)
- Re: P vs NP craziness & Diaby was already refuted... in 1988 tchow_at_lsa.umich.edu (10/29/04)
- Re: P vs NP craziness & Diaby was already refuted... in 1988 Poulpes_at_gmail.com (10/29/04)
- weighted tree generation Diego (10/29/04)
- Re: Largest provable BB(N)? tchow_at_lsa.umich.edu (10/29/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) Shmuel (Seymour J.) Metz (10/29/04)
- Re: Largest provable BB(N)? Dennis Ritchie (10/29/04)
- Re: Largest provable BB(N)? Russell Wallace (10/29/04)
- Re: Largest provable BB(N)? Daniel A. Jimenez (10/28/04)
- Re: Largest provable BB(N)? tchow_at_lsa.umich.edu (10/28/04)
- Re: Largest provable BB(N)? Russell Wallace (10/28/04)
- Re: P vs NP craziness Anonymous (10/28/04)
- Re: Largest provable BB(N)? tchow_at_lsa.umich.edu (10/28/04)
- Re: Largest provable BB(N)? Robert Low (10/28/04)
- Re: Largest provable BB(N)? Russell Wallace (10/28/04)
- Re: Is this proof right? Alexander T. Hamming (10/28/04)
- Re: Largest provable BB(N)? Robert Low (10/28/04)
- Largest provable BB(N)? Russell Wallace (10/28/04)
- Re: P vs NP craziness tchow_at_lsa.umich.edu (10/28/04)
- P vs NP craziness Anonymous (10/28/04)
- Re: [OT]: Another claim for P=NP & Brother EZzz is watching U! Poulpes_at_gmail.com (10/28/04)
- Re: Another claim for P=NP & Selmer's humor Poulpes_at_gmail.com (10/28/04)
- Re: Problem creating a regular expression. Mitch Harris (10/28/04)
- Re: Another claim for P=NP Eray Ozkural exa (10/27/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) Eray Ozkural exa (10/27/04)
- Problem creating a regular expression. LK (10/27/04)
- Wanted: Nondeterministic Turing Machine of Polynomial Time Complexity Thomas A. Li (10/27/04)
- Re: Can Human Level A.I. be implemented? Eray Ozkural exa (10/27/04)
- Re: Turing Machine to Train Sets Converter André Betz (10/26/04)
- Re: Turing Machine to Train Sets Converter Alex Vinokur (10/26/04)
- Turing Machine to Train Sets Converter André Betz (10/26/04)
- tree generation Jaroslaw Zola (10/26/04)
- Re: Testing for acceptance of Kleene closure of alphabet Torben Ćgidius Mogensen (10/26/04)
- RTSS 2004 Call for Participation (Note: Hotel Deadline Oct. 29) Scott Brandt (10/25/04)
- Re: Semantics of LTS Valmari Antti (10/25/04)
- Re: Testing for acceptance of Kleene closure of alphabet Mark \(The WannaBe\) (10/25/04)
- Re: Can Human Level A.I. be implemented? tchow_at_lsa.umich.edu (10/25/04)
- Re: Testing for acceptance of Kleene closure of alphabet Torben Ćgidius Mogensen (10/25/04)
- Can Human Level A.I. be implemented? tcs_chen (10/25/04)
- Re: Semantics of LTS Jean-S?bastien Bolduc (10/25/04)
- [OT]: Another claim for P=NP Kent Paul Dolan (10/25/04)
- Re: Is this proof right? SD (10/25/04)
- Re: Is this proof right? Casey Hawthorne (10/24/04)
- Is this proof right? Alexander T. Hamming (10/24/04)
- Re: Semantics of LTS Hans Hüttel (10/22/04)
- Re: Another claim for P=NP Robert Low (10/22/04)
- Re: Sum of n numbers 0..1 Paul E. Black (10/22/04)
- Re: Another claim for P=NP Alex Hunsley (10/22/04)
- Re: Testing for acceptance of Kleene closure of alphabet Mark \(The WannaBe\) (10/22/04)
- Re: Semantics of LTS Valmari Antti (10/22/04)
- Re: Testing for acceptance of Kleene closure of alphabet Mark \(The WannaBe\) (10/22/04)
- Re: Multiple errors recognition Michael J. Fromberger (10/22/04)
- Semantics of LTS Jean-S?bastien Bolduc (10/22/04)
- Complexity question regarding randomized approximation algorithm Edmond (10/21/04)
- Multiple errors recognition Ernest (10/21/04)
- Sum of n numbers 0..1 user_at_domain.invalid (10/21/04)
- Re: Turing Machine with faults, failures and recovery Alex Vinokur (10/21/04)
- Re: Another claim for P=NP John P. Green (10/21/04)
- Re: Another claim for P=NP Robert Low (10/20/04)
- Re: Another claim for P=NP Alex Hunsley (10/20/04)
- Re: Proof that this assertion about heaps is true smangano_at_ureach.com (10/19/04)
- Re: Proof that this assertion about heaps is true Bill Wade (10/19/04)
- CATS'05 Accepted Papers Mike Atkinson (10/19/04)
- Proof that this assertion about heaps is true smangano_at_ureach.com (10/18/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) Dave Seaman (10/18/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) Craig Feinstein (10/18/04)
- Re: Testing for acceptance of Kleene closure of alphabet Torben Ćgidius Mogensen (10/18/04)
- A Note on Boolean Satisfiability. conesetter (10/18/04)
- Re: complexity of matrix operations Victor Eijkhout (10/18/04)
- Re: Testing for acceptance of Kleene closure of alphabet Rick Decker (10/17/04)
- proof by contradiction Mark \(The WannaBe\) (10/17/04)
- Testing for acceptance of Kleene closure of alphabet Mark \(The WannaBe\) (10/17/04)
- Re: Proving a regular language to be infinite Mark \(The WannaBe\) (10/17/04)
- Re: Proving a regular language to be infinite Mark \(The WannaBe\) (10/17/04)
- Re: Proving a regular language to be infinite Mark \(The WannaBe\) (10/17/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) Chas Brown (10/17/04)
- Re: Proving a regular language to be infinite Rick Decker (10/16/04)
- Re: Proving a regular language to be infinite Rick Decker (10/16/04)
- Re: Proving a regular language to be infinite Mark \(The WannaBe\) (10/16/04)
- Re: pumping lemma (third try) Mark \(The WannaBe\) (10/16/04)
- Proving a regular language to be infinite Mark \(The WannaBe\) (10/16/04)
- Re: complexity of computing polynomials proof Kent Paul Dolan (10/16/04)
- complexity of computing polynomials proof Ken (10/16/04)
- Nevermind & sorry for the stuttering Smalmatskungen (10/16/04)
- Re: random number generation & predictability Kent Paul Dolan (10/16/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) Dik T. Winter (10/16/04)
- Re: Graph theory nomenclature Jón Fairbairn (10/16/04)
- Proof of lower bound for sorting shoes. Smalmatskungen (10/15/04)
- Proof of lower bound for sorting shoes. Smalmatskungen (10/15/04)
- Proof of lower bound for sorting shoes. Smalmatskungen (10/15/04)
- Re: pumping lemma (third try) Jim Nastos (10/15/04)
- Re: Graph theory nomenclature Paul E. Black (10/15/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) Eray Ozkural exa (10/15/04)
- Re: pumping lemma (third try) Rick Decker (10/15/04)
- Re: limit speed of computation - Digital vs. Quantum Matthew Skala (10/15/04)
- Re: random number generation & predictability Ralph Hartley (10/15/04)
- Re: random number generation & predictability tchow_at_lsa.umich.edu (10/15/04)
- Re: random number generation & predictability Torben Ćgidius Mogensen (10/15/04)
- Re: limit speed of computation - Digital vs. Quantum Ralph Hartley (10/15/04)
- Re: pumping lemma (third try) Jim Nastos (10/15/04)
- Re: random number generation & predictability Alex Hunsley (10/15/04)
- Graph theory nomenclature Jón Fairbairn (10/15/04)
- Special Case of Sat Andreas Morgenstern (10/15/04)
- Re: pumping lemma (third try) Mark \(The WannaBe\) (10/15/04)
- Re: pumping lemma (third try) Mark \(The WannaBe\) (10/15/04)
- Re: pumping lemma (third try) Jim Nastos (10/15/04)
- Re: pumping lemma (third try) Jim Nastos (10/15/04)
- Re: limit speed of computation - Digital vs. Quantum Kent Paul Dolan (10/15/04)
- Re: pumping lemma (third try) Mark \(The WannaBe\) (10/14/04)
- Re: pumping lemma (third try) Rick Decker (10/14/04)
- Re: pumping lemma (third try) Rick Decker (10/14/04)
- Re: limit speed of computation - Digital vs. Quantum Ralph Hartley (10/14/04)
- Re: random number generation & predictability tchow_at_lsa.umich.edu (10/14/04)
- Re: pumping lemma (third try) Jim Nastos (10/14/04)
- Re: pumping lemma (third try) Mark \(The WannaBe\) (10/14/04)
- Re: random number generation & predictability David Wagner (10/14/04)
- Re: pumping lemma (third try) Rick Decker (10/14/04)
- pumping lemma (third try) Mark \(The WannaBe\) (10/14/04)
- random number generation & predictability Alex Hunsley (10/14/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) Plamen Petrov (10/14/04)
- On the undecidability of L_d manikraina_at_gmail.com (10/14/04)
- Re: complexity of matrix operations Mitch Harris (10/14/04)
- Re: pumping lemma (second try) Mark \(The WannaBe\) (10/14/04)
- Re: limit speed of computation - Digital vs. Quantum Kent Paul Dolan (10/13/04)
- Re: pumping lemma (second try) Rick Decker (10/13/04)
- Re: limit speed of computation - Digital vs. Quantum Kent Paul Dolan (10/13/04)
- Re: limit speed of computation - Digital vs. Quantum Kent Paul Dolan (10/13/04)
- pumping lemma (second try) Mark \(The WannaBe\) (10/13/04)
- Re: limit speed of computation - Digital vs. Quantum Kent Paul Dolan (10/13/04)
- Call for Papers, Data Compression Conference 2005, March 29-31, Snowbird, UT DCC (10/13/04)
- Re: complexity of matrix operations tchow_at_lsa.umich.edu (10/13/04)
- complexity of matrix operations mareg_at_mimosa.csv.warwick.ac.uk (10/13/04)
- Re: cnf/dnf approximation Jim Nastos (10/12/04)
- Re: AVL to Red-Black Tree Kaz Kylheku (10/12/04)
- Re: cnf/dnf approximation Daniel A. Jimenez (10/12/04)
- Re: cnf/dnf approximation Jim Nastos (10/12/04)
- **theory-edge** mailing list V.Z.Nuri (10/12/04)
- cnf/dnf approximation V.Z.Nuri (10/12/04)
- CFP: LICS 2005 - 12th IEEE Symposium on Logic In Computer Science Alex Simpson (10/11/04)
- Re: generating random phrases with semantics. Eray Ozkural exa (10/11/04)
- Re: Zenkin's paper on Cantor Eray Ozkural exa (10/11/04)
- Re: Zenkin's paper on Cantor Eray Ozkural exa (10/11/04)
- Fibonacci connection between Huffman codes and Wythoff array Alex Vinokur (10/10/04)
- FACS FACTS Newsletter Call for Contributions on Formal Aspects of Computing Science (deadline 15 October 2004) Paul Boca (10/10/04)
- Prefix Averages Problem Frank (10/10/04)
- Re: AVL to Red-Black Tree Marc Goodman (10/09/04)
- AVL to Red-Black Tree Farhang Farid (10/09/04)
- Re: Primitive recursive vs recursive at the base of the arithmetical hierarchy. Mike Oliver (10/09/04)
- Re: Primitive recursive vs recursive at the base of the arithmetical hierarchy. Chris Menzel (10/08/04)
- Re: New book: Stochastic Local Search --- Foundations and Applications Paul Victor Birke (10/08/04)
- Re: Primitive recursive vs recursive at the base of the arithmetical hierarchy. H. Enderton (10/08/04)
- Re: New book: Stochastic Local Search --- Foundations and Applications Jim Nastos (10/08/04)
- Re: Primitive recursive vs recursive at the base of the arithmetical hierarchy. Mike Oliver (10/08/04)
- Re: New book: Stochastic Local Search --- Foundations and Applications Paul Victor Birke (10/08/04)
- New book: Stochastic Local Search --- Foundations and Applications Thomas Stuetzle (10/08/04)
- Re: Zenkin's paper on Cantor Eray Ozkural exa (10/08/04)
- Primitive recursive vs recursive at the base of the arithmetical hierarchy. Rex Butler (10/08/04)
- Re: Zenkin's paper on Cantor Daryl McCullough (10/07/04)
- Re: Zenkin's paper on Cantor Eray Ozkural exa (10/07/04)
- Re: Zenkin's paper on Cantor Ralph Hartley (10/07/04)
- Re: Zenkin's paper on Cantor Keckman (10/07/04)
- Re: Zenkin's paper on Cantor David C. Ullrich (10/07/04)
- Re: Zenkin's paper on Cantor Daryl McCullough (10/07/04)
- Re: examples of EXPTIME Mitch Harris (10/07/04)
- Re: Zenkin's paper on Cantor Eray Ozkural exa (10/07/04)
- Re: Zenkin's paper on Cantor Keckman (10/07/04)
- Re: Zenkin's paper on Cantor Daryl McCullough (10/07/04)
- Re: Zenkin's paper on Cantor Daryl McCullough (10/07/04)
- Re: Zenkin's paper on Cantor Eray Ozkural exa (10/07/04)
- Re: Zenkin's paper on Cantor Peter R. Douglass (10/07/04)
- Re: Zenkin's paper on Cantor Eray Ozkural exa (10/07/04)
- Re: Zenkin's paper on Cantor Eray Ozkural exa (10/07/04)
- Re: Zenkin's paper on Cantor Aatu Koskensilta (10/06/04)
- Re: Zenkin's paper on Cantor Aatu Koskensilta (10/06/04)
- Re: examples of EXPTIME tchow_at_lsa.umich.edu (10/06/04)
- Re: Zenkin's paper on Cantor Ralph Hartley (10/06/04)
- Re: examples of EXPTIME Jym (10/06/04)
- Re: examples of EXPTIME Jamie Andrews; real address _at_ bottom of message (10/06/04)
- Re: generating random phrases with semantics. Lucas Zimmerman (10/06/04)
- Re: Zenkin's paper on Cantor Torkel Franzen (10/06/04)
- Re: Zenkin's paper on Cantor Eray Ozkural exa (10/06/04)
- Re: examples of EXPTIME d. lee (10/06/04)
- Re: generating random phrases with semantics. Zhongtao Zhu (10/06/04)
- Re: help: probability of dropping k items into N buckets Lars Luthman (10/06/04)
- Re: help: probability of dropping k items into N buckets Lars Luthman (10/06/04)
- Re: Zenkin's paper on Cantor Peter R. Douglass (10/06/04)
- Re: Zenkin's paper on Cantor Keckman (10/06/04)
- Re: Zenkin's paper on Cantor Aatu Koskensilta (10/06/04)
- Re: Zenkin's paper on Cantor Eray Ozkural exa (10/06/04)
- Re: Zenkin's paper on Cantor Eray Ozkural exa (10/06/04)
- generating random phrases with semantics. Lucas Zimmerman (10/05/04)
- Re: Zenkin's paper on Cantor Craig Feinstein (10/04/04)
- Re: Olcott is cured of CrackPottery! (Halting Problem) Charlie-Boo (10/04/04)
- Re: Zenkin's paper on Cantor Keckman (10/03/04)
- Re: Zenkin's paper on Cantor albrecht (10/03/04)
- Re: Zenkin's paper on Cantor peter_douglass (10/03/04)
- Re: (N)Linspace Jose Juan Mendoza Rodriguez (10/03/04)
- Re: Zenkin's paper on Cantor Michael N. Christoff (10/03/04)
- Performance of matching algorithms in practice Daniel Marx (10/03/04)
- Re: Zenkin's paper on Cantor Torkel Franzen (10/03/04)
- Re: Zenkin's paper on Cantor Torkel Franzen (10/03/04)
- Re: Zenkin's paper on Cantor Torkel Franzen (10/03/04)
- Re: Zenkin's paper on Cantor Russell Easterly (10/02/04)
- Re: Another set with cardinality |Z| jesus harold christ (10/02/04)
- Re: Zenkin's paper on Cantor peter_douglass (10/02/04)
- Re: Zenkin's paper on Cantor Aatu Koskensilta (10/02/04)
- Re: Zenkin's paper on Cantor Eray Ozkural exa (10/02/04)
- Re: Another set with cardinality |Z| Tim Peters (10/02/04)
- Re: Proof of inherent ambiguity? Harlan Messinger (10/02/04)
- Re: Zenkin's paper on Cantor Ross A. Finlayson (10/02/04)
- Re: Zenkin's paper on Cantor peter_douglass (10/02/04)
- Re: Zenkin's paper on Cantor Eray Ozkural exa (10/01/04)
- Re: Another set with cardinality |Z| Robert Low (10/01/04)
- Re: Another set with cardinality |Z| Eray Ozkural exa (10/01/04)
- Re: Zenkin's paper on Cantor Eray Ozkural exa (10/01/04)
- Re: Zenkin's paper on Cantor Ralph Hartley (10/01/04)
- Re: Zenkin's paper on Cantor Dave Seaman (10/01/04)
- Re: Zenkin's paper on Cantor No Way (10/01/04)
- Re: Zenkin's paper on Cantor He Who Smokes Out Of Two Mouths (10/01/04)
- Re: Zenkin's paper on Cantor He Who Smokes Out Of Two Mouths (10/01/04)
- Re: Zenkin's paper on Cantor Aatu Koskensilta (10/01/04)
- Re: Zenkin's paper on Cantor Daryl McCullough (10/01/04)
- Re: Zenkin's paper on Cantor Robert Low (10/01/04)
- Re: Another set with cardinality |Z| Tim Peters (10/01/04)
- Re: Zenkin's paper on Cantor Eray Ozkural exa (10/01/04)
- Re: Zenkin's paper on Cantor Ross A. Finlayson (10/01/04)
- Re: Large scale sorting Thomas Cormen (10/01/04)
- Re: Any NP optimization problems that don't reduce to decision problems? tchow_at_lsa.umich.edu (10/01/04)
- Re: Zenkin's paper on Cantor Tim Peters (10/01/04)
- HIS 2004 final call for papers Vitorino RAMOS (10/01/04)
- Large scale sorting burning trident (09/30/04)
- Re: Zenkin's paper on Cantor David C. Ullrich (09/30/04)
Last message date: 10/30/04
Archived on: 10/31/04 CET
236 messages sorted by: [ author ] [ thread ] [ subject ]
