| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990006765570403321 |
|
|
Autore |
Jenkins, Brian |
|
|
Titolo |
Audit des systemes et des comptes geres sur informatique / Brian Jenkins, Anthony Pinkney ; traduit et adapte par Jean-LouisRoy - Patrick Gaudron |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Paris : Publi-Union, 1984 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Techniques & pratique des affaires |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910552711503321 |
|
|
Autore |
Cellucci Carlo |
|
|
Titolo |
The Making of Mathematics : Heuristic Philosophy of Mathematics / / by Carlo Cellucci |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
|
|
|
|
|
|
|
|
|
ISBN |
|
9783030897314 |
9783030897307 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2022.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (457 pages) |
|
|
|
|
|
|
Collana |
|
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science, , 2542-8292 ; ; 448 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Mathematics - Philosophy |
Mathematics |
History |
Philosophy of Mathematics |
History of Mathematical Sciences |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
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. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
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 Gödel’s 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. |
|
|
|
|
|
|
|
| |