Mathematical logic
Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics.
- Comment
- enMathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics.
- Has abstract
- enMathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics. Since its inception, mathematical logic has both contributed to and 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.
- Hypernym
- Subfield
- Id
- enp/m062660
- Is primary topic of
- Mathematical logic
- Label
- enMathematical logic
- Link from a Wikipage to an external page
- www.collegepublications.co.uk/logic/mlf/%3F00029%7Ctitle=Logical
- www.gutenberg.org/ebooks/28696
- worldcat.org/oclc/523472
- www.springer.com/mathematics/book/978-0-387-94258-2
- books.google.com/books%3Fid=HZAjPwAACAAJ&source=gbs_ViewAPI
- www.ams.org/notices/200106/fea-woodin.pdf
- matwbn.icm.edu.pl/ksiazki/fm/fm6/fm6127.pdf
- www.people.cs.uchicago.edu/~soare/Turing/frontice.pdf
- euclid.trentu.ca/math/sb/pcml/
- oldwww.ma.man.ac.uk/~jeff/
- plato.stanford.edu/entries/logic-classical/
- plato.stanford.edu/entries/modeltheory-fo/
- www.fecundity.com/logic/
- www.ucl.ac.uk/philosophy/LPSG/
- gdz.sub.uni-goettingen.de/index.php%3Fid=11&PPN=GDZPPN002260018&L=1
- gdz.sub.uni-goettingen.de/index.php%3Fid=11&PPN=GDZPPN002261952&L=1
- gdz.sub.uni-goettingen.de/index.php%3Fid=11&PPN=GDZPPN002266121&L=1
- gdz.sub.uni-goettingen.de/index.php%3Fid=11&PPN=GDZPPN002273500&L=1
- gdz.sub.uni-goettingen.de/index.php%3Fid=11&PPN=PPN235181684_0065&DMDID=DMDLOG_0018&L=1
- www.quantrelog.se/pvlmatrix/index_main.htm
- www.ucl.ac.uk/philosophy/LPSG/MathLogic.htm
- www.ltn.lv/~podnieks/mlog/ml.htm
- www.mathematik.uni-muenchen.de/~schwicht/lectures/logic/ws03/ml.pdf
- www.ucl.ac.uk/philosophy/LPSG/PhilMath.htm
- gdz.sub.uni-goettingen.de/download/PPN243919689_0077/PPN243919689_0077___LOG_0014.pdf
- www.ucl.ac.uk/philosophy/LPSG/SetTheory.htm
- idus.us.es/xmlui/bitstream/11441/38373/1/The%20road%20to%20modern%20logic.pdf
- Link from a Wikipage to another Wikipage
- (ε, δ)-definition of limit
- Abraham Fraenkel
- Abstract algebra
- Academic Press
- A K Peters
- Alan Turing
- Alfred North Whitehead
- Alfred Tarski
- Algebraic geometry
- Algebraic logic
- Algorithmic randomness
- Alonzo Church
- Alpha recursion theory
- American Mathematical Monthly
- Amsterdam
- Argument
- Aristotelian logic
- Arithmetic
- Arithmetical hierarchy
- Arithmetization of analysis
- Augustus De Morgan
- Automated theorem proving
- Axiom
- Axiom of choice
- Axiom of replacement
- Banach–Tarski paradox
- Begriffsschrift
- Benson Mates
- Bernard Bolzano
- Bertrand Russell
- BHK interpretation
- Bijection, injection, and surjection
- Boolean algebra
- Boolean algebra (structure)
- Boston
- Burali-Forti paradox
- Busy beaver
- Cambridge, Massachusetts
- Cambridge University Press
- Cantor's diagonal argument
- Cantor's first uncountability proof
- Cantor's theorem
- Cardinality
- Cardinal number
- Cardinal numbers
- Carl Gustav Hempel
- Categorical logic
- Category:Mathematical logic
- Category theory
- Cauchy
- Cesare Burali-Forti
- Chapman & Hall
- Charles Sanders Peirce
- Chrysippus
- Classical mathematics
- Claude Shannon
- Combinatory logic
- Compactness theorem
- Completeness theorem
- Computability theory
- Computability theory (computer science)
- Computable
- Computable function
- Computable model theory
- Computational complexity theory
- Computer science
- Consistency
- Constructible universe
- Constructive mathematics
- Continuous, nowhere differentiable function
- Continuous function
- Continuum hypothesis
- Countable
- Cumulative hierarchy
- Curry–Howard correspondence
- Cut elimination
- Cylindric algebra
- D. C. Heath and Company
- Daniel H. H. Ingalls Sr.
- David Hilbert
- Decidable set
- Decision problem
- Dedekind cuts
- Descriptive complexity theory
- Determinacy
- Differentiable function
- Domain of discourse
- Dordrecht
- Edmund Berkeley
- Elementary class
- Elementary substructure
- Éléments de mathématique
- Elliptic geometry
- Elsevier
- Emil Leon Post
- Entscheidungsproblem
- Ernest Addison Moody
- Ernst Schröder (mathematician)
- Ernst Zermelo
- Euclid
- Fagin's theorem
- Feasible computability
- First-order logic
- Forcing (mathematics)
- Formal language
- Foundations of mathematics
- Fourier series
- Frederic Fitch
- Function (mathematics)
- Function problem
- Fundamenta Mathematicae
- Fuzzy logic
- Geometry
- Georg Cantor
- George Boole
- George Peacock (mathematician)
- Georg Kreisel
- Gerhard Gentzen
- Giuseppe Peano
- Gödel's completeness theorem
- Gödel's incompleteness theorem
- Gödel's incompleteness theorems
- Gödel–Gentzen negative translation
- Gottfried Wilhelm Leibniz
- Gottlob Frege
- Great circle
- Halting problem
- Hans Reichenbach
- Harvard University Press
- Heinrich Scholz
- Hermann Weyl
- Heyting algebra
- Higher-order logic
- Hilary Putnam
- Hilbert's axioms
- Hilbert's problems
- Hilbert's program
- Hilbert's tenth problem
- Hilbert-style deduction system
- Hyperarithmetical theory
- Impredicativity
- Inaccessible cardinal
- Independence result
- Inductive definition
- Infinitary logic
- Infinitary logics
- Infinitesimal
- Informal logic
- Integer
- Intuitionism
- Intuitionistic logic
- Isomorphism
- Israel Journal of Mathematics
- J. L. Austin
- Jan Lukasiewicz
- Johann Heinrich Lambert
- John von Neumann
- Joseph Henry Woodger
- Journal für die Reine und Angewandte Mathematik
- Jozef Maria Bochenski
- Jules Richard (mathematician)
- Julia Robinson
- Karl Menger
- Karl Weierstrass
- Knowledge representation and reasoning
- Kripke model
- Kripke–Platek set theory
- Kurt Gödel
- Lambda calculus
- Large cardinal
- Lattice (order)
- Law of the excluded middle
- Leipzig
- Leopold Kronecker
- Leopold Löwenheim
- Limitation of size
- Lindström's theorem
- List of computability and complexity topics
- List of first-order theories
- List of logic symbols
- List of mathematical logic topics
- List of set theory topics
- Löb's theorem
- Logic
- Logical consequence
- Logical system
- Logic in China
- Logic in Greece
- Logic in India
- Logic in Islamic philosophy
- Logic programming
- Löwenheim–Skolem theorem
- Luitzen Egbertus Jan Brouwer
- Martin Davis (mathematician)
- Mathematical analysis
- Mathematical induction
- Mathematics
- Mathematische Annalen
- Menlo Park, California
- Mereology
- Michael D. Morley
- Michael Rathjen
- Mineola, New York
- Modal logic
- Model checking
- Model theory
- Morley's categoricity theorem
- Morse–Kelley set theory
- Munich
- Naive set theory
- Natural deduction
- Natural number
- Natural numbers
- New Foundations
- New York City
- Nicolas Bourbaki
- Nikolai Lobachevsky
- Nonclassical logic
- Non-classical logic
- Non-Euclidean geometry
- Non-standard model of arithmetic
- NP (complexity)
- Number-theoretic function
- O-minimal theory
- On Formally Undecidable Propositions of Principia Mathematica and Related Systems
- Ordinal number
- Organon
- Oskar Morgenstern
- Oxford University Press
- Parallel postulate
- Pasch's axiom
- Paul Bernays
- Paul Cohen
- Peano arithmetic
- Peano axioms
- Philosophy
- Philosophy of mathematics
- Philotheus Boehner
- Polish space
- Powerset
- Predicate logic
- Primitive recursive function
- Principia Mathematica
- Proceedings of the London Mathematical Society
- Programming languages
- Program semantics
- Program verification
- Proof mining
- Proof-theoretic ordinal
- Proof theory
- Propositional calculus
- Propositional logic
- Pyotr Novikov
- Quantifier elimination
- Quantifiers (logic)
- RAND Corporation
- Real analysis
- Real-closed field
- Real line
- Recursion theory
- Recursively enumerable set
- Reverse mathematics
- Rhetoric
- Richard's paradox
- Richard Dedekind
- Robert Lawson Vaught
- Rózsa Péter
- Rudolf Carnap
- Russell's paradox
- Santa Monica, California
- Saunders Mac Lane
- Second-order logic
- Sequent calculus
- Set (mathematics)
- Set theory
- Signature (logic)
- Singapore
- Skolem's paradox
- Solomon Feferman
- Springer Science+Business Media
- Stanford Encyclopedia of Philosophy
- Stanislaw Lesniewski
- Stefan Banach
- Stephen Cole Kleene
- Stewart Shapiro
- Stoicism
- Structure (mathematical logic)
- Successor function
- Syllogism
- Syntax
- Theory (mathematical logic)
- Thoralf Skolem
- Tibor Radó
- Topos
- Transactions of the American Mathematical Society
- Transfinite induction
- Transfinite number
- Truth value
- Turing degree
- Turing machine
- Type theory
- Ulrich Kohlenbach
- Universal algebra
- Urelements
- Vaught conjecture
- Von Neumann–Bernays–Gödel set theory
- W. Hugh Woodin
- Well-formed formula
- Well-ordered
- Well-ordering theorem
- Wilfrid Hodges
- Word problem for groups
- World Scientific Publishing
- Yuri Matiyasevich
- Zermelo–Fraenkel set theory
- Zermelo set theory
- SameAs
- 4037951-6
- 4074715-3
- Aibių teorija
- Aro-teorio
- Çoxluqlar nəzəriyyəsi
- Damcaniaeth setiau
- DYME
- Ensemblo-teorio
- Halmazelmélet
- Hulgateooria
- Joukko-oppi
- Konletateor
- Kopu teorija
- Kümeler teorisi
- Lochica matematica
- Logica matematica
- Logică matematică
- Lógica matemática
- Lógica matemática
- Lògica matemàtica
- Logica mathematica
- Logic toán
- Logika matematika
- Logika matématika
- Logika matematiko
- Logika matematyczna
- Logik matematik
- Logique mathématique
- Logjika matematikore
- Lohikang matematikal
- Loidig mhatamataigeach
- Loighic mhatamaiticiúil
- Lóxica matemática
- Lóxica matemática
- Lý thuyết tập hợp
- m.04yzn
- Mængdelære
- Mängdteori
- Matemaatiline loogika
- Matemaattinen logiikka
- Matematická logika
- Matematická logika
- Matematička logika
- Matematička logika
- Matematička logika
- Matematična logika
- Matematikai logika
- Matematikala logiko
- Matematika logiko
- Matematik mantiq
- Matematiksel mantık
- Matemātiskā loģika
- Matematisk logik
- Matematisk logik
- Matematisk logikk
- Matematisk logikk
- Mathematesch Logik
- Mathematical logic
- Mathematical logic
- Mathematische Logik
- Mathematische Logik
- Mengdelære
- Mengdelære
- Mengenlehre
- Mengenlehre
- Mengjafræði
- Mongdarlæra
- Multzo-teoria
- Mx4rvijb4ZwpEbGdrcN5Y29ycA
- Nadharia seti
- Q1166618
- Q12482
- Q97208617
- Rhesymeg mathemateg
- Riyazi məntiq
- Set teorisi
- Set theory
- Set theory
- Set theory
- Simbolinė logika
- Stærðfræðileg rökfræði
- Stelteorie
- Tacartheoiric
- Teoría de conchuntos
- Teoría de conjuntos
- Teoria de conjunts
- Teoría de conxuntos
- Teoría de conxuntos
- Teoria degli insiemi
- Teoria deis ensembles
- Teorìa dj'ansem
- Teoria dos conjuntos
- Teoria e vendosur
- Teoria mnogości
- Teória množín
- Teoria mulțimilor
- Teorie množin
- Teorienn an teskadoù
- Teori himpunan
- Téori impunan
- Teorija množic
- Teorija skupova
- Teorija skupova
- Teorija skupova
- Teori set
- Teorya ng pangkat
- Teuría di cungjuunt
- Teyorya set
- Theoria copiarum
- Theoria de insimules
- Théorie des ensembles
- Toʻplamlar nazariyasi
- Verzamelingenleer
- Wiskundige logica
- Wiskundige logika
- Θεωρία συνόλων
- Μαθηματική λογική
- Жиындар теориясы
- Йышсен теорийĕ
- Күмәклектәр теорияһы
- Күплек теориясе
- Көптүктөр теориясы
- Мантиқи риёзӣ
- Математикăлла логика
- Математикалык логика
- Математикалық логика
- Математическа логика
- Математическая логика
- Математичка логика
- Математичка логика
- Математична логіка
- Матэматычная логіка
- Теория множеств
- Теория множеств
- Теория на множествата
- Теорија на множествата
- Теорија скупова
- Теорія множин
- Тэорыя мностваў
- Բազմությունների տեսություն
- Մաթեմատիկական տրամաբանություն
- געזעמלען טעאריע
- לוגיקה מתמטית
- תורת הקבוצות
- تیۆریی کۆمەڵە
- ریاضیاتی منطق
- ریاضیاتی منطق
- سیٹ تھیوری
- منطق رياضي
- منطق ریاضی
- نظرية المجموعات
- نظریه مجموعهها
- نظریۂ طاقم
- गणितीय तर्कशास्त्र
- संचप्रवाद
- समुच्चय सिद्धान्त
- सेट सिद्धान्त
- গাণিতিক যুক্তিবিজ্ঞান
- সেট তত্ত্ব
- ਸੈਟ ਸਿਧਾਂਤ
- ସେଟ ତତ୍ତ୍ୱ
- கணக் கோட்பாடு
- ഗണസിദ്ധാന്തം
- කුලක වාදය
- ගණිතමය තර්කණය
- คณิตตรรกศาสตร์
- ทฤษฎีเซต
- သင်္ချာယုတ္တိဗေဒ
- အစုသီအိုရီ
- მათემატიკური ლოგიკა
- სიმრავლეთა თეორია
- ሒሳባዊ ሥነ አምክንዮ
- ሥነ ስብስብ
- 数理論理学
- 数理逻辑
- 集合論
- 集合论
- 수리 논리학
- 집합론
- Subject
- Category:Mathematical logic
- Title
- enMathematical logic
- WasDerivedFrom
- Mathematical logic?oldid=1122306722&ns=0
- WikiPageLength
- 69039
- Wikipage page ID
- 19636
- Wikipage revision ID
- 1122306722
- WikiPageUsesTemplate
- Template:Anchor
- Template:Areas of mathematics
- Template:Authority control
- Template:Cite book
- Template:Cite journal
- Template:Cite web
- Template:Computer science
- Template:Efn
- Template:For
- Template:Full citation needed
- Template:Further
- Template:Harvnb
- Template:Hatnote group
- Template:Isbn
- Template:Logic
- Template:Main
- Template:Mathematical logic
- Template:Math topics TOC
- Template:Notelist
- Template:Other uses
- Template:Portal
- Template:Reflist
- Template:Sfn
- Template:Sfnp
- Template:Short description
- Template:Springer
- Template:Use shortened footnotes
- Template:Vanchor