Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Mathematical_logic> ?p ?o }
- Mathematical_logic abstract "Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. It bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems.Mathematical logic is often divided into the fields of set theory, model theory, recursion theory, and proof theory. These areas share basic results on logic, particularly first-order logic, and definability. In computer science (particularly in the ACM Classification) mathematical logic encompasses additional topics not detailed in this article; see Logic in computer science for those.Since its inception, mathematical logic has both contributed to, and has been motivated by, the study of foundations of mathematics. This study began in the late 19th century with the development of axiomatic frameworks for geometry, arithmetic, and analysis. In the early 20th century it was shaped by David Hilbert's program to prove the consistency of foundational theories. Results of Kurt Gödel, Gerhard Gentzen, and others provided partial resolution to the program, and clarified the issues involved in proving consistency. Work in set theory showed that almost all ordinary mathematics can be formalized in terms of sets, although there are some theorems that cannot be proven in common axiom systems for set theory. Contemporary work in the foundations of mathematics often focuses on establishing which parts of mathematics can be formalized in particular formal systems (as in reverse mathematics) rather than trying to find theories in which all of mathematics can be developed.".
- Mathematical_logic wikiPageExternalLink fea-woodin.pdf.
- Mathematical_logic wikiPageExternalLink ml.pdf.
- Mathematical_logic wikiPageExternalLink pcml.
- Mathematical_logic wikiPageExternalLink index.php?id=11&PPN=GDZPPN002260018&L=1.
- Mathematical_logic wikiPageExternalLink index.php?id=11&PPN=GDZPPN002261952&L=1.
- Mathematical_logic wikiPageExternalLink index.php?id=11&PPN=GDZPPN002266121&L=1.
- Mathematical_logic wikiPageExternalLink index.php?id=11&PPN=GDZPPN002273500&L=1.
- Mathematical_logic wikiPageExternalLink index.php?id=11&PPN=PPN235181684_0065&DMDID=DMDLOG_0018&L=1.
- Mathematical_logic wikiPageExternalLink sici?sici=0002-9890%28197303%2980%3A3%3C233%3AHTPIU%3E2.0.CO%3B2-E.
- Mathematical_logic wikiPageExternalLink sici?sici=0002-9890(200011)107%3A9%3C844%3ABCED%3E2.0.CO%3B2-L.
- Mathematical_logic wikiPageExternalLink logic-classical.
- Mathematical_logic wikiPageExternalLink modeltheory-fo.
- Mathematical_logic wikiPageExternalLink logic.
- Mathematical_logic wikiPageExternalLink ml.htm.
- Mathematical_logic wikiPageExternalLink index_main.htm.
- Mathematical_logic wikiPageExternalLink 978-0-387-94258-2.
- Mathematical_logic wikiPageExternalLink 978-1-4419-1220-6.
- Mathematical_logic wikiPageExternalLink LPSG.
- Mathematical_logic wikiPageExternalLink MathLogic.htm.
- Mathematical_logic wikiPageExternalLink PhilMath.htm.
- Mathematical_logic wikiPageExternalLink SetTheory.htm.
- Mathematical_logic wikiPageID "19636".
- Mathematical_logic wikiPageLength "64034".
- Mathematical_logic wikiPageOutDegree "341".
- Mathematical_logic wikiPageRevisionID "707204992".
- Mathematical_logic wikiPageWikiLink (ε,_δ)-definition_of_limit.
- Mathematical_logic wikiPageWikiLink ACM_Computing_Classification_System.
- Mathematical_logic wikiPageWikiLink A_K_Peters,_Ltd..
- Mathematical_logic wikiPageWikiLink Abraham_Fraenkel.
- Mathematical_logic wikiPageWikiLink Abstract_algebra.
- Mathematical_logic wikiPageWikiLink Academic_Press.
- Mathematical_logic wikiPageWikiLink Alan_Turing.
- Mathematical_logic wikiPageWikiLink Alfred_North_Whitehead.
- Mathematical_logic wikiPageWikiLink Alfred_Tarski.
- Mathematical_logic wikiPageWikiLink Algebraic_geometry.
- Mathematical_logic wikiPageWikiLink Algebraic_logic.
- Mathematical_logic wikiPageWikiLink Algorithmically_random_sequence.
- Mathematical_logic wikiPageWikiLink Alonzo_Church.
- Mathematical_logic wikiPageWikiLink Alpha_recursion_theory.
- Mathematical_logic wikiPageWikiLink American_Mathematical_Monthly.
- Mathematical_logic wikiPageWikiLink Analysis.
- Mathematical_logic wikiPageWikiLink Arithmetic.
- Mathematical_logic wikiPageWikiLink Arithmetic_function.
- Mathematical_logic wikiPageWikiLink Arithmetical_hierarchy.
- Mathematical_logic wikiPageWikiLink Arithmetices_principia,_nova_methodo_exposita.
- Mathematical_logic wikiPageWikiLink Arithmetization_of_analysis.
- Mathematical_logic wikiPageWikiLink Augustin-Louis_Cauchy.
- Mathematical_logic wikiPageWikiLink Augustus_De_Morgan.
- Mathematical_logic wikiPageWikiLink Automated_theorem_proving.
- Mathematical_logic wikiPageWikiLink Axiom.
- Mathematical_logic wikiPageWikiLink Axiom_of_choice.
- Mathematical_logic wikiPageWikiLink Axiom_schema_of_replacement.
- Mathematical_logic wikiPageWikiLink Banach–Tarski_paradox.
- Mathematical_logic wikiPageWikiLink Begriffsschrift.
- Mathematical_logic wikiPageWikiLink Benedikt_Löwe.
- Mathematical_logic wikiPageWikiLink Bernard_Bolzano.
- Mathematical_logic wikiPageWikiLink Bertrand_Russell.
- Mathematical_logic wikiPageWikiLink Bijection,_injection_and_surjection.
- Mathematical_logic wikiPageWikiLink Boolean_algebra_(structure).
- Mathematical_logic wikiPageWikiLink Brouwer–Heyting–Kolmogorov_interpretation.
- Mathematical_logic wikiPageWikiLink Burali-Forti_paradox.
- Mathematical_logic wikiPageWikiLink Busy_beaver.
- Mathematical_logic wikiPageWikiLink Cambridge_University_Press.
- Mathematical_logic wikiPageWikiLink Cantors_diagonal_argument.
- Mathematical_logic wikiPageWikiLink Cantors_theorem.
- Mathematical_logic wikiPageWikiLink Cardinal_number.
- Mathematical_logic wikiPageWikiLink Cardinality.
- Mathematical_logic wikiPageWikiLink Categorical_logic.
- Mathematical_logic wikiPageWikiLink Category:Mathematical_logic.
- Mathematical_logic wikiPageWikiLink Category_theory.
- Mathematical_logic wikiPageWikiLink Cesare_Burali-Forti.
- Mathematical_logic wikiPageWikiLink Chapman_&_Hall.
- Mathematical_logic wikiPageWikiLink Charles_Sanders_Peirce.
- Mathematical_logic wikiPageWikiLink Combinatory_logic.
- Mathematical_logic wikiPageWikiLink Compactness_theorem.
- Mathematical_logic wikiPageWikiLink Computability.
- Mathematical_logic wikiPageWikiLink Computability_theory.
- Mathematical_logic wikiPageWikiLink Computable_function.
- Mathematical_logic wikiPageWikiLink Computable_model_theory.
- Mathematical_logic wikiPageWikiLink Computational_complexity_theory.
- Mathematical_logic wikiPageWikiLink Constructible_universe.
- Mathematical_logic wikiPageWikiLink Constructivism_(mathematics).
- Mathematical_logic wikiPageWikiLink Continuous_function.
- Mathematical_logic wikiPageWikiLink Continuum_hypothesis.
- Mathematical_logic wikiPageWikiLink Countable_set.
- Mathematical_logic wikiPageWikiLink Cumulative_hierarchy.
- Mathematical_logic wikiPageWikiLink Curry–Howard_correspondence.
- Mathematical_logic wikiPageWikiLink Cut-elimination_theorem.
- Mathematical_logic wikiPageWikiLink Cylindric_algebra.
- Mathematical_logic wikiPageWikiLink D._C._Heath_and_Company.
- Mathematical_logic wikiPageWikiLink David_Hilbert.
- Mathematical_logic wikiPageWikiLink Decision_problem.
- Mathematical_logic wikiPageWikiLink Dedekind_cut.
- Mathematical_logic wikiPageWikiLink Deductive_reasoning.
- Mathematical_logic wikiPageWikiLink Definable_set.
- Mathematical_logic wikiPageWikiLink Descriptive_complexity_theory.
- Mathematical_logic wikiPageWikiLink Determinacy.
- Mathematical_logic wikiPageWikiLink Differentiable_function.
- Mathematical_logic wikiPageWikiLink Domain_of_discourse.