Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Stephen_Kleene> }
Showing triples 1 to 57 of
57
with 100 triples per page.
- Actual_infinity wikiPageWikiLink Stephen_Kleene.
- Algorithm wikiPageWikiLink Stephen_Kleene.
- Alonzo_Church wikiPageWikiLink Stephen_Kleene.
- Asterisk wikiPageWikiLink Stephen_Kleene.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Stephen_Kleene.
- Brouwer–Hilbert_controversy wikiPageWikiLink Stephen_Kleene.
- Collectively_exhaustive_events wikiPageWikiLink Stephen_Kleene.
- Computability_theory wikiPageWikiLink Stephen_Kleene.
- Consistency wikiPageWikiLink Stephen_Kleene.
- Counter_machine wikiPageWikiLink Stephen_Kleene.
- Curry–Howard_correspondence wikiPageWikiLink Stephen_Kleene.
- Effective_topos wikiPageWikiLink Stephen_Kleene.
- Expression_(mathematics) wikiPageWikiLink Stephen_Kleene.
- Foundations_of_mathematics wikiPageWikiLink Stephen_Kleene.
- Halting_problem wikiPageWikiLink Stephen_Kleene.
- Haskell_Curry wikiPageWikiLink Stephen_Kleene.
- History_of_the_function_concept wikiPageWikiLink Stephen_Kleene.
- History_of_type_theory wikiPageWikiLink Stephen_Kleene.
- Indicator_function wikiPageWikiLink Stephen_Kleene.
- Intuitionism wikiPageWikiLink Stephen_Kleene.
- Joan_Moschovakis wikiPageWikiLink Stephen_Kleene.
- John_Corcoran_(logician) wikiPageWikiLink Stephen_Kleene.
- Kleene_star wikiPageWikiLink Stephen_Kleene.
- Kleene–Rosser_paradox wikiPageWikiLink Stephen_Kleene.
- Kurt_Gödel wikiPageWikiLink Stephen_Kleene.
- Lambda_calculus wikiPageWikiLink Stephen_Kleene.
- List_of_names_in_English_with_counterintuitive_pronunciations wikiPageWikiLink Stephen_Kleene.
- Logics_for_computability wikiPageWikiLink Stephen_Kleene.
- McCarthy_Formalism wikiPageWikiLink Stephen_Kleene.
- Metamathematics wikiPageWikiLink Stephen_Kleene.
- On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems wikiPageWikiLink Stephen_Kleene.
- Partial_function wikiPageWikiLink Stephen_Kleene.
- Post–Turing_machine wikiPageWikiLink Stephen_Kleene.
- Primitive_recursive_function wikiPageWikiLink Stephen_Kleene.
- Principia_Mathematica wikiPageWikiLink Stephen_Kleene.
- Random-access_machine wikiPageWikiLink Stephen_Kleene.
- Random-access_stored-program_machine wikiPageWikiLink Stephen_Kleene.
- Register_machine wikiPageWikiLink Stephen_Kleene.
- Robert_Lee_Constable wikiPageWikiLink Stephen_Kleene.
- Scientific_phenomena_named_after_people wikiPageWikiLink Stephen_Kleene.
- Self-replicating_machine wikiPageWikiLink Stephen_Kleene.
- Sol_Garfunkel wikiPageWikiLink Stephen_Kleene.
- Structured_program_theorem wikiPageWikiLink Stephen_Kleene.
- Switch_statement wikiPageWikiLink Stephen_Kleene.
- Tautological_consequence wikiPageWikiLink Stephen_Kleene.
- Tautology_(logic) wikiPageWikiLink Stephen_Kleene.
- Theory_of_computation wikiPageWikiLink Stephen_Kleene.
- Turing_machine wikiPageWikiLink Stephen_Kleene.
- Turing_reduction wikiPageWikiLink Stephen_Kleene.
- Yiannis_N._Moschovakis wikiPageWikiLink Stephen_Kleene.
- Μ-recursive_function wikiPageWikiLink Stephen_Kleene.
- Μ_operator wikiPageWikiLink Stephen_Kleene.
- Joan_Moschovakis doctoralAdvisor Stephen_Kleene.
- Robert_Lee_Constable doctoralAdvisor Stephen_Kleene.
- Yiannis_N._Moschovakis doctoralAdvisor Stephen_Kleene.
- Alonzo_Church doctoralStudents Stephen_Kleene.
- Stephen_Kleene primaryTopic Stephen_Kleene.