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


Home | Links Exchange| Contact | Directory | Domain Name Registration | Links | My Sites


Copyleft 2005 logic-and-foundations.math.sciencenter.work