Science Central - All about Science

Sunday, 19 May, 2013
Home  |  Submit Science Site  |  Add to Favorite  |  Contact

search
for
Directories
 
 
 
 Recent Listings
  The Private Detective
  Elixir International Journal
  The International Journal Of Automotive Engineering And Technologies
  Herald Journal Of Electrical and Electronics Engineering (HJEEE)
  Science and Technology Publishing
  IJPAC- International Journal Of Pure and Applied Chemistry (IJPAB)
  The Advanced Research In Computer Science and Electronics Engineering (IJARCSEE)
  Innovative Drug Discovery Journal
  Current Pharmaceutical and Clinical Research (IJCPCR)
  American Journal Of Phytomedicine and Clinical Therapeutics
 
Category:  Science » Math » Logic and Foundations » Computability UPDATE URL | REPORT BROKEN LINK

Open Questions in Recursion Theory

 Popularity:    Hit: 646 | Visit: 39
Details
Compiled by Theodore A. Slaman, Berkeley [TeX/PDF].

Sponsored Links:


URL: http://math.berkeley.edu/~slaman/qrt/
Title: Theodore Slaman: Homepage
Image:
Description:

Category: When Is It Open - Practice Questions - Chemistry Questions - Debate Questions - Sample Questions - Questions Answers - Answers To Questions - Questions For Genetics - Testable Questions - Yesno Questions


Related sites
ECCC - Electronic Colloquium on Computational Complexity (Popularity: ): 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 ...
Computability Theory (Popularity: ): Directory of researchers working in computability theory, and list of open problems.
Bibliographic Database for Computability Theory (Popularity: ): Extensive bibliography on computability and recursion theory, maintained by Peter Cholak.
Computability and Complexity (Popularity: ): An online course on complexity.
Problem Solving Environments Home Page (Popularity: ): This site contains information about Problem Solving Environments (PSEs), research, publications, and information on topics related to PSEs.
Hypercomputation Research Network (Popularity: ): 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.
Church-Turing Thesis (Popularity: ): Alonzo Church and Alan Turing formulated the thesis that computability coincides with recursivity; by Jack Copeland.
Introduction to Logic and Recursion Theory (Popularity: ): Notes from the class taught by Prof. Sacks in the Spring of 1998.
Interactive Computation (Popularity: ): Wikipedia article.
Computability Logic - Wictionary (Popularity: ): A dictionary definition of the subject.
Mizar Project (Popularity: ): An attempt to reconstruct mathematical vernacular into a formal language which can be read by humans and also verified by software.

© 2005-2010 Science Central. All Rights Reserved

Home | Submit Science Site | Add to Favorite | Privacy | Contact