La librairie des livres interdits

Marc Levy

Description

English summary: The notes of part 22 of the Miscellanea Mathematica were written between July of 1830 and August of 1832. Bolzanos natural philosophy of his later years was based on the assumption that the entire universe had a nuclear particle structure. Unlike the classic atomist, he believed that there was an atom at every point in space. Thus there is no vacuum. This means that no substance is isolated. This made him question the opposite view which he had expressed previously in the Athanasia. His refutation in the second edition of the Athanasia is given in detail in the Miscellanea Mathematica. At the beginning of the Miscellanea Mathematica 22, he dealt with the definition of the concepts of space and time. According to Bolzano, the traditional definitions of the concepts of line, surface and solid were in need of improvement, and this induced him to give a detailed explanation. During the years of his reclusiveness after his dismissal in 1819 from his position as head of the department for religious studies at the University of Prague, Bolzano had been studying the logical foundations of mathematics and the foundations of logic. These studies were reflected in his theory of science. When he returned to pure mathematics after about a decade, he began work on a new encyclopedic work, the Grossenlehre, (Theory of Quantities). The notes in this volume contain a precisely structured plan of this work from the year 1831. In explaining the first arithmetical terms, Bolzano tries to avoid abstract terms. Some abstract terms are imaginary. Referring to contemporary scientific journals, he gives a report on imaginary and irrational quantities in the theory of numbers. On the basis of Legendres discussion of Galois problem of the solvability of algebraic equations, Bolzano suggests a simple method. He gives a detailed account of Gergonnes geometric treatment of Newtons method of finding the roots of a numerical equation by approximation and provides a counterexample for Fouriers assertion that a characteristic of the existence of the real roots of an equation also applies to transcendental roots. Furthermore he tries to find a simpler formulation of Cauchys proof that each polynomial has a complex root. Bolzano studies the proof provided by several famous analytic theorems. He mentions Cauchys simple and strict proof of Taylors theorem and Crelles attempt to expand this within the context of general theory of analytic functions. He studies Cauchys theory of the infinite, examines several theorems and works his way around to the theory of tangency and discusses infinite series. There are no infinite large and small numbers, these terms are meaningless. The pivotal concepts of continuity and continuous functions are dealt with in several places. What is particularly remarkable is the discussion of the determinability of the functions. There was deemed to be a discrepancy between Bolzanos theory of functions and his paradoxes of the infinite. One way to eliminate this discrepancy would be to find an exact definition of the concept of determinability. A continuous function f is exactly determinable when the difference (x+?x) -f(x) retains the same sign within certain values of x irregardless of how close they may be. Thus a determinable function is a continuous, piecewise monotonic function. German description: Die Notizen des Heftes 22 der Miscellanea Mathematica sind zwischen Juli 1830 und August 1832 entstanden. Bolzanos spate Naturphilosophie basiert auf der Annahme, dass das ganze Weltall eine atomare Teilchenstruktur hat. Im Unterschied zu den klassischen Atomisten war er der Ansicht, dass es in jedem Punkt des Raumes ein Atom gebe. Es existieren daher weder Vakuum noch isolierte Substanzen. Diese neuen Erkenntnisse veranlassten ihn, seine fruhere Auffassung zu hinterfragen. Sein Gegenargument wird in der Miscellanea Mathematica ausfuhrlich dargestellt. In seinen Jahren der Zuruckgezogenheit beschaftigte sich Bolzano mit den logischen Grundlagen der Mathematik und der Logik. Diese Untersuchungen haben in seiner Wissenschaftslehre ihren Niederschlag gefunden. Als er nach etwa einem Jahrzehnt zur reinen Mathematik zuruckkehrte, begann er ein neues, enzyklopadisches Werk, die Grossenlehre, zu entwerfen. In den vorliegenden Notizen findet sich ein genau gegliederter Plan dieses Werkes aus dem Jahr 1831.

Spécifications