Principles of Mathematical Logic is the 1950[1] American translation of the 1938 second edition[2] of David Hilbert's and Wilhelm Ackermann's classic text Grundzüge der theoretischen Logik,[3] on elementary mathematical logic. The 1928 first edition thereof is considered the first elementary text clearly grounded in the formalism now known as first-order logic (FOL). Hilbert and Ackermann also formalized FOL in a way that subsequently achieved canonical status. FOL is now a core formalism of mathematical logic, and is presupposed by contemporary treatments of Peano arithmetic and nearly all treatments of axiomatic set theory.
The 1928 edition included a clear statement of the Entscheidungsproblem (decision problem) for FOL, and also asked whether that logic was complete (i.e., whether all semantic truths of FOL were theorems derivable from the FOL axioms and rules). The former problem was answered in the negative first by Alonzo Church and independently by Alan Turing in 1936. The latter was answered affirmatively by Kurt Gödel in 1929.
In its description of set theory, mention is made of Russell's paradox and the Liar paradox (page 145). Contemporary notation for logic owes more to this text than it does to the notation of Principia Mathematica, long popular in the English speaking world.
^Curry, Haskell B. (1953). "Review: Grundzüge der theoretischen Logik (3rd edition)" (PDF). Bull. Amer. Math. Soc. 59 (3): 263–267. doi:10.1090/s0002-9904-1953-09701-4. The translation of the 1938 2nd German edition into English was published in 1950, while the 3rd German edition was published in 1949.
^Langford, C. H (1930). "Review of Grundzüge der theoretischen Logik by D. Hilbert and W. Ackermann" (PDF). Bull. Amer. Math. Soc. 36 (1): 22–25. doi:10.1090/s0002-9904-1930-04859-4.
and 23 Related for: Principles of Mathematical Logic information
PrinciplesofMathematicalLogic is the 1950 American translation of the 1938 second edition of David Hilbert's and Wilhelm Ackermann's classic text Grundzüge...
Mathematics is Symbolic Logic is one of the greatest discoveries of our age; and when this fact has been established, the remainder of the principles...
not support it. Quine, W.V. (1981): MathematicalLogic, §6 Hintikka, Jaakko (1998), The PrinciplesofMathematics Revisited, Cambridge University Press...
Mathematicallogic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory...
method of proof used in mathematics, a hearkening back to the Greek tradition. The development of the modern "symbolic" or "mathematical" logic during...
English translation: David Hilbert and Wilhelm Ackermann. PrinciplesofMathematicalLogic. AMS Chelsea Publishing, Providence, Rhode Island, USA, 1950...
mathematician who worked in mathematicallogic and set theory. Although Skolem's father was a primary school teacher, most of his extended family were farmers...
introductory mathematicallogic into a text, PrinciplesofMathematicalLogic. This text contained the first exposition ever of first-order logic, and posed...
Appendix:Glossary oflogic in Wiktionary, the free dictionary. This is a glossary oflogic. Logic is the study of the principlesof valid reasoning and...
1930. Principia Mathematica The PrinciplesofMathematicsLogicism Russell, Bertrand (1919). Introduction to Mathematical Philosophy. London: George Allen...
theorems of his "algebra oflogic"; in fact, he named his second logic book An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories...
In mathematicallogic, algebraic logic is the reasoning obtained by manipulating equations with free variables. What is now usually called classical algebraic...
the use oflogic, for example, with singular terms and existential quantifiers. An important question in mathematics is whether all mathematical truths...
Discrete mathematics is the study ofmathematical structures that can be considered "discrete" (in a way analogous to discrete variables, having a bijection...
chemistry; it concerns itself principally with the mathematical modeling of chemical phenomena. Mathematical chemistry has also sometimes been called computer...
Transactions of the American Mathematical Society (Sheffer 1913). A similar case applies to the NOR function, and this is referred to as NOR logic. A NAND...
ofmathematics. Mathematical competitions (such as those sponsored by mathematical associations) are also categorized under recreational mathematics....
aspects of basic and advanced mathematics, methodology, mathematical statements, integrals, general concepts, mathematical objects, and reference tables...
predicates. Deviant logics, in contrast to these forms of extended logics, reject some of the fundamental principlesof classical logic and are often seen...
an objective reality. That is, logic and mathematics are not considered analytic activities wherein deep properties of objective reality are revealed...
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical...