A Formal Background to Mathematics: Logic, Sets and Numbers
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
New York, NY
Springer New York
1979
|
| Schriftenreihe: | Universitext
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | §1 Faced by the questions mentioned in the Preface I was prompted to write this book on the assumption that a typical reader will have certain characteristics. He will presumably be familiar with conventional accounts of certain portions of mathematics and with many so-called mathematical statements, some of which (the theorems) he will know (either because he has himself studied and digested a proof or because he accepts the authority of others) to be true, and others of which he will know (by the same token) to be false. He will nevertheless be conscious of and perturbed by a lack of clarity in his own mind concerning the concepts of proof and truth in mathematics, though he will almost certainly feel that in mathematics these concepts have special meanings broadly similar in outward features to, yet different from, those in everyday life; and also that they are based on criteria different from the experimental ones used in science. He will be aware of statements which are as yet not known to be either true or false (unsolved problems). Quite possibly he will be surprised and dismayed by the possibility that there are statements which are "definite" (in the sense of involving no free variables) and which nevertheless can never (strictly on the basis of an agreed collection of axioms and an agreed concept of proof) be either proved or disproved (refuted) |
| Beschreibung: | 1 Online-Ressource (XXXIV, 935 p) |
| ISBN: | 9781461299844 9780387904313 |
| ISSN: | 0172-5939 |
| DOI: | 10.1007/978-1-4612-9984-4 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042420511 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s1979 |||| o||u| ||||||eng d | ||
| 020 | |a 9781461299844 |c Online |9 978-1-4612-9984-4 | ||
| 020 | |a 9780387904313 |c Print |9 978-0-387-90431-3 | ||
| 024 | 7 | |a 10.1007/978-1-4612-9984-4 |2 doi | |
| 035 | |a (OCoLC)906714477 | ||
| 035 | |a (DE-599)BVBBV042420511 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-703 |a DE-91 |a DE-634 | ||
| 082 | 0 | |a 515 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 100 | 1 | |a Edwards, Robert |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A Formal Background to Mathematics |b Logic, Sets and Numbers |c by Robert Edwards |
| 264 | 1 | |a New York, NY |b Springer New York |c 1979 | |
| 300 | |a 1 Online-Ressource (XXXIV, 935 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Universitext |x 0172-5939 | |
| 500 | |a §1 Faced by the questions mentioned in the Preface I was prompted to write this book on the assumption that a typical reader will have certain characteristics. He will presumably be familiar with conventional accounts of certain portions of mathematics and with many so-called mathematical statements, some of which (the theorems) he will know (either because he has himself studied and digested a proof or because he accepts the authority of others) to be true, and others of which he will know (by the same token) to be false. He will nevertheless be conscious of and perturbed by a lack of clarity in his own mind concerning the concepts of proof and truth in mathematics, though he will almost certainly feel that in mathematics these concepts have special meanings broadly similar in outward features to, yet different from, those in everyday life; and also that they are based on criteria different from the experimental ones used in science. He will be aware of statements which are as yet not known to be either true or false (unsolved problems). Quite possibly he will be surprised and dismayed by the possibility that there are statements which are "definite" (in the sense of involving no free variables) and which nevertheless can never (strictly on the basis of an agreed collection of axioms and an agreed concept of proof) be either proved or disproved (refuted) | ||
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Global analysis (Mathematics) | |
| 650 | 4 | |a Functional equations | |
| 650 | 4 | |a Analysis | |
| 650 | 4 | |a Difference and Functional Equations | |
| 650 | 4 | |a Mathematik | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4612-9984-4 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027855928 | ||
Datensatz im Suchindex
| _version_ | 1804153092497735680 |
|---|---|
| any_adam_object | |
| author | Edwards, Robert |
| author_facet | Edwards, Robert |
| author_role | aut |
| author_sort | Edwards, Robert |
| author_variant | r e re |
| building | Verbundindex |
| bvnumber | BV042420511 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)906714477 (DE-599)BVBBV042420511 |
| dewey-full | 515 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 515 - Analysis |
| dewey-raw | 515 |
| dewey-search | 515 |
| dewey-sort | 3515 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| doi_str_mv | 10.1007/978-1-4612-9984-4 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02756nmm a2200433zc 4500</leader><controlfield tag="001">BV042420511</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s1979 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781461299844</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-4612-9984-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780387904313</subfield><subfield code="c">Print</subfield><subfield code="9">978-0-387-90431-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4612-9984-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)906714477</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042420511</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">515</subfield><subfield code="2">23</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">Edwards, Robert</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A Formal Background to Mathematics</subfield><subfield code="b">Logic, Sets and Numbers</subfield><subfield code="c">by Robert Edwards</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Springer New York</subfield><subfield code="c">1979</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XXXIV, 935 p)</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">Universitext</subfield><subfield code="x">0172-5939</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">§1 Faced by the questions mentioned in the Preface I was prompted to write this book on the assumption that a typical reader will have certain characteristics. He will presumably be familiar with conventional accounts of certain portions of mathematics and with many so-called mathematical statements, some of which (the theorems) he will know (either because he has himself studied and digested a proof or because he accepts the authority of others) to be true, and others of which he will know (by the same token) to be false. He will nevertheless be conscious of and perturbed by a lack of clarity in his own mind concerning the concepts of proof and truth in mathematics, though he will almost certainly feel that in mathematics these concepts have special meanings broadly similar in outward features to, yet different from, those in everyday life; and also that they are based on criteria different from the experimental ones used in science. He will be aware of statements which are as yet not known to be either true or false (unsolved problems). Quite possibly he will be surprised and dismayed by the possibility that there are statements which are "definite" (in the sense of involving no free variables) and which nevertheless can never (strictly on the basis of an agreed collection of axioms and an agreed concept of proof) be either proved or disproved (refuted)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Global analysis (Mathematics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Functional equations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Analysis</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Difference and Functional Equations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4612-9984-4</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027855928</subfield></datafield></record></collection> |
| id | DE-604.BV042420511 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:07Z |
| institution | BVB |
| isbn | 9781461299844 9780387904313 |
| issn | 0172-5939 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027855928 |
| oclc_num | 906714477 |
| open_access_boolean | |
| owner | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| owner_facet | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| physical | 1 Online-Ressource (XXXIV, 935 p) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 1979 |
| publishDateSearch | 1979 |
| publishDateSort | 1979 |
| publisher | Springer New York |
| record_format | marc |
| series2 | Universitext |
| spelling | Edwards, Robert Verfasser aut A Formal Background to Mathematics Logic, Sets and Numbers by Robert Edwards New York, NY Springer New York 1979 1 Online-Ressource (XXXIV, 935 p) txt rdacontent c rdamedia cr rdacarrier Universitext 0172-5939 §1 Faced by the questions mentioned in the Preface I was prompted to write this book on the assumption that a typical reader will have certain characteristics. He will presumably be familiar with conventional accounts of certain portions of mathematics and with many so-called mathematical statements, some of which (the theorems) he will know (either because he has himself studied and digested a proof or because he accepts the authority of others) to be true, and others of which he will know (by the same token) to be false. He will nevertheless be conscious of and perturbed by a lack of clarity in his own mind concerning the concepts of proof and truth in mathematics, though he will almost certainly feel that in mathematics these concepts have special meanings broadly similar in outward features to, yet different from, those in everyday life; and also that they are based on criteria different from the experimental ones used in science. He will be aware of statements which are as yet not known to be either true or false (unsolved problems). Quite possibly he will be surprised and dismayed by the possibility that there are statements which are "definite" (in the sense of involving no free variables) and which nevertheless can never (strictly on the basis of an agreed collection of axioms and an agreed concept of proof) be either proved or disproved (refuted) Mathematics Global analysis (Mathematics) Functional equations Analysis Difference and Functional Equations Mathematik https://doi.org/10.1007/978-1-4612-9984-4 Verlag Volltext |
| spellingShingle | Edwards, Robert A Formal Background to Mathematics Logic, Sets and Numbers Mathematics Global analysis (Mathematics) Functional equations Analysis Difference and Functional Equations Mathematik |
| title | A Formal Background to Mathematics Logic, Sets and Numbers |
| title_auth | A Formal Background to Mathematics Logic, Sets and Numbers |
| title_exact_search | A Formal Background to Mathematics Logic, Sets and Numbers |
| title_full | A Formal Background to Mathematics Logic, Sets and Numbers by Robert Edwards |
| title_fullStr | A Formal Background to Mathematics Logic, Sets and Numbers by Robert Edwards |
| title_full_unstemmed | A Formal Background to Mathematics Logic, Sets and Numbers by Robert Edwards |
| title_short | A Formal Background to Mathematics |
| title_sort | a formal background to mathematics logic sets and numbers |
| title_sub | Logic, Sets and Numbers |
| topic | Mathematics Global analysis (Mathematics) Functional equations Analysis Difference and Functional Equations Mathematik |
| topic_facet | Mathematics Global analysis (Mathematics) Functional equations Analysis Difference and Functional Equations Mathematik |
| url | https://doi.org/10.1007/978-1-4612-9984-4 |
| work_keys_str_mv | AT edwardsrobert aformalbackgroundtomathematicslogicsetsandnumbers |