comp.theory
By Date

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

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

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

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

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

comp.theoryBy Date

comp.theory
By Date