Provability, Computability and Reflection (eBook)
132 Seiten
Elsevier Science (Verlag)
978-0-08-095737-1 (ISBN)
Provability, Computability and Reflection
Front Cover 1
Intuitionism: An Introduction 4
Copyright Page 5
Contents 6
Chapter I. Disputation 10
Chapter II. Arithmetic 22
1. Natural numbers 22
2. Real number-generators 25
3. Respectable real numbers 36
4. Limits of sequences of real number-generators 39
Chapter III. Spreads and species 41
1. Spreads 41
2. Species 46
3. Arithmetic of real numbers 49
4. Finitary spreads (Fans) 51
Chapter IV. Algebra 58
1. Algebraic fields 58
2. Linear equations 59
3. Linear dependence 63
Chapter V. Plane pointspecies 66
1. General notions 66
2. Located pointspecies 73
Chapter VI. Measure and integration 77
1. Measurable regions and region-complements 77
The Brouwer integral 81
2. Bounded measurable functions 81
3. Measurable pointspecies 87
4. The integral as the measure of a point-species 92
5. Unbounded functions 94
6. Hilbert space 100
7. Derivation 105
VII. Logic 106
1. The propositional calculus 106
2. The first order predicate calculus 111
3. Applications 114
Chapter VIII. Controversial subjects 124
1. Infinitely proceeding sequences, depending upon the solving of problems 124
2. Negationless mathematics 129
Bibliography 132
Reading suggestions 138
Index 139
Glossary of symbols 142
| 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-095737-4 / 0080957374 |
| ISBN-13 | 978-0-08-095737-1 / 9780080957371 |
| 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
