comp.theory
By Author

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

Starting: 05/31/04
Ending: 06/30/04

.
- comp.theory,comp.sys.m6809,comp.os.ms-windows.nt.setup.misc,comp.infosystems.www.databases,misc.transport.road (06/19/04)
A Johnstone
- Deciding if a grammar generates a regular language (06/18/04)
A. G. McDowell
- Re: The Meaning of Abstract (06/02/04)
Abi
- Re: algorithm to determine if a rope is knotted. (06/26/04)
- Re: Binary Tree (06/21/04)
Abishek K
- algorithm to determine if a rope is knotted. (06/24/04)
- Re: [OT] ACM Membership (06/24/04)
Acid Pooh
- Re: Turing Machine & Data Compression (06/15/04)
- Re: Are we LISP machines? (06/14/04)
- Re: A cake recipe is a computer program (06/13/04)
- Re: A cake recipe is a computer program (06/12/04)
- Re: resolving Will's misunderstanding (06/11/04)
- Re: resolving Will's misunderstanding (06/10/04)
adm
- need topic for undergraduate course project (06/23/04)
AG
- Checksum/Function for testing inclusion property. (06/29/04)
Albert van der Horst
- Re: A cake recipe is a computer program (06/14/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/14/04)
Alex Simpson
- CFP: LICS 2004 - Call for Participation (06/11/04)
Alex Vinokur
- Computing Huffman codes on a Turing Machine (06/30/04)
- Re: Turing Machine & Data Compression (06/14/04)
- Re: Turing Machine & Data Compression (06/14/04)
- Turing Machine & Data Compression (06/14/04)
- Re: Two components of a Universal Turing Machine (06/14/04)
- Two components of a Universal Turing Machine (06/13/04)
- Re: Questions in Formal Language Theory (06/08/04)
- Re: Post machine: references? (06/06/04)
Anonymous
- Re: Alan Turings halting proof is incorrectly formed PT Herc (06/30/04)
- Re: Alan Turings halting proof is incorrectly formed PT Herc (06/30/04)
Arnaud Gotlieb
- ICLP04: Call for participation -- early registration (06/21/04)
Arthur J. O'Dwyer
- Re: Checksum/Function for testing inclusion property. (06/30/04)
- Re: A cake recipe is a computer program (06/01/04)
Arthur T. Murray
- Re: Theory: The Grand Metasynthesis (06/22/04)
Barb Knox
- Re: limitation to the halting proof (06/07/04)
bart demoen
- Re: Dijkstra (06/12/04)
Bart Goddard
- Re: Education or Job Creation? (06/30/04)
Bed
- If you ever wanted to get busy with Bart Simpson (06/28/04)
Beni
- Dijkstra (06/12/04)
Bjorn Reese
- Re: The Meaning of Abstract (06/05/04)
bob
- neurons and artificial intelligence 2 (05/31/04)
Booted Cat
- A call to automated proof verification systems (06/14/04)
Bryan Olson
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/29/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/29/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/29/04)
- Re: Alan Turings halting proof is incorrectly formed PT Herc (06/28/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/28/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/27/04)
Casey Hawthorne
- Re: Alan Turings halting proof is incorrectly formed PT Herc (06/28/04)
- Halting Problem? (06/27/04)
- Re: books about sorting (06/21/04)
Chairman of the Ozzy Osbourne Appreciation Society
- Re: Cantor's wrong! (doubt it) (06/16/04)
Chris Menzel
- Re: Alan Turings halting proof is incorrectly formed PT Herc (06/29/04)
chris_42
- Re: Help with paper needed (06/06/04)
- Help with paper needed (06/06/04)
Christoph M. Wintersteiger
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/03/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/03/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/03/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/02/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/02/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/02/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/01/04)
COCOON 2004
- COCOON 2004: Call for participation (06/07/04)
conesetter
- Education or Job Creation? (06/30/04)
Craig Feinstein
- solving np-complete problems on quantum computers (06/29/04)
Curt Welch
- Re: The Meaning of Abstract (06/03/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/03/04)
- Re: The Meaning of Abstract (06/03/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/03/04)
- Re: A cake recipe is a computer program (06/03/04)
- Re: The Meaning of Abstract (06/03/04)
- Re: A cake recipe is a computer program (06/03/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/03/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/03/04)
- Re: The Meaning of Abstract (06/02/04)
- Re: A cake recipe is a computer program (06/01/04)
- Re: The Meaning of Abstract (06/01/04)
- Re: The Meaning of Abstract (06/01/04)
- Re: The Meaning of Abstract (06/01/04)
- Re: A cake recipe is a computer program (06/01/04)
dan michaels
- On representing processes - question on methodologies (06/28/04)
Daniel A. Jimenez
- Re: SAT: Equivalency Clauses and Substitution (06/29/04)
Daniel.
- Re: Is Binary BrainF*** Turing-complete? (06/26/04)
Daryl McCullough
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/29/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/27/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/27/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/26/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/23/04)
Dave
- Re: Cantor's wrong! (doubt it) (06/18/04)
- Re: Cantor's wrong! (doubt it) (06/16/04)
Dave Seaman
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/30/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/28/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/28/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/28/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/28/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/28/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/27/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/27/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/27/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/27/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/27/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/27/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/26/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/25/04)
- Re: Cantor's wrong! (doubt it) (06/16/04)
- Re: limitation to the halting proof (06/09/04)
- Re: limitation to the halting proof (06/07/04)
David B. Held
- Re: A cake recipe is a computer program (06/08/04)
- Re: A cake recipe is a computer program (06/08/04)
- Re: A cake recipe is a computer program (06/08/04)
- Re: A cake recipe is a computer program (06/07/04)
- Re: A cake recipe is a computer program (06/07/04)
- Re: A cake recipe is a computer program (06/07/04)
- Re: A cake recipe is a computer program (06/06/04)
- Re: A cake recipe is a computer program (06/05/04)
- Re: A cake recipe is a computer program (06/04/04)
- Re: The Meaning of Abstract (06/04/04)
- Re: A cake recipe is a computer program (06/03/04)
- Re: A cake recipe is a computer program (06/03/04)
- Re: A cake recipe is a computer program (06/03/04)
- Re: A cake recipe is a computer program (06/03/04)
- Re: A cake recipe is a computer program (06/03/04)
- Re: A cake recipe is a computer program (06/03/04)
- Re: A cake recipe is a computer program (06/02/04)
- Re: A cake recipe is a computer program (06/02/04)
- Re: A cake recipe is a computer program (06/02/04)
- Re: A cake recipe is a computer program (06/02/04)
- Re: The Meaning of Abstract (06/02/04)
- Re: A cake recipe is a computer program (06/02/04)
- Re: A cake recipe is a computer program (06/02/04)
David C. Ullrich
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/29/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/29/04)
- Re: The Meaning of Abstract (06/02/04)
David Eppstein
- Re: algorithm to determine if a rope is knotted. (06/27/04)
- Re: algorithm to determine if a rope is knotted. (06/25/04)
- Re: Help with paper needed (06/06/04)
David G Mitchell
- Re: Optimizing Unit Clause Resolution (06/09/04)
David J. Haglin
- CFP: SIGACT News Deadline is August 1 (06/29/04)
David Longley
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/03/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/03/04)
Donald Roby
- Re: Sorting: how many cycles and inversions? (06/12/04)
Dr Chaos
- Re: Choice of PL for automatic programming (Re: Are we LISP machines?) (06/17/04)
- Re: Are we LISP machines? (06/14/04)
Edwin Clark
- Re: algorithm to determine if a rope is knotted. (06/26/04)
- Re: algorithm to determine if a rope is knotted. (06/25/04)
Eray Ozkural exa
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/30/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/30/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/29/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/28/04)
- Re: Halting Problem? (06/28/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/28/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/28/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/28/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/28/04)
- Re: The Definition of 'Analytic Function' (06/28/04)
- Re: Graph Partitioning Problem (06/27/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/27/04)
- Re: P vs. NP: why prove a negative? (06/25/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/25/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/24/04)
- Re: A cake recipe is a computer program (06/18/04)
- Re: A cake recipe is a computer program (06/17/04)
- Re: Are we LISP machines? (06/17/04)
- Choice of PL for automatic programming (Re: Are we LISP machines?) (06/16/04)
- Choice of PL for automatic programming (Re: Are we LISP machines?) (06/16/04)
- Re: Are we LISP machines? (06/16/04)
- Are we LISP machines? (06/13/04)
- Re: The Meaning of Abstract (06/11/04)
- Re: A cake recipe is a computer program (06/07/04)
- Re: The Meaning of Abstract (06/06/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/06/04)
- Re: A cake recipe is a computer program (06/05/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/05/04)
- Re: Panu Raatikainen's review of two of Chaitin's books. (06/04/04)
- Re: Panu Raatikainen's review of two of Chaitin's books. (06/04/04)
- Re: The Meaning of Abstract (06/04/04)
- Re: The Meaning of Abstract (06/02/04)
- Re: A cake recipe is a computer program (06/02/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/02/04)
- Re: A cake recipe is a computer program (06/02/04)
- A cake recipe is a computer program (06/01/04)
- The Meaning of Abstract (06/01/04)
- Re: Panu Raatikainen's review of two of Chaitin's books. (06/01/04)
Fedor Fomin
- PhD position in Algorithms (06/14/04)
fishfry
- Re: The Meaning of Abstract (06/04/04)
foo
- Re: A cake recipe is a computer program (06/04/04)
Gareth Rees
- Re: P vs. NP Problem; 1WayFx Model a possible solution. (06/02/04)
Gary Forbis
- Re: A cake recipe is a computer program (06/08/04)
- Re: A cake recipe is a computer program (06/07/04)
- Re: A cake recipe is a computer program (06/06/04)
- Re: A cake recipe is a computer program (06/06/04)
- Re: A cake recipe is a computer program (06/03/04)
Gary Heston
- Re: Are we LISP machines? (06/19/04)
George Greene
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/28/04)
Glenn C. Rhoads
- Graph Partitioning Problem (06/27/04)
gyuri
- Re: A cake recipe is a computer program (06/02/04)
- Re: A cake recipe is a computer program (06/02/04)
- Re: A cake recipe is a computer program (06/02/04)
- Re: A cake recipe is a computer program (06/02/04)
- Re: A cake recipe is a computer program (06/02/04)
- Re: A cake recipe is a computer program (06/02/04)
- Re: A cake recipe is a computer program (06/02/04)
- Re: A cake recipe is a computer program (06/02/04)
gyurm
- Re: Are we LISP machines? (06/13/04)
- Re: Are we LISP machines? (06/13/04)
- Re: Are we LISP machines? (06/13/04)
Hans Huttel
- Re: Cantor's wrong! (doubt it) (06/21/04)
- Re: P vs. NP Problem; 1WayFx Model a possible solution. (06/01/04)
Herman Jurjus
- Re: A call to automated proof verification systems (06/14/04)
- Re: The Meaning of Abstract (06/02/04)
Herman Rubin
- Re: The Meaning of Abstract (06/02/04)
Holger Petersen
- CFP: STACS 2005 - Call for Papers (06/16/04)
Hossein Hojjat
- Why "Not Recently Used" algorithm is not stack (06/12/04)
Ian
- Re: Classification, Hierarchies & Adaptive Clustering (06/18/04)
- Re: Classification, Hierarchies & Adaptive Clustering (06/17/04)
- Classification, Hierarchies & Adaptive Clustering (06/16/04)
Ioannis
- Re: The Meaning of Abstract (06/01/04)
Isaac To
- Re: Halting Problem? (06/28/04)
Jack Dominey
- Re: Infinity does exist? (06/30/04)
Jamie
- Re: P vs. NP: why prove a negative? (06/28/04)
- P vs. NP: why prove a negative? (06/23/04)
Jeffrey Cox
- Complexity of Propositional STRIPS Planning? (06/08/04)
Jesper Makholm Byskov
- Re: Optimizing Unit Clause Resolution (06/07/04)
- Re: Optimizing Unit Clause Resolution (06/07/04)
Jesse F. Hughes
- Re: The Meaning of Abstract (06/02/04)
- Re: The Meaning of Abstract (06/02/04)
- Re: The Meaning of Abstract (06/02/04)
- Re: The Meaning of Abstract (06/01/04)
- Re: The Meaning of Abstract (06/01/04)
- Re: The Meaning of Abstract (06/01/04)
- Re: The Meaning of Abstract (06/01/04)
Jim Nastos
- Re: P vs. NP: why prove a negative? (06/24/04)
- Re: P vs. NP: why prove a negative? (06/23/04)
- Re: Linear separability problems (06/22/04)
- Re: Optimizing Unit Clause Resolution (06/13/04)
- Re: Optimizing Unit Clause Resolution (06/12/04)
- Re: Optimizing Unit Clause Resolution (06/07/04)
- Re: Optimizing Unit Clause Resolution (06/06/04)
- Re: Optimizing Unit Clause Resolution (06/06/04)
- Re: Optimizing Unit Clause Resolution (06/06/04)
John M. Gamble
- Re: [OT] ACM Membership (06/26/04)
- [OT] ACM Membership (06/24/04)
JPL Verhey
- Re: A cake recipe is a computer program (06/01/04)
- Re: A cake recipe is a computer program (06/01/04)
JXStern
- Re: Are we LISP machines? (06/13/04)
- Re: A cake recipe is a computer program (06/07/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/04/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/03/04)
- Re: A cake recipe is a computer program (06/02/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/02/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/02/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/02/04)
- Re: A cake recipe is a computer program (06/02/04)
- Re: A cake recipe is a computer program (06/02/04)
- Re: A cake recipe is a computer program (06/01/04)
- Re: A cake recipe is a computer program (06/01/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/01/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/01/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/01/04)
J�n Fairbairn
- Re: Cantor's wrong! (doubt it) (06/19/04)
- Re: Cantor's wrong! (doubt it) (06/18/04)
- Re: Dijkstra (06/12/04)
Kate Orman
- Re: Are we LISP machines? (06/20/04)
kazzeppo
- how do I make my computer a virgin? (06/27/04)
Ke Xu
- Challenging Benchmarks for Maximum Clique (Independent Set) Problem (06/18/04)
Keith
- Re: j5n0j (06/25/04)
Kent Paul Dolan
- Re: Theory: The Grand Metasynthesis (06/22/04)
- Re: Are we LISP machines? (06/19/04)
- Re: Are we LISP machines? (06/17/04)
- Re: Are we LISP machines? (06/17/04)
- Re: Are we LISP machines? (06/16/04)
- Re: Are we LISP machines? (06/16/04)
- Re: [OT] Re: Bondy & Murty's book available on-line (was: Re: Eulerianpath in infinite graph) (06/03/04)
Kevin Stern
- Re: Alan Turings halting proof is incorrectly formed PT Herc (06/29/04)
Lance Lamboy
- Re: P vs. NP Problem; 1WayFx Model a possible solution. (05/31/04)
Lash Rambo
- Re: SAT: Equivalency Clauses and Substitution (06/29/04)
- SAT: Equivalency Clauses and Substitution (06/28/04)
- Re: Optimizing Unit Clause Resolution (06/12/04)
- Re: Optimizing Unit Clause Resolution (06/12/04)
Lester Zick
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/05/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/04/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/03/04)
- Re: The Meaning of Abstract (06/03/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/03/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/03/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/03/04)
- Re: A cake recipe is a computer program (06/03/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/03/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/03/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/02/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/02/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/02/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/02/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/02/04)
- Re: A cake recipe is a computer program (06/02/04)
- Re: A cake recipe is a computer program (06/02/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/02/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/02/04)
- Re: A cake recipe is a computer program (06/01/04)
- Re: The Meaning of Abstract (06/01/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/01/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/01/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/01/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/01/04)
Martin Jesolowitz
- Abraham semiconductor test (06/18/04)
Marvin Minsky
- Re: Two components of a Universal Turing Machine (06/15/04)
Matt Mahoney
- Re: Turing Machine & Data Compression (06/14/04)
Matt Timmermans
- Re: [OT] ACM Membership (06/24/04)
- Re: [OT] ACM Membership (06/24/04)
- Re: A cake recipe is a computer program (06/18/04)
- Re: A cake recipe is a computer program (06/12/04)
- Re: A cake recipe is a computer program (06/08/04)
- Re: Help with paper needed (06/06/04)
- Re: A cake recipe is a computer program (06/04/04)
- Re: A cake recipe is a computer program (06/03/04)
- Re: A cake recipe is a computer program (06/03/04)
- Re: A cake recipe is a computer program (06/03/04)
- Re: A cake recipe is a computer program (06/02/04)
- Re: A cake recipe is a computer program (06/02/04)
Michael J. Fromberger
- Re: Deciding if a grammar generates a regular language (06/18/04)
Michael N. Christoff
- Re: The Definition of 'Analytic Function' (06/16/04)
- Re: Turing Machine & Data Compression (06/14/04)
Mike Atkinson
- Computing: The Australasian Theory Symposium (06/08/04)
Mike ROBSON
- Re: Can some non-computable sequences be "computed" by non-halting TMs? (06/17/04)
Mike Terry
- Re: Cantor's wrong! (doubt it) (06/25/04)
- Re: Cantor's wrong! (doubt it) (06/20/04)
- Re: Cantor's wrong! (doubt it) (06/19/04)
- Re: Cantor's wrong! (doubt it) (06/16/04)
Mikito Harakiri
- Re: P vs. NP: why prove a negative? (06/25/04)
- Re: P vs. NP: why prove a negative? (06/23/04)
- books about sorting (06/21/04)
- Re: Classification, Hierarchies & Adaptive Clustering (06/17/04)
- Re: Classification, Hierarchies & Adaptive Clustering (06/16/04)
- Re: Sorting: how many cycles and inversions? (06/11/04)
- Sorting: how many cycles and inversions? (06/10/04)
- Re: Sorting: how many cycles (06/09/04)
- Sorting: how many cycles (06/09/04)
Mitch Harris
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/29/04)
- Re: P vs. NP: why prove a negative? (06/29/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/27/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/27/04)
Nate Smith
- Re: Cantor's wrong! (doubt it) (06/20/04)
Nathan Funk
- Re: The Meaning of Abstract (06/01/04)
Neil W Rickert
- Re: A cake recipe is a computer program (06/08/04)
- Re: A cake recipe is a computer program (06/07/04)
- Re: A cake recipe is a computer program (06/07/04)
- Re: A cake recipe is a computer program (06/07/04)
- Re: A cake recipe is a computer program (06/06/04)
- Re: A cake recipe is a computer program (06/06/04)
- Re: A cake recipe is a computer program (06/05/04)
- Re: A cake recipe is a computer program (06/05/04)
- Re: A cake recipe is a computer program (06/04/04)
- Re: The Meaning of Abstract (06/04/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/04/04)
- Re: A cake recipe is a computer program (06/03/04)
- Re: A cake recipe is a computer program (06/03/04)
- Re: A cake recipe is a computer program (06/03/04)
- Re: A cake recipe is a computer program (06/03/04)
- Re: A cake recipe is a computer program (06/03/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (06/03/04)
- Re: A cake recipe is a computer program (06/02/04)
- Re: A cake recipe is a computer program (06/02/04)
- Re: A cake recipe is a computer program (06/02/04)
- Re: A cake recipe is a computer program (06/02/04)
- Re: A cake recipe is a computer program (06/01/04)
- Re: Hardware/Software Dichotomy and Platonism (Re: expectations being satisfied) (05/31/04)
nikolai kingsley
- Re: Are we LISP machines? (06/21/04)
patty
- Re: A cake recipe is a computer program (06/04/04)
- Re: The Meaning of Abstract (06/03/04)
- Re: The Meaning of Abstract (06/03/04)
- Re: The Meaning of Abstract (06/03/04)
- Re: The Meaning of Abstract (06/01/04)
Paul Chapman
- Re: P vs. NP: why prove a negative? (06/24/04)
- Re: Cantor's wrong! (doubt it) (06/16/04)
- Re: Cantor's wrong! (doubt it) (06/16/04)
Paulo Jorge Matos
- Complexity Exercise (06/27/04)
Pento
- Re: Turing Machine & Data Compression (06/14/04)
- Re: Two components of a Universal Turing Machine (06/13/04)
Peter Olcott
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/29/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/29/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/29/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/29/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/29/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/29/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/29/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/29/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/28/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/28/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/28/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/28/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/28/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/27/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/27/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/27/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/27/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/27/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/27/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/27/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/26/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/26/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/24/04)
Peter Webb
- Re: Cantor's wrong! (doubt it) (06/16/04)
peter_douglass
- Re: The Definition of 'Analytic Function' (06/26/04)
Phil Carmody
- Re: Cantor's wrong! (doubt it) (06/16/04)
Prof Jonathan Bowen
- 25 Years of Communicating Sequential Processes, 7-8 July 2004, London, UK (06/01/04)
Proginoskes
- Re: Cantor's wrong! (doubt it) (06/27/04)
- Re: Cantor's wrong! (doubt it) (06/27/04)
- Re: Cantor's wrong! (doubt it) (06/26/04)
- Re: Cantor's wrong! (doubt it) (06/26/04)
- Re: Cantor's wrong! (doubt it) (06/26/04)
- Re: Cantor's wrong! (doubt it) (06/23/04)
- Re: Cantor's wrong! (doubt it) (06/21/04)
- Re: Cantor's wrong! (doubt it) (06/21/04)
- Re: Cantor's wrong! (doubt it) (06/20/04)
- Re: Cantor's wrong! (doubt it) (06/19/04)
- Re: Cantor's wrong! (doubt it) (06/17/04)
- Re: Cantor's wrong! (doubt it) (06/16/04)
r.e.s.
- Re: Can some non-computable sequences be "computed" by non-halting TMs? (06/20/04)
- Re: Can some non-computable sequences be "computed" by non-halting TMs? (06/20/04)
- Can some non-computable sequences be "computed" by non-halting TMs? (06/17/04)
- Re: A cake recipe is a computer program (06/02/04)
Ralph Hartley
- Re: Can some non-computable sequences be "computed" by non-halting TMs? (06/21/04)
- Re: Can some non-computable sequences be "computed" by non-halting TMs? (06/17/04)
- Re: limitation to the halting proof (06/08/04)
- Re: resolving Will's misunderstanding (06/08/04)
- Re: resolving Will's misunderstanding (06/07/04)
- Re: resolving Will's misunderstanding (06/04/04)
RamboTrout
- Binary Tree (06/21/04)
ratnik
- Books for Game theory (06/04/04)
ray scanlon
- Re: Are we LISP machines? (06/13/04)
remlaps_at_despammed.com
- Cantor's wrong! (doubt it) (06/15/04)
Rick Decker
- Re: Deciding if a grammar generates a regular language (06/19/04)
Robert J. Kolker
- Re: A call to automated proof verification systems (06/14/04)
Russell Easterly
- Re: Cantor's wrong! (doubt it) (06/26/04)
- Re: Cantor's wrong! (doubt it) (06/25/04)
- Re: Cantor's wrong! (doubt it) (06/22/04)
- Re: Cantor's wrong! (doubt it) (06/21/04)
- Re: Cantor's wrong! (doubt it) (06/21/04)
- Re: Cantor's wrong! (doubt it) (06/20/04)
- Re: Cantor's wrong! (doubt it) (06/20/04)
- Re: Cantor's wrong! (doubt it) (06/18/04)
- Re: Optimizing Unit Clause Resolution (06/09/04)
- Re: Optimizing Unit Clause Resolution (06/08/04)
- Re: Optimizing Unit Clause Resolution (06/07/04)
- Re: Optimizing Unit Clause Resolution (06/07/04)
- Re: Optimizing Unit Clause Resolution (06/07/04)
- Re: Optimizing Unit Clause Resolution (06/06/04)
- Optimizing Unit Clause Resolution (06/06/04)
Sander Bruggink
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/28/04)
saro
- question about relations (06/02/04)
Saverio Trioni
- Re: Cantor's wrong! (doubt it) (06/17/04)
Shotgun Squad
- Re: [OT] Re: Bondy & Murty's book available on-line (was: Re: Eulerianpath in infinite graph) (06/03/04)
- Re: [OT] Re: Bondy & Murty's book available on-line (was: Re: Eulerianpath in infinite graph) (06/03/04)
- Re: [OT] Re: Bondy & Murty's book available on-line (was: Re: Eulerianpath in infinite graph) (06/01/04)
Stephan Lehmke
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/29/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/29/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/29/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/29/04)
Stephen Harris
- Re: The Meaning of Abstract (06/02/04)
- Re: The Meaning of Abstract (06/01/04)
stephen_at_nomail.com
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/30/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/29/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/29/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/29/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/29/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/29/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/28/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/28/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/27/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/27/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/27/04)
T.D. Lassagne
- Re: Cantor's wrong! (doubt it) (06/16/04)
The Ghost In The Machine
- Re: Alan Turings halting proof is incorrectly formed PT Herc (06/29/04)
- Re: Alan Turings halting proof is incorrectly formed PT Herc (06/29/04)
- Re: Alan Turings halting proof is incorrectly formed PT Herc (06/28/04)
- Re: limitation to the halting proof (06/09/04)
- Re: limitation to the halting proof (06/09/04)
- Re: limitation to the halting proof (06/07/04)
- Re: limitation to the halting proof (06/01/04)
timpani
- Linear separability problems (06/21/04)
Torben �gidius Mogensen
- Re: Formal languages (06/25/04)
Torkel Franzen
- Re: Cantor's wrong! (doubt it) (06/22/04)
Victor Nazarov
- Re: The Meaning of Abstract (06/10/04)
Will Twentyman
- Re: P vs. NP: why prove a negative? (06/23/04)
- Re: Cantor's wrong! (doubt it) (06/16/04)
- Re: resolving Will's misunderstanding (06/15/04)
- Re: resolving Will's misunderstanding (06/14/04)
- Re: Turing Machine & Data Compression (06/14/04)
- Re: resolving Will's misunderstanding (06/11/04)
- Re: resolving Will's misunderstanding (06/10/04)
- Re: Sorting: how many cycles and inversions? (06/10/04)
- Re: resolving Will's misunderstanding (06/09/04)
- Re: resolving Will's misunderstanding (06/09/04)
- Re: limitation to the halting proof (06/08/04)
- Re: limitation to the halting proof (06/08/04)
- Re: resolving Will's misunderstanding (06/08/04)
- Re: resolving Will's misunderstanding (06/08/04)
- Re: limitation to the halting proof (06/07/04)
- Re: resolving Will's misunderstanding (06/04/04)
- Re: resolving Will's misunderstanding (06/04/04)
- Re: AI Theory (06/03/04)
- Re: The Meaning of Abstract (06/03/04)
- Re: resolving Will's misunderstanding (06/03/04)
- Re: resolving Will's misunderstanding (06/02/04)
- Re: resolving Will's misunderstanding (06/01/04)
WSPC
- International Journal of Foundations of Computer Science - Vol. 15, No. 3 (06/24/04)
- International Journal of Pattern Recognition and Artificial Intelligence - Vol. 18, No. 4 (06/17/04)
Yarden Katz
- Re: Two components of a Universal Turing Machine (06/19/04)
ZZBunker
- Re: The Meaning of Abstract (06/02/04)
|-|erc
- Re: Infinity does exist? (06/30/04)
- Re: Alan Turings halting proof is incorrectly formed PT Herc (06/30/04)
- Re: Alan Turings halting proof is incorrectly formed PT Herc (06/29/04)
- Re: Alan Turings halting proof is incorrectly formed PT Herc (06/29/04)
- Re: limitation to induction on finite bounds (06/28/04)
- Alan Turings halting proof is incorrectly formed PT Herc (06/28/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/26/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/24/04)
- Re: Alan Turing's Halting Problem is incorrectly formed (PART-TWO) (06/23/04)
- Re: Turing Machine & Data Compression (06/15/04)
- Re: resolving Will's misunderstanding (06/14/04)
- Re: resolving Will's misunderstanding (06/12/04)
- Re: resolving Will's misunderstanding (06/11/04)
- Re: resolving Will's misunderstanding (06/10/04)
- Re: resolving Will's misunderstanding (06/09/04)
- Re: resolving Will's misunderstanding (06/08/04)
- Re: resolving Will's misunderstanding (06/08/04)
- Re: resolving Will's misunderstanding (06/08/04)
- Re: resolving Will's misunderstanding (06/08/04)
- Re: resolving Will's misunderstanding (06/08/04)
- Re: resolving Will's misunderstanding (06/08/04)
- Re: limitation to the halting proof (06/08/04)
- Re: limitation to the halting proof (06/07/04)
- Re: resolving Will's misunderstanding (06/05/04)
- Re: resolving Will's misunderstanding (06/04/04)
- Re: resolving Will's misunderstanding (06/04/04)
- Re: resolving Will's misunderstanding (06/03/04)
- Re: resolving Will's misunderstanding (06/02/04)
- Re: limitation to the halting proof (06/01/04)
- Re: limitation to the halting proof (06/01/04)
- Re: limitation to the halting proof (06/01/04)

Last message date: 06/30/04
Archived on: 06/30/04 CEST

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

comp.theoryBy Author

comp.theory
By Author