Notes on constructive mathematics:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Stockholm
Almqvist & Wiksell
1970
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 109 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV002042207 | ||
| 003 | DE-604 | ||
| 005 | 20090729 | ||
| 007 | t | ||
| 008 | 890928s1970 d||| |||| 00||| eng d | ||
| 035 | |a (OCoLC)107693 | ||
| 035 | |a (DE-599)BVBBV002042207 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-29 |a DE-29T |a DE-19 |a DE-706 | ||
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 164 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 100 | 1 | |a Martin-Löf, Per |d 1942- |e Verfasser |0 (DE-588)122298624 |4 aut | |
| 245 | 1 | 0 | |a Notes on constructive mathematics |c Per Martin-Löf |
| 264 | 1 | |a Stockholm |b Almqvist & Wiksell |c 1970 | |
| 300 | |a 109 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Mathématiques - Philosophie | |
| 650 | 4 | |a Constructive mathematics | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001335541&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001335541 | ||
Datensatz im Suchindex
| _version_ | 1804116492540706816 |
|---|---|
| adam_text | CONTENTS
Introduction 9
Chapter l. Recursive functions 15
1. Constructive objects 15
2. Canonical systems 17
3. Recursively enumerable sets and relations 18
4. The equation calculus 23
5. Turing machines 25
6. Church s thesis 28
7. The universal system 30
8. Enumeration theorem for partial recursive functions 34
9. Iteration theorems 36
10. Recursive inseparability 37
11. Kleene s fixed point theorem 38
Chapter 2. Elementary constructive analysis 40
12. Neighbourhoods, approximations and constructive points ... 40
13. Richard s paradox and the non enumerability of the continuum. 43
14. Computable real numbers 45
15. Undecidability results for computable real numbers 47
16. Specker s sequence 50
17. Open and closed sets 51
18. Heine Borel covering theorem 52
19. Located closed sets 54
20. Inner and outer limit sets 55
21. Baire s category theorem 57
22. Partial recursive functionals 58
23. Maximal recursive functionals 60
24. Two theorems of classical function theory 64
Chapter 3. Ordinal numbers and Borel sets 68
25. Definition of the ordinals of the second number class 68
26. Equality and order relations between ordinal numbers 70
27. Non enumerability of the second number class 75
28. Open sets in the Baire space 75
29. Brouwer s fan theorem 77
30. Borel sets 79
31. A constructive version of Godel s completeness theorem .... 84
32. Completeness of second order logic with cut 87
8
Chapteb 4. Measube theory 91
33. Extension of a measure and its basic properties 91
34. Measurable and non measurable open sets. Brouwer s theorem . 97
35. Sets of measure zero 101
References 104
Index 107
|
| any_adam_object | 1 |
| author | Martin-Löf, Per 1942- |
| author_GND | (DE-588)122298624 |
| author_facet | Martin-Löf, Per 1942- |
| author_role | aut |
| author_sort | Martin-Löf, Per 1942- |
| author_variant | p m l pml |
| building | Verbundindex |
| bvnumber | BV002042207 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9 |
| callnumber-search | QA9 |
| callnumber-sort | QA 19 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2600 |
| ctrlnum | (OCoLC)107693 (DE-599)BVBBV002042207 |
| dewey-full | 164 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 164 - [Unassigned] |
| dewey-raw | 164 |
| dewey-search | 164 |
| dewey-sort | 3164 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01135nam a2200313 c 4500</leader><controlfield tag="001">BV002042207</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090729 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1970 d||| |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)107693</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002042207</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">164</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Martin-Löf, Per</subfield><subfield code="d">1942-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)122298624</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Notes on constructive mathematics</subfield><subfield code="c">Per Martin-Löf</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stockholm</subfield><subfield code="b">Almqvist & Wiksell</subfield><subfield code="c">1970</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">109 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathématiques - Philosophie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constructive mathematics</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001335541&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001335541</subfield></datafield></record></collection> |
| id | DE-604.BV002042207 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:39:22Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001335541 |
| oclc_num | 107693 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-29 DE-29T DE-19 DE-BY-UBM DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-29 DE-29T DE-19 DE-BY-UBM DE-706 |
| physical | 109 S. graph. Darst. |
| publishDate | 1970 |
| publishDateSearch | 1970 |
| publishDateSort | 1970 |
| publisher | Almqvist & Wiksell |
| record_format | marc |
| spelling | Martin-Löf, Per 1942- Verfasser (DE-588)122298624 aut Notes on constructive mathematics Per Martin-Löf Stockholm Almqvist & Wiksell 1970 109 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Mathématiques - Philosophie Constructive mathematics HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001335541&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Martin-Löf, Per 1942- Notes on constructive mathematics Mathématiques - Philosophie Constructive mathematics |
| title | Notes on constructive mathematics |
| title_auth | Notes on constructive mathematics |
| title_exact_search | Notes on constructive mathematics |
| title_full | Notes on constructive mathematics Per Martin-Löf |
| title_fullStr | Notes on constructive mathematics Per Martin-Löf |
| title_full_unstemmed | Notes on constructive mathematics Per Martin-Löf |
| title_short | Notes on constructive mathematics |
| title_sort | notes on constructive mathematics |
| topic | Mathématiques - Philosophie Constructive mathematics |
| topic_facet | Mathématiques - Philosophie Constructive mathematics |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001335541&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT martinlofper notesonconstructivemathematics |