AHA-BUCH

One Hundred Years of Intuitionism (1907-2007)
-14 %
Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt.

One Hundred Years of Intuitionism (1907-2007)

The Cerisy Conference
 eBook
Sofort lieferbar | Lieferzeit:3-5 Tage I

Unser bisheriger Preis:ORGPRICE: 138,95 €

Jetzt 118,99 €*

ISBN-13:
9783764386535
Einband:
eBook
Erscheinungsdatum:
17.07.2008
Seiten:
422
Autor:
Mark van Atten
Serie:
Forschungen in Limyra
eBook Typ:
PDF
eBook Format:
PDF
Kopierschutz:
1 - PDF Watermark
Sprache:
Englisch
Beschreibung:

"With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century; and since the seventies, notably its views on logic have become important also outside foundational studies, with the development of theoretical computer science.
Brouwer and Brouwerian intuitionism.- 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.- Kindred spirits.- Remarks on the supposed french' semi-' or 'pre-intuitionism'.- Poincaré: intuitionism, intuition, and convention.- Some of Julius König's mathematical dreams in his New Foundations of Logic, Arithmetic, and Set Theory.- Gödel, constructivity, impredicativity, and feasibility.- Lorenzen's operative justification of intuitionistic logic.- Mathematical perspectives.- 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.- A bibliography of L.E.J. Brouwer.

Kunden Rezensionen

Zu diesem Artikel ist noch keine Rezension vorhanden.
Helfen sie anderen Besuchern und verfassen Sie selbst eine Rezension.