| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910999778503321 |
|
|
Titolo |
The Palgrave companion to the philosophy of set theory / / editors, Carolin Antos, Neil Barton, Giorgio Venturi |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer, , [2025] |
|
©2025 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (xv, 393 pages) |
|
|
|
|
|
|
Collana |
|
Palgrave Companions, , 3004-9180 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Set theory - Philosophy |
Mathematics - Philosophy |
Logic |
Knowledge, Theory of |
Metaphysics |
Philosophy of Mathematics |
Formal Logic |
Epistemology |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Chapter 1. Introduction -- Part I Epistemology -- Chapter 2.The Problem of Existence forDescriptivism About the Reference of Set-Theoretic Expressions -- Chapter 3. Intuition and Observation -- Chapter 4. Arealism, ThinRealism, and the Problem of Extrinsic Evidence -- Chapter 5. The Hidden Use of New Axioms -- Part II Formal Theories -- Chapter 6. The Iterative Notion of Function and the Iterative Notion of Set -- Chapter 7. What Set Theory Could Not Be About -- Chapter 8. Hamkins’ Analogy Between Set Theory and Geometry: Pluralism by Leveling Up? -- Chapter 9. Basic Mathematics Beyond Classicality -- Part III Ontology -- Chapter 10. Iteration and Dependence Again -- Chapter 11. What Is Forcing Potentialism? -- Chapter 12. On the Consistency of Height and Width Potentialism -- Chapter 13. Higher-Order Platonism and Multiversism -- Chapter 14. Language, Models, and Reality: Weak Existence and a Threefold Correspondence. |
|
|
|
|
|
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This volume showcases some of the up-and-coming voices of an emerging field - the philosophy of set theory - which in recent years has gained prominence in the philosophy of mathematics. The chapters in this volume both present new topics and propose solutions to old problems. It contains a broad picture of the philosophy of set theory, examining questions from epistemology and ontology, whilst touching on the use of formal theories in the study of mathematical infinity. Key features of this volume: • Explores new and interesting connections between philosophy, set theory, and the study of infinity.• Considers questions intended to appeal to a wider audience in both philosophy and mathematical logic.• Examines three key areas of study: Epistemology, Formal Theories, and Ontology. The book provides a key reference text for future debates and is ideal for both newcomers to the philosophy of set theory and established researchers in the field. Carolin Antos, PhD, is an Assistant Professor for Theoretical Philosophy at the University of Konstanz. Neil Barton, PhD, is a Lecturer in the Department of Philosophy at the National University of Singapore. Giorgio Venturi, PhD, is a tenure-track Associate Professor at the Department of Civilization and Forms of Knowledge at the University of Pisa. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910254810003321 |
|
|
Titolo |
Representations, Analysis and Recognition of Shape and Motion from Imaging Data : 6th International Workshop, RFMI 2016, Sidi Bou Said Village, Tunisia, October 27-29, 2016, Revised Selected Papers / / edited by Boulbaba Ben Amor, Faten Chaieb, Faouzi Ghorbel |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2017.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 177 p. 79 illus.) |
|
|
|
|
|
|
Collana |
|
Communications in Computer and Information Science, , 1865-0937 ; ; 684 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer vision |
Pattern recognition systems |
Artificial intelligence |
Computer graphics |
Computer networks |
Data mining |
Computer Vision |
Automated Pattern Recognition |
Artificial Intelligence |
Computer Graphics |
Computer Communication Networks |
Data Mining and Knowledge Discovery |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Nota di contenuto |
|
3D Shape Registration and Comparison -- Face Analysis and Recognition -- Video and Motion Analysis -- 2D Shape Analysis. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 6th International Workshop on Representations, Analysis and Recognition of Shape and Motion from Imaging Data, RFMI 2016, held in Sidi Bou Said Village, Tunisia, in October 2016. The 9 revised full papers and 7 revised short papers presented were carefully reviewed and selected from 23 |
|
|
|
|
|
|
|
|
|
|
submissions. The papers are organized in topical sections on 3D shape registration and comparison; face analysis and recognition; video and motion analysis; 2D shape analysis. |
|
|
|
|
|
| |