comp.theory
By Author

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

Starting: 10/31/04
Ending: 11/30/04

Acid Pooh
- Re: mathematics (11/30/04)
- Re: mathematics (11/30/04)
- Re: Platonism (11/30/04)
- Re: Platonism (11/30/04)
- Re: Platonism (11/29/04)
- Re: Platonism (11/28/04)
Adam Morrison
- Re: Data structure for finding min of set intersection (11/18/04)
- Re: Data structure for finding min of set intersection (11/16/04)
- Data structure for finding min of set intersection (11/15/04)
albrecht
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/10/04)
Albretch
- sampling algoritm based on indexed constrains (11/29/04)
Alfred Einstead
- Re: Computer language and category theory (11/24/04)
- Re: Can Human Level A.I. be implemented? (11/11/04)
AlphaOmega
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/21/04)
- Re: Turing Machines and Physical Computation (11/21/04)
Anonymous
- Re: A reply to Moews on Diaby contradicting Yannakakis (11/12/04)
- Re: Diaby's claim contradicts Yannakakis's 1988 result (11/10/04)
- Re: P vs NP craziness & Diaby was already refuted... in 1988 (11/03/04)
Bernhard Gramlich
- FroCoS 2005 - 1st Call for Papers (11/19/04)
Bilal Sallakh
- Re: Turing Machine Examples (11/09/04)
Bill Modlin
- Re: Turing Machines and Physical Computation (11/28/04)
Blake Manner
- The class PLS (11/18/04)
Bonzidave_at_ntlworld.com
- Re: Skip School, Get 50,000 Volts (11/15/04)
c c
- proof of non context-free languages!!sos!! (11/30/04)
- pumping lemma question!!sos! (11/18/04)
Carsten Schultz
- Re: Infinite number of people toss a coin infinite times (11/24/04)
Chakravarthi
- Re: DISPROOF of the uncountability of reals (11/26/04)
Chas Brown
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/29/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/23/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/22/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/20/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/19/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/15/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/14/04)
Chris Menzel
- Re: Infinite number of people toss a coin infinite times (11/28/04)
Chris Pollett
- Re: The class PLS (11/18/04)
Christian Kleinewaechter
- Re: Asymptotic Equipartition Property (11/11/04)
Cindi Jenkins
- Rules Engines - Best Practices? (11/29/04)
Clayton Weaver
- Re: entropy (random bits) question (11/06/04)
- Re: entropy (random bits) question (11/05/04)
- entropy (random bits) question (11/04/04)
Craig Feinstein
- Re: another proof that p is not np (11/16/04)
- another proof that p is not np (11/10/04)
- Re: Diaby's claim contradicts Yannakakis's 1988 result (11/09/04)
Dale Nesbitt
- Re: The Halting Problem (11/04/04)
dan michaels
- Re: Turing Machines and Physical Computation (11/27/04)
Daryl McCullough
- Re: Infinite number of people toss a coin infinite times (11/29/04)
- Re: Infinite number of people toss a coin infinite times (11/28/04)
- Re: Infinite number of people toss a coin infinite times (11/27/04)
- Re: Infinite number of people toss a coin infinite times (11/27/04)
- Re: Infinite number of people toss a coin infinite times (11/23/04)
David Longley
- Re: Platonism (11/29/04)
- Re: Platonism (11/29/04)
- Re: Turing Machines and Physical Computation (11/28/04)
- Re: Turing Machines and Physical Computation (11/27/04)
- Re: Turing Machines and Physical Computation (11/27/04)
- Re: Turing Machines and Physical Computation (11/27/04)
- Re: Platonism (11/26/04)
- Re: Turing Machines and Physical Computation (11/26/04)
- Re: Turing Machines and Physical Computation (11/25/04)
- Re: Turing Machines and Physical Computation (11/25/04)
- Re: Turing Machines and Physical Computation (11/24/04)
- Re: Turing Machines and Physical Computation (11/24/04)
- Re: Turing Machines and Physical Computation (11/24/04)
- Re: Turing Machines and Physical Computation (11/21/04)
- Re: Turing Machines and Physical Computation (11/21/04)
- Re: Turing Machines and Physical Computation (11/21/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/21/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/21/04)
- Re: Turing Machines and Physical Computation (11/21/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/21/04)
- Re: Turing Machines and Physical Computation (11/20/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/19/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/19/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/19/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/18/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/18/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/18/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/18/04)
David Moews
- Re: Diaby's claim contradicts Yannakakis's 1988 result (11/10/04)
- Diaby's claim contradicts Yannakakis's 1988 result (11/08/04)
David Wagner
- Re: Data structure for finding min of set intersection (11/18/04)
- Re: Data structure for finding min of set intersection (11/16/04)
David Walker
- Principles of Programming Languages 2005 Call for Participation (11/26/04)
Delete Fruit
- Re: Being NP is decidable? (11/19/04)
- Re: Being NP is decidable? (11/19/04)
- Re: another proof that p is not np (11/16/04)
Dennis Farr
- Re: Shortest Path finding with mutating weights (11/01/04)
Deokhwan Kim
- Re: Decision Problem and Optimization Problem (11/11/04)
- Decision Problem and Optimization Problem (11/10/04)
Eray Ozkural exa
- Re: Turing Machines and Physical Computation (11/30/04)
- Re: mathematics (11/29/04)
- Re: Platonism (11/29/04)
- Re: Platonism (11/29/04)
- Re: Platonism (11/29/04)
- Re: Platonism (11/29/04)
- Re: Platonism (11/29/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/28/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/27/04)
- Re: Platonism (11/27/04)
- Re: Platonism (11/27/04)
- Re: Platonism (11/27/04)
- Re: Platonism (11/27/04)
- Re: Platonism (11/27/04)
- Re: Platonism (11/27/04)
- Re: Turing Machines and Physical Computation (11/27/04)
- Re: Platonism (11/26/04)
- Re: Platonism (11/26/04)
- Re: Platonism (11/26/04)
- Re: Platonism (11/26/04)
- Re: Platonism (11/26/04)
- Re: Platonism (11/26/04)
- Re: Platonism (11/26/04)
- Re: Platonism (11/25/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/25/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/24/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/24/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/24/04)
- Re: Turing Machines and Physical Computation (11/23/04)
- Re: Turing Machines and Physical Computation (11/23/04)
- Re: Infinite number of people toss a coin infinite times (11/23/04)
- Re: Turing Machines and Physical Computation (11/23/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/23/04)
- Re: Turing Machines and Physical Computation (11/22/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/22/04)
- Re: Turing Machines and Physical Computation (11/22/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/22/04)
- Re: [OT]: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/21/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/21/04)
- Re: Turing Machines and Physical Computation (11/21/04)
- Re: Turing Machines and Physical Computation (11/21/04)
- Re: Turing Machines and Physical Computation (11/21/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/21/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/20/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/20/04)
- Turing Machines and Physical Computation (11/20/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/20/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/19/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/19/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/19/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/19/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/18/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/18/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/18/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/17/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/14/04)
- Re: Can Human Level A.I. be implemented? (11/13/04)
- Re: Can Human Level A.I. be implemented? (11/11/04)
- Re: Hypercomputation is physically possible (11/11/04)
- Re: Chomsky's theories (11/11/04)
- Re: Chomsky's theories (11/10/04)
- Re: [OT]: Another claim for P=NP (11/10/04)
- Re: P vs NP craziness (11/10/04)
- Re: P vs NP craziness & Diaby was already refuted... in 1988 (11/09/04)
- Re: [OT]: Another claim for P=NP (11/09/04)
- Re: Another claim for P=NP & Selmer's humor (11/09/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/09/04)
- Re: Hypercomputation is physically possible (11/09/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/09/04)
Eric Cordian
- Re: A reply to Moews on Diaby contradicting Yannakakis (11/11/04)
- Re: [OT]: Another claim for P=NP (11/09/04)
EZzz
- Re: Hypercomputation is physically possible (11/10/04)
Fedor Fomin
- postdoc in Algorithms, Bergen (11/22/04)
FunnyGuy
- Re: (Possibly) New model of compution (11/20/04)
- Re: (Possibly) New model of compution (11/20/04)
- Re: (Possibly) New model of compution (11/19/04)
- Re: (Possibly) New model of compution (11/19/04)
- Re: (Possibly) New model of compution (11/19/04)
- (Possibly) New model of compution (11/18/04)
- Re: New Model of Computation (11/17/04)
- Re: New Model of Computation (11/17/04)
- New Model of Computation (11/17/04)
George Cox
- Re: mathematics (11/30/04)
Glenn C. Rhoads
- Re: Push relabel modification to show used paths (maxflow problem) (11/22/04)
- Re: Push relabel modification to show used paths (maxflow problem) (11/17/04)
- Re: Push relabel modification to show used paths (maxflow problem) (11/14/04)
H. J. Sander Bruggink
- Re: single-combinator basis with direct algebraic characterisation? (11/05/04)
Han de Bruijn
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/26/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/26/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/25/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/25/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/25/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/02/04)
Heiner Marxen
- Re: Data structure for finding min of set intersection (11/18/04)
Henning Fernau
- Re: minimum set cover with k set (11/25/04)
- Re: k-Clique for small fixed k (11/25/04)
Henri M T Hakonen
- Yannakakis and P vs. NP (11/14/04)
HERC777
- Re: Different size infinities? (11/05/04)
- Re: Different size infinities? (11/05/04)
Herman Jurjus
- Re: Platonism (11/30/04)
- Re: Platonism (11/30/04)
j q st martin
- Re: Platonism (11/29/04)
J.E.
- Re: Platonism (11/30/04)
- Re: Platonism (11/29/04)
- Re: Platonism (11/29/04)
- Re: Platonism (11/28/04)
- Re: Platonism (11/28/04)
J.H.Jongejan
- Re: Question on Order of Growth of Function (11/11/04)
Jake Johnson
- Re: Strings of 0's Length 2^n (11/28/04)
- Re: Strings of 0's Length 2^n (11/26/04)
- Re: Strings of 0's Length 2^n (11/26/04)
- Strings of 0's Length 2^n (11/25/04)
Jan Murray
- CFP: 28th German Conference on AI (KI 2005) (11/18/04)
JC
- Re: Turing Machines and Physical Computation (11/27/04)
Jean-Marc Bourguet
- Re: Proof that Languages are Not Turing Equivalent (11/13/04)
Jeff
- Turing Machien Debugging (11/10/04)
- Turing Machine Examples (11/09/04)
Jerzy Karczmarczuk
- Re: Infinite number of people toss a coin infinite times (11/25/04)
Jesse F. Hughes
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/29/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/27/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/26/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/26/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/25/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/25/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/25/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/24/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/23/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/22/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/20/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/20/04)
John Coleman
- Re: another proof that p is not np (11/15/04)
John F
- Re: Platonism (11/29/04)
John Savard
- Re: Turing Machines and Physical Computation (11/21/04)
- Re: Turing Machines and Physical Computation (11/21/04)
- Re: Turing Machines and Physical Computation (11/21/04)
Jon Haugsand
- Re: mathematics (11/29/04)
- Re: Computer language and category theory (11/21/04)
- Computer language and category theory (11/18/04)
Jose Juan Mendoza Rodriguez
- Re: Computer language and category theory (11/21/04)
Josef Svoboda
- Re: Executive Information Systems (11/24/04)
Josh Purinton
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/18/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/18/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/18/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/17/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/10/04)
JPL Verhey
- Re: Turing Machines and Physical Computation (11/24/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/20/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/20/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/19/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/19/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/18/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/18/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/18/04)
JXStern
- Re: Turing Machines and Physical Computation (11/30/04)
- Re: mathematics (11/30/04)
- Re: Platonism (11/30/04)
- Re: Turing Machines and Physical Computation (11/28/04)
- Re: Turing Machines and Physical Computation (11/28/04)
- Re: Turing Machines and Physical Computation (11/28/04)
- Re: Turing Machines and Physical Computation (11/28/04)
- Re: Turing Machines and Physical Computation (11/28/04)
- Re: Turing Machines and Physical Computation (11/28/04)
- Re: Turing Machines and Physical Computation (11/28/04)
- Re: Platonism (11/28/04)
- Re: Platonism (11/27/04)
- Re: Platonism (11/27/04)
- Re: Turing Machines and Physical Computation (11/27/04)
- Re: Platonism (11/27/04)
- Re: Platonism (11/26/04)
- Re: Turing Machines and Physical Computation (11/24/04)
- Re: Turing Machines and Physical Computation (11/24/04)
- Re: Turing Machines and Physical Computation (11/23/04)
- Re: Turing Machines and Physical Computation (11/23/04)
- Re: Turing Machines and Physical Computation (11/22/04)
- Re: Turing Machines and Physical Computation (11/21/04)
- Re: Turing Machines and Physical Computation (11/21/04)
- Re: Turing Machines and Physical Computation (11/21/04)
- Re: Turing Machines and Physical Computation (11/21/04)
Jym
- Re: Proof that Languages are Not Turing Equivalent (11/14/04)
- Re: P = SPACE(n) (11/01/04)
J�n Fairbairn
- Re: single-combinator basis with direct algebraic characterisation? (11/13/04)
- Re: single-combinator basis with direct algebraic characterisation? (11/09/04)
- Re: single-combinator basis with direct algebraic characterisation? (11/08/04)
- Re: single-combinator basis with direct algebraic characterisation? (11/07/04)
- Re: single-combinator basis with direct algebraic characterisation? (11/07/04)
Ken
- k-Clique for small fixed k (11/11/04)
- Re: P = SPACE(n) (11/05/04)
- P = SPACE(n) (11/01/04)
Ken Pledger
- Re: Platonism (11/25/04)
Kent Paul Dolan
- [Another Successful Troll by Herc] (no longer mentions): Infinite number of people toss a coin infinite times (11/28/04)
- Re: Turing Machines and Physical Computation (11/25/04)
- Re: Turing Machines and Physical Computation (11/24/04)
- Re: Turing Machines and Physical Computation (11/21/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/21/04)
- Re: Turing Machines and Physical Computation (11/21/04)
- Re: Turing Machines and Physical Computation (11/21/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/21/04)
- [OT]: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/21/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/21/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/17/04)
- Re: The Halting Problem (11/05/04)
- Re: The Halting Problem (11/03/04)
Ketil Malde
- Re: Infinite number of people toss a coin infinite times (11/24/04)
Lee Rudolph
- Re: Platonism (11/26/04)
Lester Zick
- Re: Platonism (11/30/04)
- Re: Platonism (11/30/04)
- Re: Platonism (11/30/04)
- Re: Platonism (11/30/04)
- Re: Platonism (11/30/04)
- Re: Platonism (11/29/04)
- Re: Platonism (11/29/04)
- Re: Platonism (11/29/04)
- Re: Turing Machines and Physical Computation (11/29/04)
- Re: Turing Machines and Physical Computation (11/27/04)
- Re: Platonism (11/26/04)
- Re: Turing Machines and Physical Computation (11/26/04)
- Re: Platonism (11/26/04)
- Re: Turing Machines and Physical Computation (11/24/04)
- Re: Turing Machines and Physical Computation (11/22/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/18/04)
Malcolm
- Re: Can Human Level A.I. be implemented? (11/12/04)
- Re: Can Human Level A.I. be implemented? (11/11/04)
Mark Nudelman
- Re: Infinite number of people toss a coin infinite times (11/23/04)
Martin Johansen
- Re: entropy (random bits) question (11/04/04)
- The Halting Problem (11/01/04)
massimiliano1999_at_supereva.it
- Asymptotic Equipartition Property (11/08/04)
Mat Nicholls
- Executive Information Systems (11/23/04)
me
- hmm and irregularly spaced samples (11/10/04)
Mike
- Re: Infinite number of people toss a coin infinite times (11/28/04)
Mike Oliver
- Re: Infinite number of people toss a coin infinite times (11/28/04)
- Re: Infinite number of people toss a coin infinite times (11/27/04)
- Re: Infinite number of people toss a coin infinite times (11/27/04)
Mike Robson
- Re: k-Clique for small fixed k (11/25/04)
Mirko Knoll
- Re: Push relabel modification to show used paths (maxflow problem) (11/19/04)
- Re: Push relabel modification to show used paths (maxflow problem) (11/16/04)
- Push relabel modification to show used paths (maxflow problem) (11/12/04)
Mitch Harris
- Re: Platonism (11/27/04)
- Re: Platonism (11/26/04)
- Re: Strings of 0's Length 2^n (11/26/04)
- Re: Platonism (11/26/04)
- Re: Platonism (11/26/04)
- Re: Platonism (11/26/04)
- Re: Platonism (11/25/04)
- Re: Question on Order of Growth of Function (11/11/04)
- Re: Question on Order of Growth of Function (11/11/04)
- Re: Decision Problem and Optimization Problem (11/11/04)
- Re: Decision Problem and Optimization Problem (11/10/04)
Moustapha
- A reply to Moews on Diaby contradicting Yannakakis (11/11/04)
Neil W Rickert
- Re: Platonism (11/30/04)
- Re: Platonism (11/30/04)
- Re: Turing Machines and Physical Computation (11/30/04)
- Re: mathematics (11/30/04)
- Re: mathematics (11/30/04)
- Re: Platonism (11/29/04)
- Re: Platonism (11/29/04)
- Re: Platonism (11/29/04)
- Re: Platonism (11/29/04)
- Re: mathematics (11/29/04)
- Re: Turing Machines and Physical Computation (11/29/04)
- Re: Turing Machines and Physical Computation (11/28/04)
- Re: Platonism (11/28/04)
- Re: Turing Machines and Physical Computation (11/28/04)
- Re: Turing Machines and Physical Computation (11/28/04)
- Re: Turing Machines and Physical Computation (11/28/04)
- Re: Platonism (11/28/04)
- Re: Platonism (11/28/04)
- Re: Turing Machines and Physical Computation (11/27/04)
- Re: Platonism (11/27/04)
- Re: Platonism (11/27/04)
- Re: Turing Machines and Physical Computation (11/27/04)
- Re: Platonism (11/26/04)
- Re: Platonism (11/26/04)
- Re: Platonism (11/26/04)
- Re: Platonism (11/25/04)
- Re: Chomsky's theories (11/10/04)
news.usc.edu
- minimum set cover with k set (11/09/04)
newstome_at_comcast.net
- Re: another proof that p is not np (11/16/04)
Nicholas King
- Re: Data structure for finding min of set intersection (11/17/04)
- Re: P vs NP craziness & Oracle's Predictions (11/01/04)
- Re: P vs NP craziness & Oracle's Predictions (10/31/04)
Ogie Oglethorpe
- Re: Infinite number of people toss a coin infinite times (11/24/04)
patty
- Re: Platonism (11/30/04)
- Re: Platonism (11/30/04)
- Re: mathematics (11/30/04)
- Re: mathematics (11/30/04)
- Re: Platonism (11/29/04)
- Re: mathematics (11/29/04)
- Re: mathematics (11/29/04)
- mathematics (11/29/04)
- Re: Turing Machines and Physical Computation (11/28/04)
- Re: Turing Machines and Physical Computation (11/28/04)
- Re: Turing Machines and Physical Computation (11/28/04)
- Re: Turing Machines and Physical Computation (11/28/04)
- Re: Platonism (11/27/04)
- Re: Platonism (11/26/04)
- Re: Turing Machines and Physical Computation (11/26/04)
- Re: Turing Machines and Physical Computation (11/24/04)
- Re: Turing Machines and Physical Computation (11/21/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/19/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/19/04)
Paul E. Black
- Re: Data structure for finding min of set intersection (11/18/04)
- Re: Data structure for finding min of set intersection (11/15/04)
- Re: entropy (random bits) question (11/04/04)
- Re: Shortest Path finding with mutating weights (11/01/04)
Paul Goldberg
- Postdoctoral research position in algorithms (11/05/04)
peter_douglass
- Re: single-combinator basis with direct algebraic characterisation? (11/06/04)
Poker Joker
- Re: Infinite number of people toss a coin infinite times (11/26/04)
Porky Pig Jr
- Re: (Possibly) New model of compution (11/19/04)
PoUlpes
- Re: [OT]: Another claim for P=NP & UOTPS is delta_2^p complete (11/12/04)
- Re: Can Human Level A.I. be implemented? & WOMEN FOREVER (11/12/04)
- Re: Hypercomputation is physically possible & Physical Models of Hype (11/11/04)
- Re: [OT]: Another claim for P=NP & UOTPS is delta_2^p complete (11/11/04)
- Re: [OT]: Another claim for P=NP & UOTPS is delta_2^p complete (11/10/04)
- Re: [OT]: Another claim for P=NP (11/10/04)
- Re: another proof that p is not np (11/10/04)
- Re: [OT]: Another claim for P=NP & UOTPS is delta_2^p complete (11/10/04)
- Re: Another claim for P=NP & EZzz's unforgettable humor (11/10/04)
- Re: Hypercomputation is physically possible (11/10/04)
- Re: Diaby's claim contradicts Yannakakis's 1988 result (11/09/04)
- Re: P vs NP craziness & Tim's interpretations (11/05/04)
Poulpes_at_gmail.com
- Re: Turing Machines and Physical Computation & TM 'S REVISIONISTS (11/25/04)
- Re: another proof that p is not np (11/16/04)
- Re: [OT]: Another claim for P=NP & UOTPS is delta_2^p complete (11/14/04)
- Hypercomputation is physically possible (11/09/04)
- Re: Diaby's claim contradicts Yannakakis's 1988 result (11/09/04)
- Re: P vs NP craziness & Tim's interpretations (11/04/04)
- Re: **theory-edge** mailing list & ANDY RAND BACKDOOR (11/04/04)
- Re: P vs NP craziness & Diaby was already refuted... in 1988 (11/03/04)
- Re: P vs NP craziness & Oracle's Predictions (11/02/04)
- Re: P vs NP craziness & Oracle's Predictions (11/01/04)
Prof Jonathan Bowen
- Program Verification and Semantics: Further Work, London, UK, 2 December 2004 (Reminder!) (11/28/04)
- Program Verification and Semantics: Further Work, London, UK, 2 December 2004 (11/12/04)
r.e.s.
- Re: single-combinator basis with direct algebraic characterisation? (11/07/04)
- Re: single-combinator basis with direct algebraic characterisation? (11/05/04)
- Re: single-combinator basis with direct algebraic characterisation? (11/05/04)
- Re: single-combinator basis with direct algebraic characterisation? (11/05/04)
- Re: single-combinator basis with direct algebraic characterisation? (11/03/04)
- Re: single-combinator basis with direct algebraic characterisation? (11/02/04)
- Re: single-combinator basis with direct algebraic characterisation? (11/02/04)
- single-combinator basis with direct algebraic characterisation? (11/01/04)
Ralph Becket
- Re: Infinite number of people toss a coin infinite times (11/29/04)
- Re: Infinite number of people toss a coin infinite times (11/27/04)
- Re: Infinite number of people toss a coin infinite times (11/25/04)
Ralph Hartley
- Re: Being NP is decidable? (11/19/04)
- Re: Chomsky's theories (11/10/04)
- Chomsky's theories (11/10/04)
- Re: entropy (random bits) question (11/05/04)
- Re: entropy (random bits) question (11/04/04)
ratnik
- Re: The class PLS (11/18/04)
- Classification of TCS (11/18/04)
Remesh Job
- Shortest Path finding with mutating weights (11/01/04)
Rex Butler
- Computability: Recovering Delta_0 from Sigma_1? (11/20/04)
- Computability: Recovering Delta_0 from Sigma_1? (11/17/04)
Reza Ferry
- Re: Question on Order of Growth of Function (11/11/04)
- Question on Order of Growth of Function (11/11/04)
Rick Decker
- Re: pumping lemma question!!sos! (11/18/04)
- Re: Question on Order of Growth of Function (11/11/04)
- Re: Turing Machien Debugging (11/11/04)
- Re: Turing Machien Debugging (11/11/04)
- Re: Turing Machien Debugging (11/11/04)
- Re: The Halting Problem (11/03/04)
- Re: The Halting Problem (11/01/04)
robert j. kolker
- Re: Platonism (11/30/04)
- Re: Platonism (11/27/04)
- Re: Platonism (11/26/04)
Robert Jacobson
- Difficult Running Time (11/22/04)
Shmuel (Seymour J.) Metz
- Re: Platonism (11/29/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/25/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/25/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/23/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/23/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/23/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/23/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/19/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/19/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/15/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/11/04)
Stan Brown
- Re: Question on Order of Growth of Function (11/11/04)
- Re: Question on Order of Growth of Function (11/11/04)
Stargazer
- Re: Platonism (11/29/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/19/04)
Stas Busygin
- Re: k-Clique for small fixed k (11/26/04)
Stephen Harris
- Re: Platonism (11/30/04)
- Re: Platonism (11/30/04)
- Re: Platonism (11/30/04)
- Re: Platonism (11/30/04)
- Re: Turing Machines and Physical Computation (11/29/04)
- Re: Infinite number of people toss a coin infinite times (11/29/04)
- Re: Infinite number of people toss a coin infinite times (11/28/04)
- Re: Infinite number of people toss a coin infinite times (11/28/04)
- Re: Infinite number of people toss a coin infinite times (11/28/04)
- Re: Infinite number of people toss a coin infinite times (11/28/04)
- Re: Infinite number of people toss a coin infinite times (11/28/04)
- Re: Infinite number of people toss a coin infinite times (11/28/04)
- Re: Turing Machines and Physical Computation (11/28/04)
- Re: Turing Machines and Physical Computation (11/28/04)
- Re: Turing Machines and Physical Computation (11/28/04)
- Re: Platonism (11/28/04)
- Re: DISPROOF of the uncountability of reals (11/26/04)
- Re: Infinite number of people toss a coin infinite times (11/26/04)
- Re: DISPROOF of the uncountability of reals (11/26/04)
- Re: Platonism (11/26/04)
- Re: Infinite number of people toss a coin infinite times (11/25/04)
- Re: Platonism (11/25/04)
- Re: Turing Machines and Physical Computation (11/25/04)
- Re: Turing Machines and Physical Computation (11/24/04)
- Re: Turing Machines and Physical Computation (11/24/04)
- Re: Turing Machines and Physical Computation (11/24/04)
- Re: Turing Machines and Physical Computation (11/24/04)
- Re: Turing Machines and Physical Computation (11/24/04)
- Re: Turing Machines and Physical Computation (11/24/04)
- Re: Turing Machines and Physical Computation (11/23/04)
- Re: Turing Machines and Physical Computation (11/23/04)
- Re: Turing Machines and Physical Computation (11/23/04)
- Re: Infinite number of people toss a coin infinite times (11/23/04)
- Re: Infinite number of people toss a coin infinite times (11/23/04)
- Re: Turing Machines and Physical Computation (11/22/04)
- Re: Turing Machines and Physical Computation (11/22/04)
- Re: Turing Machines and Physical Computation (11/22/04)
- Re: Turing Machines and Physical Computation (11/22/04)
- Re: Turing Machines and Physical Computation (11/21/04)
- Re: Turing Machines and Physical Computation (11/20/04)
- Re: Turing Machines and Physical Computation (11/20/04)
- Re: Turing Machines and Physical Computation (11/20/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/20/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/19/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/19/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/17/04)
stephen_at_nomail.com
- Re: Turing Machines and Physical Computation (11/28/04)
- Re: Turing Machines and Physical Computation (11/28/04)
- Re: Turing Machines and Physical Computation (11/27/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/26/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/25/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/24/04)
- Re: Infinite number of people toss a coin infinite times (11/23/04)
- Re: Turing Machines and Physical Computation (11/23/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/23/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/22/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/22/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/21/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/21/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/20/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/19/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/14/04)
- Re: Question on Order of Growth of Function (11/11/04)
- Re: Chomsky's theories (11/10/04)
Steven
- Probabilistic model checking and counterexamples (11/24/04)
tchow_at_lsa.umich.edu
- Re: Platonism (11/30/04)
- Re: Platonism (11/30/04)
- Re: Platonism (11/30/04)
- Re: Platonism (11/30/04)
- Re: Platonism (11/30/04)
- Re: Platonism (11/29/04)
- Re: mathematics (11/29/04)
- Re: Platonism (11/28/04)
- Re: Infinite number of people toss a coin infinite times (11/28/04)
- Re: Turing Machines and Physical Computation (11/24/04)
- Re: Turing Machines and Physical Computation (11/24/04)
- Re: Turing Machines and Physical Computation (11/23/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/19/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/19/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/19/04)
- Re: Being NP is decidable? (11/19/04)
- Re: The class PLS (11/18/04)
- Re: New Model of Computation (11/17/04)
- Re: [OT]: Another claim for P=NP & UOTPS is delta_2^p complete (11/12/04)
- Re: [OT]: Another claim for P=NP & UOTPS is delta_2^p complete (11/11/04)
- Re: Chomsky's theories (11/10/04)
- Re: another proof that p is not np (11/10/04)
- Re: [OT]: Another claim for P=NP & UOTPS is delta_2^p complete (11/10/04)
- Re: [OT]: Another claim for P=NP & UOTPS is delta_2^p complete (11/10/04)
- Re: Diaby's claim contradicts Yannakakis's 1988 result (11/09/04)
- Re: P = SPACE(n) (11/05/04)
- Re: P vs NP craziness & Tim's interpretations (11/05/04)
- Re: P vs NP craziness & Diaby was already refuted... in 1988 (11/04/04)
- Re: P vs NP craziness & Diaby was already refuted... in 1988 (11/02/04)
- Re: P = SPACE(n) (11/02/04)
- Re: P = SPACE(n) (11/02/04)
- Re: P = SPACE(n) (11/02/04)
- Re: P vs NP craziness & Oracle's Predictions (10/31/04)
The Ghost In The Machine
- Re: DISPROOF of the uncountability of reals (11/26/04)
Thomas Brown
- Effective Email Marketing (11/29/04)
Tim Mellor
- Re: (Possibly) New model of compution (11/19/04)
- Re: Different size infinities? (11/05/04)
Toby Donaldson
- Proof that Languages are Not Turing Equivalent (11/13/04)
Torben �gidius Mogensen
- Re: pumping lemma question!!sos! (11/18/04)
- Re: Proof that Languages are Not Turing Equivalent (11/15/04)
- Re: single-combinator basis with direct algebraic characterisation? (11/03/04)
- Re: single-combinator basis with direct algebraic characterisation? (11/02/04)
Torkel Franzen
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/27/04)
- Re: Platonism (11/26/04)
- Re: Platonism (11/26/04)
- Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) (11/25/04)
- Re: Being NP is decidable? (11/19/04)
- Re: Being NP is decidable? (11/19/04)
Victor Eijkhout
- Re: DISPROOF of the uncountability of reals (11/26/04)
webograph
- Re: New Model of Computation (11/17/04)
Wei Luo
- Being NP is decidable? (11/19/04)
Will Naylor
- solving SAT: generating extended resolution proofs using techniques for resolution (11/13/04)
- Re: P vs NP craziness & Diaby was already refuted... in 1988 (11/01/04)
Willem-Jan van Hoeve
- CFP: CP-AI-OR'05 - first call for papers (11/11/04)
William Elliot
- Re: single-combinator basis with direct algebraic characterisation? (11/09/04)
- Re: single-combinator basis with direct algebraic characterisation? (11/08/04)
- Re: single-combinator basis with direct algebraic characterisation? (11/07/04)
- Re: single-combinator basis with direct algebraic characterisation? (11/07/04)
- Re: single-combinator basis with direct algebraic characterisation? (11/06/04)
- single-combinator basis with direct algebraic characterisation? (11/05/04)
- Re: single-combinator basis with direct algebraic characterisation? (11/04/04)
- Re: single-combinator basis with direct algebraic characterisation? (11/03/04)
- Re: single-combinator basis with direct algebraic characterisation? (11/02/04)
Ying-Chun Liu
- Re: entropy (random bits) question (11/06/04)
Yong Zhang
- What is the rank of CS theory conferences? (11/13/04)

Last message date: 11/30/04
Archived on: 11/30/04 CET

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

comp.theoryBy Author

comp.theory
By Author