Example image of eyePlorer eyePlorer map for 'Turing completeness': Abstract machine Computability theory Computable function Programming language Universal Turing machine Cellular automaton Turing machine Alan Turing Church–Turing thesis Computer Computer program Linear bounded automaton Analytical engine Charles Babbage Konrad Zuse Z3 (computer) Raúl Rojas ENIAC Digital physics Universe Halting problem Theoretical computer science Alonzo Church Automata theory Formal grammar Formal language Lambda calculus Pascal (programming language) Procedural programming Java (programming language) Object-oriented programming Ada (programming language) C++ Common Lisp Object Pascal Programming paradigm Functional programming Haskell (programming language) Lisp (programming language) Logic programming Prolog Declarative programming XSL Transformations Brainfuck Esoteric programming language Fortran Goto Recursion SQL System F
Disclaimer