Consequenzia mirabilis : una regola logica tra matematica e filosofia / Fabio Bellissima, Paolo Pagli |
Autore | Bellissima, Fabio |
Pubbl/distr/stampa | Firenze : Leo S. OLschki, 1996 |
Descrizione fisica | 231 p. ; 24 cm. |
Disciplina | 510.1 |
Altri autori (Persone) | Pagli, Paoloauthor |
Collana | Biblioteca di Storia della Scienza / Olschki ; 38 |
Soggetto topico |
Logica matematica - Saggio critico
Matematica - Filosofia e teoria |
ISBN | 8822243811 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISALENTO-991002389369707536 |
Bellissima, Fabio | ||
Firenze : Leo S. OLschki, 1996 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Consistency of the Continuum Hypothesis. (AM-3), Volume 3 / / Kurt Gödel |
Autore | Gödel Kurt |
Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
Descrizione fisica | 1 online resource (81 pages) |
Disciplina | 510.1 |
Collana | Annals of Mathematics Studies |
Soggetto topico |
Mathematics - Philosophy
Logic, Symbolic and mathematical |
Soggetto non controllato |
Absoluteness
Addition Axiom of choice Axiom of extensionality Axiom of infinity Axiom Axiomatic system Boolean algebra (structure) Constructible set (topology) Continuum hypothesis Existence theorem Existential quantification Integer Mathematical induction Mathematical logic Mathematics Metatheorem Order by Ordinal number Propositional function Quantifier (logic) Reductio ad absurdum Requirement Set theory Theorem Transfinite induction Transfinite Variable (mathematics) Well-order |
ISBN | 1-4008-8163-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- CONTENTS -- INTRODUCTION -- CHAPTER I. THE AXIOMS OF ABSTRACT SET THEORY -- CHAPTER II. EXISTENCE OF CLASSES AND SETS -- CHAPTER III. ORDINAL NUMBERS -- CHAPTER IV. CARDINAL NUMBERS -- CHAPTER V. THE MODEL Δ -- CHAPTER VI. PROOF OF THE AXIOMS OF GROUPS A-D FOR THE MODEL Δ -- CHAPTER VII. PROOF THAT V = L HOLDS IN THE MODEL Δ -- CHAPTER VIII. PROOF THAT V = L IMPLIES THE AXIOM OF CHOICE AND THE GENERALISED CONTINTUUM-HYPOTHESIS -- APPENDIX -- INDEX -- Notes Added to the Second Printing -- BIBLIOGRAPHY |
Record Nr. | UNINA-9910154754203321 |
Gödel Kurt | ||
Princeton, NJ : , : Princeton University Press, , [2016] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Constitution and Production of Mathematics in the Cyberspace : A Phenomenological Approach / / edited by Maria Aparecida Viggiani Bicudo |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (xiv, 259 pages) : illustrations |
Disciplina | 510.1 |
Soggetto topico |
Mathematics - Study and teaching
Education - Philosophy Educational technology Mathematics Education Philosophy of Education Digital Education and Educational Technology |
ISBN | 3-030-42242-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chapter 1. MATHEMATICS EDUCATION IN/WITH CYBERSPACE AND DIGITAL TECHNOLOGIES: WHAT HAS BEEN SCIENTIFICALLY PRODUCED ABOUT IT -- Chapter 2. THE VIEW OF THE WORLD AND OF KNOWLEDGE MADE EXPLICIT BY PHENOMENOLOGY: A TURNING POINT IN THE WAY OF UNDERSTANDING REALITY -- Chapter 3. THE LIVING BODY AND CYBERSPACE: THE HYLETIC DIMENSION IN THE CONSTITUTION OF KNOWLEDGE -- Chapter 4. UNDERSTANDING PHENOMENOLOGICALLY THE CONSTITUTION OF KNOWLEDGE WHEN WORKING WITH DYNAMIC GEOMETRY -- Chapter 5. CONSTITUING MATHEMATICAL KNOWLEDGE BEING-WITH-MEDIA IN CYBERSPACE -- Chapter 6. PHENOMENOLOGICAL STUDY OF A DIGITAL SIMULATOR OF THE SINE FUNCTION CONTEXTUALIZED IN A TEACHING AND LEARNING ACTIVITY -- Chapter 7. RESOURCE AND WEBSITE DEVELOPERS FOR TEACHING MATHEMATICS ON THE INTERNET -- Chapter 8. CYBEREDUCATION WITH MATHEMATICS TEACHERS: WORKING WITH VIRTUAL REALITY IN MATHEMATICS ACTIVITIES -- Chapter 9. MATHEMATICS IN AFRICAN CULTURAL CREATIONS: OPEN HORIZONS TO THE WORLD OF MATHEMATICS EDUCATION AND THE FORMATION OF THE PERSON -- Chapter 10. FAMILIARITY-STRANGENESS: MOVEMENTS ACTUALIZATION OF A PROJECT OF MATHEMATICS TEACHERS TECHNOLOGICAL FORMATION -- Chapter 11. INTERACTIVITY AS A WAY TO EXPRESS AND LEARN MATHEMATICAL IDEAS ABOUT CHANGE, DEPENDENCY AND RESTRICTION -- Chapter 12. REAL NUMBERS AND COMPUTATIONAL CHALLENGES UNDER A PHENOMENOLOGICAL PERSPECTIVE -- Chapter 13. THE MATHEMATICIAN PRODUCING MATHEMATICS (BEING) WITH COMPUTERS -- Chapter 14. THE CONSTITUTION OF THE MATHEMATICAL OBJECT IN ACTS OF EVIDENCE, FROM THE PERSPECTIVE OF EDMUND HUSSERL’S FIRST LOGICAL INVESTIGATION -- Chapter 15. Afterwords. |
Record Nr. | UNINA-9910410014403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Constructivity and Computability in Historical and Philosophical Perspective / / edited by Jacques Dubucs, Michel Bourdeau |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (223 p.) |
Disciplina | 510.1 |
Collana | Logic, Epistemology, and the Unity of Science |
Soggetto topico |
Logic
Computers Mathematical logic Theory of Computation Mathematical Logic and Foundations |
ISBN | 94-017-9217-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface; Jacques Dubucs and Michel Bourdeau -- Chapter 1. Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session; Göran Sundholm -- Chapter 2. The developments of the concept of machine computability from 1936 to the 1960s; Jean Mosconi -- Chapter 3. Kolmogorov Complexity in perspective, Part I: Information Theory and Randomness; Marie Ferbus-Zanda and Serge Grigorieff -- Chapter 4. Kolmogorov Complexity in perspective, Part II: Classification, Information Processing and Duality; Marie Ferbus-Zanda -- Chapter 5. Proof-theoretic semantics and feasibility; Jean Fichot -- Chapter 6. Recursive functions and constructive mathematics; Thierry Coquand -- Chapter 7. Gödel and intuitionism; Mark van Atten. |
Record Nr. | UNINA-9910482957603321 |
Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Le continu et autres écrits / Hermann Weyl ; notes introductives et traduction par Jean Largeault |
Autore | Weyl, Hermann |
Pubbl/distr/stampa | Paris : Librairie philosophique J. Vrin, 1994 |
Descrizione fisica | 322 p. ; 22 cm. |
Disciplina | 510.1 |
Collana | Mathesis |
Soggetto topico |
Matematica - Teorie - Scritti
Weyl, Hermann - Scritti minori |
ISBN | 2711612198 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | fre |
Record Nr. | UNISALENTO-991002400079707536 |
Weyl, Hermann | ||
Paris : Librairie philosophique J. Vrin, 1994 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics / / by John L. Bell |
Autore | Bell John L |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (320 pages) |
Disciplina |
190
510.1 |
Collana | The Western Ontario Series in Philosophy of Science, A Series of Books in Philosophy of Science, Methodology, Epistemology, Logic, History of Science, and Related Fields |
Soggetto topico |
Mathematics—Philosophy
Philosophy Mathematical logic Mathematical analysis Analysis (Mathematics) Differential geometry Mathematics History Philosophy of Mathematics History of Philosophy Mathematical Logic and Formal Languages Analysis Differential Geometry History of Mathematical Sciences |
ISBN | 3-030-18707-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part I: The Continuous, the Discrete, and the Infinitesimal in the History of Thought -- Chapter 1. The Continuous and the Discrete in Ancient Greece, the Orient, and the European Middle Ages -- Chapter 2. The 16th and 17th Centuries: The Founding of the Infinitesimal Calculus -- Chapter 3. The 18th and Early 19th Centuries: The Age of Continuity -- Chapter 4. The Reduction of the Continuous to the Discrete in the 19th and early 20th Centuries -- Chapter 5. Dissenting Voices: Divergent Conceptions of the Continuum in the 19th and Early 20th Centuries -- Part II: Continuity and Infinitesimals in Today’s Mathematics -- Chapter 6. Topology -- Chapter 7. Category/Topos Theory -- Chapter 8. Nonstandard Analysis -- Chapter 9. The Constructive and Intuitionistic Continua -- Chapter 10. Smooth Infiniteimal Analysis/Synthetic Geometry. |
Record Nr. | UNINA-9910349545203321 |
Bell John L | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Critique de la Raison Pure de Kant - la Troisième Antinomie de la Raison (Commentaire) : Comprendre la Philosophie Avec LePetitPhilosophe. fr / / Julien Bourbiaux |
Autore | Bourbiaux Julien |
Pubbl/distr/stampa | [Place of publication not identified] : , : Lemaitre Publishing, , [2014] |
Descrizione fisica | 1 online resource (26 p.) |
Disciplina | 510.1 |
Collana | Commentaire Philosophique |
Soggetto topico |
Mathematics - Philosophy
Space - Philosophy Space and time - Philosophy |
ISBN | 2-8062-4551-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | fre |
Nota di contenuto | Intro -- Kant -- La Critique de la raison pure -- Mise en contexte -- Les questions au fondement de la philosophie kantienne -- Une méthode critique -- La troisième antinomie de la raison dans la Critique de la raison pure -- Texte -- La troisième antinomie de la raison -- Explication et analyse du texte -- Les deux sortes de causes -- Cette « pure Idée transcendantale » qu'est la liberté -- La raison au fondement de la morale -- Conclusion -- Pour aller plus loin. |
Record Nr. | UNINA-9910796182603321 |
Bourbiaux Julien | ||
[Place of publication not identified] : , : Lemaitre Publishing, , [2014] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Critique de la Raison Pure de Kant - la Troisième Antinomie de la Raison (Commentaire) : Comprendre la Philosophie Avec LePetitPhilosophe. fr / / Julien Bourbiaux |
Autore | Bourbiaux Julien |
Pubbl/distr/stampa | [Place of publication not identified] : , : Lemaitre Publishing, , [2014] |
Descrizione fisica | 1 online resource (26 p.) |
Disciplina | 510.1 |
Collana | Commentaire Philosophique |
Soggetto topico |
Mathematics - Philosophy
Space - Philosophy Space and time - Philosophy |
ISBN | 2-8062-4551-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | fre |
Nota di contenuto | Intro -- Kant -- La Critique de la raison pure -- Mise en contexte -- Les questions au fondement de la philosophie kantienne -- Une méthode critique -- La troisième antinomie de la raison dans la Critique de la raison pure -- Texte -- La troisième antinomie de la raison -- Explication et analyse du texte -- Les deux sortes de causes -- Cette « pure Idée transcendantale » qu'est la liberté -- La raison au fondement de la morale -- Conclusion -- Pour aller plus loin. |
Record Nr. | UNINA-9910808263403321 |
Bourbiaux Julien | ||
[Place of publication not identified] : , : Lemaitre Publishing, , [2014] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Cusano e i matematici / Luciana de Bernart |
Autore | de BERNART, Luciana |
Pubbl/distr/stampa | Pisa : Scuola normale superiore, 1999 |
Descrizione fisica | 99 p. ; 24 cm |
Disciplina | 510.1 |
Collana | Pubblicazioni della Classe di lettere e filosofia, Scuola Normale superiore, Pisa |
Soggetto (Persona) | Niccolò : da Cusa Pensiero matematico |
ISBN | 88-7642-077-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISA-990001142010203316 |
de BERNART, Luciana | ||
Pisa : Scuola normale superiore, 1999 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Da Pitagora a Borges : discussioni in rete sull'infinito / Claudio Citrini |
Autore | CITRINI, Claudio |
Pubbl/distr/stampa | Milano : B. Mondadori, copyr. 2004 |
Descrizione fisica | XIII, 238 p. : ill. ; 22 cm. |
Disciplina | 510.1 |
Collana | Matematica e dintorni |
Soggetto topico |
Infinito |
ISBN | 88-424-9147-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISA-990002149370203316 |
CITRINI, Claudio | ||
Milano : B. Mondadori, copyr. 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|