| LTN |
Computability: Dealing with what is possible to compute and in what bounds. Covering simple linear problems up to NP-Hard problems. Math Logic and Foundations Computability:  Asynchronous Computability: Computability Quantum Computing: Computing English Computers Computer Science Theoretical: Complexity Theory English Computers: Computer Science Church-Turing ThesisScience: Church-Turing, Logic and Foundations Computability Alonzo Church and Alan Turing formulated the thesis that computability coincides with recursivity; by Jack Copeland Thesis . Computability Logic - WictionaryScience: Computability, Logic and Foundations Computability A dictionary definition of the subject Logic Wictionary . Computability and ComplexityScience: Computability, Logic and Foundations Computability An online course on complexity and Complexity . Computability LogicScience: Computability, Logic and Foundations Computability Encyclopedia article Logic . Interactive Computation - ComputabilityScience: Interactive, Logic and Foundations Computability Wikipedia article Computation Computability . Bibliographic Database for Computability TheoryScience: Bibliographic, Logic and Foundations Computability Extensive bibliography on computability and recursion theory Database for Computability Theory maintained by Peter Cholak. Open Questions in Recursion Theory - ComputabilityScience: Open, Logic and Foundations Computability Compiled by Theodore A Questions in Recursion Theory Computability Slaman, Berkeley [TeX/PDF]. Problem Solving Environments Home PageScience: Problem, Logic and Foundations Computability This site contains information about Problem Solving Environments Solving Environments Home Page PSEs,, research, publications, and information on topics related to PSEs. ECCC - Electronic Colloquium on Computational Complexity - ComputabilityScience: ECCC, Logic and Foundations Computability The Electronic Colloquium on Computational Complexity is a new forum for the rapid and widespread interchange of ideas Electronic Colloquium on Computational Complexity Computability techniques, and research in computational complexity. The Electronic Colloquium on Computational Complexity ,ECCC, welcomes papers, short notes and surveys with relevance to the theory of computation. Introduction to Logic and Recursion Theory - ComputabilityScience: Introduction, Logic and Foundations Computability Notes from the class taught by Prof to Logic and Recursion Theory Computability Sacks in the Spring of 1998. Computability Theory - ComputabilityScience: Computability, Logic and Foundations Computability Directory of researchers working in computability theory Theory Computability and list of open problems. Hypercomputation Research NetworkScience: Hypercomputation, Logic and Foundations Computability The study of computation beyond that defined by the Turing machine Research Network also known as super-Turing, non-standard or non-recursive computation. Links to people, resources and discussions. Scientific American: Computers without Clocks - ComputabilityScience: Scientific, Logic and Foundations Computability · Asynchronous chips improve computer performance by Ivan E American: Computers without Clocks Computability Sutherland and Jo Ebergen. Algebraic Topology and Distributed Computing - ComputabilityScience: Algebraic, Logic and Foundations Computability · Powerpoint tutorials by Maurice Herlihy at Brown University Topology and Distributed Computing Computability . Probabilistically Checkable Proofs and Approximation - ComputabilityScience: Probabilistically, Logic and Foundations Computability · Pointers to some survey articles and their authors Checkable Proofs and Approximation Computability by M. Bellare. Computability and ComplexityScience: Computability, Logic and Foundations Computability · An online course on complexity and Complexity . Introduction to Quantum AlgorithmsScience: Introduction, Logic and Foundations Computability · An tutorial on quantum algorithms for those new to the field and who do not have an extensive physics background to Quantum Algorithms . Qubib (Quantum Bibliography)Science: Qubib, Logic and Foundations Computability · A database of selected bibliography in quantum computer science in HTML and Bibtex format (Quantum Bibliography) . Mind Versus Goedel by Damjan BojadzievMath Logic and Foundations - Compares the mind to advanced computers and artificial intelligence Versus Goedel by Damjan Bojadziev as Goedel would possibly view them. Mathematical Logic around the World - ComputabilityMath Logic and Foundations - A rich collection of links to logic-related websites Logic around the World Computability . Abstract ServiceMath Logic and Foundations - An archive of abstracts of logic articles at the Institute for Logic Service University of Vienna. Classical LogicMath Logic and Foundations - Introduction to classical logic Logic including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro. Math Front: LO Logic - ComputabilityMath Logic and Foundations - Front end for the logic section of the mathematics e-print arXiv Front: LO Logic Computability . | |||||||