The making of mathematics [electronic resource] : heuristic philosophy of mathematics / Carlo Cellucci.
Mainstream philosophy of mathematics, namely the philosophy of mathematics that has prevailed for the past century, claims that the philosophy of mathematics cannot concern itself with the making of mathematics, in particular discovery, but only with finished mathematics, namely mathematics presente...
Saved in:
Online Access: |
Full Text (via Springer) |
---|---|
Main Author: | |
Format: | Electronic eBook |
Language: | English |
Published: |
Cham, Switzerland :
Springer,
2022.
|
Series: | Synthese library ;
v. 448. |
Subjects: |
MARC
LEADER | 00000cam a2200000xa 4500 | ||
---|---|---|---|
001 | b12153316 | ||
006 | m o d | ||
007 | cr ||||||||||| | ||
008 | 220312s2022 sz ob 001 0 eng d | ||
005 | 20240423173313.4 | ||
019 | |a 1302687754 |a 1302741466 |a 1302951797 |a 1302987263 |a 1303052821 |a 1303076062 | ||
020 | |a 9783030897314 |q (electronic bk.) | ||
020 | |a 3030897311 |q (electronic bk.) | ||
020 | |z 9783030897307 | ||
020 | |z 3030897303 | ||
024 | 7 | |a 10.1007/978-3-030-89731-4 | |
035 | |a (OCoLC)spr1303084836 | ||
035 | |a (OCoLC)1303084836 |z (OCoLC)1302687754 |z (OCoLC)1302741466 |z (OCoLC)1302951797 |z (OCoLC)1302987263 |z (OCoLC)1303052821 |z (OCoLC)1303076062 | ||
037 | |a spr978-3-030-89731-4 | ||
040 | |a EBLCP |b eng |c EBLCP |d GW5XE |d YDX |d EBLCP |d OCLCO |d OCLCF | ||
049 | |a GWRE | ||
050 | 4 | |a QA8.4 | |
100 | 1 | |a Cellucci, Carlo. |0 http://id.loc.gov/authorities/names/n79034524 |1 http://isni.org/isni/0000000121031269. | |
245 | 1 | 4 | |a The making of mathematics |h [electronic resource] : |b heuristic philosophy of mathematics / |c Carlo Cellucci. |
260 | |a Cham, Switzerland : |b Springer, |c 2022. | ||
300 | |a 1 online resource (457 pages) | ||
336 | |a text |b txt |2 rdacontent. | ||
337 | |a computer |b c |2 rdamedia. | ||
338 | |a online resource |b cr |2 rdacarrier. | ||
490 | 1 | |a Synthese Library ; |v v.448. | |
505 | 0 | |a 1. Introduction -- Part I. Heuristic vs. Mainstream. 2. Mainstream Philosophy of Mathematics -- 3. Heuristic Philosophy of Mathematics -- Part II. Discourse on Method. 4. The Question of Method -- 5. Analytic Method -- 6. Analytic-Synthetic Method and Axiomatic Method -- 7. Rules of Discovery -- 8. Theories -- Part III. The Mathematical Process. 9. Objects -- 10. Demonstrations -- 11. Definitions -- 12. Diagrams -- 13. Notations -- Part IV. The Functionality of Mathematics. 14. Explanations -- 15. Beauty -- 16. Applicability -- Part V. Conclusion. 17. Knowledge, Mathematics, and Naturalism -- 18. Concluding Remarks -- Index. | |
504 | |a Includes bibliographical references and index. | ||
520 | |a Mainstream philosophy of mathematics, namely the philosophy of mathematics that has prevailed for the past century, claims that the philosophy of mathematics cannot concern itself with the making of mathematics, in particular discovery, but only with finished mathematics, namely mathematics presented in finished form. On this basis, mainstream philosophy of mathematics argues that mathematics is theorem proving by the axiomatic method. This, however, is untenable because it is incompatible with Godels incompleteness theorems, and cannot account for many features of mathematics. This book offers an alternative approach, heuristic philosophy of mathematics, according to which the philosophy of mathematics can concern itself with the making of mathematics, in particular discovery. On this basis, the book argues that mathematics is problem solving by the analytic method, and that this can account for all the main features of mathematics: mathematical method, objects, demonstrations, definitions, diagrams, notations, explanations, beauty, applicability, and knowledge. | ||
650 | 0 | |a Mathematics |x Philosophy. |0 http://id.loc.gov/authorities/subjects/sh85082153. | |
650 | 7 | |a Mathematics |x Philosophy. |2 fast |0 (OCoLC)fst01012213. | |
776 | 0 | 8 | |i Print version: |a Cellucci, Carlo |t The Making of Mathematics |d Cham : Springer International Publishing AG,c2022 |z 9783030897307. |
830 | 0 | |a Synthese library ; |v v. 448. |0 http://id.loc.gov/authorities/names/n42024276. | |
856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-89731-4 |z Full Text (via Springer) |
907 | |a .b121533165 |b 05-03-22 |c 04-12-22 | ||
998 | |a web |b 04-19-22 |c b |d b |e - |f eng |g sz |h 4 |i 1 | ||
907 | |a .b121533165 |b 04-19-22 |c 04-12-22 | ||
944 | |a MARS - RDA ENRICHED | ||
915 | |a I | ||
956 | |a Springer e-books | ||
956 | |b Springer Nature - Springer Religion and Philosophy eBooks 2022 English International | ||
999 | f | f | |i b2a1b84b-1df8-5a63-af10-e657b68127bf |s f7d0c68d-53c3-5a9f-ba3c-bdceb3363ca5 |
952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e QA8.4 |h Library of Congress classification |i Ebooks, Prospector |n 1 |