Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/History_of_type_theory> ?p ?o }
Showing triples 1 to 82 of
82
with 100 triples per page.
- History_of_type_theory abstract "The type theory was initially created to avoid paradoxes in a variety of formal logics and rewrite systems. Later, type theory referred to a class of formal systems, some of which can serve as alternatives to naive set theory as a foundation for all mathematics. It has been tied to formal mathematics since Principia Mathematica to today's proof assistants.".
- History_of_type_theory wikiPageID "38521219".
- History_of_type_theory wikiPageLength "18535".
- History_of_type_theory wikiPageOutDegree "45".
- History_of_type_theory wikiPageRevisionID "608381028".
- History_of_type_theory wikiPageWikiLink Alonzo_Church.
- History_of_type_theory wikiPageWikiLink Automath.
- History_of_type_theory wikiPageWikiLink Axiom_of_reducibility.
- History_of_type_theory wikiPageWikiLink Begriffsschrift.
- History_of_type_theory wikiPageWikiLink Calculus_of_constructions.
- History_of_type_theory wikiPageWikiLink Category:History_of_logic.
- History_of_type_theory wikiPageWikiLink Category:Type_theory.
- History_of_type_theory wikiPageWikiLink Curry–Howard_correspondence.
- History_of_type_theory wikiPageWikiLink Dependent_type.
- History_of_type_theory wikiPageWikiLink Dependent_types.
- History_of_type_theory wikiPageWikiLink Emil_Leon_Post.
- History_of_type_theory wikiPageWikiLink Emil_Post.
- History_of_type_theory wikiPageWikiLink Formal_system.
- History_of_type_theory wikiPageWikiLink Formal_systems.
- History_of_type_theory wikiPageWikiLink Frank_P._Ramsey.
- History_of_type_theory wikiPageWikiLink Gottlob_Frege.
- History_of_type_theory wikiPageWikiLink Haskell_Curry.
- History_of_type_theory wikiPageWikiLink Impredicativity.
- History_of_type_theory wikiPageWikiLink Intuitionistic_type_theory.
- History_of_type_theory wikiPageWikiLink Kurt_Gödel.
- History_of_type_theory wikiPageWikiLink Lambda_cube.
- History_of_type_theory wikiPageWikiLink Law_of_excluded_middle.
- History_of_type_theory wikiPageWikiLink Leon_Chwistek.
- History_of_type_theory wikiPageWikiLink Ludwig_Wittgenstein.
- History_of_type_theory wikiPageWikiLink Mathematical_logic.
- History_of_type_theory wikiPageWikiLink Naive_set_theory.
- History_of_type_theory wikiPageWikiLink Natural_deduction.
- History_of_type_theory wikiPageWikiLink Nicolaas_Govert_de_Bruijn.
- History_of_type_theory wikiPageWikiLink Per_Martin-Löf.
- History_of_type_theory wikiPageWikiLink Predicate_(mathematical_logic).
- History_of_type_theory wikiPageWikiLink Predicate_logic.
- History_of_type_theory wikiPageWikiLink Principia_Mathematica.
- History_of_type_theory wikiPageWikiLink Proof_assistant.
- History_of_type_theory wikiPageWikiLink Propositional_function.
- History_of_type_theory wikiPageWikiLink Rewrite_system.
- History_of_type_theory wikiPageWikiLink Rewriting.
- History_of_type_theory wikiPageWikiLink Russells_paradox.
- History_of_type_theory wikiPageWikiLink Sheffer_stroke.
- History_of_type_theory wikiPageWikiLink Simply_typed_lambda_calculus.
- History_of_type_theory wikiPageWikiLink Stephen_Cole_Kleene.
- History_of_type_theory wikiPageWikiLink Stephen_Kleene.
- History_of_type_theory wikiPageWikiLink The_Principles_of_Mathematics.
- History_of_type_theory wikiPageWikiLink Tractatus_Logico-Philosophicus.
- History_of_type_theory wikiPageWikiLink Type_theory.
- History_of_type_theory wikiPageWikiLink Vicious_circle_principle.
- History_of_type_theory wikiPageWikiLink Willard_Quine.
- History_of_type_theory wikiPageWikiLink Willard_Van_Orman_Quine.
- History_of_type_theory wikiPageWikiLink William_Alvin_Howard.
- History_of_type_theory wikiPageWikiLinkText "History_of_type_theory#Theory_of_simple_types".
- History_of_type_theory wikiPageWikiLinkText "theory of simple types".
- History_of_type_theory hasPhotoCollection History_of_type_theory.
- History_of_type_theory wikiPageUsesTemplate Template:Expand_section.
- History_of_type_theory wikiPageUsesTemplate Template:Ordered_list.
- History_of_type_theory wikiPageUsesTemplate Template:Quote.
- History_of_type_theory wikiPageUsesTemplate Template:Refbegin.
- History_of_type_theory wikiPageUsesTemplate Template:Refend.
- History_of_type_theory wikiPageUsesTemplate Template:Reflist.
- History_of_type_theory subject Category:History_of_logic.
- History_of_type_theory subject Category:Type_theory.
- History_of_type_theory type Agent.
- History_of_type_theory type Article.
- History_of_type_theory type Person.
- History_of_type_theory type Article.
- History_of_type_theory type Person.
- History_of_type_theory type Agent.
- History_of_type_theory type NaturalPerson.
- History_of_type_theory type Thing.
- History_of_type_theory type Q215627.
- History_of_type_theory type Q5.
- History_of_type_theory type Person.
- History_of_type_theory comment "The type theory was initially created to avoid paradoxes in a variety of formal logics and rewrite systems. Later, type theory referred to a class of formal systems, some of which can serve as alternatives to naive set theory as a foundation for all mathematics. It has been tied to formal mathematics since Principia Mathematica to today's proof assistants.".
- History_of_type_theory label "History of type theory".
- History_of_type_theory sameAs m.0r3vxxt.
- History_of_type_theory sameAs Q5871008.
- History_of_type_theory sameAs Q5871008.
- History_of_type_theory wasDerivedFrom History_of_type_theory?oldid=608381028.
- History_of_type_theory isPrimaryTopicOf History_of_type_theory.