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...

Full description

Saved in:
Bibliographic Details
Online Access: Full Text (via Springer)
Main Author: Cellucci, Carlo
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