Beschreibung
Intuitionism is one of the main foundations for mathematics proposed in the twentieth century and its views on logic have also notably become important with the development of theoretical computer science. This book reviews and completes the historical account of intuitionism. It also presents recent philosophical work on intuitionism and gives examples of new technical advances and applications. It brings together 21 contributions from today's leading authors on intuitionism.
Inhalt
Brouwer and Brouwerian intuitionism.- Another look at Brouwers dissertation.- Brouwerian infinity.- The new intuitionism.- Truth and experience of truth.- The proper explanation of intuitionistic logic: on Brouwers demonstration of the Bar Theorem.- The intersection of intuitionism (Brouwer) and phenomenology (Husserl).- Brouwer on hypotheses and the middle Wittgenstein.- Brouwers 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önigs mathematical dreams in his New Foundations of Logic, Arithmetic, and Set Theory.- Gödel, constructivity, impredicativity, and feasibility.- Lorenzens operative justification of intuitionistic logic.- Mathematical perspectives.- The Hilbert-Brouwer controversy resolved?.- Proof theory and Martin-Löf Type Theory.- Some remarkson linear logic.- Two applications of dynamic constructivism: Brouwers continuity principle and choice sequences in formal topology.- A reverse look at Brouwers Fan Theorem.- Some applications of Brouwers Thesis on Bars.- Concluding remarks at the Cerisy conference.- A bibliography of L.E.J. Brouwer.
Informationen zu E-Books
„E-Book“ steht für digitales Buch. Um diese Art von Büchern lesen zu können wird entweder eine spezielle Software für Computer, Tablets und Smartphones oder ein E-Book Reader benötigt. Da viele verschiedene Formate (Dateien) für E-Books existieren, gilt es dabei, einiges zu beachten.
Von uns werden digitale Bücher in drei Formaten ausgeliefert. Die Formate sind EPUB mit DRM (Digital Rights Management), EPUB ohne DRM und PDF. Bei den Formaten PDF und EPUB ohne DRM müssen Sie lediglich prüfen, ob Ihr E-Book Reader kompatibel ist. Wenn ein Format mit DRM genutzt wird, besteht zusätzlich die Notwendigkeit, dass Sie einen kostenlosen Adobe® Digital Editions Account besitzen. Wenn Sie ein E-Book, das Adobe® Digital Editions benötigt herunterladen, erhalten Sie eine ASCM-Datei, die zu Digital Editions hinzugefügt und mit Ihrem Account verknüpft werden muss. Einige E-Book Reader (zum Beispiel PocketBook Touch) unterstützen auch das direkte Eingeben der Login-Daten des Adobe Accounts – somit können diese ASCM-Dateien direkt auf das betreffende Gerät kopiert werden.
Da E-Books nur für eine begrenzte Zeit – in der Regel 6 Monate – herunterladbar sind, sollten Sie stets eine Sicherheitskopie auf einem Dauerspeicher (Festplatte, USB-Stick oder CD) vorsehen. Auch ist die Menge der Downloads auf maximal 5 begrenzt.
