Hochschulschrift
From constructive mathematics to computable analysis via the realizability interpretation
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Darmstadt, Techn. Univ., Diss., 2004
- Schlagwort
-
Konstruktive Mathematik ; Metamathematik ; Berechenbarkeit
- Urheber
- URN
-
urn:nbn:de:tuda-tuprints-5285
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:56 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
Ähnliche Objekte (12)
Principles of Constructive Mathematics
Constructive reverse mathematics : Habilitationsschrift
Foundations of constructive mathematics : metamathematical studies
Do the Math : Making Mathematics in Wikipedia Computable
Mathematical Pluralism: Constructive Mathematics and Economic Theory
Introduction to my book "Essays in constructive mathematics"
Computable functional analysis : compact operators on computable banach spaces and computable best approximation
Constructive proofs or constructive statements?
Computable Short Proofs
Constructive combinatorics
Constructive analysis
Constructive approximation
Principles of Constructive Mathematics
Constructive reverse mathematics : Habilitationsschrift
Foundations of constructive mathematics : metamathematical studies
Do the Math : Making Mathematics in Wikipedia Computable
Mathematical Pluralism: Constructive Mathematics and Economic Theory
Introduction to my book "Essays in constructive mathematics"
Computable functional analysis : compact operators on computable banach spaces and computable best approximation
Constructive proofs or constructive statements?
Computable Short Proofs
Constructive combinatorics
Constructive analysis
Constructive approximation
Principles of Constructive Mathematics
Constructive reverse mathematics : Habilitationsschrift
Foundations of constructive mathematics : metamathematical studies
Do the Math : Making Mathematics in Wikipedia Computable
Mathematical Pluralism: Constructive Mathematics and Economic Theory
Introduction to my book "Essays in constructive mathematics"
Computable functional analysis : compact operators on computable banach spaces and computable best approximation
Constructive proofs or constructive statements?
Computable Short Proofs
Constructive combinatorics
Constructive analysis