Cover: From Frege to Gödel in PAPERBACK

From Frege to Gödel

A Source Book in Mathematical Logic, 1879-1931

Add to Cart

Product Details


$50.50 • £40.95 • €45.50

ISBN 9780674324497

Publication Date: 01/15/2002


680 pages

6-1/2 x 10 inches

1 halftone

Source Books in the History of the Sciences


Related Subjects

  • 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

Recent News

Black lives matter. Black voices matter. A statement from HUP »

From Our Blog

Jacket: An Inquiry into Modes of Existence: An Anthropology of the Moderns, by Bruno Latour, translated by Catherine Porter, from Harvard University Press

Honoring Latour

In awarding Bruno Latour the 2021 Kyoto Prize for Arts and Philosophy, the Inamori Foundation said he has “revolutionized the conventional view of science” and “his philosophy re-examines ‘modernity’ based on the dualism of nature and society.” Below is an excerpt from An Inquiry into Modes of Existence: An Anthropology of the Moderns. For more than twenty years, scientific and technological controversies have proliferated in number and scope, eventually reaching the climate itself. Since geologists are beginning to use the term “Anthropocene” to designate the era of Earth’s history that follows the Holocene