Science Central - All about Science

Sunday, 19 May, 2013

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 SUGGEST CATEGORY  |  SUBMIT A SITE

Computability

Order by  Popularity  |  Alphabet

Sites

Records 1-11 of 11
 



Sponsored Links:


ECCC - Electronic Colloquium on Computational Complexity (Popularity: )
http://www.eccc.uni-trier.de/eccc/
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 Logic - Wictionary (Popularity: )
http://en.wiktionary.org/wiki/Computability_logic
A dictionary definition of the subject.



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

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



Hypercomputation Research Network (Popularity: )
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.

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

Interactive Computation (Popularity: )
http://en.wikipedia.org/wiki/Interactive_computation
Wikipedia article.

Problem Solving Environments Home Page (Popularity: )
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.

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

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

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

 
Records 1-11 of 11

© 2005-2010 Science Central. All Rights Reserved