Computer Programming and Formal Systems (eBook)
160 Seiten
Elsevier Science (Verlag)
978-0-08-095746-3 (ISBN)
Computer Programming and Formal Systems
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
| Erscheint lt. Verlag | 1.4.2000 |
|---|---|
| Sprache | englisch |
| Themenwelt | Informatik ► Software Entwicklung ► User Interfaces (HCI) |
| Informatik ► Theorie / Studium ► Algorithmen | |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| Naturwissenschaften | |
| Technik | |
| ISBN-10 | 0-08-095746-3 / 0080957463 |
| ISBN-13 | 978-0-08-095746-3 / 9780080957463 |
| Haben Sie eine Frage zum Produkt? |
PDF (Adobe DRM)Kopierschutz: Adobe-DRM
Adobe-DRM ist ein Kopierschutz, der das eBook vor Mißbrauch schützen soll. Dabei wird das eBook bereits beim Download auf Ihre persönliche Adobe-ID autorisiert. Lesen können Sie das eBook dann nur auf den Geräten, welche ebenfalls auf Ihre Adobe-ID registriert sind.
Details zum Adobe-DRM
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen eine
Geräteliste und zusätzliche Hinweise
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich
