Hochschulschrift
From constructive mathematics to computable analysis via the realizability interpretation
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Darmstadt, Techn. Univ., Diss., 2004
- Keyword
-
Konstruktive Mathematik ; Metamathematik ; Berechenbarkeit
- Creator
- URN
-
urn:nbn:de:tuda-tuprints-5285
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:56 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
Other Objects (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