http://dbpedia.org/resource/Random-access_machine +
, http://dbpedia.org/resource/Register_machine +
, http://dbpedia.org/resource/Scientific_phenomena_named_after_people +
, http://dbpedia.org/resource/Robert_L._Constable +
, http://dbpedia.org/resource/Intuitionism +
, http://dbpedia.org/resource/Turing_reduction +
, http://dbpedia.org/resource/History_of_type_theory +
, http://dbpedia.org/resource/Metamathematics +
, http://dbpedia.org/resource/Sol_Garfunkel +
, http://dbpedia.org/resource/Primitive_recursive_function +
, http://dbpedia.org/resource/Partial_function +
, http://dbpedia.org/resource/Indicator_function +
, http://dbpedia.org/resource/Foundations_of_mathematics +
, http://dbpedia.org/resource/Kurt_G%C3%B6del +
, http://dbpedia.org/resource/Effective_topos +
, http://dbpedia.org/resource/Algorithm +
, http://dbpedia.org/resource/Actual_infinity +
, http://dbpedia.org/resource/Self-replicating_machine +
, http://dbpedia.org/resource/Halting_problem +
, http://dbpedia.org/resource/Principia_Mathematica +
, http://dbpedia.org/resource/Theory_of_computation +
, http://dbpedia.org/resource/Computability_theory +
, http://dbpedia.org/resource/Expression_%28mathematics%29 +
, http://dbpedia.org/resource/Turing_machine +
, http://dbpedia.org/resource/Switch_statement +
, http://dbpedia.org/resource/McCarthy_Formalism +
, http://dbpedia.org/resource/%CE%9C_operator +
, http://dbpedia.org/resource/Asterisk +
, http://dbpedia.org/resource/Tautology_%28logic%29 +
, http://dbpedia.org/resource/Lambda_calculus +
, http://dbpedia.org/resource/Collectively_exhaustive_events +
, http://dbpedia.org/resource/Tautological_consequence +
, http://dbpedia.org/resource/On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems +
, http://dbpedia.org/resource/List_of_important_publications_in_theoretical_computer_science +
, http://dbpedia.org/resource/Timeline_of_mathematical_logic +
, http://dbpedia.org/resource/Yiannis_N._Moschovakis +
, http://dbpedia.org/resource/Curry%E2%80%93Howard_correspondence +
, http://dbpedia.org/resource/Structured_program_theorem +
, http://dbpedia.org/resource/Axiom_of_reducibility +
, http://dbpedia.org/resource/Kleene%E2%80%93Rosser_paradox +
, http://dbpedia.org/resource/Solomonoff%27s_theory_of_inductive_inference +
, http://dbpedia.org/resource/John_Horton_Conway +
, http://dbpedia.org/resource/Post%E2%80%93Turing_machine +
, http://dbpedia.org/resource/Kleene_star +
, http://dbpedia.org/resource/Counter_machine +
, http://dbpedia.org/resource/Random-access_stored-program_machine +
, http://dbpedia.org/resource/Brouwer%E2%80%93Heyting%E2%80%93Kolmogorov_interpretation +
, http://dbpedia.org/resource/History_of_the_function_concept +
, http://dbpedia.org/resource/Joan_Moschovakis +
, http://dbpedia.org/resource/Brouwer%E2%80%93Hilbert_controversy +
|
http://dbpedia.org/ontology/wikiPageWikiLink
|