Toward the Principles of mathematics 1900-02 / Bertrand Russell ; edited by Gregory H. Moore |
Autore | RUSSELL, Bertrand |
Pubbl/distr/stampa | London ; New York : Routledge, 1993 |
Descrizione fisica | LVIII, 895 p. ; 24 cm |
Disciplina | 510.1 |
Collana | The collected papers of Bertrand Russell |
Soggetto topico | Matematica - Filosofia |
ISBN | 978-0415-09405-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990003664620203316 |
RUSSELL, Bertrand
![]() |
||
London ; New York : Routledge, 1993 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Tre in uno : piccola enciclopedia della matematica intrigante / Consolato Pellegrino, Luciana Zuccheri |
Autore | Pellegrino, Consolato |
Pubbl/distr/stampa | Modena : Athena, c2008 |
Descrizione fisica | xii, 136 p. : ill. ; 24 cm |
Disciplina | 510.1 |
Altri autori (Persone) | Zuccheri, Lucianaauthor |
Soggetto topico |
Recreational mathematics
Methodology of mathematics, didactics |
ISBN | 9788886980371 |
Classificazione |
AMS 97A
AMS 00A35 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISALENTO-991001002779707536 |
Pellegrino, Consolato
![]() |
||
Modena : Athena, c2008 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Truth, Existence and Explanation [[electronic resource] ] : FilMat 2016 Studies in the Philosophy of Mathematics / / edited by Mario Piazza, Gabriele Pulcini |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (278 pages) |
Disciplina | 510.1 |
Collana | Boston Studies in the Philosophy and History of Science |
Soggetto topico |
Mathematics—Philosophy
Logic Epistemology Mathematical logic Philosophy of Mathematics Mathematical Logic and Formal Languages |
ISBN | 3-319-93342-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part I: Truth and expressiveness -- Chapter 1. Some Remarks on True Undecidable Sentences -- Chapter 2. Penrose’s New Argument and Paradox -- Chapter 3. On expressive power over arithmetic -- Chapter 4. Intensionality in Mathematics -- Chapter 5. Deflationary truth is a logical notion -- Chapter 6. Making sense of Deflationism from a formal perspective: Conservativity and Relative Interpretability -- Part II: Structures, existence, and explanation -- Chapter 7. Structure and Structures -- Chapter 8. Towards a Better Understanding of Mathematical Understanding -- Chapter 9. The explanatory power of a new proof: Henkin’s completeness proof -- Chapter 10. Can proofs by mathematical induction be explanatory? -- Chapter 11. Ontological Commitment and the Import of Mathematics -- Chapter 12. Applicability Problems Generalized -- Chapter 13. Church-Turing Thesis, in Practice -- Chapter 14. Existence vs Conceivability in Aristotle: Are Straight Lines Infinitely Extendible?. |
Record Nr. | UNINA-9910300623303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Truth, Objects, Infinity [[electronic resource] ] : New Perspectives on the Philosophy of Paul Benacerraf / / edited by Fabrice Pataut |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (332 pages) : illustrations |
Disciplina | 510.1 |
Collana | Logic, Epistemology, and the Unity of Science |
Soggetto topico |
Language and languages—Philosophy
Epistemology Philosophy and science Ontology Philosophy of Language Philosophy of Science |
ISBN | 3-319-45980-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Acknowledgements -- Notes on contributors -- Introduction; Pataut, Fabrice -- Part 1: Benacerraf’s Dilemma -- Chapter 1. McEvoy on Benacerraf's Problem and the Epistemic Role Puzzle; Azzouni, Jody -- Chapter 2. What is the Benacerraf Problem?; Clarke-Doane, Justin -- Chapter 3. Benacerraf's Mathematical Antinomy; Halimi, Brice -- Chapter 4. A Dilemma for Benacerraf's Dilemma?; Sereni, Andrea -- Part 2. Logicism, fictionalism and structuralism -- Chapter 5. Benacerraf on Logicism; Gandon, Sébastien -- Chapter 6. Truth, Fiction and Stipulation; Leng, Mary -- Chapter 7. A Methodological Moral for the Story of Ernie and Johnny; de Rouilhan, Philippe -- Chapter 8. What Numbers Could Be; What Objects Could Be; Shapiro, Stuart -- Part 3. Supertasks -- Chapter 9. Motionless Gödel's Long Strides - A Note on the Contemporary Versions of Zeno's Arguments; Dubucs, Jacques -- Part 4. Paul Benacerraf's replies to essays -- Replies to Essays 1 to 9; Benacerraf, Paul -- Part 5. Mathematical truth '68 -- Mathematical Truth (January 1968 version), with updated footnotes; Benacerraf, Paul -- Chronological Bibliography of Paul Benacerraf to 2014 -- General Bibliography. |
Record Nr. | UNINA-9910163027903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Two Soviet studies on Frege / B. V. Birjukov ; translated and edited by Ignacio Angelelli |
Autore | Birjukov, B. V. |
Pubbl/distr/stampa | Dordrecht : D. Reidel Publishing Company, c1964 |
Descrizione fisica | XXI, 101 p. ; 23 cm. |
Disciplina |
511.3
510.1 |
Collana | Sovietica |
Soggetto topico |
Matematica - Filosofia
Logica matematica |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNIBAS-000011194 |
Birjukov, B. V.
![]() |
||
Dordrecht : D. Reidel Publishing Company, c1964 | ||
![]() | ||
Lo trovi qui: Univ. della Basilicata | ||
|
Un mondo di idee [[electronic resource] ] : La matematica ovunque / / edited by Roberto Lucchetti, Ciro Ciliberto |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Milano : , : Springer Milan : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (258 p.) |
Disciplina |
510
510.1 |
Collana | I blu, pagine di scienza |
Soggetto topico |
Applied mathematics
Engineering mathematics Mathematics History Mathematical logic Number theory Applications of Mathematics History of Mathematical Sciences Mathematical Logic and Foundations Number Theory |
ISBN | 88-470-1744-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Nota di contenuto |
""2 Il paradosso di Condorcet""""3 Problemi di peso""; ""4 Il teorema di Arrow""; ""5 Economia e informatica""; ""6 Conclusioni""; ""Riferimenti bibliografici""; ""Una sfida a scacchi davvero speciale""; ""Applicazioni della matematica alla filogenetica""; ""1 Qualche parola su genetica e biologiamolecolare""; ""2 Introduzione alla filogenetica""; ""3 Entra in scena la matematica: grafi e alberi""; ""4 Inferenza dell�albero evolutivo dai dati osservati""; ""5 Algebra tropicale""; ""6 Lo spazio di Billera, Holmes e Vogtmann""; ""7 Conclusioni""; ""Riferimenti bibliografici""
""L�abbc dei problemi decisionali"" |
Record Nr. | UNINA-9910484721803321 |
Milano : , : Springer Milan : , : Imprint : Springer, , 2011 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
The unity of mathematics : in honor of the ninetieth birthday of I. M. Gelfand / Pavel Etingof, Vladimir Retakh, I. M. Singer, editors |
Pubbl/distr/stampa | Boston : Birkhäuser, c2006 |
Descrizione fisica | xxii, 631 p. : ill. ; 25 cm |
Disciplina | 510.1 |
Altri autori (Persone) |
Gelfand, Izrailʹ Moiseevich
Etingof, Pavel I.author Retakh, Vladimirauthor Singer, Isadore Manuel |
Collana | Progress in mathematics [Birkhauser], 0743-1643; 244 |
Soggetto (Persona) | Gelfand, Izrailʹ Moiseevich |
Soggetto topico | Mathematics |
ISBN | 0817640762 |
Classificazione |
AMS 00B30
AMS 16E40 AMS 22D20 AMS 37K10 AMS 53D17 AMS 58C30 AMS 81R12 AMS 82B23 AMS 14C35 LC QA7.U55 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001932979707536 |
Boston : Birkhäuser, c2006 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Virtue epistemology naturalized : bridges between virtue epistemology and philosophy / Abrol Fairweather editor |
Autore | Fairweather, Abrol |
Pubbl/distr/stampa | Cham : Springer, 2014 |
Descrizione fisica | VI, 360 p. ; 24 cm |
Disciplina | 510.1 |
Collana | Synthese Library |
Soggetto non controllato | Matematica. Filosofia e teoria |
ISBN | 978-3-319-04671-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009944940403321 |
Fairweather, Abrol
![]() |
||
Cham : Springer, 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
La visione matematica della realtà : introduzione ai temi e alla storia della modellistica matematica / Giorgio Israel |
Autore | Israel, Giorgio |
Pubbl/distr/stampa | Roma ; Bari : Laterza, 1996 |
Descrizione fisica | XV, 371 p. ; 21 cm |
Disciplina | 510.1 |
Collana | Biblioteca di cultura moderna ; 1108 |
Soggetto topico | Matematica - Filosofia e teoria |
ISBN | 8842050350 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISALENTO-991000824769707536 |
Israel, Giorgio
![]() |
||
Roma ; Bari : Laterza, 1996 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Vol. 1: Philosophy and foundations of mathematics / L.E.J. Brouwer ; edited by A. Heyting |
Autore | BROUWER, L.E.J. |
Pubbl/distr/stampa | Amsterdam : North Holland, 1975 |
Descrizione fisica | XV, 628 p. : ill. ; 26 cm |
Disciplina | 510.1 |
Soggetto topico | Matematica |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990003233800203316 |
BROUWER, L.E.J.
![]() |
||
Amsterdam : North Holland, 1975 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|