Brouwer's intuitionism
著者
書誌事項
Brouwer's intuitionism
（Studies in the history and philosophy of mathematics, v. 2）
North-Holland , Distributors for the USA and Canada, Elsevier Science Pub. Co., 1990
大学図書館所蔵 件 / 全21件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. [507]-516
Includes index
内容説明・目次
内容説明
Dutch Mathematician Luitzen Egbertus Jan Brouwer (1881-1966) was a rebel. His doctoral thesis... was the manifesto of an angry young man taking on the mathematical establishment on all fronts. In a short time he established a world-wide reputation for himself; his genius and originality were acknowledged by the great mathematicians of his time... The Intuitionist-Formalist debate became a personal feud between the mathematical giants Brouwer and Hilbert, and ended in 1928 with the expulsion of Brouwer from the editorial board of the Mathematische Annalen by dictat of Hilbert. Forsaken, humiliated and disillusioned Brouwer abandoned his Intuitionist Programme and withdrew into silence just about the time when the Formalist Programme appeared to be fundamentally flawed and major opposition collapsed...This book attempts to follow the `genetic' development of Brouwer's ideas, linking the man Brouwer, his Weltanschauung, his philosophy of mathematics and his reconstruction of mathematics. Brouwer's own writings, his publications as well as his unpublished papers, are its immediate and main source of reference.It is the second volume in the new series Studies in the History and Philosophy of Mathematics, and is written for the specialist as well as for the general reader interested in mathematics and the interpretation of its status and function.
目次
The Brouwer Bibliography. Publications. Unpublished Papers.
Brouwer, Life and Work. Childhood and Student Years. Post-Graduate Study. Life, Art and Mysticism. The Foundations of Mathematics. Towards an Academic Career. Intuitionism and Formalism. The Signific Interlude. The Second Act of Intuitionism. The Turbulent Years. The Brouwer Logic. The Reconstruction of Analysis. The Unfinished Books. The Brouwer-Hilbert Controversy and the Annalen Affair. The Silent Years. Post-War Lectures and Final Years.
Brouwer's Philosophy. Introduction. Character and Early Background. Philosophy, Metaphysics and Ideology. Mysticism. God and the Moral Principle. Kant and the French Intuitionist Tradition. French Mathematical Intuitionism. The Self, Consciousness and Mind. Causal Attention, Will and Cunning Activity. The Phase of Social Acting and Language.
Brouwer's Philosophy of Mathematics. The Primordial Intuition of Time. Intuitive Thinking and Mathematics. The Nature of Mathematics. Reflection on the Nature of Mathematics. Constructiveness and Existence. The Subject and the Intersubjectivity of Mathematics. The Application of Mathematics.
Language and Logic. Society and Communication. The Purpose and Origin of Language. Language and Pure Thought. The Programme of Reform. Brouwerian Semantic Theory. Brouwer's Analysis of Mathematical and Linguistic Activity. Brouwer's Analysis of Logic. Brouwer Negation. The Refutation of the PEM. Logical Negotiation and `Brouwer Logic'. The Crisis in Brouwer's Intuitionism. The Formalization of Mathematics.
Brouwer's Intuitionist Mathematics. Brouwerian Separable Mathematics. The Brouwer Mathematical Continuum.
Appendices.
Bibliography. Index.
「Nielsen BookData」 より