Elements of intuitionism:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Oxford
Clarendon Press
2000
|
| Ausgabe: | 2. ed. |
| Schriftenreihe: | Oxford logic guides
39 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Hier auch später erschienene, unveränderte Nachdrucke |
| Beschreibung: | XII, 331 S. graph. Darst. |
| ISBN: | 0198505248 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV013266134 | ||
| 003 | DE-604 | ||
| 005 | 20141105 | ||
| 007 | t | ||
| 008 | 000725s2000 d||| |||| 00||| eng d | ||
| 020 | |a 0198505248 |9 0-19-850524-8 | ||
| 035 | |a (OCoLC)42835662 | ||
| 035 | |a (DE-599)BVBBV013266134 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-19 |a DE-739 |a DE-11 |a DE-703 |a DE-355 | ||
| 050 | 0 | |a QA9.47 | |
| 082 | 0 | |a 511/.22 |2 21 | |
| 084 | |a CI 6404 |0 (DE-625)18526:11797 |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Dummett, Michael |d 1925-2011 |e Verfasser |0 (DE-588)118956477 |4 aut | |
| 245 | 1 | 0 | |a Elements of intuitionism |c Michael Dummett |
| 250 | |a 2. ed. | ||
| 264 | 1 | |a Oxford |b Clarendon Press |c 2000 | |
| 300 | |a XII, 331 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Oxford logic guides |v 39 | |
| 490 | 0 | |a Oxford science publications | |
| 500 | |a Hier auch später erschienene, unveränderte Nachdrucke | ||
| 650 | 7 | |a Bewijstheorie |2 gtt | |
| 650 | 7 | |a Intuitionistische Mathematik |2 swd | |
| 650 | 7 | |a Intuïtionisme |2 gtt | |
| 650 | 7 | |a Realiseerbaarheid (wiskunde) |2 gtt | |
| 650 | 7 | |a Semantiek |2 gtt | |
| 650 | 4 | |a Semantik | |
| 650 | 4 | |a Intuitionistic mathematics | |
| 650 | 0 | 7 | |a Intuitionistische Mathematik |0 (DE-588)4162200-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Intuitionistische Mathematik |0 (DE-588)4162200-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 830 | 0 | |a Oxford logic guides |v 39 |w (DE-604)BV000013997 |9 39 | |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009043976&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009043976 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804128031824936960 |
|---|---|
| adam_text | 1
6
6
8
17
21
22
22
25
32
37
40
40
47
56
68
75
81
88
88
96
101
106
109
119
119
124
129
137
142
154
186
204
CONTENTS
Introductory remarks
P reliminar ies
1.1 Constructive proof
1.2 The meanings of the logical constants
1.3 Examples of logical principles
1.4 Functional completeness
Elementary intuitionistic mathematics
2.1 Intuitionistic arithmetic
2.2 Real numbers
2.3 Order relations
2.4 The Axiom of Choice
Choice sequences and spreads
3.1 The notion of infinity
3.2 The fan theorem and bar induction
3.3 The continuity principle
3.4 Brouwer’s proof of the Bar Theorem
3.5 The representation of continuous functionals
3.6 The uniform continuity theorem
The formalization of intuitionistic logic
4.1 Natural deduction
4.2 The sequent calculus
4.3 Cut-elimination
4.4 Decidability of intuitionistic sentential logic
4.5 Normalization
The semantics of intuitionistic logic
5.1 Valuation systems
5.2 Lattices and the finite model property
5.3 Topological spaces: PO-spaces
5.4 Beth trees
5.5 The semantics of intuitionistic predicate logic
5.6 The completeness of intuitionistic predicate logic
5.7 Generalized Beth trees
5.8 Compactness
211
211
222
234
250
250
269
275
277
287
311
311
314
325
328
CONTENTS
Some fuxtlaer topics
6.1 Intuitionistic formal systems
6.2 Realizability
6.3 The creative subject
Cone hiding philosophical remarks
7.1 Philosophical foundation of constructive mathematics
7.2 The notion of a proof
7.3 Partial functions
7.4 Logical constants as represented on Beth trees
7.5 The notion of a choice sequence
Bibliography
Books
Articles
Index of Notation
Index
|
| any_adam_object | 1 |
| author | Dummett, Michael 1925-2011 |
| author_GND | (DE-588)118956477 |
| author_facet | Dummett, Michael 1925-2011 |
| author_role | aut |
| author_sort | Dummett, Michael 1925-2011 |
| author_variant | m d md |
| building | Verbundindex |
| bvnumber | BV013266134 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.47 |
| callnumber-search | QA9.47 |
| callnumber-sort | QA 19.47 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CI 6404 SK 130 |
| ctrlnum | (OCoLC)42835662 (DE-599)BVBBV013266134 |
| dewey-full | 511/.22 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511/.22 |
| dewey-search | 511/.22 |
| dewey-sort | 3511 222 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| edition | 2. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02111nam a2200541 cb4500</leader><controlfield tag="001">BV013266134</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20141105 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">000725s2000 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198505248</subfield><subfield code="9">0-19-850524-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)42835662</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013266134</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.47</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511/.22</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CI 6404</subfield><subfield code="0">(DE-625)18526:11797</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">Dummett, Michael</subfield><subfield code="d">1925-2011</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)118956477</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Elements of intuitionism</subfield><subfield code="c">Michael Dummett</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford</subfield><subfield code="b">Clarendon Press</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 331 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="490" ind1="1" ind2=" "><subfield code="a">Oxford logic guides</subfield><subfield code="v">39</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Oxford science publications</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Hier auch später erschienene, unveränderte Nachdrucke</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Bewijstheorie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Intuitionistische Mathematik</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Intuïtionisme</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Realiseerbaarheid (wiskunde)</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Semantiek</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intuitionistic mathematics</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Intuitionistische Mathematik</subfield><subfield code="0">(DE-588)4162200-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Intuitionistische Mathematik</subfield><subfield code="0">(DE-588)4162200-5</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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Oxford logic guides</subfield><subfield code="v">39</subfield><subfield code="w">(DE-604)BV000013997</subfield><subfield code="9">39</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg - ADAM Catalogue Enrichment</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=009043976&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-009043976</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV013266134 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:42:47Z |
| institution | BVB |
| isbn | 0198505248 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009043976 |
| oclc_num | 42835662 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-739 DE-11 DE-703 DE-355 DE-BY-UBR |
| owner_facet | DE-19 DE-BY-UBM DE-739 DE-11 DE-703 DE-355 DE-BY-UBR |
| physical | XII, 331 S. graph. Darst. |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Clarendon Press |
| record_format | marc |
| series | Oxford logic guides |
| series2 | Oxford logic guides Oxford science publications |
| spelling | Dummett, Michael 1925-2011 Verfasser (DE-588)118956477 aut Elements of intuitionism Michael Dummett 2. ed. Oxford Clarendon Press 2000 XII, 331 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Oxford logic guides 39 Oxford science publications Hier auch später erschienene, unveränderte Nachdrucke Bewijstheorie gtt Intuitionistische Mathematik swd Intuïtionisme gtt Realiseerbaarheid (wiskunde) gtt Semantiek gtt Semantik Intuitionistic mathematics Intuitionistische Mathematik (DE-588)4162200-5 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Intuitionistische Mathematik (DE-588)4162200-5 s DE-604 Mathematische Logik (DE-588)4037951-6 s 1\p DE-604 Oxford logic guides 39 (DE-604)BV000013997 39 Digitalisierung UB Regensburg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009043976&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Dummett, Michael 1925-2011 Elements of intuitionism Oxford logic guides Bewijstheorie gtt Intuitionistische Mathematik swd Intuïtionisme gtt Realiseerbaarheid (wiskunde) gtt Semantiek gtt Semantik Intuitionistic mathematics Intuitionistische Mathematik (DE-588)4162200-5 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4162200-5 (DE-588)4037951-6 |
| title | Elements of intuitionism |
| title_auth | Elements of intuitionism |
| title_exact_search | Elements of intuitionism |
| title_full | Elements of intuitionism Michael Dummett |
| title_fullStr | Elements of intuitionism Michael Dummett |
| title_full_unstemmed | Elements of intuitionism Michael Dummett |
| title_short | Elements of intuitionism |
| title_sort | elements of intuitionism |
| topic | Bewijstheorie gtt Intuitionistische Mathematik swd Intuïtionisme gtt Realiseerbaarheid (wiskunde) gtt Semantiek gtt Semantik Intuitionistic mathematics Intuitionistische Mathematik (DE-588)4162200-5 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Bewijstheorie Intuitionistische Mathematik Intuïtionisme Realiseerbaarheid (wiskunde) Semantiek Semantik Intuitionistic mathematics Mathematische Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009043976&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000013997 |
| work_keys_str_mv | AT dummettmichael elementsofintuitionism |