Varieties of constructive mathematics:
This is an introduction to, and survey of, the constructive approaches to pure mathematics. The authors emphasise the viewpoint of Errett Bishop's school, but intuitionism. Russian constructivism and recursive analysis are also treated, with comparisons between the various approaches included w...
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Weitere beteiligte Personen: | |
| Format: | E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge
Cambridge University Press
1987
|
| Schriftenreihe: | London Mathematical Society lecture note series
97 |
| Links: | https://doi.org/10.1017/CBO9780511565663 |
| Zusammenfassung: | This is an introduction to, and survey of, the constructive approaches to pure mathematics. The authors emphasise the viewpoint of Errett Bishop's school, but intuitionism. Russian constructivism and recursive analysis are also treated, with comparisons between the various approaches included where appropriate. Constructive mathematics is now enjoying a revival, with interest from not only logicans but also category theorists, recursive function theorists and theoretical computer scientists. This account for non-specialists in these and other disciplines. |
| Umfang: | 1 Online-Ressource (x, 149 Seiten) |
| ISBN: | 9780511565663 |
Internformat
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-20-CTM-CR9780511565663 | ||
| 003 | UkCbUP | ||
| 005 | 20151005020623.0 | ||
| 006 | m|||||o||d|||||||| | ||
| 007 | cr|||||||||||| | ||
| 008 | 090518s1987||||enk o ||1 0|eng|d | ||
| 020 | |a 9780511565663 | ||
| 100 | 1 | |a Bridges, D. S. |d 1945- | |
| 245 | 1 | 0 | |a Varieties of constructive mathematics |c Douglas Bridges, Fred Richman |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 1987 | |
| 300 | |a 1 Online-Ressource (x, 149 Seiten) | ||
| 336 | |b txt | ||
| 337 | |b c | ||
| 338 | |b cr | ||
| 490 | 1 | |a London Mathematical Society lecture note series |v 97 | |
| 520 | |a This is an introduction to, and survey of, the constructive approaches to pure mathematics. The authors emphasise the viewpoint of Errett Bishop's school, but intuitionism. Russian constructivism and recursive analysis are also treated, with comparisons between the various approaches included where appropriate. Constructive mathematics is now enjoying a revival, with interest from not only logicans but also category theorists, recursive function theorists and theoretical computer scientists. This account for non-specialists in these and other disciplines. | ||
| 700 | 1 | |a Richman, Fred |d 1938- | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9780521318020 |
| 966 | 4 | 0 | |l DE-91 |p ZDB-20-CTM |q TUM_PDA_CTM |u https://doi.org/10.1017/CBO9780511565663 |3 Volltext |
| 912 | |a ZDB-20-CTM | ||
| 912 | |a ZDB-20-CTM | ||
| 049 | |a DE-91 | ||
Datensatz im Suchindex
| DE-BY-TUM_katkey | ZDB-20-CTM-CR9780511565663 |
|---|---|
| _version_ | 1832177782101114881 |
| adam_text | |
| any_adam_object | |
| author | Bridges, D. S. 1945- |
| author2 | Richman, Fred 1938- |
| author2_role | |
| author2_variant | f r fr |
| author_facet | Bridges, D. S. 1945- Richman, Fred 1938- |
| author_role | |
| author_sort | Bridges, D. S. 1945- |
| author_variant | d s b ds dsb |
| building | Verbundindex |
| bvnumber | localTUM |
| collection | ZDB-20-CTM |
| format | eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01366nam a2200265 i 4500</leader><controlfield tag="001">ZDB-20-CTM-CR9780511565663</controlfield><controlfield tag="003">UkCbUP</controlfield><controlfield tag="005">20151005020623.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr||||||||||||</controlfield><controlfield tag="008">090518s1987||||enk o ||1 0|eng|d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511565663</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bridges, D. S.</subfield><subfield code="d">1945-</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Varieties of constructive mathematics</subfield><subfield code="c">Douglas Bridges, Fred Richman</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">1987</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (x, 149 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">London Mathematical Society lecture note series</subfield><subfield code="v">97</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This is an introduction to, and survey of, the constructive approaches to pure mathematics. The authors emphasise the viewpoint of Errett Bishop's school, but intuitionism. Russian constructivism and recursive analysis are also treated, with comparisons between the various approaches included where appropriate. Constructive mathematics is now enjoying a revival, with interest from not only logicans but also category theorists, recursive function theorists and theoretical computer scientists. This account for non-specialists in these and other disciplines.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Richman, Fred</subfield><subfield code="d">1938-</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9780521318020</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-91</subfield><subfield code="p">ZDB-20-CTM</subfield><subfield code="q">TUM_PDA_CTM</subfield><subfield code="u">https://doi.org/10.1017/CBO9780511565663</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CTM</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CTM</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
| id | ZDB-20-CTM-CR9780511565663 |
| illustrated | Not Illustrated |
| indexdate | 2025-05-15T09:21:33Z |
| institution | BVB |
| isbn | 9780511565663 |
| language | English |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource (x, 149 Seiten) |
| psigel | ZDB-20-CTM TUM_PDA_CTM ZDB-20-CTM |
| publishDate | 1987 |
| publishDateSearch | 1987 |
| publishDateSort | 1987 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | London Mathematical Society lecture note series |
| spelling | Bridges, D. S. 1945- Varieties of constructive mathematics Douglas Bridges, Fred Richman Cambridge Cambridge University Press 1987 1 Online-Ressource (x, 149 Seiten) txt c cr London Mathematical Society lecture note series 97 This is an introduction to, and survey of, the constructive approaches to pure mathematics. The authors emphasise the viewpoint of Errett Bishop's school, but intuitionism. Russian constructivism and recursive analysis are also treated, with comparisons between the various approaches included where appropriate. Constructive mathematics is now enjoying a revival, with interest from not only logicans but also category theorists, recursive function theorists and theoretical computer scientists. This account for non-specialists in these and other disciplines. Richman, Fred 1938- Erscheint auch als Druck-Ausgabe 9780521318020 |
| spellingShingle | Bridges, D. S. 1945- Varieties of constructive mathematics |
| title | Varieties of constructive mathematics |
| title_auth | Varieties of constructive mathematics |
| title_exact_search | Varieties of constructive mathematics |
| title_full | Varieties of constructive mathematics Douglas Bridges, Fred Richman |
| title_fullStr | Varieties of constructive mathematics Douglas Bridges, Fred Richman |
| title_full_unstemmed | Varieties of constructive mathematics Douglas Bridges, Fred Richman |
| title_short | Varieties of constructive mathematics |
| title_sort | varieties of constructive mathematics |
| work_keys_str_mv | AT bridgesds varietiesofconstructivemathematics AT richmanfred varietiesofconstructivemathematics |