Logic and Foundations: Computability

«Logic and Foundations» : Computability Sites

Science Math Logic and Foundations Computability
Science Math Logic and Foundations Computability sites
Computability.Logic-and-Foundations.Math.sciencenter.work

Science Math Logic and Foundations Computability
Science Math Logic and Foundations Computability sites
Computability.Logic-and-Foundations.Math.science-sites.work

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

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

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.
cca-net.de/

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.
www.hypercomputation.net/

Interactive Computation
Wikipedia article.
en.wikipedia.org/wiki/Interactive_computation

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

Problem Solving Environments Home Page
This site contains information about Problem Solving Environments (PSEs) , research , publications , and information on topics related to PSEs.
www-cgi.cs.purdue.edu/cgi-bin/acc/pses.cgi

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 logic-and-foundations.math.sciencenter.work