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
Second-Order and Higher-Order Logic
Linear Logic
Intuitionistic Type Theory

Leave a comment

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

− eight = 0

Leave a Reply