comp.theory
By Date

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

Starting: 11/30/04
Ending: 12/30/04

FACS FACTS Newsletter Call for Contributions on Formal Aspects of Computing Science (deadline 11 February 2005) Paul Boca (12/30/04)
Re: sets against folders in filesystems Richard Harter (12/30/04)
Re: Robust Algorithms Lester Zick (12/30/04)
Re: Robust Algorithms Lester Zick (12/30/04)
Re: Robust Algorithms examachine_at_gmail.com (12/30/04)
Re: P algorithms with lower bounds examachine_at_gmail.com (12/30/04)
Re: sets against folders in filesystems spinoza1111_at_yahoo.com (12/30/04)
Re: sets against folders in filesystems maccatalan (12/30/04)
Re: sets against folders in filesystems maccatalan (12/30/04)
Re: sets against folders in filesystems maccatalan (12/30/04)
Hot 22 Year Old Looking For Love Or More.....Please Contact Me.......... M91E bgkiwfox_at_freedvd.com (12/30/04)
Re: Robust Algorithms Skup (12/30/04)
Re: P algorithms with lower bounds Ajoy K Thamattoor (12/29/04)
Branching programs Srikanth (12/29/04)
Re: sets against folders in filesystems Ralph Hartley (12/29/04)
Re: P algorithms with lower bounds Srikanth (12/29/04)
Re: Robust Algorithms jblanch (12/29/04)
Re: sets against folders in filesystems spinoza1111_at_yahoo.com (12/29/04)
Re: Platonism examachine_at_gmail.com (12/28/04)
Re: What's New on the Web : Today info_at_hillscapital.com (12/28/04)
Re: What's New on the Web : Today info_at_hillscapital.com (12/28/04)
sets against folders in filesystems maccatalan_at_maccatalan.net (12/28/04)
Re: CFP: CP-AI-OR 2005: Second call for papers W.J. van Hoeve (12/28/04)
Re: Robust Algorithms examachine_at_gmail.com (12/28/04)
Re: Version 2.5 of the GOLD Parser Builder was just released Nameless (12/27/04)
P algorithms with lower bounds vznuri_at_yahoo.com (12/26/04)
Re: Robust Algorithms Amir massoud Farahmand (12/25/04)
Re: Robust Algorithms David Longley (12/25/04)
Re: Robust Algorithms examachine_at_gmail.com (12/25/04)
Re: Shannon's information theory Ajoy K Thamattoor (12/24/04)
Re: Turing's Halting Algorithm Question Ajoy K Thamattoor (12/24/04)
Re: Shannon's information theory Amir massoud Farahmand (12/24/04)
Re: Robust Algorithms sologen_at_yahoo.com (12/24/04)
Direct graph isomorphism algorithm Rashid Faizullin (12/24/04)
Turing's Halting Algorithm Question phl (12/24/04)
Re: Version 2.5 of the GOLD Parser Builder was just released Bill Godfrey (12/24/04)
Re: Shannon's information theory Dr Chaos (12/24/04)
Re: FOL Deduction Question Zarius (12/23/04)
Re: FOL Deduction Question Zarius (12/23/04)
Re: FOL Deduction Question Jose Juan Mendoza Rodriguez (12/23/04)
FOL Deduction Question Zarius (12/23/04)
Re: Version 2.5 of the GOLD Parser Builder was just released Nameless (12/23/04)
ping Xanthian was Re: Wikipedia on "Decision Problems" artist formally known as |-|erc (12/22/04)
Re: Shannon's information theory r.e.s. (12/22/04)
Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) Ralph Hartley (12/21/04)
Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) Ralph Hartley (12/21/04)
Re: Shannon's information theory Erik Trulsson (12/21/04)
Shannon's information theory Thomas B. (12/21/04)
Re: Grammatical Recursion Jacques Guy (12/21/04)
Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) tinyurl.com/uh3t (12/21/04)
Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) tinyurl.com/uh3t (12/21/04)
Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) tinyurl.com/uh3t (12/21/04)
Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) tinyurl.com/uh3t (12/21/04)
Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) tinyurl.com/uh3t (12/21/04)
Re: Silly Recurrence Edward M. Reingold (12/20/04)
Re: [OT] (was): Robust Algorithms AlphaOmega (12/20/04)
Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) Wolf Kirchmeir (12/20/04)
Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) examachine_at_gmail.com (12/20/04)
Re: Version 2.5 of the GOLD Parser Builder was just released Nameless (12/20/04)
Re: Grammatical Recursion Helmut Richter (12/20/04)
Re: Silly Recurrence Mitch Harris (12/20/04)
Re: Silly Recurrence David Wagner (12/20/04)
Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) Stephen Harris (12/20/04)
Re: Zenkin's paper on Cantor Virgil (12/20/04)
Silly Recurrence klostermeyer_at_hotmail.com (12/20/04)
Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) Wolf Kirchmeir (12/20/04)
Re: Zenkin's paper on Cantor examachine_at_gmail.com (12/20/04)
Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) examachine_at_gmail.com (12/20/04)
A way for P!=NP (2) Denis (12/19/04)
Re: Poll: Are PCs Turing Machines? |-|erc (12/19/04)
Re: Poll: Are PCs Turing Machines? |-|erc (12/19/04)
Re: Poll: Are PCs Turing Machines? Stephen Harris (12/19/04)
Re: Seeking independent study materials for approximation algorithms tchow_at_lsa.umich.edu (12/18/04)
Re: Seeking independent study materials for approximation algorithms amar.k6 (12/18/04)
Re: Poll: Are PCs Turing Machines? |-|erc (12/18/04)
Re: Seeking independent study materials for approximation algorithms Daubechies4 (12/18/04)
Re: Seeking independent study materials for approximation algorithms Stephen Harris (12/18/04)
Seeking independent study materials for approximation algorithms Daubechies4 (12/17/04)
CFP: [TABLEAUX 2005] Call for Papers and Call for Tutorials Gernot Stenz (12/17/04)
Re: Complex Systems -> Universality in Rule 110 -> Matthew Cook André Betz (12/17/04)
Complex Systems -> Universality in Rule 110 -> Matthew Cook Genaro Juárez Martínez (12/17/04)
Re: [OT] (was): Robust Algorithms Kristian Lahdensuo (12/17/04)
Re: [OT] (was): Robust Algorithms >parr\(*> (12/17/04)
Re: Poll: Are PCs Turing Machines? Fabian Mueller (12/17/04)
Re: Poll: Are PCs Turing Machines? Stephen Harris (12/17/04)
Re: [OT] (was): Robust Algorithms Ralph Hartley (12/16/04)
CFP: CP-AI-OR 2005: Second call for papers W.J. van Hoeve (12/16/04)
Re: [OT] (was): Robust Algorithms David Longley (12/16/04)
Re: [OT] (was): Robust Algorithms David James Polewka (12/16/04)
Re: [OT] (was): Robust Algorithms David James Polewka (12/16/04)
Re: [OT] (was): Robust Algorithms David James Polewka (12/16/04)
Re: [OT] (was): Robust Algorithms David James Polewka (12/16/04)
Re: Poll: Are PCs Turing Machines? Stephen Harris (12/16/04)
Re: Poll: Are PCs Turing Machines? |-|erc (12/15/04)
Re: Poll: Are PCs Turing Machines? Kent Paul Dolan (12/15/04)
Re: [OT] (was): Robust Algorithms Kent Paul Dolan (12/15/04)
Re: Poll: Are PCs Turing Machines? |-|erc (12/15/04)
Re: Poll: Are PCs Turing Machines? |-|erc (12/15/04)
Re: Poll: Are PCs Turing Machines? Matt Timmermans (12/15/04)
Re: Poll: Are PCs Turing Machines? The Ghost In The Machine (12/15/04)
Re: What's New on the Web : Today etamp (12/15/04)
Re: What's New on the Web : Today etamp (12/15/04)
Re: [OT] (was): Robust Algorithms >parr\(*> (12/15/04)
Re: Poll: Are PCs Turing Machines? |-|erc (12/14/04)
500 Slides Available For "The Complexity Companion" Computational Complexity (12/14/04)
Re: [OT] (was): Robust Algorithms David James Polewka (12/14/04)
Re: [OT] (was): Robust Algorithms David James Polewka (12/14/04)
Re: Poll: Are PCs Turing Machines? The Ghost In The Machine (12/14/04)
Re: Poll: Are PCs Turing Machines? Mark Nudelman (12/14/04)
CFP: Multi-disciplinary Workshop on Preferences Ulrich Junker (12/14/04)
Re: Poll: Are PCs Turing Machines? Mark Nudelman (12/14/04)
Re: Poll: Are PCs Turing Machines? peter_douglass (12/14/04)
Re: Poll: Are PCs Turing Machines? |-|erc (12/14/04)
Re: Poll: Are PCs Turing Machines? The Ghost In The Machine (12/14/04)
Re: Number of prime factors of an odd perfect number Jean-Jacques Quisquater (12/14/04)
Re: Poll: Are PCs Turing Machines? |-|erc (12/14/04)
Re: Poll: Are PCs Turing Machines? Mark Nudelman (12/14/04)
Re: Poll: Are PCs Turing Machines? Matt Timmermans (12/14/04)
Re: Poll: Are PCs Turing Machines? |-|erc (12/14/04)
Re: Poll: Are PCs Turing Machines? peter_douglass (12/14/04)
Re: Poll: Are PCs Turing Machines? |-|erc (12/14/04)
Re: Poll: Are PCs Turing Machines? |-|erc (12/14/04)
Re: [OT] (was): Robust Algorithms Kent Paul Dolan (12/14/04)
Re: [OT] (was): Robust Algorithms stephen_at_nomail.com (12/13/04)
Re: Poll: Are PCs Turing Machines? Mark Nudelman (12/13/04)
Re: Grammar analysis tools Thomas A. Li (12/13/04)
Re: [OT] (was): Robust Algorithms Jón Fairbairn (12/13/04)
Re: Poll: Are PCs Turing Machines? Mark Nudelman (12/13/04)
Re: [OT] (was): Robust Algorithms Ralph Hartley (12/13/04)
Re: Poll: Are PCs Turing Machines? spinoza1111_at_yahoo.com (12/13/04)
Re: [OT] (was): Robust Algorithms David James Polewka (12/13/04)
Re: mathematical language Lester Zick (12/13/04)
Re: [OT] (was): Robust Algorithms AlphaOmega (12/12/04)
Re: mathematical language Mitch Harris (12/12/04)
Re: mathematical language Lester Zick (12/12/04)
Grammar analysis tools John (12/12/04)
Re: [OT] (was): Robust Algorithms David Longley (12/12/04)
Re: EUREKA Cantor exposed.... sci.math curls tails between legs.. |-|erc (12/12/04)
Re: EUREKA Cantor exposed.... sci.math curls tails between legs.. Kent Paul Dolan (12/12/04)
Re: EUREKA Cantor exposed.... sci.math curls tails between legs.. |-|erc (12/12/04)
Re: Platonism jgkjcasey_at_yahoo.com.au (12/12/04)
Re: Platonism Lester Zick (12/12/04)
Re: EUREKA Cantor exposed.... sci.math curls tails between legs.. |-|erc (12/12/04)
Re: EUREKA Cantor exposed.... sci.math curls tails between legs.. |-|erc (12/11/04)
Re: Number of prime factors of an odd perfect number Jean-Jacques Quisquater (12/11/04)
Re: EUREKA Cantor exposed.... sci.math curls tails between legs.. Kent Paul Dolan (12/11/04)
Re: [OT] (was): Robust Algorithms JPL Verhey (12/11/04)
Re: Platonism stephen_at_nomail.com (12/11/04)
Re: Theories of general machines examachine_at_gmail.com (12/11/04)
Re: mathematical language Mitch Harris (12/11/04)
Re: k-Clique for small fixed k Stas Busygin (12/11/04)
Re: [OT] (was): Robust Algorithms David Longley (12/11/04)
Re: EUREKA Cantor exposed.... sci.math curls tails between legs.. Mark Nudelman (12/11/04)
Re: Reduce Vertex Cover to Feedback Arc set Niklas Pettersson (12/11/04)
Re: Theories of general machines examachine_at_gmail.com (12/11/04)
Re: Reduce Vertex Cover to Feedback Arc set gcrhoads_at_yahoo.com (12/11/04)
Re: Lardinality (was Platonism) Lester Zick (12/11/04)
Re: Lardinality (was Platonism) Lester Zick (12/11/04)
Re: Platonism Lester Zick (12/11/04)
Re: mathematical language Lester Zick (12/11/04)
Re: [OT] (was): Robust Algorithms JPL Verhey (12/11/04)
Reduce Vertex Cover to Feedback Arc set Niklas Pettersson (12/11/04)
Re: mathematical language Wolf Kirchmeir (12/11/04)
Re: Lardinality (was Platonism) Wolf Kirchmeir (12/11/04)
Re: Platonism Stuart M Newberger (12/11/04)
Re: Platonism Stuart M Newberger (12/11/04)
Re: Platonism patty (12/11/04)
Re: EUREKA Cantor exposed.... sci.math curls tails between legs.. |-|erc (12/11/04)
Re: Platonism Chairman of the David Hilbert Appreciation Society (12/11/04)
PhD research assistantships in machine learning at OGI mcarre68_at_gmail.com (12/11/04)
Re: EUREKA Cantor exposed.... sci.math curls tails between legs.. The Ghost In The Machine (12/11/04)
Equivalence of P, AL and multi-head pushdown automata kve adelphia net (12/11/04)
Re: Lardinality (was Platonism) Michael Olea (12/11/04)
Re: EUREKA Cantor exposed.... sci.math curls tails between legs.. Daryl McCullough (12/11/04)
Re: [OT] (was): Robust Algorithms David Longley (12/11/04)
Re: EUREKA Cantor exposed.... sci.math curls tails between legs.. |-|erc (12/11/04)
Re: EUREKA Cantor exposed.... sci.math curls tails between legs.. Mark Nudelman (12/11/04)
Re: EUREKA Cantor exposed.... sci.math curls tails between legs.. Kent Paul Dolan (12/11/04)
Re: Executive Information Systems research Kent Paul Dolan (12/11/04)
Re: [OT] (was): Robust Algorithms Kent Paul Dolan (12/11/04)
Re: Platonism Lester Zick (12/11/04)
Re: Platonism Lester Zick (12/11/04)
Re: Platonism Lester Zick (12/11/04)
Re: Platonism Lester Zick (12/11/04)
Re: Theories of general machines examachine_at_gmail.com (12/10/04)
Re: EUREKA Cantor exposed.... sci.math curls tails between legs.. |-|erc (12/10/04)
Re: Theories of general machines examachine_at_gmail.com (12/10/04)
Re: Theories of general machines whopkins_at_csd.uwm.edu (12/10/04)
Re: [OT] (was): Robust Algorithms David Longley (12/10/04)
Re: EUREKA Cantor exposed.... sci.math curls tails between legs.. George Greene (12/10/04)
Re: mathematical language Lester Zick (12/10/04)
Re: Platonism stephen_at_nomail.com (12/10/04)
Re: Platonism patty (12/10/04)
Re: [OT] (was): Robust Algorithms JPL Verhey (12/10/04)
Re: Platonism Michael Olea (12/10/04)
Re: [OT] (was): Robust Algorithms David Longley (12/10/04)
Re: Platonism stephen_at_nomail.com (12/10/04)
Re: Platonism patty (12/10/04)
Re: Platonism stephen_at_nomail.com (12/10/04)
Re: [OT] (was): Robust Algorithms examachine_at_gmail.com (12/10/04)
Re: EUREKA Cantor exposed.... sci.math curls tails between legs.. Daryl McCullough (12/10/04)
Re: EUREKA Cantor exposed.... sci.math curls tails between legs.. The Ghost In The Machine (12/10/04)
Re: Platonism Lester Zick (12/10/04)
Re: Platonism Lester Zick (12/10/04)
Re: Platonism Lester Zick (12/10/04)
Re: Platonism Lester Zick (12/10/04)
Executive Information Systems research matnicholls (12/10/04)
Research Associate Position "A Theory of Tracing Pure Functional Programs" Olaf Chitil (12/10/04)
Re: mathematical language Mitch Harris (12/10/04)
Theories of general machines examachine_at_gmail.com (12/10/04)
Re: Zenkin's paper on Cantor examachine_at_gmail.com (12/10/04)
Re: Zenkin's paper on Cantor examachine_at_gmail.com (12/10/04)
Re: Zenkin's paper on Cantor examachine_at_gmail.com (12/10/04)
EUREKA Cantor exposed.... sci.math curls tails between legs.. |-|erc (12/10/04)
Re: Turing Machines and Physical Computation examachine_at_gmail.com (12/10/04)
Re: Platonism stephen_at_nomail.com (12/10/04)
Re: (Unsure where to post) stephen_at_nomail.com (12/10/04)
Re: (Unsure where to post) Kent Paul Dolan (12/10/04)
Help: A two player game.. bhaskaraaditya_at_msn.com (12/10/04)
Re: (Unsure where to post) Colin Percival (12/10/04)
Re: Poll: Are PCs Turing Machines? |-|erc (12/09/04)
Re: Poll: Are PCs Turing Machines? Stephen Harris (12/09/04)
Re: Poll: Are PCs Turing Machines? Stephen Harris (12/09/04)
Re: Platonism patty (12/09/04)
Re: Platonism stephen_at_nomail.com (12/09/04)
Re: Turing Machines and Physical Computation examachine_at_gmail.com (12/09/04)
Re: Platonism Neil W Rickert (12/09/04)
Re: Platonism Neil W Rickert (12/09/04)
(Unsure where to post) atomx (12/09/04)
Re: Platonism Lester Zick (12/09/04)
Re: Platonism Lester Zick (12/09/04)
Re: Platonism patty (12/09/04)
Re: Platonism Neil W Rickert (12/09/04)
Re: Platonism Rick Craik (12/09/04)
Re: Platonism Dave Seaman (12/09/04)
Re: Executive Information Systems matnicholls (12/09/04)
Re: Platonism Ralph Hartley (12/09/04)
Re: Platonism Lester Zick (12/09/04)
Re: Platonism Mitch Harris (12/09/04)
Re: Platonism Lester Zick (12/09/04)
Re: Platonism Lester Zick (12/09/04)
Re: Platonism Ralph Hartley (12/09/04)
Re: Platonism Lester Zick (12/09/04)
Re: Platonism Ralph Hartley (12/09/04)
Re: Poll: Are PCs Turing Machines? |-|erc (12/09/04)
Re: Poll: Are PCs Turing Machines? Will Twentyman (12/09/04)
Re: Poll: Are PCs Turing Machines? |-|erc (12/09/04)
Positions in algorithms Anna ?stlin Pagh (12/09/04)
Re: Poll: Are PCs Turing Machines? Kent Paul Dolan (12/09/04)
Re: Platonism Mitch Harris (12/09/04)
Re: Poll: Are PCs Turing Machines? Mitch Harris (12/09/04)
Re: Poll: Are PCs Turing Machines? |-|erc (12/09/04)
Re: Reduce from X to "maximum acyclic subgraph"? Niklas Pettersson (12/09/04)
Re: Poll: Are PCs Turing Machines? Mitch Harris (12/09/04)
Re: Poll: Are PCs Turing Machines? peter_douglass (12/09/04)
Re: Platonism patty (12/09/04)
Re: Turing Machines and Physical Computation Stephen Harris (12/09/04)
Re: (Unsure where to post) Nicholas King (12/09/04)
Re: Reduce from X to "maximum acyclic subgraph"? Stephen Harris (12/09/04)
Re: Reduce from X to "maximum acyclic subgraph"? Stephen Harris (12/09/04)
Re: Platonism Dave Seaman (12/09/04)
Re: Platonism Lester Zick (12/09/04)
Re: Platonism Lester Zick (12/09/04)
Re: Platonism Lester Zick (12/09/04)
Re: Poll: Are PCs Turing Machines? Stephen Harris (12/08/04)
Re: Poll: Are PCs Turing Machines? Stephen Harris (12/08/04)
Re: Poll: Are PCs Turing Machines? Stephen Harris (12/08/04)
Re: Reduce from X to "maximum acyclic subgraph"? Niklas Pettersson (12/08/04)
Re: Platonism patty (12/08/04)
Re: Platonism patty (12/08/04)
Re: Platonism Dave Seaman (12/08/04)
Re: Platonism Lester Zick (12/08/04)
Re: Platonism Lester Zick (12/08/04)
Re: Platonism Lester Zick (12/08/04)
Re: Platonism Lester Zick (12/08/04)
Re: [OT] (was): Robust Algorithms >parr\(*> (12/08/04)
Re: Platonism stephen_at_nomail.com (12/08/04)
Re: Platonism patty (12/08/04)
Re: Platonism stephen_at_nomail.com (12/08/04)
Re: another proof that p is not np cafeinst_at_msn.com (12/08/04)
Re: Platonism Lester Zick (12/08/04)
Re: Platonism patty (12/08/04)
Reduce from X to "maximum acyclic subgraph"? Niklas Pettersson (12/08/04)
Re: Platonism Dave Seaman (12/08/04)
Re: Platonism Lester Zick (12/08/04)
Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) examachine_at_gmail.com (12/08/04)
Re: Platonism Lester Zick (12/08/04)
Re: Platonism Lester Zick (12/08/04)
Re: Platonism patty (12/08/04)
Re: Platonism Lester Zick (12/08/04)
Re: Robust Algorithms patty (12/08/04)
Re: Poll: Are PCs Turing Machines? |-|erc (12/08/04)
Re: Platonism 1Z (12/08/04)
Re: Poll: Are PCs Turing Machines? David Bernier (12/08/04)
Vector multiplication system Jym (12/08/04)
Re: Poll: Are PCs Turing Machines? Will Twentyman (12/08/04)
Re: Poll: Are PCs Turing Machines? Stephen Harris (12/08/04)
Re: Poll: Are PCs Turing Machines? |-|erc (12/08/04)
Re: Robust Algorithms examachine_at_gmail.com (12/08/04)
Re: Poll: Are PCs Turing Machines? Mitch Harris (12/08/04)
Re: No Unique Initial Segment And No Characteristic Expansion Kenneth Doyle (12/08/04)
Re: Platonism Jesse F. Hughes (12/08/04)
Re: Poll: Are PCs Turing Machines? |-|erc (12/08/04)
Re: Poll: Are PCs Turing Machines? Mitch Harris (12/08/04)
Open Positions Nigel Smart (12/08/04)
Re: Robust Algorithms examachine_at_gmail.com (12/08/04)
Re: Robust Algorithms examachine_at_gmail.com (12/08/04)
Re: No Unique Initial Segment And No Characteristic Expansion Rob Duncan (12/08/04)
Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) Wolf Kirchmeir (12/08/04)
Re: Poll: Are PCs Turing Machines? Will Twentyman (12/08/04)
Re: Poll: Are PCs Turing Machines? Mark Nudelman (12/08/04)
Re: No Unique Initial Segment And No Characteristic Expansion Daryl McCullough (12/08/04)
Re: Platonism stephen_at_nomail.com (12/07/04)
Re: Platonism Dave Seaman (12/07/04)
Re: Platonism Dave Seaman (12/07/04)
Re: Platonism Mitch Harris (12/07/04)
Re: [OT] (was): Robust Algorithms >parr\(*> (12/07/04)
Re: Platonism Lester Zick (12/07/04)
Re: Platonism Lester Zick (12/07/04)
Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) examachine_at_gmail.com (12/07/04)
Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) examachine_at_gmail.com (12/07/04)
Re: Platonism Dave Seaman (12/07/04)
Re: Platonism Dave Seaman (12/07/04)
Re: Platonism Lester Zick (12/07/04)
Re: Platonism Lester Zick (12/07/04)
Re: Platonism Lester Zick (12/07/04)
Re: Platonism Lester Zick (12/07/04)
Re: Platonism Lester Zick (12/07/04)
Re: [OT] (was): Robust Algorithms David Longley (12/07/04)
Re: Robust Algorithms David Longley (12/07/04)
[OT] (was): Robust Algorithms Kent Paul Dolan (12/07/04)
Re: Robust Algorithms Kent Paul Dolan (12/07/04)
[OT] (was): Robust Algorithms Kent Paul Dolan (12/07/04)
Re: Robust Algorithms Kent Paul Dolan (12/07/04)
Re: Turing Machines and Physical Computation HERC777 (12/07/04)
Re: Turing Machines and Physical Computation Kent Paul Dolan (12/07/04)
Re: Platonism Mitch Harris (12/07/04)
Re: Platonism tchow_at_lsa.umich.edu (12/07/04)
Re: Platonism tchow_at_lsa.umich.edu (12/07/04)
Re: Robust Algorithms examachine_at_gmail.com (12/07/04)
Re: Robust Algorithms examachine_at_gmail.com (12/07/04)
Re: Platonism Lester Zick (12/07/04)
Re: Platonism Lester Zick (12/07/04)
Re: Platonism David Longley (12/07/04)
Re: Platonism stephen_at_nomail.com (12/07/04)
Re: Platonism Dave Seaman (12/06/04)
Re: Platonism Lester Zick (12/06/04)
Re: Robust Algorithms examachine_at_gmail.com (12/06/04)
Re: Turing Machines and Physical Computation Albert van der Horst (12/06/04)
Re: Lambda Calculus and Turing Equivalence noone (12/06/04)
Re: Platonism stephen_at_nomail.com (12/06/04)
Re: Platonism Mitch Harris (12/06/04)
Re: Platonism Lester Zick (12/06/04)
Re: Platonism tchow_at_lsa.umich.edu (12/06/04)
Re: Platonism Lester Zick (12/06/04)
Re: Robust Algorithms David Longley (12/06/04)
Re: Poll: Are PCs Turing Machines? Stephen Harris (12/06/04)
Re: Poll: Are PCs Turing Machines? Stephen Harris (12/06/04)
Re: Platonism Shmuel (Seymour J.) Metz (12/06/04)
Re: Poll: Are PCs Turing Machines? Stephen Harris (12/06/04)
Re: Robust Algorithms examachine_at_gmail.com (12/06/04)
Re: Platonism Lester Zick (12/06/04)
Re: Platonism stephen_at_nomail.com (12/06/04)
Re: Platonism Lester Zick (12/06/04)
Re: Platonism Lester Zick (12/06/04)
Re: Platonism David Longley (12/06/04)
Re: Platonism David Longley (12/06/04)
STACS 2005 Call for Participation Holger Petersen (12/06/04)
Re: Poll: Are PCs Turing Machines? Will Twentyman (12/06/04)
Re: Platonism Mitch Harris (12/06/04)
Re: Robust Algorithms JC (12/06/04)
Re: Lambda Calculus and Turing Equivalence Kent Paul Dolan (12/06/04)
Re: Lambda Calculus and Turing Equivalence Acid Pooh (12/06/04)
Re: Lambda Calculus and Turing Equivalence Acid Pooh (12/06/04)
Re: Poll: Are PCs Turing Machines? Stephen Harris (12/06/04)
Re: Rules Engines - Best Practices? Edward G. Nilges (12/06/04)
Re: Platonism Eray Ozkural exa (12/06/04)
Re: Robust Algorithms Eray Ozkural exa (12/06/04)
Re: Platonism Eray Ozkural exa (12/06/04)
Re: Platonism Dave Seaman (12/06/04)
Re: Platonism Dave Seaman (12/06/04)
Re: Poll: Are PCs Turing Machines? Edward G. Nilges (12/06/04)
Re: Platonism Herman Rubin (12/06/04)
Re: mathematics David Bandel (12/06/04)
Re: Lambda Calculus and Turing Equivalence Acid Pooh (12/06/04)
Re: Lambda Calculus and Turing Equivalence peter_douglass (12/06/04)
Re: Platonism tchow_at_lsa.umich.edu (12/06/04)
Re: Robust Algorithms David Longley (12/06/04)
Re: Platonism Lester Zick (12/06/04)
Re: Platonism Lester Zick (12/06/04)
Re: Platonism patty (12/06/04)
Re: Lambda Calculus and Turing Equivalence Luis A. Rodriguez (12/06/04)
Re: Platonism robert j. kolker (12/05/04)
Re: Platonism David Longley (12/05/04)
Re: Platonism patty (12/05/04)
Re: Poll: Are PCs Turing Machines? Eray Ozkural exa (12/05/04)
Re: Platonism robert j. kolker (12/05/04)
Re: Platonism robert j. kolker (12/05/04)
Re: Robust Algorithms Eray Ozkural exa (12/05/04)
Re: Platonism Eray Ozkural exa (12/05/04)
Re: Lambda Calculus and Turing Equivalence Eray Ozkural exa (12/05/04)
Re: Platonism Eray Ozkural exa (12/05/04)
Re: Lambda Calculus and Turing Equivalence Eray Ozkural exa (12/05/04)
Re: Platonism Mitch Harris (12/05/04)
Re: Lambda Calculus and Turing Equivalence Mitch Harris (12/05/04)
Re: Are PCs Turing Machines? André Betz (12/05/04)
Re: Poll: Are PCs Turing Machines? Stephen Harris (12/05/04)
Re: Platonism Dave Seaman (12/05/04)
Re: Platonism Dave Seaman (12/05/04)
Re: Platonism Lester Zick (12/05/04)
Re: Platonism Lester Zick (12/05/04)
Re: Platonism Lester Zick (12/05/04)
Re: Platonism Nath Rao (12/05/04)
Re: Poll: Are PCs Turing Machines? Luis A. Rodriguez (12/05/04)
Re: Lambda Calculus and Turing Equivalence Kent Paul Dolan (12/05/04)
Re: mathematics Kent Paul Dolan (12/05/04)
Re: Lambda Calculus and Turing Equivalence Acid Pooh (12/05/04)
Re: mathematics David Bandel (12/05/04)
Re: Rules Engines - Best Practices? Patrick May (12/05/04)
Re: Poll: Are PCs Turing Machines? Stephen Harris (12/05/04)
Re: mathematics Kent Paul Dolan (12/05/04)
Re: Robust Algorithms Kent Paul Dolan (12/05/04)
Re: Rules Engines - Best Practices? e m madhu babu (12/05/04)
Re: Platonism Virgil (12/05/04)
Re: Robust Algorithms SoloGen (12/05/04)
Re: Robust Algorithms Amir massoud Farahmand (12/05/04)
Re: Platonism Dave Seaman (12/05/04)
Re: Poll: Are PCs Turing Machines? Bill Dubuque (12/05/04)
Re: Poll: Are PCs Turing Machines? John Schoenfeld (12/05/04)
Re: Platonism Stuart M Newberger (12/05/04)
Re: Platonism robert j. kolker (12/05/04)
Re: Platonism Shmuel (Seymour J.) Metz (12/05/04)
Re: Poll: Are PCs Turing Machines? Luis A. Rodriguez (12/04/04)
Re: mathematics Shmuel (Seymour J.) Metz (12/04/04)
Re: Platonism r.e.s. (12/04/04)
Re: Lambda Calculus and Turing Equivalence Shmuel (Seymour J.) Metz (12/04/04)
Re: Platonism Dave Seaman (12/04/04)
Re: Platonism Dave Seaman (12/04/04)
Re: Platonism Dave Seaman (12/04/04)
Re: Are PCs Turing Machines? Mike (12/04/04)
Re: Platonism r.e.s. (12/04/04)
Re: Platonism Lester Zick (12/04/04)
Re: Platonism Lester Zick (12/04/04)
Re: Poll: Are PCs Turing Machines? Mark Nudelman (12/04/04)
Re: Platonism stephen_at_nomail.com (12/04/04)
Re: Platonism Lester Zick (12/04/04)
Re: Poll: Are PCs Turing Machines? Eray Ozkural exa (12/04/04)
Re: Platonism Dave Seaman (12/04/04)
Re: Poll: Are PCs Turing Machines? Henry (12/04/04)
Re: Robust Algorithms Wolf Kirchmeir (12/04/04)
Re: Platonism tchow_at_lsa.umich.edu (12/04/04)
Re: Poll: Are PCs Turing Machines? peter_douglass (12/04/04)
Re: No Unique Initial Segment And No Characteristic Expansion Uncle Al (12/04/04)
Re: Rules Engines - Best Practices? Cindi Jenkins (12/04/04)
Re: Platonism Lester Zick (12/04/04)
Re: Platonism Lester Zick (12/04/04)
Re: Poll: Are PCs Turing Machines? Luis A. Rodriguez (12/04/04)
Re: Poll: Are PCs Turing Machines? Luis A. Rodriguez (12/04/04)
Re: Are PCs Turing Machines? Michael N. Christoff (12/04/04)
Re: Platonism Stuart M Newberger (12/04/04)
Re: Poll: Are PCs Turing Machines? Edward G. Nilges (12/04/04)
Re: Poll: Are PCs Turing Machines? max (12/04/04)
Re: No Unique Initial Segment And No Characteristic Expansion. Ross A. Finlayson (12/04/04)
Re: Are PCs Turing Machines? Stephen Harris (12/04/04)
Re: No Unique Initial Segment And No Characteristic Expansion Uncle Al (12/04/04)
Re: Platonism Dave Seaman (12/04/04)
Re: Poll: Are PCs Turing Machines? Eray Ozkural exa (12/04/04)
Re: Platonism Stuart M Newberger (12/04/04)
Re: No Unique Initial Segment And No Characteristic Expansion. Uncle Al (12/04/04)
Re: Unbounded Space Eray Ozkural exa (12/04/04)
Re: Platonism Herman Rubin (12/04/04)
Re: Poll: Are PCs Turing Machines? Stephen Harris (12/04/04)
Re: Poll: Are PCs Turing Machines? Mark Nudelman (12/04/04)
Re: No Unique Initial Segment And No Characteristic Expansion. Ross A. Finlayson (12/03/04)
Re: Poll: Are PCs Turing Machines? Bill Dubuque (12/03/04)
Robust Algorithms Amir massoud Farahmand (12/03/04)
Re: Platonism Lester Zick (12/03/04)
Re: Rules Engines - Best Practices? Randy Howard (12/03/04)
Re: Platonism tchow_at_lsa.umich.edu (12/03/04)
Re: Platonism tchow_at_lsa.umich.edu (12/03/04)
Re: Platonism Nathan (12/03/04)
Re: Platonism Dave Seaman (12/03/04)
Re: Platonism Dave Seaman (12/03/04)
Number of prime factors of an odd perfect number Edmond (12/03/04)
Re: Platonism Lester Zick (12/03/04)
Re: Platonism patty (12/03/04)
Re: Platonism Lester Zick (12/03/04)
Re: Poll: Are PCs Turing Machines? Dave Vandervies (12/03/04)
Re: Platonism Lester Zick (12/03/04)
Re: Platonism Eray Ozkural exa (12/03/04)
Re: Platonism patty (12/03/04)
Re: Platonism tchow_at_lsa.umich.edu (12/03/04)
Re: No Unique Initial Segment And No Characteristic Expansion. Uncle Al (12/03/04)
Re: Poll: Are PCs Turing Machines? Stephen Harris (12/03/04)
Re: Platonism Dave Seaman (12/03/04)
Re: Poll: Are PCs Turing Machines? briggs_at_encompasserve.org (12/03/04)
Re: Poll: Are PCs Turing Machines? stephen_at_nomail.com (12/03/04)
Re: Poll: Are PCs Turing Machines? Stephen Harris (12/03/04)
Re: Unbounded Space Stephen Harris (12/03/04)
Re: Platonism Herman Rubin (12/03/04)
Re: Platonism Dave Seaman (12/03/04)
Re: Platonism robert j. kolker (12/03/04)
Re: Platonism Lester Zick (12/03/04)
Re: Platonism Lester Zick (12/03/04)
Re: Rules Engines - Best Practices? Cindi Jenkins (12/03/04)
Re: Rules Engines - Best Practices? Cindi Jenkins (12/03/04)
Re: Poll: Are PCs Turing Machines? Will Twentyman (12/03/04)
Re: Poll: Are PCs Turing Machines? Herman Jurjus (12/03/04)
Re: Unbounded Space Eray Ozkural exa (12/03/04)
Re: The necessary conditions for models of computation Eray Ozkural exa (12/03/04)
Re: Poll: Are PCs Turing Machines? Mitch Harris (12/03/04)
Re: Poll: Are PCs Turing Machines? Eray Ozkural exa (12/03/04)
Re: Unbounded Space Stephen Harris (12/03/04)
Re: Poll: Are PCs Turing Machines? Raffaello Galli (12/03/04)
Re: Turing Machines and Physical Computation David Longley (12/03/04)
Re: Platonism Mitch Harris (12/03/04)
Re: Unbounded Space robert j. kolker (12/03/04)
Re: mathematics Kent Paul Dolan (12/03/04)
Re: Example of a formulation in production scheduling Kent Paul Dolan (12/03/04)
Unbounded Space Eray Ozkural exa (12/03/04)
Re: Rules Engines - Best Practices? Edward G. Nilges (12/03/04)
Re: Lambda Calculus and Turing Equivalence Eray Ozkural exa (12/03/04)
Example of a formulation in production scheduling M. Nikraz (12/03/04)
Re: Turing Machines and Physical Computation dan michaels (12/03/04)
Re: Platonism robert j. kolker (12/03/04)
Re: Platonism Eray Ozkural exa (12/03/04)
Re: Platonism Dave Seaman (12/03/04)
Re: Platonism tchow_at_lsa.umich.edu (12/03/04)
Re: mathematics tchow_at_lsa.umich.edu (12/03/04)
Re: Platonism Lester Zick (12/03/04)
Re: mathematics David Bandel (12/03/04)
Re: Platonism Stephen Harris (12/02/04)
Re: mathematics Mitch Harris (12/02/04)
Re: Lambda Calculus and Turing Equivalence Acid Pooh (12/02/04)
Re: Are PCs Turing Machines? Lord of Chaos\(Suresh Devanathan\) (12/02/04)
Re: Are PCs Turing Machines? Lord of Chaos\(Suresh Devanathan\) (12/02/04)
Re: Lambda Calculus and Turing Equivalence Mitch Harris (12/02/04)
Re: Poll: Are PCs Turing Machines? Will Twentyman (12/02/04)
Re: Platonism Dave Seaman (12/02/04)
Re: Poll: Are PCs Turing Machines? oðin (12/02/04)
Re: Poll: Are PCs Turing Machines? Mark Nudelman (12/02/04)
Re: Platonism robert j. kolker (12/02/04)
Re: mathematics David Longley (12/02/04)
Re: mathematics Jón Fairbairn (12/02/04)
Re: Poll: Are PCs Turing Machines? Luis A. Rodriguez (12/02/04)
Re: mathematics patty (12/02/04)
Re: Platonism Lester Zick (12/02/04)
Re: Platonism Lester Zick (12/02/04)
Re: Poll: Are PCs Turing Machines? Eray Ozkural exa (12/02/04)
Re: Platonism tchow_at_lsa.umich.edu (12/02/04)
Re: The necessary conditions for models of computation whopkins_at_csd.uwm.edu (12/02/04)
Re: mathematics tchow_at_lsa.umich.edu (12/02/04)
Re: Platonism Dave Seaman (12/02/04)
Re: Platonism Lester Zick (12/02/04)
Re: mathematics patty (12/02/04)
Re: Lambda Calculus and Turing Equivalence Peter Douglass (12/02/04)
Re: Lambda Calculus and Turing Equivalence Stephen Harris (12/02/04)
Re: Are PCs Turing Machines? oðin (12/02/04)
Re: Zenkin's paper on Cantor (reply of Dr. Zenkin) Eray Ozkural exa (12/02/04)
Re: Lambda Calculus and Turing Equivalence Eray Ozkural exa (12/02/04)
Re: Lambda Calculus and Turing Equivalence Eray Ozkural exa (12/02/04)
Re: Lambda Calculus and Turing Equivalence Eray Ozkural exa (12/02/04)
Re: Lambda Calculus and Turing Equivalence Eray Ozkural exa (12/02/04)
Re: Platonism Lester Zick (12/02/04)
Re: Lambda Calculus and Turing Equivalence Stephen Harris (12/02/04)
Re: Are PCs Turing Machines? Thomas A. Li (12/02/04)
The necessary conditions for models of computation examachine_at_gmail.com (12/02/04)
Re: Poll: Are PCs Turing Machines? examachine_at_gmail.com (12/02/04)
Re: mathematics David Longley (12/02/04)
Re: Lambda Calculus and Turing Equivalence gds_at_best.cut.here.com (12/02/04)
Re: Rules Engines - Best Practices? Gregory Toomey (12/02/04)
Re: mathematics Kent Paul Dolan (12/02/04)
Re: Lambda Calculus and Turing Equivalence Kent Paul Dolan (12/02/04)
Re: Poll: Are PCs Turing Machines? Kent Paul Dolan (12/02/04)
BCS-FACS Xmas Meeting: The Verified Software Repository, London, UK, 21 December 2004 Prof Jonathan Bowen (12/02/04)
Re: Poll: Are PCs Turing Machines? Bill Dubuque (12/02/04)
Re: Platonism Eray Ozkural exa (12/02/04)
Re: Lambda Calculus and Turing Equivalence peter_douglass (12/02/04)
Re: mathematics patty (12/02/04)
Re: Are PCs Turing Machines? Richard Henry (12/02/04)
Re: Platonism tchow_at_lsa.umich.edu (12/02/04)
Re: Platonism tchow_at_lsa.umich.edu (12/02/04)
Re: Poll: Are PCs Turing Machines? stephen_at_nomail.com (12/02/04)
Re: Poll: Are PCs Turing Machines? George Cox (12/02/04)
Re: Poll: Are PCs Turing Machines? George Cox (12/02/04)
Re: Platonism Stephen Harris (12/02/04)
Re: Poll: Are PCs Turing Machines? Richard Brown (12/02/04)
Re: Turing Machines and Physical Computation David Longley (12/02/04)
Re: Are PCs Turing Machines? mike3 (12/02/04)
Re: Poll: Are PCs Turing Machines? Dave Vandervies (12/02/04)
Re: shortest paths question Thomas Cormen (12/02/04)
Re: mathematics Eray Ozkural exa (12/02/04)
Re: Poll: Are PCs Turing Machines? oðin (12/02/04)
Re: Platonism Stephen Harris (12/02/04)
Re: mathematics Eray Ozkural exa (12/01/04)
Re: Poll: Are PCs Turing Machines? sirix (12/01/04)
Re: Platonism Stephen Harris (12/01/04)
Re: Platonism Neil W Rickert (12/01/04)
Re: Platonism Stephen Harris (12/01/04)
Re: Poll: Are PCs Turing Machines? Will Twentyman (12/01/04)
Re: Poll: Are PCs Turing Machines? George Cox (12/01/04)
Re: Poll: Are PCs Turing Machines? Rick Decker (12/01/04)
Re: Are PCs Turing Machines? Peter Douglass (12/01/04)
Re: Turing Machines and Physical Computation Lester Zick (12/01/04)
Re: mathematics Lester Zick (12/01/04)
Re: Lambda Calculus and Turing Equivalence Mitch Harris (12/01/04)
Re: mathematics Stephen Harris (12/01/04)
Re: Turing Machines and Physical Computation patty (12/01/04)
Re: Platonism Eray Ozkural exa (12/01/04)
String Patterns Reza Ferry (12/01/04)
Re: Lambda Calculus and Turing Equivalence Eray Ozkural exa (12/01/04)
Re: Are PCs Turing Machines? oðin (12/01/04)
Re: Platonism Lester Zick (12/01/04)
Poll: Are PCs Turing Machines? Eray Ozkural exa (12/01/04)
Re: Lambda Calculus and Turing Equivalence Eray Ozkural exa (12/01/04)
Re: Platonism Eray Ozkural exa (12/01/04)
Re: Lambda Calculus and Turing Equivalence Eray Ozkural exa (12/01/04)
Re: Turing Machines and Physical Computation Lester Zick (12/01/04)
Re: finite maze solving algorithm conesetter (12/01/04)
Re: Platonism robert j. kolker (12/01/04)
Re: Platonism J.E. (12/01/04)
Re: Platonism stephen_at_nomail.com (12/01/04)
Re: Turing Machines and Physical Computation & TM 'S REVISIONISTS Eray Ozkural exa (12/01/04)
Re: Platonism Lester Zick (12/01/04)
Re: Platonism Lester Zick (12/01/04)
Re: Platonism Lester Zick (12/01/04)
Re: Platonism Lester Zick (12/01/04)
Re: Platonism Mitch Harris (12/01/04)
Re: Platonism AlphaOmega2004 (12/01/04)
Re: Platonism Torkel Franzen (12/01/04)
Re: Lambda Calculus and Turing Equivalence Mitch Harris (12/01/04)
Re: Platonism Eray Ozkural exa (12/01/04)
Re: Platonism Mitch Harris (12/01/04)
Re: Lambda Calculus and Turing Equivalence Torben Ægidius Mogensen (12/01/04)
Re: Platonism Eray Ozkural exa (12/01/04)
Re: Platonism Eray Ozkural exa (12/01/04)
Re: Platonism Herman Rubin (12/01/04)
Re: Lambda Calculus and Turing Equivalence peter_douglass (12/01/04)
Re: Turing Machines and Physical Computation Eray Ozkural exa (12/01/04)
Lambda Calculus and Turing Equivalence Eray Ozkural exa (12/01/04)
Re: Platonism Eray Ozkural exa (12/01/04)
Re: Turing Machines and Physical Computation David Longley (12/01/04)
Re: Platonism Herman Jurjus (12/01/04)
Re: Platonism Mitch Harris (12/01/04)
Re: mathematics Stephen Harris (12/01/04)
shortest paths question Jani Yusef (12/01/04)
Re: mathematics Shmuel (Seymour J.) Metz (12/01/04)
Re: Turing Machines and Physical Computation Eray Ozkural exa (12/01/04)
Re: Turing Machines and Physical Computation Eray Ozkural exa (12/01/04)
Re: Platonism tchow_at_lsa.umich.edu (12/01/04)
Re: Turing Machines and Physical Computation patty (12/01/04)
Re: Platonism Eray Ozkural exa (12/01/04)
Re: Platonism Eray Ozkural exa (12/01/04)
Re: Platonism Eray Ozkural exa (12/01/04)
Re: Platonism Eray Ozkural exa (12/01/04)
Re: Platonism Eray Ozkural exa (12/01/04)
Re: Computer language and category theory Jon Haugsand (11/30/04)
Re: Computer language and category theory Alfred Einstead (11/30/04)
Re: Turing Machines and Physical Computation Paul Bramscher (11/30/04)
Re: Platonism Lester Zick (11/30/04)
Re: Platonism Lester Zick (11/30/04)
Re: Platonism Neil W Rickert (11/30/04)
Re: Platonism AngleWyrm (11/30/04)
Re: Turing Machines and Physical Computation Bill Modlin (11/30/04)
Re: Turing Machines and Physical Computation Neil W Rickert (11/30/04)
Re: Platonism tchow_at_lsa.umich.edu (11/30/04)
Re: Platonism Herman Jurjus (11/30/04)
Re: mathematics Eray Ozkural exa (11/30/04)
Re: Turing Machines and Physical Computation patty (11/30/04)
Re: Platonism Neil W Rickert (11/30/04)

Last message date: 12/30/04
Archived on: 12/31/04 CET

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

comp.theoryBy Date

comp.theory
By Date