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.
Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / / edited by Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka
| Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / / edited by Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (232 pages) |
| Disciplina | 511.3 |
| Collana | Springer Proceedings in Mathematics & Statistics |
| Soggetto topico |
Logic, Symbolic and mathematical
Computer arithmetic and logic units Computer science - Mathematics Logic Mathematics - Philosophy Mathematical Logic and Foundations Arithmetic and Logic Structures Mathematics of Computing Philosophy of Mathematics Lògica matemàtica |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| ISBN | 981-16-4173-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | S. Fuchino and A. Ottenbreit Ottenbreit Maschio Rodrigues, Reflection principles, generic large cardinals, and the Continuum Problem -- D. Ikegami and N. Trang, On supercompactness of ω1 -- S. Iwata, Interpolation properties for Sacchetti’s logics -- T. Kurahashi, Rosser provability and the second incompleteness theorem -- H. Kurokawa, On Takeuti’s early view of the concept of set -- Yo Matsubara and T. Usuba, On Countable Stationary Towers -- M. Ozawa, Reforming Takeuti’s Quantum Set Theory to Satisfy De Morgan’s Laws -- T. Usuba, Choiceless Lowenheim-Skolem property and uniform definability of grounds -- M. Yasugi, Y. Tsujii, T. Mori, Irrational-based computability of functions -- M. Yasugi, “Gaisi Takeuti’s finitist standpoint” and its mathematical embodiment -- Y. Yoshinobu, Properness under closed forcing. |
| Record Nr. | UNINA-9910523006803321 |
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Adventures of Mind and Mathematics [[electronic resource] /] / by Wolff-Michael Roth
| Adventures of Mind and Mathematics [[electronic resource] /] / by Wolff-Michael Roth |
| Autore | Roth Wolff-Michael |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (265 pages) |
| Disciplina | 510.1 |
| Collana | Mathematics in Mind |
| Soggetto topico |
Mathematics
Mathematics—Philosophy Mathematics, general Philosophy of Mathematics |
| ISBN | 3-030-51809-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part A. Foundations -- 1. Toward an Organismic Theory of Mind -- 2. Primacy of Events -- Part B. Extensions -- 3. Mathematical Thinking as Event -- 4. On Signifier-Things and Signing-as-Event -- 5. When Does Mathematical Form Make Sense? -- 6. Genesis of Mathematical Reasoning -- 7. Affect in the Mathematical Mind -- Part C. Integrations -- 8. The Thinking Body of Mathematics -- 9. Experience, Mathematics, and Mind -- Appendix -- Index. . |
| Record Nr. | UNISA-996418252403316 |
Roth Wolff-Michael
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Adventures of Mind and Mathematics / / by Wolff-Michael Roth
| Adventures of Mind and Mathematics / / by Wolff-Michael Roth |
| Autore | Roth Wolff-Michael |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (265 pages) |
| Disciplina | 510.1 |
| Collana | Mathematics in Mind |
| Soggetto topico |
Mathematics
Mathematics - Philosophy Philosophy of Mathematics |
| ISBN | 3-030-51809-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part A. Foundations -- 1. Toward an Organismic Theory of Mind -- 2. Primacy of Events -- Part B. Extensions -- 3. Mathematical Thinking as Event -- 4. On Signifier-Things and Signing-as-Event -- 5. When Does Mathematical Form Make Sense? -- 6. Genesis of Mathematical Reasoning -- 7. Affect in the Mathematical Mind -- Part C. Integrations -- 8. The Thinking Body of Mathematics -- 9. Experience, Mathematics, and Mind -- Appendix -- Index. . |
| Record Nr. | UNINA-9910483161903321 |
|
Roth Wolff-Michael
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Approaching Infinity / / by M. Huemer
| Approaching Infinity / / by M. Huemer |
| Autore | Huemer M |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | London : , : Palgrave Macmillan UK : , : Imprint : Palgrave Macmillan, , 2016 |
| Descrizione fisica | 1 online resource (XIII, 275 p.) |
| Disciplina | 111/.6 |
| Soggetto topico |
Metaphysics
Mathematics - Philosophy Logic Philosophy of Mathematics |
| ISBN |
9781349719600
1349719609 9781137560872 1137560878 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910255346703321 |
|
Huemer M
|
||
| London : , : Palgrave Macmillan UK : , : Imprint : Palgrave Macmillan, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Arabic Logic from al-Fārābī to Averroes : A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics / / by Saloua Chatti
| Arabic Logic from al-Fārābī to Averroes : A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics / / by Saloua Chatti |
| Autore | Chatti Saloua |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2019 |
| Descrizione fisica | 1 online resource (380 pages) |
| Disciplina | 160 |
| Collana | Studies in Universal Logic |
| Soggetto topico |
Proof theory
Mathematics - Philosophy Mathematics Social sciences Philosophy - History Proof Theory and Constructive Mathematics Philosophy of Mathematics Mathematics in the Humanities and Social Sciences History of Philosophy |
| ISBN | 3-030-27466-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1: General Introduction -- Chapter 2: The Rise of Arabic Logic: Authors, Translations, Topics -- Chapter 3: Categorical Logic -- Chapter 4: Modal Logic -- Chapter 5: The Hypothetical Logic -- Chapter 6: General Conclusion -- References -- Index of Names -- Subject Index. |
| Record Nr. | UNINA-9910360849003321 |
|
Chatti Saloua
|
||
| Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Arbitrary Reference in Logic and Mathematics / / by Massimiliano Carrara, Enrico Martino
| Arbitrary Reference in Logic and Mathematics / / by Massimiliano Carrara, Enrico Martino |
| Autore | Carrara Massimiliano |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (102 pages) |
| Disciplina | 160 |
| Collana | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science |
| Soggetto topico |
Analysis (Philosophy)
Logic, Symbolic and mathematical Linguistics Mathematics - Philosophy Logic Analytic Philosophy Mathematical Logic and Foundations Philosophy of Mathematics |
| ISBN | 9783031664526 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- 1. On Arbitrary Reference -- 2. On Plural Arbitrary Reference -- 3. On Arbitrary Fictional Models -- 4. Second-Order Logic and Plural Arbitrary Reference -- 5. Logical Concepts and Plural Arbitrary Reference -- 6. Plural Arbitrary Reference and mereology -- 7. Grounding Megethology on Plural Arbitrary Reference -- 8. The Mereological foundation of Megethology -- 9. Final ruminations -- Index. |
| Record Nr. | UNINA-9910881096503321 |
|
Carrara Massimiliano
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Art and IR Theory : Visual Semiotic Games / / by Serdar Ş. Güner
| Art and IR Theory : Visual Semiotic Games / / by Serdar Ş. Güner |
| Autore | Güner Serdar S. |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (171 pages) |
| Disciplina |
354.81150006
701 |
| Collana | Mathematics in Mind |
| Soggetto topico |
Mathematics - Philosophy
Semiotics Philosophy of Mathematics Filosofia de la matemàtica Simbolisme |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-031-32342-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Chapter 1 Scope and Method -- Chapter 2 Structural Constraints and Non-Unique Dynamic Anarchies -- Chapter 3 Art Versus IR Theory -- Chapter 4 Preferences and Equilibrium -- Chapter 5 Saussurean Games -- Chapter 6 Peircian Games -- Chapter 7 Hybrid Games -- Chapter 8 Interpretations -- Summing Up -- References. |
| Record Nr. | UNINA-9910735400103321 |
|
Güner Serdar S.
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Axiomatic Thinking I / / edited by Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga
| Axiomatic Thinking I / / edited by Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (XIV, 205 p. 9 illus., 4 illus. in color.) |
| Disciplina | 511.3 |
| Soggetto topico |
Logic, Symbolic and mathematical
Mathematics - Philosophy Mathematics History Mathematical Logic and Foundations Philosophy of Mathematics History of Mathematical Sciences Axiomes |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9783030776572
3-030-77657-3 9783030776565 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Volume 1: History and Philosophy -- Axiomatisches Denken -- Part I: History and Philosophy -- Hilbert's Axiomatisches Denken -- Scope and Limits of Axiomatics -- The Semantic Function of the Axiomatic Method -- Aristotle's Relations: An Interpretation in Combinatory Logic -- The Two Sides of Modern Axiomatics: Dedekind and Peano, Hilbert and Bourbaki -- Notes for a Seminar in Axiomatic Reasoning -- Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics -- Proofs as Objects -- Where Do Axioms Come From? -- Panel Discussion on the Foundations of Mathematics. . |
| Record Nr. | UNINA-9910616374903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Axiomatic Thinking II [[electronic resource] /] / edited by Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga
| Axiomatic Thinking II [[electronic resource] /] / edited by Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (293 pages) |
| Disciplina | 516 |
| Soggetto topico |
Mathematical logic
Mathematics - Philosophy Mathematics History Mathematical Logic and Foundations Philosophy of Mathematics History of Mathematical Sciences Axiomes |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-77799-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Volume 2: Logic, Mathematics, and other Sciences -- Part II: Logic -- A Framework for Metamathematics -- Simplified Cut Elimination for Kripke-Platek Set Theory -- On the Performance of Axiom Systems -- Well-Ordering Priciples in Proof Theory and Reverse Mathematics -- Part III: Mathematics -- Reflections on the Axiomatic Approach to Continuity -- Abstract Generality, Simplicity, Forgetting, and Discovery -- Varieties of Infiniteness in the Existence of Infinitely Many Primes -- Axiomatics as a Functional Strategy for Complex Proofs: the Case of Riemann Hypothesis -- Part IV: Other Sciences -- What is the Church-Turing Thesis? -- Axiomatic Thinking in Physics--Essence or Useless Ornament? -- Axiomatic Thinking--Applied to Religion. . |
| Record Nr. | UNISA-996490346103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Axiomatic Thinking II / / edited by Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga
| Axiomatic Thinking II / / edited by Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (293 pages) |
| Disciplina | 516 |
| Soggetto topico |
Logic, Symbolic and mathematical
Mathematics - Philosophy Mathematics History Mathematical Logic and Foundations Philosophy of Mathematics History of Mathematical Sciences Axiomes |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-77799-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Volume 2: Logic, Mathematics, and other Sciences -- Part II: Logic -- A Framework for Metamathematics -- Simplified Cut Elimination for Kripke-Platek Set Theory -- On the Performance of Axiom Systems -- Well-Ordering Priciples in Proof Theory and Reverse Mathematics -- Part III: Mathematics -- Reflections on the Axiomatic Approach to Continuity -- Abstract Generality, Simplicity, Forgetting, and Discovery -- Varieties of Infiniteness in the Existence of Infinitely Many Primes -- Axiomatics as a Functional Strategy for Complex Proofs: the Case of Riemann Hypothesis -- Part IV: Other Sciences -- What is the Church-Turing Thesis? -- Axiomatic Thinking in Physics--Essence or Useless Ornament? -- Axiomatic Thinking--Applied to Religion. . |
| Record Nr. | UNINA-9910595053703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
