The mathematical works of Bernard Bolzano
Author(s)
Bibliographic Information
The mathematical works of Bernard Bolzano
Oxford University Press, 2004
- : hbk
Available at 12 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
BOL||11||4( )04065499
Note
Translated from the German
Selected works of Bernard Bolzano: p. 679-684
Includes bibliographical references (p. 685-689) and indexes
Description and Table of Contents
Description
Bernard Bolzano (1781-1848, Prague) was a remarkable thinker and reformer far ahead of his time in many areas, including philosophy, theology, ethics, politics, logic, and mathematics.
Aimed at historians and philosophers of both mathematics and logic, and research students in those fields, this volume contains English translations, in most cases for the first time, of many of Bolzano's most significant mathematical writings.
These are the primary sources for many of his celebrated insights and anticipations, including: clear topological definitions of various geometric extensions; an effective statement and use of the Cauchy convergence criterion before it appears in Cauchy's work; proofs of the binomial theorem and the intermediate value theorem that are more general and rigorous than previous ones; an impressive theory of measurable numbers (a version of real numbers), a theory of functions including the
construction of a continuous, non-differentiable function (around 1830); and his tantalising conceptual struggles over the possible relationships between infinite collections.
Bolzano identified an objective and semantic connection between truths, his so-called 'ground-consequence' relation that imposed a structure on mathematical theories and reflected careful conceptual analysis. This was part of his highly original philosophy of mathematics that appears to be inseparable from his extraordinarily fruitful practical development of mathematics in ways that remain far from being properly understood, and may still be of relevance today.
Table of Contents
- PART I: GEOMETRY AND FOUNDATIONS
- 1.1 Elementary Geometry (1804)
- 1.2 A Better-Grounded Presentation of Mathematics (1810)
- PART II: EARLY ANALYSIS
- 2.1 The Binomial Theorem (1816)
- 2.2 A Purely Analytic Proof (1817)
- 2.3 Three Problems of Rectification, Complanation and Cubature (1817)
- PART III: LATER ANALYSIS AND THE INFINITE
- 3.1 Infinite Quantity Concepts (1830s)
- 3.2 Theory of Functions (1830s)
- 3.3 Paradoxes of the Infinite (posthumous 1851)
by "Nielsen BookData"