SOURCE BOOKS IN THE HISTORY OF THE SCIENCES
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

PAPERBACK

$50.50 • £40.95 • €45.50

ISBN 9780674324497

Publication Date: 01/15/2002

Short

680 pages

6-1/2 x 10 inches

1 halftone

Source Books in the History of the Sciences

World

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: The Cabinet: George Washington and the Creation of an American Institution, by Lindsay Chervinsky, from Harvard University Press

Why You Should Participate in an (Online) Book Club

Online book clubs can be a rewarding way to connect with readers, Lindsay Chervinsky discovered, when she was invited to join one to discuss her book, The Cabinet: George Washington and the Creation of an American Institution. Since my book was published in April 2020, I’ve discovered that my work appeals to three main audiences. First, the general readers who are enthusiastic about history, attend virtual events, and tend to support local historic sites. Second, readers who are curious about our government institutions and the current political climate and are looking for answers about its origins. And third, history, social studies, and government teachers…