Top » Science » Math » Logic_and_Foundations » Computability

Deprecated: Function eregi_replace() is deprecated in /home/chroot/home/sports/htdocs/index.php on line 128

Deprecated: Function ereg_replace() is deprecated in /home/chroot/home/sports/htdocs/index.php on line 129

Dealing with what is possible to compute and in what bounds. Covering simple linear problems up to NP-Hard problems.

Asynchronous_Computability@	Quantum_Computing@
Computer Science	Complexity Theory

• Bibliographic Database for Computability Theory Extensive bibliography on computability and recursion theory, maintained by Peter Cholak.
• Church-Turing Thesis Alonzo Church and Alan Turing formulated the thesis that computability coincides with recursivity; by Jack Copeland.
• Church-Turing Thesis Article in the Stanford Encyclopedia.
• Church-Turing Thesis Jack Copeland of the University of Canterbury, New Zealand outlines this frequently misunderstood thesis.
• Computability and Complexity An online course on complexity.
• Computability and Complexity An online course on complexity.
• Computability and Complexity in Analysis Network The CCA Network provides some useful information for researchers working in the field of computability and complexity in analysis.
• Computability Logic Encyclopedia article.
• Computability Logic - Wictionary A dictionary definition of the subject.
• Computability Theory Information on this site includes a Bibliographic Database for Computability Theory, a list of Open Questions in Recursion Theory as well as links to many researchers working in the field. Maintained by Peter Cholak.
• Computability Theory Directory of researchers working in computability theory, and list of open problems.
• ECCC - Electronic Colloquium on Computational Complexity The Electronic Colloquium on Computational Complexity is a new forum for the rapid and widespread interchange of ideas, 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
• ECCC - Electronic Colloquium on Computational Complexity A forum for the rapid and widespread interchange of ideas, techniques, and research in computational complexity. Research reports, surveys and books; meetings, discussions and web resources.
• Electronic Colloquium on Computational Complexity A forum about computational complexity supervised by a scientific board. Provides on-line research reports, surveys and books.
• Electronic Colloquium on Computational Complexity ECCC publishes research reports, surveys and books in computational complexity and is hosted by the University of Trier.
• Hypercomputation Research Network The study of computation beyond that defined by the Turing machine, also known as super-Turing, non-standard or non-recursive computation. Links to people, resources and discussions.
• Interactive Computation Wikipedia article.
• Interactive Computation Wikipedia article.
• Introduction to Logic and Recursion Theory Notes from the class taught by Prof. Sacks in the Spring of 1998.
• Open Questions in Recursion Theory Compiled by Theodore A. Slaman, Berkeley [TeX/PDF].
• Problem Solving Environments Home Page This site contains information about Problem Solving Environments (PSEs), research, publications, and information on topics related to PSEs.
• The Church-Turing Thesis Article from the Stanford Encyclopedia.

 

 

Copyright ©2000-2012 SPORT FR (97.21ms)

Apportez votre contribution à l'annuaire le plus complet du Web (avec évaluateurs « humains » !). Proposer un site - Open Directory Project - Devenir évaluateur de site