top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Consequenzia mirabilis : una regola logica tra matematica e filosofia / Fabio Bellissima, Paolo Pagli
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
Opac: Controlla la disponibilità qui
Consistency of the Continuum Hypothesis. (AM-3), Volume 3 / / Kurt Gödel
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
Opac: Controlla la disponibilità qui
Constitution and Production of Mathematics in the Cyberspace : A Phenomenological Approach / / edited by Maria Aparecida Viggiani Bicudo
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
Opac: Controlla la disponibilità qui
Constructivity and Computability in Historical and Philosophical Perspective / / edited by Jacques Dubucs, Michel Bourdeau
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
Opac: Controlla la disponibilità qui
Le continu et autres écrits / Hermann Weyl ; notes introductives et traduction par Jean Largeault
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
Opac: Controlla la disponibilità qui
The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics / / by John L. Bell
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
Opac: Controlla la disponibilità qui
Critique de la Raison Pure de Kant - la Troisième Antinomie de la Raison (Commentaire) : Comprendre la Philosophie Avec LePetitPhilosophe. fr / / Julien Bourbiaux
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
Opac: Controlla la disponibilità qui
Critique de la Raison Pure de Kant - la Troisième Antinomie de la Raison (Commentaire) : Comprendre la Philosophie Avec LePetitPhilosophe. fr / / Julien Bourbiaux
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
Opac: Controlla la disponibilità qui
Cusano e i matematici / Luciana de Bernart
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
Opac: Controlla la disponibilità qui
Da Pitagora a Borges : discussioni in rete sull'infinito / Claudio Citrini
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
Opac: Controlla la disponibilità qui

Data di pubblicazione

Altro...