Archiv für mathematische Logik und Grundlagenforschung |
Pubbl/distr/stampa | Stuttgart, : W. Kohlhammer, 1950-1987 |
Descrizione fisica | 1 online resource |
Disciplina | 510/.5 |
Soggetto topico |
Logic, Symbolic and mathematical
Metamathematics Métamathématique Logique symbolique et mathématique Mathematische Logik Zeitschrift |
Soggetto genere / forma |
Periodicals.
Zeitschrift |
Soggetto non controllato | Mathematische Logik |
ISSN | 0003-9268 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Periodico |
Lingua di pubblicazione | ger |
Record Nr. | UNISA-996200952403316 |
Stuttgart, : W. Kohlhammer, 1950-1987 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Archiv für mathematische Logik und Grundlagenforschung |
Pubbl/distr/stampa | Stuttgart, : W. Kohlhammer, 1950-1987 |
Descrizione fisica | 1 online resource |
Disciplina | 510/.5 |
Soggetto topico |
Logic, Symbolic and mathematical
Metamathematics Métamathématique Logique symbolique et mathématique Mathematische Logik Zeitschrift |
Soggetto genere / forma |
Periodicals
Zeitschrift Periodicals. |
Soggetto non controllato | Mathematische Logik |
ISSN | 0003-9268 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Periodico |
Lingua di pubblicazione | ger |
Record Nr. | UNINA-9910139641703321 |
Stuttgart, : W. Kohlhammer, 1950-1987 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Gödel, Escher, Bach: un'eterna ghirlanda brillante : una fuga metaforica su menti e macchine nello spirito di Lewis Carrol / Douglas R. Hofstadter ; [edizione a cura di Giuseppe Trautteur] |
Autore | Hofstadter, Douglas R. |
Edizione | [5. ed.] |
Pubbl/distr/stampa | Milano : Adelphi, 1988 |
Descrizione fisica | xxvii, 852 p. : ill. ; 24 cm |
Disciplina | 510.1 |
Altri autori (Persone) | Trautteur, Giuseppe |
Collana | Biblioteca scientifica ; 6 |
Soggetto topico |
Metamathematics
Symmetry Artificial intelligence |
Classificazione |
AMS 03A05
AMS 00A05 AMS 60G AMS 92A05 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISALENTO-991002894399707536 |
Hofstadter, Douglas R.
![]() |
||
Milano : Adelphi, 1988 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Journal of formalized reasoning |
Pubbl/distr/stampa | Bologna, Italy, : Centro Inter-Bibliotecario |
Soggetto topico |
Proof theory
Formalization (Linguistics) Metamathematics Logic, Symbolic and mathematical |
Soggetto genere / forma | Periodicals. |
Soggetto non controllato | Mathematical Theory |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996321401103316 |
Bologna, Italy, : Centro Inter-Bibliotecario | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Journal of formalized reasoning |
Pubbl/distr/stampa | Bologna, Italy, : Centro Inter-Bibliotecario |
Soggetto topico |
Proof theory
Formalization (Linguistics) Metamathematics Logic, Symbolic and mathematical |
Soggetto genere / forma | Periodicals. |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910145959903321 |
Bologna, Italy, : Centro Inter-Bibliotecario | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Metamathematics and the philosophical tradition / / William Boos ; edited by Florence S. Boos |
Autore | Boos William |
Edizione | [First edition.] |
Pubbl/distr/stampa | Boston : , : Walter de Gruyter, , [2018] |
Descrizione fisica | 1 online resource (494 pages) |
Disciplina | 121 |
Soggetto topico |
Philosophy
Metamathematics Mathematics - Philosophy |
Soggetto genere / forma | Electronic books. |
ISBN |
3-11-057239-7
3-11-057245-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- Contents -- Preface -- Editorial Remarks -- 1. Introduction: Boundaries of Experience -- 2. "Was Blind, But Now I See": Ramifications of Plato's "Line" -- 3. The Stoics, the Skeptics and Aporetic Autonomy: Is "What Is In Our Power" In Our Power? -- 4. Anselm, Fides Quaerens Interpretationem, and Grenzideen as Generators of Metatheoretic Ascent -- 5. "Parfaits Miroirs de l'Univers": A "Virtual" Interpretation of Leibnizian Metaphysics -- 6. Berkeleyan Metalogical "Signs" and "Master Arguments" -- 7. The Second-order Idealism of David Hume -- 8. Kantian Ethics and "the Fate of Reason" -- 9. Metamathematical Interpretations of Free Will and Determinism -- 10. Time-Evolution in Random "Universes" -- Bibliography -- Index of Names -- Main Index -- Foreign Words Index |
Record Nr. | UNINA-9910467473403321 |
Boos William
![]() |
||
Boston : , : Walter de Gruyter, , [2018] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Metamathematics and the philosophical tradition / / William Boos ; edited by Florence S. Boos |
Autore | Boos William |
Edizione | [First edition.] |
Pubbl/distr/stampa | Boston : , : Walter de Gruyter, , [2018] |
Descrizione fisica | 1 online resource (494 pages) |
Disciplina | 121 |
Soggetto topico |
Philosophy
Metamathematics Mathematics - Philosophy |
ISBN |
3-11-057239-7
3-11-057245-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- Contents -- Preface -- Editorial Remarks -- 1. Introduction: Boundaries of Experience -- 2. "Was Blind, But Now I See": Ramifications of Plato's "Line" -- 3. The Stoics, the Skeptics and Aporetic Autonomy: Is "What Is In Our Power" In Our Power? -- 4. Anselm, Fides Quaerens Interpretationem, and Grenzideen as Generators of Metatheoretic Ascent -- 5. "Parfaits Miroirs de l'Univers": A "Virtual" Interpretation of Leibnizian Metaphysics -- 6. Berkeleyan Metalogical "Signs" and "Master Arguments" -- 7. The Second-order Idealism of David Hume -- 8. Kantian Ethics and "the Fate of Reason" -- 9. Metamathematical Interpretations of Free Will and Determinism -- 10. Time-Evolution in Random "Universes" -- Bibliography -- Index of Names -- Main Index -- Foreign Words Index |
Record Nr. | UNINA-9910793332703321 |
Boos William
![]() |
||
Boston : , : Walter de Gruyter, , [2018] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Metamathematics and the philosophical tradition / / William Boos ; edited by Florence S. Boos |
Autore | Boos William |
Edizione | [First edition.] |
Pubbl/distr/stampa | Boston : , : Walter de Gruyter, , [2018] |
Descrizione fisica | 1 online resource (494 pages) |
Disciplina | 121 |
Soggetto topico |
Philosophy
Metamathematics Mathematics - Philosophy |
ISBN |
3-11-057239-7
3-11-057245-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- Contents -- Preface -- Editorial Remarks -- 1. Introduction: Boundaries of Experience -- 2. "Was Blind, But Now I See": Ramifications of Plato's "Line" -- 3. The Stoics, the Skeptics and Aporetic Autonomy: Is "What Is In Our Power" In Our Power? -- 4. Anselm, Fides Quaerens Interpretationem, and Grenzideen as Generators of Metatheoretic Ascent -- 5. "Parfaits Miroirs de l'Univers": A "Virtual" Interpretation of Leibnizian Metaphysics -- 6. Berkeleyan Metalogical "Signs" and "Master Arguments" -- 7. The Second-order Idealism of David Hume -- 8. Kantian Ethics and "the Fate of Reason" -- 9. Metamathematical Interpretations of Free Will and Determinism -- 10. Time-Evolution in Random "Universes" -- Bibliography -- Index of Names -- Main Index -- Foreign Words Index |
Record Nr. | UNINA-9910817569903321 |
Boos William
![]() |
||
Boston : , : Walter de Gruyter, , [2018] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Theory of Formal Systems. (AM-47), Volume 47 / / Raymond M. Smullyan |
Autore | Smullyan Raymond M. |
Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
Descrizione fisica | 1 online resource (157 pages) : illustrations |
Disciplina | 511.33 |
Collana | Annals of Mathematics Studies |
Soggetto topico |
Recursive functions
Metamathematics |
Soggetto non controllato |
Addition
Algebraic geometry Alonzo Church Arithmetic function Arithmetic Atomic sentence Axiom A. Axiom schema Axiom Axiomatic system Binary relation Cantor's diagonal argument Cartesian product Characterization (mathematics) Chinese remainder theorem Closed-form expression Closure (mathematics) Combination Combinatory logic Complement (set theory) Concatenation theory Consistency Constructive proof Corollary Countable set Counterexample Decidability (logic) Decision problem Definable set Diagonalization Direct proof Disjoint sets Enumeration Equation Existential quantification Exponential function Finite set Formal system Functional calculus Gödel numbering Gödel's incompleteness theorems Herbrand's theorem Inference Integer factorization Iteration John Myhill Logical connective Logical consequence Mathematical induction Mathematical logic Mathematician Mathematics Metamathematics Modus ponens Natural number Negation Number theory Order theory Parity (mathematics) Peano axioms Predicate (mathematical logic) Prenex normal form Primitive recursive function Quantifier (logic) Recursion Recursive set Recursively enumerable set Remainder Requirement Rule of inference Scientific notation Sequence Set (mathematics) Sign (mathematics) Special case Subset Suggestion System U. Theorem Theory Transfinite number Turing machine Universal set Validity Variable (mathematics) Zermelo set theory |
ISBN | 1-4008-8200-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- TABLE OF CONTENTS -- PREFACE -- ANNALS OF MATHEMATICS STUDIES -- CHAPTER I: FORMAL MATHEMATICAL SYSTEMS -- CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY -- CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY -- CHAPTER IV: RECURSIVE FUNCTION THEORY -- CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY -- SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC -- REFERENCE AND BRIEF BIBLIOGRAPHY |
Record Nr. | UNINA-9910154750903321 |
Smullyan Raymond M.
![]() |
||
Princeton, NJ : , : Princeton University Press, , [2016] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|