comp.theory
By Subject
3753 messages sorted by: [ author ] [ date ] [ thread ]
Starting: 07/15/04
Ending: 08/31/04
- "Augmented" UTMs?
- "Z -> z versus Z -> z e"
- "Z -> z versus Z -> z e" - sole thread for future discussion/postings
- [PO] "you had ONES ?!?!"
- [PO] Can a regular Turing Machine provide Protected Memory?
- [PO] halting problem reading comprehension
- [PO] halting problem: existence proofs
- [PO] Proving a negative is hard
- [PO] Refutation of the Halting Problem's Proof (Clarifications Wanted)
- [PO] serendipity
- [PO] The problem of proving a negative is mostly in the prover
- [PO] What is the Result from Invoking this Halt Function?
- [PO]: What is the Result from Invoking this Halt Function?
- [PO]hatling problem: quantifiers again
- [SAT] Efficient Transitive Closure?
- A brief philosophical observation
- A call to automated proof verification systems
- A reformulated challenge to Peter Olcott (Was: Disproof of the Halting Problem's Conclusion)
- accepting vs. recognizing
- Acknowledgment of Dr. Donald Knuth's role in formulation of the "DAG/POSET" conjecture
- Aha! The smoking gun! (still): Yet another Attempt at Disproving the Halting Problem
- Algorithm ideas
- amano/maruoka proof/paper on limited negation in monotone circuits
- Analysis of Algorithms
- Another attempt to pass off nonsense as sense (still): Yet another Attempt at Disproving the Halting Problem
- Assalut problem
- Attempt to halt the refuting problem
- Attempt to Refute the Halting Problem's Refutation
- AUTOMATA 2004: call for active participation
- basis for directed graph, more efficient algorithm?
- Best-fit algorithm complexity reduced to O(lg(N)).
- book, reference for algorithm
- Can a regular Turing Machine provide Protected Memory?
- Can a regular Turing Machine provide Protected Memory?)
- Can returning a value change the value itself (in the Halting Problem)
- Can returning a value change the value itself (in the Halting Problem)]
- Can they be expressed as regular expression?
- Can you find anything wrong with this solution to the Halting
- Can you find anything wrong with this solution to the Halting Problem?
- Can you find anything wrong with this solution to the Halting Problem?)
- Can you find anything wrong with this solution to the HaltingProblem?
- Can you find anything wrongwith this solution to the Halting Problem?)
- Can you find anythingwrong with this solution to the Halting Problem?)
- CFP: RTSS 2004 Work-In-Progress Session
- Clarification of my disproof of the disproof
- Columnsort woes.
- computability not in undergrad?
- Computing Busy Beaver function
- Conversion between RB tree Binary search tree and AVL tree
- converting LR(k) grammars to LR(1)
- convincing people
- Delaunay triangulation and TSP, counterexample
- Density of a random DAG ?
- disjoint combinations with common members
- Disproof of the Halting Problem's Conclusion
- Disproof of the Halting Problem's Conclusion)
- Dominance Tree Sorts
- Duplicate checking
- Dynamic Programming Problem
- Efficient Way to Eliminate Supersets?
- Error in Turings paper 'On computable numbers, with an application to the Entscheidungsproblem '
- Expressiveness of petri nets vs. pi-calculus
- FACS FACTS Newsletter Call for Contributions on Formal Aspects of Computing Science (deadline 15 October 2004)
- Fast Binary-to-Decimal Conversion Algorithms?
- Foundation for a Formal Refutation of the Original Halting Problem?
- French Universities
- Functions, the complex plane and Riemann surfaces.
- fundamentals
- Generate random list of permutations, no repetition
- Geometric computational problem
- Giving up
- Graph Problem
- Graphs, planarity and dual graphs
- Groupthink
- halting problem remarks
- Halting Problem: Give up
- Halting Problem: Give up)
- Halting Tangent: abuses of C++
- Hamiltonian Path on Bipartite Graphs
- Help :: Random graph
- help with graph theory (?) problem
- HiCOMB 2005 CFP
- Hoare Logic Textbook?
- How Smart are antagonists? [was: Yet another Attempt at Disproving the Halting Problem]
- hypercomputers
- I wish to apologise to Peter Olcott for making a sillly threat
- Implementation of weierstrass function
- Implementing subsequential transducers
- Infinity can not exist
- Infinity does exist?
- Information Evolution
- Is Binary BrainF*** Turing-complete?
- Is unsorted DB searching in NP?
- java graph libraries
- knight's tour
- latest siggie file entry
- Linear constraint formulation
- Listen up, FUCKWADS!!
- Misthreaded reply to: Troll-sickness outbreak in Papillion
- My solution to the Halting Problem: Question for Peter Olcott
- Name This Relationship (SAT-related)
- Need of Paper !
- Neural Network Resources Site: www.neoxi.com
- Nothing can stop me now [was: Can you find anything wrong...]
- On The Proper Formulation Of The Halting Problem
- OT --- all this Halting Problem Stuff.
- paper claiming p=np and soap bubbles
- Papillion NE genius NOMINATED for NOBRAIN Prize!!!! [was: What is the Result from Invoking this Halt Function?]
- Path finding (newbie)
- Pathetic Trolling [was: Attempt to Refute the Halting Problem's Refutation]
- Ping parr (was: Can you find anything wrong with this solution to the Halting Problem?)
- Precission in the games.
- Predicting the Future from the Past [still]: Yet another Attempt at Disproving the Halting Problem
- Primality Testing Complexity (was): On The Proper Formulation Of The Halting Problem
- PRIMES in poly time has little to do with the Halting problem
- problems with counterfactual reasoning
- Proving a negative is hard
- Proving a negative is hard]
- Q-computation from Landau-Zener hopping?
- Quadtree rotations?
- Question about Gentzen's LK system and cut elimination
- question about GRASP/RELSAT stack management
- Question re the (non-equivalence) of A -> a and A -> a e (e the empty string)
- Quicksort Partition correctness
- Raatikainen's Complexity Complex
- Raatikainen's critique of Chaitin
- Rado's Sigma and the Halting Problem for Programs
- RCI (reentrant cortical integration) Model of the cerebral cortex
- real and complex solutions of systems of multivariate polynomials
- Refutation of the DisProof of the Halting Problem
- Refutation of the Halting Problem (Special Request)
- Refutation of the Halting Problem's Proof (Clarifications Wanted)
- Reminder: SIGACT News Dealine Aug 1
- request for ideas
- review at ACM's reviews.com
- SBMF 2004: Call for Papers
- SEARCH vs. DELETE
- Searching a treap
- Self-Rejuvenating Immortal Artificial Intelligence
- Shortest path algorithm in digraph with multiple goals?
- Shortest Path with Neg Weights
- smallest alphabet size for a universal 2-tag system?
- Smallest intersection
- space complexity
- Spy on Homer fondling Maggie Simpson's private parts
- State-of-the-art in RNN learning
- Subset sum problem
- The Fourth Wave (was: The Future, Space Travel, and Immortality)
- The Future, Space Travel, and Immortality
- The proof that I was referring to is on the website
- TIME Complexity of path computation
- transform knapsack problem -> programming code
- Troll 1, Usenet 0
- Troll 1, Usenet 0)
- Troll hides under rock [was: Can returning a value change the value itself (in the Halting Problem)]
- Troll serial-killer claims 32nd victim [was: Attempt to Refute the Halting Problem's Refutation]
- Troll wears concrete boots [was: Attempt to Refute the Halting Problem's Refutation]
- Troll-carny hits town [Was: What is the Result from Invoking this Halt Function?]
- Troll-confusion rife in east Nebraska [was: Yet another Attempt at Disproving the Halting Problem]
- Troll-confusion still rife [was: What is the Result from Invoking this Halt Function?]
- Troll-debility sets in [was: What is the Result from Invoking this Halt Function?]
- Troll-dunce alert [was: Yet another Attempt at Disproving the Halting Problem]
- Troll-dunce seeks remedial Math training, NOT [was: What is the Result from Invoking this Halt Function?]
- Troll-logic defies reason [was: Can returning a value change the value itself (in the Halting Problem)]
- Troll-sickness outbreak in Papillion [was: What is the Result from Invoking this Halt Function?]
- Troll-weapon alert [was Can returning a value change the value itself (in the Halting Problem)]
- Troll-wedding announcement [was: What is the Result from Invoking this Halt Function?]
- TSP Approximation & Routing
- TSP approximation algorithms
- Turing's paper on the wwweb?
- Unification Question
- UNSAT problem
- using bottom-up tree automata to "construct" trees
- VOTE on whether 1/oo = 0
- What form of matter will last the longest?
- What is the Result from Exterminating this Halt Function?
- What is the Result from Invoking this Halt Function?
- What is the Result fromInvoking this Halt Function?
- What is this Sorting Algorithm's correct name?
- Who is Confused? [was: What is the Result from Invoking this Halt Function?]
- Wiki for open problems in Graph Drawing
- Yet another Attempt at Disproving the Halting Problem
- {PO] Can returning a value change the value itself (in the Halting Problem)
- {PO} computability texts
Last message date: 08/31/04
Archived on: 08/31/04 CEST
3753 messages sorted by: [ author ] [ date ] [ thread ]
