Sachakte
Principles of Constructive Mathematics
Enthält: ein komplettes Vorlesungsmanuskript und das Skript von zwei Einzelvorlesungen zur mathematischen Logik. Bei GK 3-1-1 und -2 handelt es sich um den hs. ergänzten masch. Durchschlag des Skriptes einer Lecture 3 und einer Lecture 6 zur mathematischen Logik. Die Stücke GK 3-1-3 bis -5 sind hektographierte Kopien eines hs. ergänzten masch. Vorlesungsmanuskriptes zur Vorlesung "Principles of Constructive Mathematics", die Kreisel 1958/59 in Stanford hielt. Insgesamt handelt es sich um 80 Vorlesungseinheiten. GK 3-1-1 umfaßt die Einzelvorlesungen 1 bis 30, GK 3-1-2 die Einzelvorlesungen 31 bis 47 und GK 3-1-3 die Einzelvorlesungen 48 bis 80.
- Reference number
-
Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 3-1
- Extent
-
5 Stücke (399 Bl.)
- Context
-
Georg Kreisel >> Pittsburgh-Teil >> Lecture Notes
- Holding
-
PAKN, GK Georg Kreisel
- Date of creation
-
1958-1959
- Other object pages
- Last update
-
01.03.2023, 7:50 AM CET
Data provider
This object is provided by:
Archive der Universität Konstanz. If you have any questions about the object, please contact the data provider.
Archive der Universität Konstanz. If you have any questions about the object, please contact the data provider.
Object type
- Sachakte
Time of origin
- 1958-1959
Other Objects (12)
Constructive reverse mathematics : Habilitationsschrift
Foundations of constructive mathematics : metamathematical studies
Mathematical Pluralism: Constructive Mathematics and Economic Theory
Principles and practice of mathematics
Introduction to my book "Essays in constructive mathematics"
From constructive mathematics to computable analysis via the realizability interpretation
Constructive proofs or constructive statements?
Relations between classes of constructive functionals
Diana Schmidt - Topics in Mathematica Logic, characterisations of small constructive ordinals, constructive finite number classes;
GKE - voneinander lernen: Grundlagen Konstruktives Entwerfen : = Learning from each other: principles of constructive design
Techniques of Constructive Analysis
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Constructive reverse mathematics : Habilitationsschrift
Foundations of constructive mathematics : metamathematical studies
Mathematical Pluralism: Constructive Mathematics and Economic Theory
Principles and practice of mathematics
Introduction to my book "Essays in constructive mathematics"
From constructive mathematics to computable analysis via the realizability interpretation
Constructive proofs or constructive statements?
Relations between classes of constructive functionals
Diana Schmidt - Topics in Mathematica Logic, characterisations of small constructive ordinals, constructive finite number classes;
GKE - voneinander lernen: Grundlagen Konstruktives Entwerfen : = Learning from each other: principles of constructive design
Techniques of Constructive Analysis
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Constructive reverse mathematics : Habilitationsschrift
Foundations of constructive mathematics : metamathematical studies
Mathematical Pluralism: Constructive Mathematics and Economic Theory
Principles and practice of mathematics
Introduction to my book "Essays in constructive mathematics"
From constructive mathematics to computable analysis via the realizability interpretation
Constructive proofs or constructive statements?
Relations between classes of constructive functionals
Diana Schmidt - Topics in Mathematica Logic, characterisations of small constructive ordinals, constructive finite number classes;
GKE - voneinander lernen: Grundlagen Konstruktives Entwerfen : = Learning from each other: principles of constructive design
Techniques of Constructive Analysis