Web Directory

Home

Web Directory

Metasearch

Message Boards

Classified Ads

Your Ad Here

Suggest a site

Computability (13)

Categories:

Asynchronous Computability@ (5)
Quantum Computing@ (50)

See Also:

Sites:

http://www.nd.edu/~cholak/computability/bib/bib.html

» Bibliographic Database for Computability Theory
Extensive bibliography on computability and recursion theory, maintained by Peter Cholak.
http://www.nd.edu/~cholak/computability/bib/bib.html

http://plato.stanford.edu/entries/church-turing/

» Church-Turing Thesis
Alonzo Church and Alan Turing formulated the thesis that computability coincides with recursivity; by Jack Copeland.
http://plato.stanford.edu/entries/church-turing/

» Computability Logic
Encyclopedia article.
http://www.sciencedaily.com/encyclopedia/computability_logic

» Computability Logic - Wictionary
A dictionary definition of the subject.
http://en.wiktionary.org/wiki/Computability_logic

http://www.nd.edu/~cholak/computability/computability.html

» Computability Theory
Directory of researchers working in computability theory, and list of open problems.
http://www.nd.edu/~cholak/computability/computability.html

» Computability and Complexity
An online course on complexity.
http://www.csc.liv.ac.uk/~ped/teachadmin/algor/comput_complete.html

» 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.
http://www.cca-net.de/

» 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, s
http://www.eccc.uni-trier.de/eccc/

» 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.
http://www.hypercomputation.net/

» Interactive Computation
Wikipedia article.
http://en.wikipedia.org/wiki/Interactive_computation

http://www.media.mit.edu/physics/pedagogy/babbage/texts/rt.html

» Introduction to Logic and Recursion Theory
Notes from the class taught by Prof. Sacks in the Spring of 1998.
http://www.media.mit.edu/physics/pedagogy/babbage/texts/rt.html

$http://math.berkeley.edu/~slaman/qrt/$

» Open Questions in Recursion Theory
Compiled by Theodore A. Slaman, Berkeley [TeX/PDF].
http://math.berkeley.edu/~slaman/qrt/

http://www-cgi.cs.purdue.edu/cgi-bin/acc/pses.cgi

» Problem Solving Environments Home Page
This site contains information about Problem Solving Environments (PSEs), research, publications, and information on topics related to PSEs.
http://www-cgi.cs.purdue.edu/cgi-bin/acc/pses.cgi

This category needs an editor

Last Updated: 2005-05-31 03:55:48

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor

The content of this directory is based on the Open Directory and has been modified by GoSearchFor.com