Domain Tools

Welcome  Guest! Login/Join
Whois

Domain Suggestions

For Sale

Auctions

Advanced Auctions

Domain Search

Domain Monitor
Domain Directory Ping

Traceroute

My IP Address Domain Parking Beta Cheap Domain Name Registration Bulk Check Domain Typo Generator more >
Power Tools: Reverse IP Domain History Mark Alert Name Server Spy Hosting History Registrant Search Registrant Alert new

Sponsored Ads
Google
Cheap VPS Hosting Registrant Search     Sponsor DomainTools
DomainTools Blog: New RSS Feeds deep inside DomainTools - Posted 8 days ago - 9 comments

Main Content

Computability


Directory > Science > Math > Logic_and_Foundations > Computability

Asynchronous_Computability@ (5)Quantum_Computing@ (54)
Related Categories:
   Computers > Computer_Science (2202)
   Computers > Computer_Science > Theoretical > Complexity_Theory (158)


354 Listings - DR (10/10)354 Listings - DR (10/10) Computability Theory - http://www.nd.edu/~cholak/computability/computability.html
Directory of researchers working in computability theory, and list of open problems.
354 Listings - DR (10/10)354 Listings - DR (10/10) Bibliographic Database for Computability Theory - http://www.nd.edu/~cholak/computability/bib/bib.html
Extensive bibliography on computability and recursion theory, maintained by Peter Cholak.
1,235 Listings - DR (8/10)1,235 Listings - DR (8/10) Introduction to Logic and Recursion Theory - http://www.media.mit.edu/physics/pedagogy/babbage/texts/rt.html
Notes from the class taught by Prof. Sacks in the Spring of 1998.
1,496 Listings - DR (6/10)1,496 Listings - DR (6/10) Open Questions in Recursion Theory - http://math.berkeley.edu/~slaman/qrt/
Compiled by Theodore A. Slaman, Berkeley [TeX/PDF].
1,861 Listings - DR (6/10)1,861 Listings - DR (6/10) Church-Turing Thesis - http://plato.stanford.edu/entries/church-turing/
Alonzo Church and Alan Turing formulated the thesis that computability coincides with recursivity; by Jack Copeland.
524 Listings - DR (6/10)524 Listings - DR (6/10) Problem Solving Environments Home Page - http://www-cgi.cs.purdue.edu/cgi-bin/acc/pses.cgi
This site contains information about Problem Solving Environments (PSEs), research, publications, and information on topics related to PSEs.
116 Listings - DR (5/10)116 Listings - DR (5/10) Computability and Complexity - http://www.csc.liv.ac.uk/~ped/teachadmin/algor/comput_complete.html
An online course on complexity.
On Target - DR (4/10)On Target - DR (4/10) Hypercomputation Research Network - http://www.hypercomputation.net/
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.
7,463 Listings - DR (2/10)7,463 Listings - DR (2/10) Interactive Computation - http://en.wikipedia.org/wiki/Interactive_computation
Wikipedia article.
24 Listings - DR (1/10)24 Listings - DR (1/10) Computability Logic - Wictionary - http://en.wiktionary.org/wiki/Computability_logic
A dictionary definition of the subject.
On Target - DR (0/10)On Target - DR (0/10) Computability and Complexity in Analysis Network - http://www.cca-net.de/
The CCA Network provides some useful information for researchers working in the field of computability and complexity in analysis.

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor

Domain Tools analysis of DMOZ top listed domains