Web Site Information :.

Site Info    Whois    Traceroute    RBL Check

• Site Info
• Who Is
• Trace Route
• RBL Check
• What's My IP?
• Web Search

Enter Web Site URL Address:
 

Top / Science / Math / Logic_and_Foundations / Computability /

Computability Theory Directory of researchers working in computability theory, and list of open problems. http://www.nd.edu/~cholak/computability/computability.html Nd.edu  ~   Site Info   Whois   Trace Route   RBL Check   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 Nd.edu  ~   Site Info   Whois   Trace Route   RBL Check   Computability and Complexity An online course on complexity. http://www.csc.liv.ac.uk/~ped/teachadmin/algor/comput_complete.html Liv.ac.uk  ~   Site Info   Whois   Trace Route   RBL Check   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 Purdue.edu  ~   Site Info   Whois   Trace Route   RBL Check   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/ Hypercomputation.net  ~   Site Info   Whois   Trace Route   RBL Check   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/ Stanford.edu  ~   Site Info   Whois   Trace Route   RBL Check   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 Mit.edu  ~   Site Info   Whois   Trace Route   RBL Check   Interactive Computation Wikipedia article. http://en.wikipedia.org/wiki/Interactive_computation Wikipedia.org  ~   Site Info   Whois   Trace Route   RBL Check   Open Questions in Recursion Theory Compiled by Theodore A. Slaman, Berkeley [TeX/PDF]. http://math.berkeley.edu/~slaman/qrt/ Berkeley.edu  ~   Site Info   Whois   Trace Route   RBL Check   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/ Cca-net.de  ~   Site Info   Whois   Trace Route   RBL Check