Top: Science: Math: Logic and Foundations: Computability

«Top» : «Science» : «Math» : «Logic and Foundations» : Computability Sites

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.
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.
Computability and Complexity « http://www.csc.liv.ac.uk/~ped/teachadmin/algor/comput_complete.html		An online course on complexity.
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.
Computability Logic « http://www.sciencedaily.com/encyclopedia/computability_logic		Encyclopedia article.
Computability Logic - Wictionary « http://en.wiktionary.org/wiki/Computability_logic		A dictionary definition of the subject.
Computability Theory « http://www.nd.edu/~cholak/computability/computability.html		Directory of researchers working in computability theory , and list of open problems.
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.
Interactive Computation « http://en.wikipedia.org/wiki/Interactive_computation		Wikipedia article.
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.
Open Questions in Recursion Theory « http://math.berkeley.edu/~slaman/qrt/		Compiled by theodore a. slaman , berkeley [tex/pdf].
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.

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

Submit a Site - Open Directory Project - Become an Editor

Directory listings are provided by Open Directory and modified by zerodirectory.com