SomaliNet
SCREEN:
NORMAL
NARROW
SERVICES:
TRANSLATIONS
PROMOTIONS
SOMALINET:
ABOUT US
CONTACT US
PRIVACY INFO
SITE STATUS
somali somalia
HOME
NEWS
BUSINESS
CHAT
SINGLES
DIRECTORY
FORUMS
BLOGS
VIRTUAL LIBRARY
PHOTO GALLERY
MORE
WHAT'S NEW!
::
HOME
::
DIR
::
SCIENCE
::
MATH
::
LOGIC_AND_FOUNDATIONS
::
COMPUTABILITY
TRANSLATIONS
PROMOTIONS
ENGLISH SOMALI DICTIONARY
SOMALI ENGLISH DICTIONARY
SOMALIA ON SOMALINET
VIDEOS
SITE MAP
ABOUT SOMALINET
Please bear with us as the site is going through many changes ranging from backend software upgrades to new design.
Some sections may become inaccesible in the next few weeks.
FEEDBACK
|
OLD FRONT PAGE
NEW SECTION
TEST DRIVE
SOMALINET
VIDEOS SECTION!!!
SEARCH DIRECTORY
fopen(dir_cache/240e4779d2c8d8f799e5bdf1fd97adcb) [
function.fopen
]: failed to open stream: Permission denied
Error writing to cache!
only in Logic_and_Foundations/Computability
Top
:
Science
:
Math
:
Logic and Foundations
:Computability
(11)
Asynchronous Computability
@
(5)
Quantum Computing
@
(52)
See also:
Computers: Computer Science
(2,214)
Computers: Computer Science: Theoretical: Complexity Theory
(158)
Bibliographic Database for Computability Theory
- Extensive bibliography on computability and recursion theory, maintained by Peter Cholak.
Church-Turing Thesis
- Alonzo Church and Alan Turing formulated the thesis that computability coincides with recursivity; by Jack Copeland.
Computability and Complexity
- An online course on complexity.
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.
Computability Logic - Wictionary
- A dictionary definition of the subject.
Computability Theory
- Directory of researchers working in computability theory, and list of open problems.
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.
Interactive Computation
- Wikipedia article.
Introduction to Logic and Recursion Theory
- Notes from the class taught by Prof. Sacks in the Spring of 1998.
Open Questions in Recursion Theory
- Compiled by Theodore A. Slaman, Berkeley [TeX/PDF].
Problem Solving Environments Home Page
- This site contains information about Problem Solving Environments (PSEs), research, publications, and information on topics related to PSEs.
Help build the largest human-edited directory on the web.
Submit a Site
-
Open Directory Project
-
Become an Editor