Computability Logic and Foundations Math


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.








    Top: Science: Math: Logic and Foundations

Computability


See Also:


   MySQL - Cache Direct


  
Twitter