Axiomatic method and category theory [[electronic resource] /] / by Andrei Rodin |
Autore | Rodin Andrei |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (288 p.) |
Disciplina | 511.3 |
Collana | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science |
Soggetto topico |
Epistemology
Category theory (Mathematics) Homological algebra Mathematical logic Category Theory, Homological Algebra Mathematical Logic and Foundations |
ISBN | 3-319-00404-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Part I A Brief History of the Axiomatic Method -- Chapter 1. Euclid: Doing and Showing -- Chapter 2. Hilbert: Making It Formal -- Chapter 3. Formal Axiomatic Method and the 20th Century Mathematics -- Chapter. 4 Lawvere: Pursuit of Objectivity -- Conclusion of Part 1 -- Part II. Identity and Categorification -- Chapter 5. Identity in Classical and Constructive Mathematics -- Chapter 6. Identity Through Change, Category Theory and Homotopy Theory -- Conclusion of Part 2 -- Part III. Subjective Intuitions and Objective Structures -- Chapter 7. How Mathematical Concepts Get Their Bodies. Chapter 8. Categories versus Structures -- Chapter 9. New Axiomatic Method (instead of conclusion) -- Bibliography. |
Record Nr. | UNINA-9910483780103321 |
Rodin Andrei | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
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. | UNINA-9910595053703321 |
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 |
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 | ||
|
Banach Spaces and Descriptive Set Theory: Selected Topics [[electronic resource] /] / by Pandelis Dodos |
Autore | Dodos Pandelis |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XII, 168 p.) |
Disciplina | 515.732 |
Collana | Lecture Notes in Mathematics |
Soggetto topico |
Discrete mathematics
Functional analysis Mathematical logic Combinatorics Discrete Mathematics Functional Analysis Mathematical Logic and Foundations |
ISBN | 3-642-12153-5 |
Classificazione | 46B0346B1546B0746B7046M4003E1503E7505D10 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Basic Concepts -- The Standard Borel Space of All Separable Banach Spaces -- The ?2 Baire Sum -- Amalgamated Spaces -- Zippin’s Embedding Theorem -- The Bourgain–Pisier Construction -- Strongly Bounded Classes of Banach Spaces. |
Record Nr. | UNISA-996466484003316 |
Dodos Pandelis | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Banach Spaces and Descriptive Set Theory: Selected Topics [[electronic resource] /] / by Pandelis Dodos |
Autore | Dodos Pandelis |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XII, 168 p.) |
Disciplina | 515.732 |
Collana | Lecture Notes in Mathematics |
Soggetto topico |
Discrete mathematics
Functional analysis Mathematical logic Combinatorics Discrete Mathematics Functional Analysis Mathematical Logic and Foundations |
ISBN | 3-642-12153-5 |
Classificazione | 46B0346B1546B0746B7046M4003E1503E7505D10 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Basic Concepts -- The Standard Borel Space of All Separable Banach Spaces -- The ?2 Baire Sum -- Amalgamated Spaces -- Zippin’s Embedding Theorem -- The Bourgain–Pisier Construction -- Strongly Bounded Classes of Banach Spaces. |
Record Nr. | UNINA-9910484607103321 |
Dodos Pandelis | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Basic Real Analysis [[electronic resource] /] / by Houshang H. Sohrab |
Autore | Sohrab Houshang H |
Edizione | [2nd ed. 2014.] |
Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Birkhäuser, , 2014 |
Descrizione fisica | 1 online resource (XI, 683 p. 3 illus.) |
Disciplina | 510 |
Soggetto topico |
Measure theory
Mathematical logic Measure and Integration Mathematical Logic and Foundations |
ISBN | 1-4939-1841-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- Set Theory -- Sequences and Series of Real Numbers -- Limits of Functions -- Topology of R and Continuity -- Metric Spaces -- The Derivative -- The Riemann Integral -- Sequences and Series of Functions -- Normed and Function Spaces -- The Lebesgue Integral -- Lebesgue Measure -- General Measure and Probability -- Appendix A: Construction of Real Numbers -- References -- Index. |
Record Nr. | UNINA-9910299989903321 |
Sohrab Houshang H | ||
New York, NY : , : Springer New York : , : Imprint : Birkhäuser, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Belief Revision in Non-Classical Logics [[electronic resource] /] / by Márcio Moretto Ribeiro |
Autore | Ribeiro Márcio Moretto |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | London : , : Springer London : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (126 p.) |
Disciplina | 006.3 |
Collana | SpringerBriefs in Computer Science |
Soggetto topico |
Artificial intelligence
Mathematical logic Epistemology Logic Ontology Artificial Intelligence Mathematical Logic and Formal Languages Mathematical Logic and Foundations |
ISBN |
1-283-61173-2
9786613924186 1-4471-4186-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- Introduction -- Consequence -- Logics -- Classical Belief Revision -- AGM Contraction in Non-Classical Logics -- AGM Revision in Logics without Negation -- Base Revision in Logics without Negation -- Algorithms for Belief Bases -- Conclusion -- Index. |
Record Nr. | UNINA-9910437575103321 |
Ribeiro Márcio Moretto | ||
London : , : Springer London : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Building Theories [[electronic resource] ] : Heuristics and Hypotheses in Sciences / / edited by David Danks, Emiliano Ippoliti |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (X, 284 p. 24 illus., 5 illus. in color.) |
Disciplina | 006.3 |
Collana | Studies in Applied Philosophy, Epistemology and Rational Ethics |
Soggetto topico |
Epistemology
Cognitive psychology Artificial intelligence Mathematical logic Cognitive Psychology Artificial Intelligence Science, Humanities and Social Sciences, multidisciplinary Mathematical Logic and Foundations |
ISBN | 3-319-72787-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Building theories: The heuristic way -- Building theories: Strategies not blueprints -- Richer than reduction -- Theory building as problem solving -- Discovering cures in medicine -- The product guides the process: Discovering disease mechanisms -- Take the case of a Geometer: Mathematical analogies and building theories in Aristotle -- Activation of the eddy mental schema, multiple analogies and their heuristic cooperation in the historical development of fluid dynamics -- Heuristic logic: A kernel -- The noetic account of scientific progress and the factivity of understanding -- Rhythms, retention and protention: Philosophical reflections on geometrical schemata for biological time. |
Record Nr. | UNINA-9910300629903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Cabal Seminar 79-81 [[electronic resource] ] : Proceedings. Caltech-UCLA Logic Seminar 1979-81 / / edited by A. S. Kechris, D. A. Martin, Y. N. Moschovakis |
Edizione | [1st ed. 1983.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1983 |
Descrizione fisica | 1 online resource (V, 284 p.) |
Disciplina | 511.3 |
Collana | Lecture Notes in Mathematics |
Soggetto topico |
Mathematical logic
Mathematical Logic and Foundations |
ISBN | 3-540-38680-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | More saturated ideals -- Some results in the wadge hierarchy of borel sets -- Pointclasses and well-ordered unions -- Ad and the uniqueness of the supercompact measures on P?1(?) -- Scales on ? 1 1 sets -- Scales on coinductive sets -- The extent of scales in L(R) -- The largest countable this, that, and the other -- Scales in L(R) -- The real game quantifier propagates scales -- Some consistency results in ZFC using AD -- to Q-Theory. |
Record Nr. | UNISA-996466602403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1983 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Cabal Seminar 81-85 [[electronic resource] ] : Proceedings. Caltech-UCLA Logic Seminar 1981-85 / / edited by Alexander Kechris, Donald A. Martin, John R. Steel |
Edizione | [1st ed. 1988.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1988 |
Descrizione fisica | 1 online resource (V, 224 p.) |
Disciplina |
511.3/22
510 s |
Collana | Lecture Notes in Mathematics |
Soggetto topico |
Mathematical logic
Mathematical Logic and Foundations |
ISBN | 3-540-45896-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The strength of Borel wadge determinacy -- More closure properties of pointclasses -- Definable functions on degrees -- Long games -- “AD + uniformization” is equivalent to “half adR” -- A coding theorem for measures -- Subsets of ?1 constructible from a real -- Ad and the projective ordinals. |
Record Nr. | UNISA-996466474303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1988 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|