ISBN:
9783764386535
Language:
English
Pages:
Online-Ressource (digital)
Series Statement:
Publications des Archives Henri Poincaré / Publications of the Henri Poincaré Archives
Series Statement:
SpringerLink
Series Statement:
Bücher
Parallel Title:
Buchausg. u.d.T. Cerisy Conference (2007 : Cerisy-la-Salle) One hundred years of intuitionism (1907-2007)
Keywords:
Science History
;
Humanities
;
Science, general
;
Humanities
;
Science History
;
Konferenzschrift 2007
;
Bibliografie
;
Intuitionistische Mathematik
;
Brouwer, Luitzen E. J. 1881-1966
;
Intuitionistische Mathematik
;
Brouwer, Luitzen E. J. 1881-1966
Abstract:
Gerhard Heinzmann
Abstract:
With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century. This book aims to review and complete the historical account of intuitionism; to present philosophical work on intuitionism; and, to give examples of technical advances and applications of intuitionism
Description / Table of Contents:
Another look at Brouwer's dissertation; Brouwerian infinity; The new intuitionism; Truth and experience of truth; The proper explanation of intuitionistic logic: on Brouwer's demonstration of the Bar Theorem; The intersection of intuitionism (Brouwer) and phenomenology (Husserl); Brouwer on 'hypotheses' and the middle Wittgenstein; Brouwer's notion of intuition and theory of knowledge by presence; Buddhist models of the mind and the common core thesis on mysticism; Remarks on the supposed french' semi-' or 'pre-intuitionism'; Poincaré: intuitionism, intuition, and convention
Description / Table of Contents:
Some of Julius König's mathematical dreams in his New Foundations of Logic, Arithmetic, and Set TheoryGödel, constructivity, impredicativity, and feasibility; Lorenzen's operative justification of intuitionistic logic; The Hilbert-Brouwer controversy resolved?; Proof theory and Martin-Löf Type Theory; Some remarks on linear logic; Two applications of dynamic constructivism: Brouwer's continuity principle and choice sequences in formal topology; A reverse look at Brouwer's Fan Theorem; Some applications of Brouwer's Thesis on Bars; Concluding remarks at the Cerisy conference
Description / Table of Contents:
A bibliography of L.E.J. Brouwer
Note:
Contains essays from the meeting 1907-2007: one hundred years of intuitionism, held in Cerisy, France, from June 5-12, 2007
,
Includes bibliographical references (p. [391]-416) and index -- "A bibliography of L.E.J. Brouwer": p. [343]-390
DOI:
10.1007/978-3-7643-8653-5
URL:
Volltext
(lizenzpflichtig)