comp.theory
By Author

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

---

Starting: 08/31/04
Ending: 09/30/04

• 3.14159
  • Re: Raatikainen's critique of Chaitin (09/10/04)
  • Re: Measuring the strength of a theory (09/07/04)
  • Re: Measuring the strength of a theory (09/07/04)
• >parr\(*>
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/04/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/04/04)
  • Re: [PO] halting problem reading comprehension (09/04/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/03/04)
  • Re: [PO] halting problem reading comprehension (09/03/04)
  • Re: What is the Result from Invoking this Halt Function? (09/01/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/01/04)
• Aatu Koskensilta
  • Re: Zenkin's paper on Cantor (09/30/04)
  • Re: Raatikainen's critique of Chaitin (09/17/04)
  • Re: theorems/problems with lots of quantifiers (09/07/04)
  • Re: Raatikainen's critique of Chaitin (09/07/04)
  • Re: Raatikainen's critique of Chaitin (09/07/04)
  • Re: Raatikainen's critique of Chaitin (09/03/04)
  • Re: Raatikainen's critique of Chaitin (09/02/04)
• Abdulaziz Ghuloum
  • Re: Closest Point Problem (09/08/04)
  • Re: [PO] Halting Problem Final Conclusion (09/07/04)
  • Re: [PO] Halting Problem Final Conclusion (09/06/04)
  • Re: [PO] Halting Problem Final Conclusion (09/06/04)
  • Re: [PO] Halting Problem Final Conclusion (09/06/04)
  • Re: [PO] Halting Problem Final Conclusion (09/06/04)
  • Re: [PO] Halting Problem Final Conclusion (09/06/04)
  • Re: examples of EXPTIME (09/06/04)
  • Re: [PO] Halting Problem Final Conclusion (09/06/04)
• Abraham Buckingham
  • Re: Another set with cardinality |Z| (09/23/04)
• Acid Pooh
  • Re: [PO] halting problem reading comprehension (09/04/04)
• Acme Diagnostics
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/16/04)
  • Re: [|-|erc] Re: [PO] Halting Problem Final Conclusion (09/13/04)
  • Re: [PO] Re: Olcott is cured of CrackPottery! (Halting Problem) (09/08/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/08/04)
  • [PO] Re: Olcott is cured of CrackPottery! (Halting Problem) (09/08/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/04/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/03/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/01/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/01/04)
• Adam L. Buchsbaum
  • SODA 2005 List of Accepted Papers (09/08/04)
• Al
  • Re: Tarjan algorithm (09/03/04)
  • Re: Tarjan algorithm (09/02/04)
  • Tarjan algorithm (09/02/04)
• Alan Balmer
  • Re: Importance of Computer Science degree? (09/15/04)
• Alex Vinokur
  • Re: Fibonacci numbers, Lucas numbers and Huffman codes (09/12/04)
  • Re: Program implementing Post Tag System as applied to a Turing Machine (09/09/04)
  • Fibonacci numbers, Lucas numbers and Huffman codes (09/08/04)
  • Program implementing Post Tag System as applied to a Turing Machine (09/07/04)
• alpha_uma
  • Re: theorems/problems with lots of quantifiers (09/09/04)
• Amr Sabry
  • Re: [PO] Halting Problem Final Conclusion (09/06/04)
• Andreas Morgenstern
  • Complexity of LTL Games (09/06/04)
• Anonymous
  • Re: Quality of articles in SIGACT News (09/30/04)
  • Quality of articles in SIGACT News (09/29/04)
• Arnaud Gotlieb
  • ISSRE'04 : Call for participation (France, Nov 04) (09/03/04)
• Arthur J. O'Dwyer
  • Re: [PO] Halting Problem Final Conclusion (09/06/04)
• Ash
  • Re: Closest Point Problem (09/09/04)
  • Closest Point Problem (09/08/04)
• Barb Knox
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/26/04)
• Bernd
  • Re: Difference in Packaging (09/18/04)
  • Difference in Packaging (09/17/04)
• biedl_at_uwaterloo.ca
  • Re: theorems/problems with lots of quantifiers (09/07/04)
• Bill F
  • Re: An article about factorization (09/09/04)
  • Re: theorems/problems with lots of quantifiers (09/09/04)
• Bo Hong
  • help: probability of dropping k items into N buckets (09/25/04)
• Brian M. Scott
  • Re: Proof of inherent ambiguity? (09/25/04)
  • Re: Proof of inherent ambiguity? (09/25/04)
• Bryan Olson
  • Re: [PO] Halting Problem Final Conclusion (09/08/04)
  • Re: Halting Problem Final Conclusion (09/06/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/04/04)
  • Re: [PO] halting problem reading comprehension (09/04/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/03/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/02/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/01/04)
• Burning Spear
  • Re: Data structure for indexing on multiple keys. (09/08/04)
• Casey Hawthorne
  • Re: Halting Problem Final Conclusion (09/05/04)
• CBFalconer
  • Re: Data structure for indexing on multiple keys. (09/08/04)
• Charlie-Boo
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/29/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/29/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/29/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/29/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/25/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/25/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/24/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/24/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/24/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/23/04)
• Chris Menzel
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/29/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/06/04)
  • Re: [PO] halting problem reading comprehension (09/03/04)
• Colin Andrew Percival
  • Re: Another set with cardinality |Z| (09/29/04)
  • Re: Another set with cardinality |Z| (09/28/04)
  • Re: Announcing WNLIB 9.0 - Free C Subroutine Library (09/22/04)
  • Re: Distributed algorithm for computing the determinant of a matrix. (09/17/04)
  • Re: Distributed algorithm for computing the determinant of a matrix. (09/15/04)
• coolspeech_at_hotmail.com
  • Wiki as A Time Saver for Researchers (09/12/04)
• Craig Feinstein
  • Re: Zenkin's paper on Cantor (09/27/04)
  • Re: Raatikainen's critique of Chaitin (09/12/04)
  • Re: Raatikainen's critique of Chaitin (09/12/04)
  • Re: Raatikainen's critique of Chaitin (09/10/04)
  • Re: Raatikainen's critique of Chaitin (09/03/04)
  • Re: Raatikainen's critique of Chaitin (09/02/04)
  • Re: Raatikainen's critique of Chaitin (09/02/04)
  • Re: Raatikainen's critique of Chaitin (09/01/04)
  • Re: Raatikainen's critique of Chaitin (09/01/04)
• Cristiano Sadun
  • Re: Formal methods article and FMnet web pages (09/22/04)
• d. lee
  • Re: examples of EXPTIME (09/10/04)
  • examples of EXPTIME (09/06/04)
• dada
  • Re: Closest Point Problem (09/12/04)
• Dan
  • Re: Data structure for indexing on multiple keys. (09/10/04)
• Daniel A. Jimenez
  • Re: Quality of articles in SIGACT News (09/29/04)
  • Re: A way for P!=NP (09/17/04)
• Daniel Marx
  • Erdõs quotation (09/09/04)
• Daniel Vallstrom
  • Re: Announcing WNLIB 9.0 - Free C Subroutine Library (09/22/04)
• Daniel W. Johnson
  • Re: Another set with cardinality |Z| (09/23/04)
• Daryl McCullough
  • Re: Raatikainen's critique of Chaitin (09/05/04)
  • Re: Raatikainen's critique of Chaitin (09/04/04)
  • Re: Raatikainen's critique of Chaitin (09/02/04)
  • Re: Raatikainen's critique of Chaitin (09/02/04)
  • Re: Raatikainen's critique of Chaitin (09/02/04)
• David C. Ullrich
  • Re: Another set with cardinality |Z| (09/30/04)
  • Re: Zenkin's paper on Cantor (09/30/04)
  • Re: Zenkin's paper on Cantor (09/30/04)
  • Re: Another set with cardinality |Z| (09/30/04)
  • Re: Zenkin's paper on Cantor (09/29/04)
  • Re: Another set with cardinality |Z| (09/29/04)
  • Re: Zenkin's paper on Cantor (09/28/04)
  • Re: Zenkin's paper on Cantor (09/26/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/08/04)
  • Re: Halting Problem Final Conclusion (09/06/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/06/04)
  • Re: Halting Problem Final Conclusion (09/06/04)
  • Re: Halting Problem Final Conclusion (09/06/04)
  • Re: [PO] Halting Problem Final Conclusion (09/06/04)
  • Re: Halting Problem Final Conclusion (09/06/04)
  • Re: [PO] Halting Problem Final Conclusion (09/06/04)
  • Re: Halting Problem Final Conclusion (09/06/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/06/04)
  • Re: [PO] halting problem reading comprehension (09/06/04)
  • Re: Halting Problem Final Conclusion (09/05/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/05/04)
  • Re: [PO] halting problem reading comprehension (09/05/04)
  • Re: [PO] halting problem reading comprehension (09/05/04)
  • Re: [PO] halting problem reading comprehension (09/05/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/05/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/05/04)
  • Re: [PO] halting problem reading comprehension (09/05/04)
  • Re: [PO] halting problem reading comprehension (09/05/04)
  • Re: [PO] halting problem reading comprehension (09/05/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/05/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/05/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/04/04)
  • Re: [PO] halting problem reading comprehension (09/04/04)
  • Re: [PO] halting problem reading comprehension (09/04/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/04/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/04/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/01/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/01/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/01/04)
• David Halitsky
  • Fixed-price recoding job (PERL -> C, Basic,...) available to perms/combs expert (09/11/04)
• David J. Pearce
  • Re: Tarjan algorithm (09/02/04)
• Denis
  • Re: A way for P!=NP (09/20/04)
  • Re: A way for P!=NP (09/18/04)
• Denis Flex
  • Re: A way for P!=NP (09/21/04)
  • Re: A way for P!=NP (09/21/04)
  • Re: A way for P!=NP (09/21/04)
  • Re: A way for P!=NP (09/17/04)
  • Re: A way for P!=NP (09/17/04)
  • A way for P!=NP (09/16/04)
• Dhruv Matani
  • Re: Distributed algorithm for computing the determinant of a matrix. (09/16/04)
  • Distributed algorithm for computing the determinant of a matrix. (09/15/04)
• Diego d'Aulignac
  • Computer Network to Graph Conversion (09/03/04)
• Doug Bohl
  • Importance of Computer Science degree? (09/15/04)
• Eray Ozkural exa
  • Re: Zenkin's paper on Cantor (09/30/04)
  • Re: Zenkin's paper on Cantor (09/30/04)
  • Re: Another set with cardinality |Z| (09/30/04)
  • Re: Quality of articles in SIGACT News (09/30/04)
  • Re: Another set with cardinality |Z| (09/30/04)
  • Re: Another set with cardinality |Z| (09/30/04)
  • Re: Zenkin's paper on Cantor (09/30/04)
  • Re: Another set with cardinality |Z| (09/30/04)
  • Re: Zenkin's paper on Cantor (09/29/04)
  • Re: Zenkin's paper on Cantor (09/29/04)
  • Re: Zenkin's paper on Cantor (09/29/04)
  • Re: Another set with cardinality |Z| (09/29/04)
  • Re: Another set with cardinality |Z| (09/28/04)
  • Re: Zenkin's paper on Cantor (09/28/04)
  • Re: Another set with cardinality |Z| (09/28/04)
  • Re: Zenkin's paper on Cantor (09/28/04)
  • Re: Another set with cardinality |Z| (09/28/04)
  • Re: Another set with cardinality |Z| (09/28/04)
  • Re: Zenkin's paper on Cantor (09/28/04)
  • Re: Another set with cardinality |Z| (09/28/04)
  • Re: Another set with cardinality |Z| (09/28/04)
  • Re: Another set with cardinality |Z| (09/27/04)
  • Re: Zenkin's paper on Cantor (09/27/04)
  • Re: Zenkin's paper on Cantor (09/27/04)
  • Re: Another set with cardinality |Z| (09/27/04)
  • Re: Another set with cardinality |Z| (09/27/04)
  • Re: Another set with cardinality |Z| (09/27/04)
  • Re: Zenkin's paper on Cantor (09/27/04)
  • Re: Another set with cardinality |Z| (09/26/04)
  • Zenkin's paper on Cantor (09/26/04)
  • Re: Another set with cardinality |Z| (09/26/04)
  • Re: Another set with cardinality |Z| (09/26/04)
  • Re: Another set with cardinality |Z| (09/26/04)
  • Re: Another set with cardinality |Z| (09/25/04)
  • Re: Another set with cardinality |Z| (09/25/04)
  • Re: Another set with cardinality |Z| (09/25/04)
  • Re: A way for P!=NP (09/24/04)
  • Re: Another set with cardinality |Z| (09/24/04)
  • Re: Another set with cardinality |Z| (09/23/04)
  • Re: Another set with cardinality |Z| (09/23/04)
  • Re: A way for P!=NP (09/23/04)
  • Another set with cardinality |Z| (09/23/04)
  • Re: Another claim for P=NP (09/23/04)
  • Re: A way for P!=NP (09/19/04)
  • Another claim for P=NP (09/18/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/18/04)
  • Re: A way for P!=NP (09/18/04)
  • Re: Raatikainen's critique of Chaitin (09/18/04)
  • Re: Raatikainen's critique of Chaitin (09/17/04)
  • Re: Raatikainen's critique of Chaitin (09/16/04)
  • Re: NP-hardness of k-means clustering (09/15/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/15/04)
  • Re: NP-hardness of k-means clustering (09/14/04)
  • Re: Kernighan-Lin Algorithm implementation (09/14/04)
  • Re: Raatikainen's critique of Chaitin (09/13/04)
  • Re: Raatikainen's critique of Chaitin (09/12/04)
  • An article about factorization (09/09/04)
  • Re: NP-hardness of k-means clustering (09/09/04)
  • Re: NP-hardness of k-means clustering (09/09/04)
  • Re: Program implementing Post Tag System as applied to a Turing Machine (09/08/04)
  • Re: NP-hardness of k-means clustering (09/08/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/07/04)
  • Re: Raatikainen's critique of Chaitin (09/07/04)
  • A Review of Chaitin's e-book "Omega" (09/07/04)
  • Re: Measuring the strength of a theory (09/07/04)
  • Re: Measuring the strength of a theory (09/07/04)
  • Re: Measuring the strength of a theory (09/07/04)
  • Re: Measuring the strength of a theory (09/07/04)
  • Re: Raatikainen's critique of Chaitin (09/07/04)
  • Re: Raatikainen's critique of Chaitin (09/07/04)
  • Re: Measuring the strength of a theory (09/07/04)
  • Re: Raatikainen's critique of Chaitin (09/07/04)
  • Re: Measuring the strength of a theory (09/07/04)
  • Re: Raatikainen's critique of Chaitin (09/06/04)
  • Measuring the strength of a theory (Was Re: Raatikainen's critique of Chaitin) (09/06/04)
  • Re: Raatikainen's critique of Chaitin (09/06/04)
  • Re: Raatikainen's critique of Chaitin (09/06/04)
  • Re: Raatikainen's critique of Chaitin (09/06/04)
  • Re: Raatikainen's critique of Chaitin (09/05/04)
  • Re: Raatikainen's critique of Chaitin (09/05/04)
  • Re: Raatikainen's critique of Chaitin (09/05/04)
  • Re: Raatikainen's critique of Chaitin (09/05/04)
  • Re: Raatikainen's critique of Chaitin (09/05/04)
  • Re: Raatikainen's critique of Chaitin (09/05/04)
  • Re: Raatikainen's critique of Chaitin (09/05/04)
  • Re: Raatikainen's critique of Chaitin (09/05/04)
  • Re: Raatikainen's critique of Chaitin (09/04/04)
  • Re: Raatikainen's critique of Chaitin (09/04/04)
  • Re: Raatikainen's critique of Chaitin (09/04/04)
  • Re: Raatikainen's critique of Chaitin (09/04/04)
  • Re: Raatikainen's critique of Chaitin (09/04/04)
  • Re: Raatikainen's critique of Chaitin (09/04/04)
  • Re: Raatikainen's critique of Chaitin (09/04/04)
  • Re: Raatikainen's critique of Chaitin (09/04/04)
  • Re: Raatikainen's critique of Chaitin (09/04/04)
  • Re: Raatikainen's critique of Chaitin (09/03/04)
  • Re: Raatikainen's critique of Chaitin (09/03/04)
  • Re: Raatikainen's critique of Chaitin (09/03/04)
  • Re: Raatikainen's critique of Chaitin (09/03/04)
  • Re: Raatikainen's critique of Chaitin (09/03/04)
  • Re: Raatikainen's critique of Chaitin (09/02/04)
  • Re: Raatikainen's critique of Chaitin (09/02/04)
  • Re: Raatikainen's critique of Chaitin (09/01/04)
  • Re: Raatikainen's critique of Chaitin (09/01/04)
  • Re: Raatikainen's critique of Chaitin (09/01/04)
  • Re: Raatikainen's critique of Chaitin (09/01/04)
  • Re: Raatikainen's critique of Chaitin (09/01/04)
• fei
  • Re: A variant of Traveling Salesman Problem (09/14/04)
  • Re: A variant of Traveling Salesman Problem (09/13/04)
  • Re: A variant of Traveling Salesman Problem (09/13/04)
  • A variant of Traveling Salesman Problem (09/12/04)
• Frank Ch. Eigler
  • Re: Can a regular Turing Machine provide Protected Memory? (09/01/04)
• Frank Neven
  • ACM PODS 2005, Call for Papers (09/30/04)
• G. Frege
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/26/04)
  • Re: [PO] Halting Problem Final Conclusion (09/07/04)
  • Re: [PO] Halting Problem Final Conclusion (09/07/04)
  • Re: [PO] Halting Problem Final Conclusion (09/06/04)
  • Re: [PO] Halting Problem Final Conclusion (09/06/04)
  • Re: Halting Problem Final Conclusion (09/06/04)
  • Re: Halting Problem Final Conclusion (09/06/04)
  • Re: Halting Problem Final Conclusion (09/06/04)
  • Re: Halting Problem Final Conclusion (09/06/04)
  • Re: Halting Problem Final Conclusion (09/06/04)
  • Re: [PO] Halting Problem Final Conclusion (09/06/04)
  • Re: Halting Problem Final Conclusion (09/06/04)
  • Re: [PO] Halting Problem Final Conclusion (09/06/04)
  • Re: [PO] Halting Problem Final Conclusion (09/06/04)
  • Re: [PO] Halting Problem Final Conclusion (09/06/04)
  • Re: [PO] Halting Problem Final Conclusion (09/06/04)
  • Re: [PO] Halting Problem Final Conclusion (09/06/04)
  • Re: [PO] Halting Problem Final Conclusion (09/06/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/04/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/04/04)
  • Re: [PO] halting problem reading comprehension (09/02/04)
  • Re: [PO] halting problem reading comprehension (09/01/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/01/04)
• George Greene
  • Re: [PO] halting problem reading comprehension (09/04/04)
  • Re: [PO] halting problem reading comprehension (09/04/04)
• Hoang Than Anh Tuan
  • Need some help about Markov Decision Process with large action space... (09/02/04)
• Howard
  • Re: computer memory (09/23/04)
  • Re: [|-|erc] Re: [PO] Halting Problem Final Conclusion (09/10/04)
  • Re: Closest Point Problem (09/09/04)
  • Re: Closest Point Problem (09/09/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/03/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/01/04)
• Hungster
  • Glynn Winskel - solutions to book exercises anyone? (09/14/04)
• Isaac To
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/08/04)
• J.H.Jongejan
  • Re: Data structure for indexing on multiple keys. (09/08/04)
  • Re: Tarjan algorithm (09/02/04)
• James Dolan
  • Re: theorems/problems with lots of quantifiers (09/07/04)
• Jay Miller
  • Re: Can a regular Turing Machine provide Protected Memory? (09/03/04)
• Jean-Marc Bourguet
  • Re: Zenkin's paper on Cantor (09/30/04)
  • Re: Zenkin's paper on Cantor (09/29/04)
  • Re: Zenkin's paper on Cantor (09/28/04)
  • Re: Another set with cardinality |Z| (09/27/04)
  • Re: Another set with cardinality |Z| (09/26/04)
  • Re: Another set with cardinality |Z| (09/25/04)
  • Re: Another set with cardinality |Z| (09/25/04)
  • Re: Another set with cardinality |Z| (09/23/04)
  • Re: Another set with cardinality |Z| (09/23/04)
• jerry gitomer
  • Re: Data structure for indexing on multiple keys. (09/08/04)
• Jesse F. Hughes
  • Re: Raatikainen's critique of Chaitin (09/10/04)
  • Re: Raatikainen's critique of Chaitin (09/08/04)
  • Re: Raatikainen's critique of Chaitin (09/08/04)
  • Re: Measuring the strength of a theory (09/07/04)
  • Re: Measuring the strength of a theory (09/07/04)
  • Re: Measuring the strength of a theory (09/07/04)
  • Re: Measuring the strength of a theory (09/06/04)
  • Re: Raatikainen's critique of Chaitin (09/05/04)
  • Re: Raatikainen's critique of Chaitin (09/05/04)
• John Bailey
  • Re: Help with Knapsack LIKE problem (09/17/04)
• John M. Gamble
  • Re: Announcing WNLIB 9.0 - Free C Subroutine Library (09/22/04)
• Jon Haugsand
  • Re: Halting Problem Final Conclusion (09/06/04)
  • Re: Halting Problem Final Conclusion (09/06/04)
• Jose Juan Mendoza Rodriguez
  • Re: Data structure for indexing on multiple keys. (09/10/04)
  • Re: Data structure for indexing on multiple keys. (09/09/04)
  • Re: theorems/problems with lots of quantifiers (09/09/04)
• Josh Purinton
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/24/04)
• journal
  • Call for Papers (09/12/04)
• Jym
  • (N)Linspace (09/29/04)
  • Re: A way for P!=NP (09/21/04)
  • Re: A way for P!=NP (09/19/04)
  • Re: A way for P!=NP (09/17/04)
  • Re: A way for P!=NP (09/17/04)
  • Re: A variant of Traveling Salesman Problem (09/13/04)
  • Re: A variant of Traveling Salesman Problem (09/13/04)
  • Re: Undecidable problem examples (09/12/04)
  • Re: [PO] halting problem reading comprehension (09/03/04)
  • Re: [PO] halting problem reading comprehension (09/03/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/02/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/01/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/01/04)
• Jón Fairbairn
  • Re: Glynn Winskel - solutions to book exercises anyone? (09/14/04)
• Kebin Wang
  • Re: Help with Knapsack LIKE problem (09/21/04)
• Keith Frayne
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/04/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/02/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/02/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/01/04)
• Kent Paul Dolan
  • Re: Another set with cardinality |Z| (09/29/04)
  • Re: Another set with cardinality |Z| (09/28/04)
  • Re: Another set with cardinality |Z| (09/28/04)
  • Re: Another set with cardinality |Z| (09/27/04)
  • Re: Zenkin's paper on Cantor (09/27/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/26/04)
  • Re: Another set with cardinality |Z| (09/26/04)
  • Re: Another set with cardinality |Z| (09/25/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/25/04)
  • Re: Another set with cardinality |Z| (09/25/04)
  • Re: Importance of Computer Science degree? (09/15/04)
  • Re: NP-hardness of k-means clustering (09/14/04)
  • Re: NP-hardness of k-means clustering (09/14/04)
  • Re: Kernighan-Lin Algorithm implementation (09/14/04)
  • Re: [|-|erc] Re: [PO] Halting Problem Final Conclusion (09/14/04)
  • Re: A variant of Traveling Salesman Problem (09/13/04)
  • Re: [|-|erc] Re: [PO] Halting Problem Final Conclusion (09/13/04)
  • Re: A variant of Traveling Salesman Problem (09/13/04)
  • Re: Undecidable problem examples (09/12/04)
  • Re: [Herc] Halting Problem Final Conclusion (09/11/04)
  • Re: [Herc] Halting Problem Final Conclusion (09/10/04)
  • Re: [Herc] Halting Problem Final Conclusion (09/10/04)
  • Re: [|-|erc] Re: [PO] Halting Problem Final Conclusion (09/10/04)
  • Re: [Herc] Halting Problem Final Conclusion (09/10/04)
  • [Herc] Halting Problem Final Conclusion (09/09/04)
  • Re: Closest Point Problem (09/08/04)
  • Re: NP-hardness of k-means clustering (09/08/04)
  • Re: examples of EXPTIME (09/06/04)
  • Re: Halting Problem Final Conclusion (09/06/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/06/04)
  • Invincible Ignorance strides again! (still): [PO] halting problem reading comprehension (09/06/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/04/04)
  • [OT] : THE HALTING GODDAMN PROBLEM (09/04/04)
  • Re: [PO] halting problem reading comprehension (09/03/04)
  • Re: [PO] halting problem reading comprehension (09/03/04)
  • [OT] Comparitive plague-posters (was): Listen up, FUCKWADS!! (09/03/04)
  • Re: Listen up, FUCKWADS!! (09/03/04)
  • Re: Tarjan algorithm (09/02/04)
  • Re: Listen up, FUCKWADS!! (09/02/04)
• Kevin Cline
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/24/04)
• Kevin Saff
  • Re: Another set with cardinality |Z| (09/28/04)
  • Proof of code unique decipherability condition (09/28/04)
• Kristian Lahdensuo
  • Re: Another set with cardinality |Z| (09/26/04)
• Laconic2
  • Re: Data structure for indexing on multiple keys. (09/08/04)
• LarryLard
  • Re: Another set with cardinality |Z| (09/24/04)
  • Re: Another set with cardinality |Z| (09/23/04)
• Lawrence D¹Oliveiro
  • Re: THE HALTING GODDAMN PROBLEM (09/10/04)
• Lee Rudolph
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/06/04)
  • Re: Raatikainen's critique of Chaitin (09/02/04)
  • Re: Raatikainen's critique of Chaitin (09/01/04)
• Leonard Blackburn
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/18/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/17/04)
• Leonardo B. Oliveira
  • help in random graphs (09/08/04)
• m sergei
  • NonLinear Programming course (09/07/04)
• Malcolm Dew-Jones
  • Re: Importance of Computer Science degree? (09/17/04)
• Marc Goodman
  • Re: Another set with cardinality |Z| (09/28/04)
  • Re: Another set with cardinality |Z| (09/27/04)
  • Re: A way for P!=NP (09/23/04)
  • Re: computer memory (09/20/04)
  • Re: A way for P!=NP (09/19/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/18/04)
  • Re: A way for P!=NP (09/17/04)
  • Re: A way for P!=NP (09/17/04)
  • Re: A way for P!=NP (09/17/04)
  • Re: A way for P!=NP (09/16/04)
  • Re: [?] L = {a^m b^n c^mn} for aaabbcccccc (09/13/04)
  • Re: [?] L = {a^m b^n c^mn} for aaabbcccccc (09/13/04)
  • Re: Closest Point Problem (09/12/04)
  • Re: Closest Point Problem (09/10/04)
  • Re: Closest Point Problem (09/09/04)
  • Re: Closest Point Problem (09/08/04)
  • Re: Closest Point Problem (09/08/04)
  • Re: [PO] Halting Problem Final Conclusion (09/06/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/04/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/04/04)
  • Proof that a TM exists that correctly decides Halt for odd perfect number (was Re: [PO] halting problem reading comprehension) (09/03/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/02/04)
  • Re: Listen up, FUCKWADS!! (09/02/04)
  • Re: Raatikainen's critique of Chaitin (09/02/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/02/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/01/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/01/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/01/04)
• Mark Carroll
  • Re: computer memory (09/20/04)
• mark thomas
  • Re: Help with the "big O" notation (09/22/04)
• Matt
  • Undecidable problem examples (09/11/04)
• matt parker
  • > > > > matt parker alias erikvan lunsen@yahoo.com matt parker alias ericvon lunsen hout@yahoo.com matt parker alias erickvanlinthout@yahoo.com matt parker alias evonlunsen herzog@yahoo.com matt parker alias erik vonlint hout@yahoo.com matt parker al (09/08/04)
• Matt Timmermans
  • Re: A way for P!=NP (09/21/04)
  • Re: Another claim for P=NP (09/18/04)
  • Re: A way for P!=NP (09/18/04)
  • Re: An article about factorization (09/10/04)
• Matthew Boots
  • computer memory (09/20/04)
  • computer memory (09/20/04)
  • computer memory (09/20/04)
• Michael J. Fromberger
  • Re: Proof of inherent ambiguity? (09/25/04)
• Michael Jørgensen
  • Re: computer memory (09/20/04)
• Michael Lockhart
  • Re: Raatikainen's critique of Chaitin (09/05/04)
• Michael Mueller
  • Re: Halting Problem Final Conclusion (09/06/04)
• Michael N. Christoff
  • Re: examples of EXPTIME (09/06/04)
  • Re: Static Analysis - Was: Listen up, FUCKWADS!! (09/06/04)
  • Re: Static Analysis - Was: Listen up, FUCKWADS!! (09/06/04)
  • Re: examples of EXPTIME (09/06/04)
  • Re: Static Analysis - Was: Listen up, FUCKWADS!! (09/06/04)
  • Re: Static Analysis - Was: Listen up, FUCKWADS!! (09/05/04)
  • Re: Static Analysis - Was: Listen up, FUCKWADS!! (09/05/04)
  • Re: Static Analysis - Was: Listen up, FUCKWADS!! (09/05/04)
  • Re: Listen up, FUCKWADS!! (09/02/04)
• Michael Winter
  • CFP: RelMiCS8 - Relational Methods in CS - Second Call for Papers (09/02/04)
• Michael Wojcik
  • Re: Importance of Computer Science degree? (09/20/04)
• Mike Oliver
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/25/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/24/04)
• Mike Robson
  • Re: examples of EXPTIME (09/06/04)
• Mikito Harakiri
  • Re: Data structure for indexing on multiple keys. (09/09/04)
• Mitch Harris
  • Re: examples of EXPTIME (09/10/04)
  • Re: Raatikainen's critique of Chaitin (09/08/04)
  • Re: Raatikainen's critique of Chaitin (09/08/04)
  • Re: Raatikainen's critique of Chaitin (09/08/04)
  • Re: Raatikainen's critique of Chaitin (09/08/04)
  • Re: theorems/problems with lots of quantifiers (09/07/04)
  • theorems/problems with lots of quantifiers (09/07/04)
  • Re: NonLinear Programming course (09/07/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/05/04)
  • Re: [PO] halting problem reading comprehension (09/01/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/01/04)
  • Re: [PO] halting problem reading comprehension (09/01/04)
• Moritz
  • decidability of S4 and S5 (09/04/04)
• Nathan Sanders
  • Re: Proof of inherent ambiguity? (09/25/04)
  • Re: Proof of inherent ambiguity? (09/25/04)
• newstome_at_comcast.net
  • Re: Closest Point Problem (09/12/04)
  • Re: Closest Point Problem (09/10/04)
  • Re: An article about factorization (09/09/04)
  • Re: Closest Point Problem (09/09/04)
  • Re: Halting Problem Final Conclusion (09/06/04)
  • Re: Halting Problem Final Conclusion (09/05/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/04/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/04/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/03/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/03/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/02/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/01/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/01/04)
• Owen Jacobson
  • Re: Another set with cardinality |Z| (09/26/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/04/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/01/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/01/04)
• Pannagadatta
  • Volume of an ellipsoid cut by a hyperplane (09/03/04)
• Paul E. Black
  • Re: Data structure for indexing on multiple keys. (09/08/04)
• Paul Lutus
  • Re: Importance of Computer Science degree? (09/15/04)
• Peng Yu
  • Kernighan-Lin Algorithm implementation (09/14/04)
• Peter Olcott
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/08/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/08/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/08/04)
  • Re: [PO] Halting Problem Final Conclusion (09/07/04)
  • Re: [PO] Re: Olcott is cured of CrackPottery! (Halting Problem) (09/06/04)
  • Re: [PO] Halting Problem Final Conclusion (09/06/04)
  • Re: Halting Problem Final Conclusion (09/06/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/06/04)
  • Re: Halting Problem Final Conclusion (09/06/04)
  • Re: [PO] Halting Problem Final Conclusion (09/06/04)
  • Re: [PO] Halting Problem Final Conclusion (09/06/04)
  • Re: Halting Problem Final Conclusion (09/05/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/05/04)
  • Re: [PO] halting problem reading comprehension (09/05/04)
  • Re: [PO] halting problem reading comprehension (09/05/04)
  • Halting Problem Final Conclusion (09/05/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/05/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/05/04)
  • Re: [PO] halting problem reading comprehension (09/05/04)
  • Re: [PO] halting problem reading comprehension (09/05/04)
  • Re: [PO] halting problem reading comprehension (09/05/04)
  • Re: [PO] halting problem reading comprehension (09/05/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/05/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/05/04)
  • Olcott is cured of CrackPottery! (Halting Problem) (09/04/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/04/04)
  • Re: [PO] halting problem reading comprehension (09/04/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/04/04)
  • Re: [PO] halting problem reading comprehension (09/04/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/04/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/04/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/04/04)
  • Re: [PO] halting problem reading comprehension (09/04/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/04/04)
  • Re: [PO] halting problem reading comprehension (09/04/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/04/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/04/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/03/04)
  • Re: [PO] halting problem reading comprehension (09/03/04)
  • Re: [PO] halting problem reading comprehension (09/03/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/03/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/03/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/03/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/03/04)
  • Re: [PO] halting problem reading comprehension (09/03/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/03/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/03/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/03/04)
  • Re: [PO] halting problem reading comprehension (09/02/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/02/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/01/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/01/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/01/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/01/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/01/04)
  • Re: [PO] halting problem reading comprehension (09/01/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/01/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/01/04)
  • Re: [PO] halting problem reading comprehension (09/01/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/01/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/01/04)
  • Re: [PO] Re: Can a regular Turing Machine provide Protected Memory? (09/01/04)
  • Re: [PO] halting problem reading comprehension (09/01/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/01/04)
  • Re: [PO] halting problem: existence proofs (09/01/04)
• peter_douglass
  • Re: Raatikainen's critique of Chaitin (09/08/04)
  • Re: Static Analysis - Was: Listen up, FUCKWADS!! (09/06/04)
  • Re: Static Analysis - Was: Listen up, FUCKWADS!! (09/05/04)
  • Re: Static Analysis - Was: Listen up, FUCKWADS!! (09/05/04)
  • Re: Listen up, FUCKWADS!! (09/04/04)
  • Re: Listen up, FUCKWADS!! (09/04/04)
• Phil Carmody
  • Re: Another set with cardinality |Z| (09/29/04)
  • Re: Another set with cardinality |Z| (09/23/04)
• Phlip
  • Re: Importance of Computer Science degree? (09/18/04)
  • Re: Importance of Computer Science degree? (09/15/04)
• phn_at_icke-reklam.ipsec.nu
  • Re: Computer Network to Graph Conversion (09/03/04)
• Pierre Asselin
  • Re: theorems/problems with lots of quantifiers (09/08/04)
  • Re: Volume of an ellipsoid cut by a hyperplane (09/04/04)
• Piotr Wyderski
  • Re: computer memory (09/20/04)
• Prof Jonathan Bowen
  • Formal methods article and FMnet web pages (09/19/04)
• Quinn Tyler Jackson
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/13/04)
  • Re: [?] L = {a^m b^n c^mn} for aaabbcccccc (09/13/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/12/04)
• Ralph Hartley
  • Re: Another set with cardinality |Z| (09/27/04)
• Randy Howard
  • Re: Importance of Computer Science degree? (09/17/04)
  • Re: Importance of Computer Science degree? (09/17/04)
  • Re: Importance of Computer Science degree? (09/15/04)
• RDJ
  • googVe is not Google (09/24/04)
• Richard Harter
  • Re: Dominance Tree Sorts (09/21/04)
• Rick Decker
  • Re: Proof of inherent ambiguity? (09/25/04)
  • Re: Help with the "big O" notation (09/22/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/13/04)
• Rob Duncan
  • Re: [|-|erc] Re: [PO] Halting Problem Final Conclusion (09/14/04)
  • Re: [|-|erc] Re: [PO] Halting Problem Final Conclusion (09/13/04)
• Robert Israel
  • Re: Another set with cardinality |Z| (09/23/04)
• Robert Low
  • Re: Zenkin's paper on Cantor (09/29/04)
  • Re: Another set with cardinality |Z| (09/28/04)
  • Re: Another set with cardinality |Z| (09/28/04)
  • Re: Another set with cardinality |Z| (09/28/04)
  • Re: Zenkin's paper on Cantor (09/27/04)
  • Re: Another set with cardinality |Z| (09/27/04)
  • Re: Another set with cardinality |Z| (09/27/04)
  • Re: Another set with cardinality |Z| (09/26/04)
  • Re: Zenkin's paper on Cantor (09/26/04)
  • Re: Another set with cardinality |Z| (09/26/04)
  • Re: Another set with cardinality |Z| (09/25/04)
  • Re: Another set with cardinality |Z| (09/25/04)
  • Re: Another set with cardinality |Z| (09/25/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/25/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/24/04)
  • Re: A way for P!=NP (09/24/04)
  • Re: Another set with cardinality |Z| (09/23/04)
  • Re: Another set with cardinality |Z| (09/23/04)
  • Re: A way for P!=NP (09/23/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/23/04)
  • Re: Another set with cardinality |Z| (09/23/04)
  • Re: computer memory (09/23/04)
  • Re: Help with the "big O" notation (09/22/04)
  • Re: Undecidable problem examples (09/11/04)
  • Re: Help with the "big O" notation (09/10/04)
  • Re: An article about factorization (09/09/04)
  • Re: [PO] Re: Olcott is cured of CrackPottery! (Halting Problem) (09/07/04)
  • Re: [PO] Re: Olcott is cured of CrackPottery! (Halting Problem) (09/06/04)
  • Re: Halting Problem Final Conclusion (09/06/04)
  • Re: Halting Problem Final Conclusion (09/06/04)
  • Re: Halting Problem Final Conclusion (09/06/04)
  • Re: Halting Problem Final Conclusion (09/06/04)
  • Re: Halting Problem Final Conclusion (09/06/04)
  • Re: Halting Problem Final Conclusion (09/05/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/04/04)
  • Re: Raatikainen's critique of Chaitin (09/04/04)
  • Re: [PO] halting problem reading comprehension (09/04/04)
  • Re: [PO] halting problem reading comprehension (09/03/04)
  • Re: [PO] halting problem reading comprehension (09/03/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/01/04)
• Roberto Bagnara
  • Parma Polyhedra Library 0.6.1 (09/02/04)
• Ross A. Finlayson
  • Re: Zenkin's paper on Cantor (09/29/04)
  • Re: Zenkin's paper on Cantor (09/27/04)
• Rune Bang Lyngsoe
  • Two post-doc positions in bioinformatics available at Oxford University (09/07/04)
• Rupendra S. Dhillon
  • Re: Help with the "big O" notation (09/11/04)
  • Help with the "big O" notation (09/10/04)
• Ryan Reich
  • Re: Zenkin's paper on Cantor (09/26/04)
• Sariel Har-Peled
  • Re: Closest Point Problem (09/08/04)
• Scott Brandt
  • Call for Participation: RTSS 2004 (note early hotel deadline!) (09/27/04)
• Shankar
  • Data structure for indexing on multiple keys. (09/08/04)
• Simon G Best
  • Re: [Herc] Halting Problem Final Conclusion (09/10/04)
  • Re: [Herc] Halting Problem Final Conclusion (09/10/04)
  • Re: [Herc] Halting Problem Final Conclusion (09/10/04)
  • Re: [Herc] Halting Problem Final Conclusion (09/10/04)
  • Re: [|-|erc] Re: [PO] Halting Problem Final Conclusion (09/10/04)
  • [|-|erc] Re: [PO] Halting Problem Final Conclusion (09/09/04)
  • Re: [PO] Halting Problem Final Conclusion (09/09/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/08/04)
  • Re: [PO] Halting Problem Final Conclusion (09/08/04)
  • Re: [PO] Halting Problem Final Conclusion (09/07/04)
  • Re: [PO] Halting Problem Final Conclusion (09/07/04)
  • Re: [PO] Re: Olcott is cured of CrackPottery! (Halting Problem) (09/06/04)
  • Re: [PO] Re: Olcott is cured of CrackPottery! (Halting Problem) (09/06/04)
  • [PO] Re: Olcott is cured of CrackPottery! (Halting Problem) (09/06/04)
  • Re: decidability of S4 and S5 (09/06/04)
  • [PO] The "Pathological Self Reference" Problem (Was: Re: Halting Problem Final Conclusion) (09/05/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/04/04)
  • Re: [PO] halting problem reading comprehension (09/04/04)
  • Hooray! (Was a [PO]: Re: Can a regular Turing Machine provide Protected Memory?) (09/04/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/04/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/04/04)
  • Re: [PO] halting problem reading comprehension (09/03/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/03/04)
  • [PO] Re: Can a regular Turing Machine provide Protected Memory? (09/03/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/03/04)
  • Re: [PO] halting problem reading comprehension (09/02/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/02/04)
  • Re: [PO] halting problem reading comprehension (09/01/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/01/04)
• Stas Busygin
  • Re: NP-hardness of k-means clustering (09/15/04)
  • Re: NP-hardness of k-means clustering (09/15/04)
  • Re: NP-hardness of k-means clustering (09/14/04)
  • Re: NP-hardness of k-means clustering (09/08/04)
  • NP-hardness of k-means clustering (09/08/04)
• Stephan Schulz
  • Re: [SAT] Efficient Transitive Closure? (09/14/04)
• stephen_at_nomail.com
  • Re: Another set with cardinality |Z| (09/28/04)
  • Re: Another set with cardinality |Z| (09/28/04)
  • Re: Another set with cardinality |Z| (09/28/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/26/04)
  • Re: Another set with cardinality |Z| (09/25/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/25/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/24/04)
  • Re: Another set with cardinality |Z| (09/23/04)
  • Re: A variant of Traveling Salesman Problem (09/13/04)
  • Re: [PO] halting problem reading comprehension (09/08/04)
• Steven
  • Re: Another claim for P=NP (09/19/04)
• Stush
  • Help with Knapsack LIKE problem (09/15/04)
• tchow_at_lsa.umich.edu
  • Any NP optimization problems that don't reduce to decision problems? (09/23/04)
• The Ace of Spades
  • THE HALTING GODDAMN PROBLEM (09/04/04)
  • Re: Listen up, FUCKWADS!! (09/04/04)
  • Re: Listen up, FUCKWADS!! (09/03/04)
• The Ghost In The Machine
  • Re: [PO] Halting Problem Final Conclusion (09/06/04)
  • Re: Halting Problem Final Conclusion (09/05/04)
  • Re: [PO] halting problem reading comprehension (09/02/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/02/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/02/04)
  • Re: [PO] halting problem reading comprehension (09/01/04)
• The Last Danish Pastry
  • Re: theorems/problems with lots of quantifiers (09/07/04)
• Tim Ball
  • Re: Raatikainen's critique of Chaitin (09/03/04)
  • Re: Raatikainen's critique of Chaitin (09/02/04)
• Tim Mellor
  • Re: Zenkin's paper on Cantor (09/28/04)
  • Re: theorems/problems with lots of quantifiers (09/07/04)
• Tim Peters
  • Re: Another set with cardinality |Z| (09/28/04)
  • Re: Another set with cardinality |Z| (09/28/04)
  • Re: Another set with cardinality |Z| (09/28/04)
  • Re: Zenkin's paper on Cantor (09/26/04)
  • Re: [PO] Halting Problem Final Conclusion (09/05/04)
  • Re: [PO] halting problem reading comprehension (09/05/04)
• Timothy Murphy
  • Re: Raatikainen's critique of Chaitin (09/03/04)
  • Re: Raatikainen's critique of Chaitin (09/03/04)
  • Re: Raatikainen's critique of Chaitin (09/01/04)
  • Re: Raatikainen's critique of Chaitin (09/01/04)
• Toby Walsh
  • CP news, vol 0, no 3, Oct 2004 (09/23/04)
  • CFP: SAT 05 - Theory and Applications of Satisfiability Testing (09/06/04)
• Tom Widmer
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/09/04)
• tom_usenet
  • Re: Can a regular Turing Machine provide Protected Memory? (09/01/04)
• Torben Ægidius Mogensen
  • Re: Proof of inherent ambiguity? (09/25/04)
• Torkel Franzen
  • Re: Zenkin's paper on Cantor (09/26/04)
  • Re: Raatikainen's critique of Chaitin (09/13/04)
  • Re: Raatikainen's critique of Chaitin (09/12/04)
  • Re: Raatikainen's critique of Chaitin (09/10/04)
  • Re: Raatikainen's critique of Chaitin (09/06/04)
  • Re: Raatikainen's critique of Chaitin (09/06/04)
  • Re: Raatikainen's critique of Chaitin (09/05/04)
  • Re: Raatikainen's critique of Chaitin (09/05/04)
  • Re: Raatikainen's critique of Chaitin (09/05/04)
  • Re: Raatikainen's critique of Chaitin (09/05/04)
  • Re: Raatikainen's critique of Chaitin (09/04/04)
  • Re: Raatikainen's critique of Chaitin (09/04/04)
  • Re: Raatikainen's critique of Chaitin (09/04/04)
  • Re: Raatikainen's critique of Chaitin (09/04/04)
  • Re: Raatikainen's critique of Chaitin (09/04/04)
  • Re: Raatikainen's critique of Chaitin (09/04/04)
  • Re: Raatikainen's critique of Chaitin (09/04/04)
  • Re: Raatikainen's critique of Chaitin (09/03/04)
  • Re: Raatikainen's critique of Chaitin (09/03/04)
  • Re: Raatikainen's critique of Chaitin (09/03/04)
  • Re: Raatikainen's critique of Chaitin (09/03/04)
  • Re: Raatikainen's critique of Chaitin (09/03/04)
  • Re: Raatikainen's critique of Chaitin (09/02/04)
  • Re: Raatikainen's critique of Chaitin (09/02/04)
  • Re: Raatikainen's critique of Chaitin (09/02/04)
  • Re: Raatikainen's critique of Chaitin (09/01/04)
  • Re: Raatikainen's critique of Chaitin (09/01/04)
  • Re: Raatikainen's critique of Chaitin (09/01/04)
• Vicnent
  • miminum constrained set covering (09/08/04)
• Vijay Kumar
  • Open positions in algorithms and optimization (09/13/04)
• Virgil
  • Re: Zenkin's paper on Cantor (09/30/04)
• Vitorino RAMOS
  • Swarm Intelligence and Patterns 2005 Japan - CFP (09/28/04)
• Volker
  • Complexity optimisation for a block matrix inversion (09/17/04)
• Wally Anglesea
  • Re: [|-|erc] Re: [PO] Halting Problem Final Conclusion (09/11/04)
  • Re: [|-|erc] Re: [PO] Halting Problem Final Conclusion (09/11/04)
  • Re: [|-|erc] Re: [PO] Halting Problem Final Conclusion (09/10/04)
  • Re: [Herc] Halting Problem Final Conclusion (09/10/04)
• wehrmacht
  • Re: Zenkin's paper on Cantor (09/30/04)
  • Re: Another set with cardinality |Z| (09/29/04)
  • Re: Another set with cardinality |Z| (09/29/04)
  • Re: Another set with cardinality |Z| (09/29/04)
  • Re: Another set with cardinality |Z| (09/29/04)
• Will Naylor
  • Announcing WNLIB 9.0 - Free C Subroutine Library (09/21/04)
• Will Twentyman
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/08/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/07/04)
  • Re: Halting Problem Final Conclusion (09/05/04)
  • Re: Olcott is cured of CrackPottery! (Halting Problem) (09/05/04)
  • Re: [PO] halting problem reading comprehension (09/05/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/04/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/04/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/04/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/02/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/02/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/02/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/02/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/01/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/01/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/01/04)
  • Re: [PO] Can a regular Turing Machine provide Protected Memory? (09/01/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/01/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (09/01/04)
  • Re: Can a regular Turing Machine provide Protected Memory? (08/31/04)
• YH Khoo
  • International Journal of Pattern Recognition and Artificial Intelligence - Vol. 18, No. 6 (September 2004) (09/24/04)
  • Special Issue on Computational Intelligence in Signal and Image Processing (09/20/04)
• you're going straight to hell
  • Re: THE HALTING GODDAMN PROBLEM (09/07/04)
• ZZBunker
  • Re: Raatikainen's critique of Chaitin (09/05/04)
  • Re: Raatikainen's critique of Chaitin (09/05/04)
  • Re: Raatikainen's critique of Chaitin (09/04/04)
• |-|erc
  • R3COGNITION OF THE HALTING SOLN (09/13/04)
  • Re: [Herc] Halting Problem Final Conclusion (09/11/04)
  • Re: [|-|erc] Re: [PO] Halting Problem Final Conclusion (09/11/04)
  • Re: [Herc] Halting Problem Final Conclusion (09/11/04)
  • Re: [|-|erc] Re: [PO] Halting Problem Final Conclusion (09/10/04)
  • Re: [|-|erc] Re: [PO] Halting Problem Final Conclusion (09/10/04)
  • Re: [Herc] Halting Problem Final Conclusion (09/10/04)
  • Re: [Herc] Halting Problem Final Conclusion (09/10/04)
  • Re: [Herc] Halting Problem Final Conclusion (09/10/04)
  • Re: [Herc] Halting Problem Final Conclusion (09/10/04)
  • Re: [Herc] Halting Problem Final Conclusion (09/10/04)
  • Re: [|-|erc] Re: [PO] Halting Problem Final Conclusion (09/10/04)
  • Re: [Herc] Halting Problem Final Conclusion (09/10/04)
  • Re: [|-|erc] Re: [PO] Halting Problem Final Conclusion (09/10/04)
  • Re: [Herc] Halting Problem Final Conclusion (09/09/04)
  • Re: [PO] Halting Problem Final Conclusion (09/09/04)
  • Re: [PO] Halting Problem Final Conclusion (09/09/04)
  • Re: [PO] Halting Problem Final Conclusion (09/08/04)
  • Re: [PO] Halting Problem Final Conclusion (09/07/04)
  • Re: [PO] Halting Problem Final Conclusion (09/07/04)
  • Re: [PO] Halting Problem Final Conclusion (09/07/04)
  • Re: THE HALTING GODDAMN PROBLEM (09/07/04)
  • Re: [PO] Halting Problem Final Conclusion (09/07/04)

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

---

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

• Security
• UNIX
• Linux
• Coding
• Usenet

• Archive
• About
• Privacy
• Search
• Imprint

coding.derkeiler.com  > Archive  > General  > comp.theory  > 2004-09