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.
An Introduction to the Language of Mathematics / / by Frédéric Mynard
| An Introduction to the Language of Mathematics / / by Frédéric Mynard |
| Autore | Mynard Frédéric |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XII, 185 p. 34 illus., 16 illus. in color.) |
| Disciplina |
511.3
511.36 |
| Soggetto topico |
Proof theory
Structures and Proofs |
| ISBN | 3-030-00641-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1- The language of logic and set-theory -- Chapter 2- On proofs and writing mathematics -- Chapter 3- Relations -- Chapter 4- Cardinality -- Appendix A- Complements -- Appendix B- Solutions to exercises in the text -- Index -- Bibliography. |
| Record Nr. | UNINA-9910300114003321 |
Mynard Frédéric
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Language, Logic, and Mathematics in Schopenhauer [[electronic resource] /] / edited by Jens Lemanski
| Language, Logic, and Mathematics in Schopenhauer [[electronic resource] /] / edited by Jens Lemanski |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2020 |
| Descrizione fisica | 1 online resource (318 pages) |
| Disciplina | 193 |
| Collana | Studies in Universal Logic |
| Soggetto topico |
Mathematics
History Proof theory Mathematics—Philosophy History of Mathematical Sciences Structures and Proofs Philosophy of Mathematics |
| ISBN | 3-030-33090-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction: Jens Lemanski -- Section 1: Language -- Language as an "Indisputable Tool and Organ" of Reason: Intuition, Concept and Word in Schopenhauer: Matthias Koßler -- Problems in Reconstructing Schopenhauer's Theory of Meaning: With References to Influence on Wittgenstein: Michał Dobrzański -- Concept Diagrams and the Context Principle: Jens Lemanski -- A Comment on Lemanski's "Concept Diagrams and the Context Principle": Gunnar Schumann -- The World as Will and I-Language: Schopenhauer's Philosophy as Precursor of Cognitive Sciences: Sascha Dümig -- Schopenhauer's Perceptive Invective: Michel-Antoine Xhignesse -- Section 2: Logic -- Schopenhauer's Eulerian Diagrams: Amirouche Moktefi -- Schopenhauer's Logic In Its Historical Context: Valentin Pluder -- Arthur Schopenhauer on Naturalness in Logic: Hubert Martin Schüler, Jens Lemanski -- Schopenhauer and the Equational Form of Predication: Anna-Sophie Heinemann -- From Euler Diagrams in Schopenhauer to Aristotelian Diagrams in Logical Geometry: Lorenz Demey -- Metalogic, Schopenhauer, and Universal Logic: Jean-Yves Béziau -- Section 3: Mathematics -- Schopenhauer and the Mathematical Intuition as the Foundation of Geometry: Marco Segala -- Schopenhauer on Intuition and Proof in Mathematics: Jason Costanzo -- Schopenhauer on Diagrammatic Proof: Michael Bevan -- From Necessary Truths to Feelings: The Foundations of Mathematics in Leibniz and Schopenhauer: Laura Follesa -- . |
| Record Nr. | UNISA-996418197303316 |
| Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Language, Logic, and Mathematics in Schopenhauer / / edited by Jens Lemanski
| Language, Logic, and Mathematics in Schopenhauer / / edited by Jens Lemanski |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2020 |
| Descrizione fisica | 1 online resource (318 pages) |
| Disciplina | 193 |
| Collana | Studies in Universal Logic |
| Soggetto topico |
Mathematics
History Proof theory Mathematics—Philosophy History of Mathematical Sciences Structures and Proofs Philosophy of Mathematics |
| ISBN | 3-030-33090-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction: Jens Lemanski -- Section 1: Language -- Language as an "Indisputable Tool and Organ" of Reason: Intuition, Concept and Word in Schopenhauer: Matthias Koßler -- Problems in Reconstructing Schopenhauer's Theory of Meaning: With References to Influence on Wittgenstein: Michał Dobrzański -- Concept Diagrams and the Context Principle: Jens Lemanski -- A Comment on Lemanski's "Concept Diagrams and the Context Principle": Gunnar Schumann -- The World as Will and I-Language: Schopenhauer's Philosophy as Precursor of Cognitive Sciences: Sascha Dümig -- Schopenhauer's Perceptive Invective: Michel-Antoine Xhignesse -- Section 2: Logic -- Schopenhauer's Eulerian Diagrams: Amirouche Moktefi -- Schopenhauer's Logic In Its Historical Context: Valentin Pluder -- Arthur Schopenhauer on Naturalness in Logic: Hubert Martin Schüler, Jens Lemanski -- Schopenhauer and the Equational Form of Predication: Anna-Sophie Heinemann -- From Euler Diagrams in Schopenhauer to Aristotelian Diagrams in Logical Geometry: Lorenz Demey -- Metalogic, Schopenhauer, and Universal Logic: Jean-Yves Béziau -- Section 3: Mathematics -- Schopenhauer and the Mathematical Intuition as the Foundation of Geometry: Marco Segala -- Schopenhauer on Intuition and Proof in Mathematics: Jason Costanzo -- Schopenhauer on Diagrammatic Proof: Michael Bevan -- From Necessary Truths to Feelings: The Foundations of Mathematics in Leibniz and Schopenhauer: Laura Follesa -- . |
| Record Nr. | UNINA-9910484071103321 |
| Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Sets, Models and Proofs / / by Ieke Moerdijk, Jaap van Oosten
| Sets, Models and Proofs / / by Ieke Moerdijk, Jaap van Oosten |
| Autore | Moerdijk Ieke |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIV, 141 p. 39 illus.) |
| Disciplina | 511.3 |
| Collana | Springer Undergraduate Mathematics Series |
| Soggetto topico |
Proof theory
Algebra Structures and Proofs |
| ISBN | 3-319-92414-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- 1 Sets -- 2 Models -- 3 Proofs -- 4 Sets Again -- Appendix: Topics for Further Study -- Photo Credits -- Bibliography -- Index. |
| Record Nr. | UNINA-9910300124703321 |
|
Moerdijk Ieke
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
