Intuitionism an introduction: An introd.
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam
North-Holland Publ.Comp.
1971
|
| Edition: | 3.ed. |
| Series: | Studies in logic and the foundations of mathematics.
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | VIII,145 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV005707889 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 921028s1971 |||| 00||| eng d | ||
| 035 | |a (OCoLC)630354022 | ||
| 035 | |a (DE-599)BVBBV005707889 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-703 |a DE-19 |a DE-355 |a DE-11 | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Heyting, Arend |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Intuitionism an introduction |b An introd. |
| 250 | |a 3.ed. | ||
| 264 | 1 | |a Amsterdam |b North-Holland Publ.Comp. |c 1971 | |
| 300 | |a VIII,145 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Studies in logic and the foundations of mathematics. | |
| 650 | 0 | 7 | |a Intuitionistische Logik |0 (DE-588)4162199-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 655 | 7 | |a Intenitionismus |2 gnd |9 rswk-swf | |
| 689 | 0 | 0 | |a Intuitionistische Logik |0 (DE-588)4162199-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Intenitionismus |A f |
| 689 | 1 | |5 DE-604 | |
| 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=003565673&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 940 | 1 | |q HUB-ZB011200909 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-003565673 | ||
Record in the Search Index
| _version_ | 1804119894400172032 |
|---|---|
| adam_text | CONTENTS
I. Disputation 1
II. Arithmetic 13
1. Natural numbers 13
2. Real number generators 16
3. Respectable real numbers 27
4. Limits of sequences of real number generators 30
III. Spreads and species 32
1. Spreads 32
2. Species 37
3. Arithmetic of real numbers 40
4. Continuity and bar induction for spreads 42
IV. Algebra 51
1. Algebraic fields 51
2. Linear equations 52
3. Linear dependence 56
V. Plank pointspecies 59
1. General notions 59
2. Located pointspecies 66
VI. Measure and integration 71
1. Measurable regions and region complements 71
The Brouwer integral 76
2. Bounded measurable functions 76
3. Measurable pointspecies 82
4. The integral as the measure of a pointspecies 87
5. Unbounded functions 89
6. Hilbert space 95
7. Derivation 100
VII. Logic 101
1. The propositional calculus 101
2. The first order predicate calculus 106
3. Applications 109
VI CONTENTS
VIII. Controversial subjects 119
1. Infinitely proceeding sequences, depending upon the solving
of problems 119
2. Negationless mathematics 124
Bibliography 127
Index 143
Glossary or symbols 147
|
| any_adam_object | 1 |
| author | Heyting, Arend |
| author_facet | Heyting, Arend |
| author_role | aut |
| author_sort | Heyting, Arend |
| author_variant | a h ah |
| building | Verbundindex |
| bvnumber | BV005707889 |
| classification_rvk | CC 2600 SK 130 |
| ctrlnum | (OCoLC)630354022 (DE-599)BVBBV005707889 |
| discipline | Mathematik Philosophie |
| edition | 3.ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01454nam a2200397 c 4500</leader><controlfield tag="001">BV005707889</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">921028s1971 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)630354022</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005707889</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-703</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-11</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="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Heyting, Arend</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Intuitionism an introduction</subfield><subfield code="b">An introd.</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">3.ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North-Holland Publ.Comp.</subfield><subfield code="c">1971</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII,145 S.</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="490" ind1="0" ind2=" "><subfield code="a">Studies in logic and the foundations of mathematics.</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Intuitionistische Logik</subfield><subfield code="0">(DE-588)4162199-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Intenitionismus</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Intuitionistische Logik</subfield><subfield code="0">(DE-588)4162199-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Intenitionismus</subfield><subfield code="A">f</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</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=003565673&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">HUB-ZB011200909</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003565673</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content Intenitionismus gnd |
| genre_facet | Einführung Intenitionismus |
| id | DE-604.BV005707889 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:33:26Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003565673 |
| oclc_num | 630354022 |
| open_access_boolean | |
| owner | DE-703 DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-11 |
| owner_facet | DE-703 DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-11 |
| physical | VIII,145 S. |
| psigel | HUB-ZB011200909 |
| publishDate | 1971 |
| publishDateSearch | 1971 |
| publishDateSort | 1971 |
| publisher | North-Holland Publ.Comp. |
| record_format | marc |
| series2 | Studies in logic and the foundations of mathematics. |
| spelling | Heyting, Arend Verfasser aut Intuitionism an introduction An introd. 3.ed. Amsterdam North-Holland Publ.Comp. 1971 VIII,145 S. txt rdacontent n rdamedia nc rdacarrier Studies in logic and the foundations of mathematics. Intuitionistische Logik (DE-588)4162199-2 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Intenitionismus gnd rswk-swf Intuitionistische Logik (DE-588)4162199-2 s DE-604 Intenitionismus f HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003565673&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Heyting, Arend Intuitionism an introduction An introd. Intuitionistische Logik (DE-588)4162199-2 gnd |
| subject_GND | (DE-588)4162199-2 (DE-588)4151278-9 |
| title | Intuitionism an introduction An introd. |
| title_auth | Intuitionism an introduction An introd. |
| title_exact_search | Intuitionism an introduction An introd. |
| title_full | Intuitionism an introduction An introd. |
| title_fullStr | Intuitionism an introduction An introd. |
| title_full_unstemmed | Intuitionism an introduction An introd. |
| title_short | Intuitionism an introduction |
| title_sort | intuitionism an introduction an introd |
| title_sub | An introd. |
| topic | Intuitionistische Logik (DE-588)4162199-2 gnd |
| topic_facet | Intuitionistische Logik Einführung Intenitionismus |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003565673&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT heytingarend intuitionismanintroductionanintrod |