Lukol Directory: Science: Math: Logic and Foundations: Computability

Bibliographic Database for Computability Theory Extensive bibliography on computability and recursion theory, maintained by Peter Cholak. http://www.nd.edu/~cholak/computability/bi... Computability Logic - Wictionary A dictionary definition of the subject. http://en.wiktionary.org/wiki/Computabilit... 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/p... Computability Theory Directory of researchers working in computability theory, and list of open problems. http://www.nd.edu/~cholak/computability/co... Computability Logic Encyclopedia article. http://www.sciencedaily.com/encyclopedia/c... Church-Turing Thesis Jack Copeland of the University of Canterbury, New Zealand outlines this frequently misunderstood thesis. http://plato.stanford.edu/entries/church-t... ECCC - Electronic Colloquium on Computational Complexity A forum for the rapid and widespread interchange of ideas, techniques, and research in computational complexity. Research reports, surveys and books; meetings, discussions and web resources. 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/ 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/ Open Questions in Recursion Theory Compiled by Theodore A. Slaman, Berkeley [TeX/PDF]. http://math.berkeley.edu/~slaman/qrt/ Computability and Complexity An online course on complexity. http://www.csc.liv.ac.uk/~ped/teachadmin/a... Interactive Computation Wikipedia article. http://en.wikipedia.org/wiki/Interactive_c... 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/... Sub Topics: Quantum Computing Asynchronous Computability Related Topics: Computers: Computer Science Computers: Computer Science: Theoretical: Complexity Theory

Help build the largest human-edited directory on the web. Submit a site - Open Directory Project - Become an Editor

The content of the Lukol directory is based on the Open Directory (DMOZ) and is enhanced using Lukol's own technology.




2006