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

(logo) SpeakOUT: 50th Anniversary

Speaking with SpeakOut Boston

We continue our celebration of Pride Month by talking with some of the speakers who volunteer with SpeakOUT Boston. They share their stories with a variety of audiences to foster a better understanding of the LGBTQ+ community, so we thought we’d ask them some questions of our own.