- Frege (1879).
*Begriffsschrift*, a formula language, modeled upon that of arithmetic, for pure thought - Peano (1889). The principles of arithmetic, presented by a new method
- Dedekind (1890a). Letter to Keferstein
- Burali-Forti (1897 and 1897a). A question on transfinite numbers
*and*On well-ordered classes - Cantor (1899). Letter to Dedekind
- Padoa (1900). Logical introduction to any deductive theory
- Russell (1902). Letter to Frege
- Frege (1902). Letter to Russell
- Hilbert (1904). On the foundations of logic and arithmetic
- Zermelo (1904). Proof that every set can be well-ordered
- Richard (1905). The principles of mathematics and the problem of sets
- König (1905a). On the foundations of set theory and the continuum problem
- Russell (1908a). Mathematical logic as based on the theory of types
- Zermelo (1908). A new proof of the possibility of a well-ordering
- Zermelo (l908a). Investigations in the foundations of set theory I
- Whitehead and Russell (1910). Incomplete symbols: Descriptions
- Wiener (1914). A simplification of the logic of relations
- Löwenheim (1915). On possibilities in the calculus of relatives
- Skolem (1920). Logico-combinatorial investigations in the satisfiability or provability of mathematical propositions: A simplified proof of a theorem by L. Löwenheim and generalizations of the 18.theorem
- Post (1921). Introduction to a general theory of elementary propositions
- Fraenkel (1922b). The notion "definite" and the independence of the axiom of choice
- Skolem (1922). Some remarks on axiomatized set theory
- Skolem (1923). The foundations of elementary arithmetic established by means of the recursive mode of thought, without the use of apparent variables ranging over infinite domains
- Brouwer (1923b, 1954, and 1954a). On the significance of the principle of excluded middle in mathematics, especially in function theory, Addenda and corrigenda,
*and*Further addenda and corrigenda - von Neumann (1923). On the introduction of transfinite numbers
- Schönfinkel (1924). On the building blocks of mathematical logic
- filbert (1925). On the infinite
- von Neumann (1925). An axiomatization of set theory
- Kolmogorov (1925). On the principle of excluded middle
- Finsler (1926). Formal proofs and undecidability
- Brouwer (1927). On the domains of definition of functions
- filbert (1927). The foundations of mathematics
- Weyl (1927). Comments on Hilbert’s second lecture on the foundations of mathematics
- Bernays (1927). Appendix to Hilbert’s lecture "The foundations of mathematics"
- Brouwer (1927a). Intuitionistic reflections on formalism
- Ackermann (1928). On filbert’s construction of the real numbers
- Skolem (1928). On mathematical logic
- Herbrand (1930). Investigations in proof theory: The properties of true propositions
- Gödel (l930a). The completeness of the axioms of the functional calculus of logic
- Gödel (1930b, 1931, and l931a). Some metamathematical results on completeness and consistency, On formally undecidable propositions of
*Principia mathematica*and related systems I,*and*On completeness and consistency - Herbrand (1931b). On the consistency of arithmetic
- References
- Index

##### SOURCE BOOKS IN THE HISTORY OF THE SCIENCES

# From Frege to Gödel

## A Source Book in Mathematical Logic, 1879-1931

#### Product Details

PAPERBACK

$50.50 • £40.95 • €45.50

ISBN 9780674324497

Publication Date: 01/15/2002