Towards an arithmetical logic: the arithmetical foundations of logic
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
[Basel]
Birkhäuser
[2015]
|
| Series: | Studies in universal logic
|
| Subjects: | |
| Online Access: | BTU01 FRO01 TUM01 UBM01 UBT01 UBW01 UPA01 Volltext Inhaltsverzeichnis Abstract |
| Physical Description: | 1 Online Ressource (XI, 184 Seiten, 9 illus) |
| ISBN: | 9783319220871 |
| ISSN: | 2297-0282 |
| DOI: | 10.1007/978-3-319-22087-1 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043209927 | ||
| 003 | DE-604 | ||
| 005 | 20200930 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151215s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319220871 |c Online |9 978-3-319-22087-1 | ||
| 024 | 7 | |a 10.1007/978-3-319-22087-1 |2 doi | |
| 035 | |a (OCoLC)944059296 | ||
| 035 | |a (DE-599)BVBBV043209927 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-703 |a DE-20 |a DE-739 |a DE-634 |a DE-861 |a DE-83 | ||
| 082 | 0 | |a 511.3 |2 23 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a MAT 000 |2 stub | ||
| 100 | 1 | |a Gauthier, Yvon |d 1941- |e Verfasser |0 (DE-588)106823191 |4 aut | |
| 245 | 1 | 0 | |a Towards an arithmetical logic |b the arithmetical foundations of logic |c Yvon Gauthier |
| 264 | 1 | |a [Basel] |b Birkhäuser |c [2015] | |
| 264 | 4 | |c © 2015 | |
| 300 | |a 1 Online Ressource (XI, 184 Seiten, 9 illus) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Studies in universal logic |x 2297-0282 | |
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Mathematik | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-3-319-22086-4 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-22087-1 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028633088&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028633088&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SMA | ||
| 940 | 1 | |q UBY_PDA_SMA | |
| 940 | 1 | |q ZDB-2-SMA_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028633088 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-319-22087-1 |l BTU01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22087-1 |l FRO01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22087-1 |l TUM01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22087-1 |l UBM01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22087-1 |l UBT01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22087-1 |l UBW01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-22087-1 |l UPA01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804175709704290304 |
|---|---|
| adam_text | TOWARDS AN ARITHMETICAL LOGIC
/ GAUTHIER, YVON
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
FOREWORD
1.INTRODUCTION
2.ARITHMETIZATION OF ANALYSIS AND ALGEBRA
3.ARITHMETIZATION OF LOGIC
4.KRONECKER S FOUNDATIONAL PROGRAMME IN CONTEMPORARY MATHEMATICS
5.ARITHMETICAL FOUNDATIONS FOR PHYSICAL THEORIES
6.THE INTERNAL LOGIC OF CONSTRUCTIVE MATHEMATICS
7.THE INTERNAL CONSISTENCY OF ARITHMETIC WITH INFINITE DESCENT. A
SYNTACTICAL PROOF
8 CONCLUSION. ARITHMETISM VERSUS LOGICISM OR KRONECKER CONTRA FREGE
REFERENCES
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
TOWARDS AN ARITHMETICAL LOGIC
/ GAUTHIER, YVON
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK OFFERS AN ORIGINAL CONTRIBUTION TO THE FOUNDATIONS OF LOGIC
AND MATHEMATICS, AND FOCUSES ON THE INTERNAL LOGIC OF MATHEMATICAL
THEORIES, FROM ARITHMETIC OR NUMBER THEORY TO ALGEBRAIC GEOMETRY.
ARITHMETICAL LOGIC IS THE TERM USED TO REFER TO THE INTERNAL LOGIC OF
CLASSICAL ARITHMETIC, HERE CALLED FERMAT-KRONECKER ARITHMETIC, AND
COMBINES FERMAT’S METHOD OF INFINITE DESCENT WITH KRONECKER’S
GENERAL ARITHMETIC OF HOMOGENEOUS POLYNOMIALS. THE BOOK ALSO INCLUDES A
TREATMENT OF THEORIES IN PHYSICS AND MATHEMATICAL PHYSICS TO UNDERSCORE
THE ROLE OF ARITHMETIC FROM A CONSTRUCTIVIST VIEWPOINT. THE SCOPE OF THE
WORK INTERTWINES HISTORICAL, MATHEMATICAL, LOGICAL AND PHILOSOPHICAL
DIMENSIONS IN A UNIFIED CRITICAL PERSPECTIVE; AS SUCH, IT WILL APPEAL TO
A BROAD READERSHIP FROM MATHEMATICIANS TO LOGICIANS, TO PHILOSOPHERS
INTERESTED IN FOUNDATIONAL QUESTIONS. RESEARCHERS AND GRADUATE STUDENTS
IN THE FIELDS OF PHILOSOPHY AND MATHEMATICS WILL BENEFIT FROM THE
AUTHOR’S CRITICAL APPROACH TO THE FOUNDATIONS OF LOGIC AND MATHEMATICS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author | Gauthier, Yvon 1941- |
| author_GND | (DE-588)106823191 |
| author_facet | Gauthier, Yvon 1941- |
| author_role | aut |
| author_sort | Gauthier, Yvon 1941- |
| author_variant | y g yg |
| building | Verbundindex |
| bvnumber | BV043209927 |
| classification_rvk | SK 130 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA |
| ctrlnum | (OCoLC)944059296 (DE-599)BVBBV043209927 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| doi_str_mv | 10.1007/978-3-319-22087-1 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02615nmm a2200541zc 4500</leader><controlfield tag="001">BV043209927</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200930 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151215s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319220871</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-22087-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-22087-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)944059296</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043209927</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</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="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gauthier, Yvon</subfield><subfield code="d">1941-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)106823191</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Towards an arithmetical logic</subfield><subfield code="b">the arithmetical foundations of logic</subfield><subfield code="c">Yvon Gauthier</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Basel]</subfield><subfield code="b">Birkhäuser</subfield><subfield code="c">[2015]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online Ressource (XI, 184 Seiten, 9 illus)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Studies in universal logic</subfield><subfield code="x">2297-0282</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-3-319-22086-4</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-22087-1</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028633088&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028633088&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">UBY_PDA_SMA</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028633088</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22087-1</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22087-1</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22087-1</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22087-1</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22087-1</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22087-1</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-22087-1</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043209927 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:20:36Z |
| institution | BVB |
| isbn | 9783319220871 |
| issn | 2297-0282 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028633088 |
| oclc_num | 944059296 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-703 DE-20 DE-739 DE-634 DE-861 DE-83 |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-703 DE-20 DE-739 DE-634 DE-861 DE-83 |
| physical | 1 Online Ressource (XI, 184 Seiten, 9 illus) |
| psigel | ZDB-2-SMA UBY_PDA_SMA ZDB-2-SMA_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Birkhäuser |
| record_format | marc |
| series2 | Studies in universal logic |
| spelling | Gauthier, Yvon 1941- Verfasser (DE-588)106823191 aut Towards an arithmetical logic the arithmetical foundations of logic Yvon Gauthier [Basel] Birkhäuser [2015] © 2015 1 Online Ressource (XI, 184 Seiten, 9 illus) txt rdacontent c rdamedia cr rdacarrier Studies in universal logic 2297-0282 Mathematics Mathematical logic Mathematical Logic and Foundations Mathematik Erscheint auch als Druckausgabe 978-3-319-22086-4 https://doi.org/10.1007/978-3-319-22087-1 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028633088&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028633088&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Gauthier, Yvon 1941- Towards an arithmetical logic the arithmetical foundations of logic Mathematics Mathematical logic Mathematical Logic and Foundations Mathematik |
| title | Towards an arithmetical logic the arithmetical foundations of logic |
| title_auth | Towards an arithmetical logic the arithmetical foundations of logic |
| title_exact_search | Towards an arithmetical logic the arithmetical foundations of logic |
| title_full | Towards an arithmetical logic the arithmetical foundations of logic Yvon Gauthier |
| title_fullStr | Towards an arithmetical logic the arithmetical foundations of logic Yvon Gauthier |
| title_full_unstemmed | Towards an arithmetical logic the arithmetical foundations of logic Yvon Gauthier |
| title_short | Towards an arithmetical logic |
| title_sort | towards an arithmetical logic the arithmetical foundations of logic |
| title_sub | the arithmetical foundations of logic |
| topic | Mathematics Mathematical logic Mathematical Logic and Foundations Mathematik |
| topic_facet | Mathematics Mathematical logic Mathematical Logic and Foundations Mathematik |
| url | https://doi.org/10.1007/978-3-319-22087-1 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028633088&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028633088&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT gauthieryvon towardsanarithmeticallogicthearithmeticalfoundationsoflogic |