Computer Programming and Formal Systems (eBook)

Front Cover 1
Constructivity in Mathematics 4
Copyright Page 5
Contents 8
Preface 6
Chapter 1. Über eine natürliche Erweiterung des Relationen- kalküls 10
Chapter 2. Remarks on Intuitionistic Logic 24
Chapter 3. Quasi-constructive Foundations for Mathematics 35
Chapter 4. Recursive Analysis 46
Chapter 5. Some Approaches to constructive Analysis 52
Chapter 6. Zum Inversionsprinzip der operativen Logik 71
Chapter 7. Some Remarks on Intuitionism 78
Chapter 8. An Argument against the Plausibility of Church’s Thesis 81
Chapter 9. Countable Functionals 90
Chapter 10. Interpretation of Analysis by means of constructive Functionals of finite Types 110
Chapter 11. Quelques Procédés de Définition en Topologie récursive 138
Chapter 12. Constructive Truth 168
Chapter 13. Über die Begriffc “Beweis” und ‘‘Definition” 178
Chapter 14. On various Degrees of Constructivism 187
Chapter 15. Finittely representable Functions 204
Chapter 16. Negation and Separation of Concepts in constructive Systems 217
Chapter 17. Rekursivität und Konstruktivität 235
Chapter 18. Algebraische Charakterisierung der intuitionistischen Logik mit starker Negation 243
Chapter 19. Formalisierte intuitionistische elementare Theorien 250
Chapter 20. Der Heytingsche Präikatenkalkiil und metrische Räume 259
Chapter 21. Der Satz vom Maximum in der rekursiven Analysis 263
Chapter 22. Von operativen Modellen der axiomatischen Mengenlehre 275
Chapter 23. Computable Functionals of arbitrary finite Type1 290
Chapter 24. Realizability 294
Chapter 25. Partial recursive Functionals and effective Operations 299