Under Recursive Function, it’s as if it knows a lof of the stuff I’ve tripped over through the years that I found interesting in computer science.

What an amazing site. Internet Philosophy Ontology Project.
Under Recursive Function, I was like (((((yeah I know that. and (yeah I know that and (yeah I know that and (yeah I know that and (yeah I know that)))))))
Computability and Complexity
Proof Theory
Intuitionistic Logic
Computational Complexity Theory
Constructive Mathematics
Church-Turing Thesis
Chance Versus Randomness
The Lambda Calculus
Combinatory Logic
Turing Machine
Goedel’s Incompleteness Theorem
Information
Second-Order and Higher-Order Logic
Intuitionism
Linear Logic
Intuitionistic Type Theory
 
https://www.inphoproject.org/idea/1349

Leave a comment

Your email address will not be published. Required fields are marked *


three × 1 =

Leave a Reply