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.
Beginning model theory : the completeness theorem and some consequences / by Jane Bridge
| Beginning model theory : the completeness theorem and some consequences / by Jane Bridge |
| Autore | Bridge, Jane |
| Pubbl/distr/stampa | Oxford : Clarendon Press, 1977 |
| Descrizione fisica | vii, 143 p. ; 25 cm. |
| Disciplina | 511.3 |
| Collana | Oxford logic guides |
| Soggetto topico |
Completeness theorem
Model theory |
| ISBN | 0198531575 |
| Classificazione | AMS 03C |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000716569707536 |
Bridge, Jane
|
||
| Oxford : Clarendon Press, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Categoricity / John T. Baldwin
| Categoricity / John T. Baldwin |
| Autore | Baldwin, John T. |
| Pubbl/distr/stampa | Providence, R. I. : American Mathematical Society, c2009 |
| Descrizione fisica | xi, 235 p. : ill. ; 26 cm |
| Disciplina | 511.3 |
| Collana | University lecture series, 1047-3998 ; 50 |
| Soggetto topico |
Completeness theorem
Model theory |
| ISBN | 9780821848937 |
| Classificazione |
AMS 03C30
AMS 03C45 AMS 03C52 LC QA9.67.B35 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001836079707536 |
|
Baldwin, John T.
|
||
| Providence, R. I. : American Mathematical Society, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Completeness theory for propositional logics [[electronic resource] /] / Witold A. Pogorzelski, Piotr Wojtylak
| Completeness theory for propositional logics [[electronic resource] /] / Witold A. Pogorzelski, Piotr Wojtylak |
| Autore | Pogorzelski Witold <1944-> |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Basel ; ; Boston, : Birkhäuser, c2008 |
| Descrizione fisica | 1 online resource (186 p.) |
| Disciplina | 511.3 |
| Altri autori (Persone) | WojtylakPiotr |
| Collana | Studies in universal logic |
| Soggetto topico | Completeness theorem |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-37863-1
9786611378639 3-7643-8518-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- 1. Basic notions: Propositional languages -- Abstract algebras -- Preliminary lattice-theoretical notions -- Propositional logics -- Brief exposition of the most important propositional logics -- 2. Semantic methods in propositional logic: Preordered sets -- Preordered algebras -- Logical matrices -- Adequacy -- Propositional logic and lattice theory -- 3. Completeness of propositional logic: Generalized completeness -- Post-completeness -- The problem of uniqueness of Lindenbaum extensions -- Some related concepts -- 4. Characterization of propositional connectives: Cn-definitions -- The system (D) -- Variants -- The system (I) -- Classical logic -- Appendix: The fundamental metatheorem for the classical propositional logic -- A proof system for the classical logic. |
| Record Nr. | UNINA-9910451264103321 |
|
Pogorzelski Witold <1944->
|
||
| Basel ; ; Boston, : Birkhäuser, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Completeness theory for propositional logics [[electronic resource] /] / Witold A. Pogorzelski, Piotr Wojtylak
| Completeness theory for propositional logics [[electronic resource] /] / Witold A. Pogorzelski, Piotr Wojtylak |
| Autore | Pogorzelski Witold <1944-> |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Basel ; ; Boston, : Birkhäuser, c2008 |
| Descrizione fisica | 1 online resource (186 p.) |
| Disciplina | 511.3 |
| Altri autori (Persone) | WojtylakPiotr |
| Collana | Studies in universal logic |
| Soggetto topico | Completeness theorem |
| ISBN |
1-281-37863-1
9786611378639 3-7643-8518-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- 1. Basic notions: Propositional languages -- Abstract algebras -- Preliminary lattice-theoretical notions -- Propositional logics -- Brief exposition of the most important propositional logics -- 2. Semantic methods in propositional logic: Preordered sets -- Preordered algebras -- Logical matrices -- Adequacy -- Propositional logic and lattice theory -- 3. Completeness of propositional logic: Generalized completeness -- Post-completeness -- The problem of uniqueness of Lindenbaum extensions -- Some related concepts -- 4. Characterization of propositional connectives: Cn-definitions -- The system (D) -- Variants -- The system (I) -- Classical logic -- Appendix: The fundamental metatheorem for the classical propositional logic -- A proof system for the classical logic. |
| Record Nr. | UNINA-9910777457203321 |
|
Pogorzelski Witold <1944->
|
||
| Basel ; ; Boston, : Birkhäuser, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Completeness theory for propositional logics / / Witold A. Pogorzelski, Piotr Wojtylak
| Completeness theory for propositional logics / / Witold A. Pogorzelski, Piotr Wojtylak |
| Autore | Pogorzelski Witold <1944-> |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Basel ; ; Boston, : Birkhäuser, c2008 |
| Descrizione fisica | 1 online resource (186 p.) |
| Disciplina | 511.3 |
| Altri autori (Persone) | WojtylakPiotr |
| Collana | Studies in universal logic |
| Soggetto topico | Completeness theorem |
| ISBN |
1-281-37863-1
9786611378639 3-7643-8518-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- 1. Basic notions: Propositional languages -- Abstract algebras -- Preliminary lattice-theoretical notions -- Propositional logics -- Brief exposition of the most important propositional logics -- 2. Semantic methods in propositional logic: Preordered sets -- Preordered algebras -- Logical matrices -- Adequacy -- Propositional logic and lattice theory -- 3. Completeness of propositional logic: Generalized completeness -- Post-completeness -- The problem of uniqueness of Lindenbaum extensions -- Some related concepts -- 4. Characterization of propositional connectives: Cn-definitions -- The system (D) -- Variants -- The system (I) -- Classical logic -- Appendix: The fundamental metatheorem for the classical propositional logic -- A proof system for the classical logic. |
| Record Nr. | UNINA-9910810315303321 |
|
Pogorzelski Witold <1944->
|
||
| Basel ; ; Boston, : Birkhäuser, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Undecidability, uncomputability, and unpredictability / / Anthony Aguirre, Zeeya Merali, David Sloan, editors
| Undecidability, uncomputability, and unpredictability / / Anthony Aguirre, Zeeya Merali, David Sloan, editors |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (181 pages) |
| Disciplina | 511.3 |
| Collana | Frontiers Collection |
| Soggetto topico |
Decidability (Mathematical logic)
Completeness theorem Incompleteness theorems |
| ISBN | 3-030-70354-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Contents -- 1 Introduction -- Reference -- 2 Undecidability and Unpredictability: Not Limitations, but Triumphs of Science -- 2.1 The Pessimistic View -- 2.2 On Axiomatic Theories and Structural Differentiation -- 2.3 The Physical World: Every Thing Must Go -- 2.4 Ontic Structural Realism -- 2.5 Quantum-Optimistic Conclusions -- References -- 3 Indeterminism and Undecidability -- 3.1 Introduction: Gödel and Bell -- 3.2 Randomness and Its Unprovability -- 3.3 Rethinking Bell's Theorem -- 3.4 Are Deterministic Hidden Variable Theories Deterministic? -- 3.5 Conclusion and Discussion -- References -- 4 Unpredictability and Randomness -- 4.1 Introduction -- 4.2 CA a Closer Look -- 4.3 Conditional Branching -- 4.3.1 Conditional Branching Candidates -- 4.4 Measuring Randomness -- 4.4.1 Random Oracle -- 4.4.2 BCA -- 4.4.3 Distinguishing Chances -- 4.5 Speculations -- References -- 5 Indeterminism, Causality and Information: Has Physics Ever Been Deterministic? -- 5.1 When Did Physics Become Unpredictable? -- 5.2 The ``Orthodox Interpretation'' of Classical Physics -- 5.3 An Alternative, Indeterministic Interpretation of Classical Physics -- 5.3.1 Determinism at Odds with Information Principles -- 5.3.2 ``Finite Information Quantities'' (FIQs) -- 5.3.3 The Classical ``Measurement Problem'' -- 5.4 (In)determinism and Causality -- 5.5 Concluding Remarks -- References -- 6 Undecidability, Fractal Geometry and the Unity of Physics -- 6.1 The Disunity of 20th Century Physics -- 6.2 Chaos and the Undecidable Geometry of Fractal Attractors -- 6.3 Towards a Unification of 21st Century Physics -- 6.3.1 Chaos Theory and Relativity Theory -- 6.3.2 Chaos Theory and Quantum Theory -- 6.3.3 Quantum Theory and General Relativity Theory -- 6.4 Discussion -- References -- 7 A Gödelian Hunch from Quantum Theory -- 7.1 Introduction.
7.2 A Gödelian Hunch from Quantum Contextuality -- 7.2.1 Counterfactual Undecidability -- 7.2.2 Topological Undecidability -- 7.3 A Gödelian Hunch from the Measurement Problem -- 7.3.1 Wigner's Friend, Universality, Meta-Contextuality and Measurement -- 7.3.2 ``Wigner's Friendifications'' -- 7.3.3 The Heirs of Copenhagen -- 7.4 Conclusion: Is Physics Paradoxical? -- 7.5 Epilogue: A Gödelian Hunch from Time -- References -- 8 Epistemic Horizons: This Sentence Is 1sqrt2(|truerangle + |falserangle) -- 8.1 Introduction: Interpretation Versus Reconstruction -- 8.2 Horizons of Our Understanding -- 8.2.1 Superposition -- 8.2.2 Entanglement -- 8.3 Does This Ring a Bell? -- 8.4 EPistemic HoRizons: Incomplete Quantum Mechanics? -- 8.5 Hardy's Paradox -- 8.6 The Frauchiger-Renner Argument -- 8.7 Conclusion -- References -- 9 Why Is the Universe Comprehensible? -- 9.1 Introduction -- 9.2 Comprehensibility -- 9.3 The Price of Comprehensibility -- 9.4 Limitations -- References -- 10 Noisy Deductive Reasoning: How Humans Construct Math, and How Math Constructs Universes -- 10.1 Introduction -- 10.2 Formal Systems -- 10.3 A Stochastic Mathematical Reasoner -- 10.4 Connections to Actual Mathematical Practice -- 10.4.1 Generating New Research Questions -- 10.4.2 Bayesian Models of Heuristics of Human Mathematicians-General Considerations -- 10.4.3 A Bayesian Justification of Abduction in Mathematical Reasoning -- 10.4.4 A Bayesian Formulation of the Value of Multiple Proof Paths in Mathematical Reasoning -- 10.5 Measures over Multiverses -- 10.6 Future Research Directions -- 10.7 Conclusion -- References -- 11 Computational Complexity as Anthropic Principle: A Fable -- 11.1 Laplace Builds a Demon -- 11.2 The Science that Destroys Demons -- References -- Appendix List of Winners -- First Prizes -- Second Prize -- Third Prizes -- Fourth Prizes. Prize for an Interesting Literary Discourse -- Prize for a Creative Approach to the Problem. |
| Record Nr. | UNISA-996466752403316 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Undecidability, uncomputability, and unpredictability / / Anthony Aguirre, Zeeya Merali, David Sloan, editors
| Undecidability, uncomputability, and unpredictability / / Anthony Aguirre, Zeeya Merali, David Sloan, editors |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (181 pages) |
| Disciplina | 511.3 |
| Collana | Frontiers Collection |
| Soggetto topico |
Decidability (Mathematical logic)
Completeness theorem Incompleteness theorems |
| ISBN | 3-030-70354-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Contents -- 1 Introduction -- Reference -- 2 Undecidability and Unpredictability: Not Limitations, but Triumphs of Science -- 2.1 The Pessimistic View -- 2.2 On Axiomatic Theories and Structural Differentiation -- 2.3 The Physical World: Every Thing Must Go -- 2.4 Ontic Structural Realism -- 2.5 Quantum-Optimistic Conclusions -- References -- 3 Indeterminism and Undecidability -- 3.1 Introduction: Gödel and Bell -- 3.2 Randomness and Its Unprovability -- 3.3 Rethinking Bell's Theorem -- 3.4 Are Deterministic Hidden Variable Theories Deterministic? -- 3.5 Conclusion and Discussion -- References -- 4 Unpredictability and Randomness -- 4.1 Introduction -- 4.2 CA a Closer Look -- 4.3 Conditional Branching -- 4.3.1 Conditional Branching Candidates -- 4.4 Measuring Randomness -- 4.4.1 Random Oracle -- 4.4.2 BCA -- 4.4.3 Distinguishing Chances -- 4.5 Speculations -- References -- 5 Indeterminism, Causality and Information: Has Physics Ever Been Deterministic? -- 5.1 When Did Physics Become Unpredictable? -- 5.2 The ``Orthodox Interpretation'' of Classical Physics -- 5.3 An Alternative, Indeterministic Interpretation of Classical Physics -- 5.3.1 Determinism at Odds with Information Principles -- 5.3.2 ``Finite Information Quantities'' (FIQs) -- 5.3.3 The Classical ``Measurement Problem'' -- 5.4 (In)determinism and Causality -- 5.5 Concluding Remarks -- References -- 6 Undecidability, Fractal Geometry and the Unity of Physics -- 6.1 The Disunity of 20th Century Physics -- 6.2 Chaos and the Undecidable Geometry of Fractal Attractors -- 6.3 Towards a Unification of 21st Century Physics -- 6.3.1 Chaos Theory and Relativity Theory -- 6.3.2 Chaos Theory and Quantum Theory -- 6.3.3 Quantum Theory and General Relativity Theory -- 6.4 Discussion -- References -- 7 A Gödelian Hunch from Quantum Theory -- 7.1 Introduction.
7.2 A Gödelian Hunch from Quantum Contextuality -- 7.2.1 Counterfactual Undecidability -- 7.2.2 Topological Undecidability -- 7.3 A Gödelian Hunch from the Measurement Problem -- 7.3.1 Wigner's Friend, Universality, Meta-Contextuality and Measurement -- 7.3.2 ``Wigner's Friendifications'' -- 7.3.3 The Heirs of Copenhagen -- 7.4 Conclusion: Is Physics Paradoxical? -- 7.5 Epilogue: A Gödelian Hunch from Time -- References -- 8 Epistemic Horizons: This Sentence Is 1sqrt2(|truerangle + |falserangle) -- 8.1 Introduction: Interpretation Versus Reconstruction -- 8.2 Horizons of Our Understanding -- 8.2.1 Superposition -- 8.2.2 Entanglement -- 8.3 Does This Ring a Bell? -- 8.4 EPistemic HoRizons: Incomplete Quantum Mechanics? -- 8.5 Hardy's Paradox -- 8.6 The Frauchiger-Renner Argument -- 8.7 Conclusion -- References -- 9 Why Is the Universe Comprehensible? -- 9.1 Introduction -- 9.2 Comprehensibility -- 9.3 The Price of Comprehensibility -- 9.4 Limitations -- References -- 10 Noisy Deductive Reasoning: How Humans Construct Math, and How Math Constructs Universes -- 10.1 Introduction -- 10.2 Formal Systems -- 10.3 A Stochastic Mathematical Reasoner -- 10.4 Connections to Actual Mathematical Practice -- 10.4.1 Generating New Research Questions -- 10.4.2 Bayesian Models of Heuristics of Human Mathematicians-General Considerations -- 10.4.3 A Bayesian Justification of Abduction in Mathematical Reasoning -- 10.4.4 A Bayesian Formulation of the Value of Multiple Proof Paths in Mathematical Reasoning -- 10.5 Measures over Multiverses -- 10.6 Future Research Directions -- 10.7 Conclusion -- References -- 11 Computational Complexity as Anthropic Principle: A Fable -- 11.1 Laplace Builds a Demon -- 11.2 The Science that Destroys Demons -- References -- Appendix List of Winners -- First Prizes -- Second Prize -- Third Prizes -- Fourth Prizes. Prize for an Interesting Literary Discourse -- Prize for a Creative Approach to the Problem. |
| Record Nr. | UNINA-9910741175803321 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
