This book examines the role of acts of choice in classical and intuitionistic mathematics. Featuring fifteen papers both new and previously published it offers a fresh analysis of concepts developed by the mathematician and philosopher L.E.J. Brouwer, the founder of intuitionism.
The author explores Brouwers idealization of the creative subject as the basis for intuitionistic truth, and in the process he also discusses an important, related question: to what extent does the intuitionistic perspective succeed in avoiding the classical realistic notion of truth? The papers detail realistic aspects in the idealization of the creative subject and investigate the hidden role of choice even in classical logic and mathematics, covering such topics as bar theorem, type theory, inductive evidence, Beth models, fallible models, and more. In addition, the author offers a critical analysis of the response of key mathematicians and philosophers to Brouwers work. These figures includeMichael Dummett, Saul Kripke, Per Martin-Löf, and Arend Heyting.
This book appeals to researchers and graduate students with an interest in philosophy of mathematics, linguistics, and mathematics.
Brouwer, Dummett and the bar theorem.- Creative subject and bar theorem.- Natural intuitionistic semantics and generalized Beth semantics.- Connection between the principle of inductive evidence and the bar theorem.- On the Brouwerian concept of negative continuity.- Classical and intuitionistic semantical groundedness.- Brouwers equivalence between virtual and inextensible order.- An intuitionistic notion of hypothetical truth for which strong completeness intuitionistically holds.- Propositions and judgements in Martin-Löf.- Negationless Intuitionism.- Temporal and atemporal truth in intuitionistic mathematics.- Arbitrary reference in mathematical reasoning.- The priority of arithmetical truth over arithmetical provability.- The impredicativity of the intuitionistic meaning of logical constants.- The intuitionistic meaning of logical constants and fallible models.
„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 "Adobe 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.
