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.
The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church
| The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church |
| Autore | Church Alonzo |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (89 pages) |
| Disciplina | 517.5 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Logic, Symbolic and mathematical
Recursive functions |
| Soggetto non controllato |
2H
A-normal form Addition Alphabetical order Ambiguity Argument of a function Axiom Bibliography Big O notation Calculation Characteristic function (probability theory) Combination Complex number Computability Computation Consistency Corollary Definition Denotation Determination Differential calculus Enumeration Equation Exc Existential quantification Exponentiation Finitary Finite set Formal system Frege (programming language) Function (mathematics) Gödel numbering Identity function In the process of Integer Iteration Limit (mathematics) Logic Logical conjunction Logical disjunction Mathematical induction Mathematical logic Mathematics Metamathematics Natural number Negation Notation Null set Number theory Ordinal number Pairing Paul Bernays Primitive recursive function Principia Mathematica Propositional function Quantifier (logic) Real number Recursion (computer science) Recursion Reduction of order Requirement Resultant Rule of inference Scientific notation Sequence Set theory Special case Successor function Theorem Theory Transfinite number Transfinite Truth value Uncertainty Universal quantification Upper and lower bounds Variable (mathematics) Well-formed formula Without loss of generality |
| ISBN | 1-4008-8193-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- CONTENTS -- Chapter I. INTRODUCTORY -- Chapter II. LAMBDA-CONVERSION -- Chapter III. LAMBDA-DEFINABILITY -- Chapter IV. COMBINATIONS, GÖDEL NUMBERS -- Chapter V. THE CALCULI OF λ-K-CONVERSION AND λ-δ- CONVERSION -- INDEX OP THE PRINCIPAL FORMULAS INTRODUCED BY DEFINITION -- BIBLIOGRAPHY -- CORRECTION AND ADDITIONS |
| Record Nr. | UNINA-9910154753003321 |
Church Alonzo
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Can Mathematics Be Proved Consistent? : Gödel's Shorthand Notes & Lectures on Incompleteness / Jan von Plato
| Can Mathematics Be Proved Consistent? : Gödel's Shorthand Notes & Lectures on Incompleteness / Jan von Plato |
| Autore | von Plato, Jan |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | ix, 263 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020] 01A60 - History of mathematics in the 20th century [MSC 2020] 01A75 - Collected or selected works; reprintings or translations of classics [MSC 2020] 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] |
| Soggetto non controllato |
Completeness problem
German mathematicians Gödel incompleteness theorem Gödel lectures Gödel notes Incompleteness theorems Principia Mathematica Skolem's paradox |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0248756 |
|
von Plato, Jan
|
||
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Can Mathematics Be Proved Consistent? : Gödel's Shorthand Notes & Lectures on Incompleteness / Jan von Plato
| Can Mathematics Be Proved Consistent? : Gödel's Shorthand Notes & Lectures on Incompleteness / Jan von Plato |
| Autore | von Plato, Jan |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | ix, 263 p. : ill. ; 24 cm |
| Soggetto topico |
01A60 - History of mathematics in the 20th century [MSC 2020]
01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020] 01A75 - Collected or selected works; reprintings or translations of classics [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] |
| Soggetto non controllato |
Completeness problem
German mathematicians Gödel incompleteness theorem Gödel lectures Gödel notes Incompleteness theorems Principia Mathematica Skolem's paradox |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00248756 |
|
von Plato, Jan
|
||
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Introduction to Mathematical Logic (PMS-13), Volume 13 / / Alonzo Church
| Introduction to Mathematical Logic (PMS-13), Volume 13 / / Alonzo Church |
| Autore | Church Alonzo |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (389 pages) |
| Disciplina | 511.3 |
| Collana | Princeton Mathematical Series |
| Soggetto topico | Logic, Symbolic and mathematical |
| Soggetto non controllato |
Abstract algebra
Acta Mathematica Arithmetic Axiom of choice Axiom of infinity Axiom of reducibility Axiom schema Axiom Axiomatic system Binary function Boolean algebra (structure) Boolean ring Calculus ratiocinator Characterization (mathematics) Class (set theory) Classical mathematics Commutative property Commutative ring Conditional disjunction David Hilbert Decision problem Deduction theorem Denotation Disjunctive syllogism Double negation Duality (mathematics) Elementary algebra Elementary arithmetic English alphabet Equation Existential quantification Expression (mathematics) Formation rule Frege (programming language) Function (mathematics) Functional calculus Fundamenta Mathematicae Gödel numbering Gödel's completeness theorem Gödel's incompleteness theorems Hilbert's program Hypothetical syllogism Imperative logic Inference Introduction to Mathematical Philosophy Lambda calculus Linear differential equation Logic Logical connective Logical disjunction Material implication (rule of inference) Mathematical analysis Mathematical induction Mathematical logic Mathematical notation Mathematical practice Mathematical problem Mathematical theory Mathematics Mathematische Zeitschrift Metatheorem Modal logic Modus ponendo tollens Natural number Naturalness (physics) Negation Notation Number theory Object language Parity (mathematics) Predicate (mathematical logic) Prenex normal form Principia Mathematica Propositional calculus Propositional function Propositional variable Quantifier (logic) Range (mathematics) Real number Recursion (computer science) Restriction (mathematics) Riemann surface Ring (mathematics) Rule of inference Scientific notation Second-order arithmetic Series (mathematics) Sign (mathematics) Skolem normal form Special case Tautology (logic) Term logic The Principles of Mathematics Theorem Three-dimensional space (mathematics) Transfinite number Triviality (mathematics) Truth table Variable (mathematics) Zermelo set theory |
| ISBN | 1-4008-8145-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Contents -- Introduction -- I. The Propositional Calculus -- II. The Propositional Calculus (Continued) -- III. Functional Calculi of First Order -- IV. The Pure Functional Calculus of First Order -- V. Functional Calculi of Second Order -- Index of Definitions -- Index of Authors -- Errata |
| Record Nr. | UNINA-9910154754303321 |
|
Church Alonzo
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5 / / Emil L. Post
| The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5 / / Emil L. Post |
| Autore | Post Emil L. |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (133 pages) : illustrations |
| Disciplina | 164 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico | Logic, Symbolic and mathematical |
| Soggetto non controllato |
0Q
1J Abstract structure Addition Antiderivative Argument of a function Axiom Big O notation Bijection Boolean algebra (structure) Calculation Cardinal number Classical mathematics Conjecture Contradiction Countable set Diagram (category theory) Dimension Direct proof Duality (mathematics) Duality (optimization) Existential quantification Finite group Finite set Floor and ceiling functions Function (mathematics) Inequality (mathematics) Inverse problem Iteration Join and meet K-function Lattice (order) Linear differential equation Logic Logical conjunction Logical disjunction Mathematical induction Mathematical logic Membership function (mathematics) Morphism Mutual exclusivity Negation Notation Null set Oswald Veblen Parameter Parity (mathematics) Polynomial Principia Mathematica Projective geometry Propositional calculus Propositional variable Requirement Scientific notation Sequence Statistical hypothesis testing Subgroup Subset Suggestion Summation System T. The Principles of Mathematics Theorem Transfinite number Transfinite Truth table Uncountable set Uniqueness Variable (mathematics) Venn diagram |
| ISBN | 1-4008-8236-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- CONTENTS -- INTRODUCTION -- Part I. PRELIMINARIES -- PART II. DERIVATION OP CLOSED SYSTEMS -- PART III. CO-ORDINATION AND APPLICATION -- BIBLIOGRAPHY |
| Record Nr. | UNINA-9910154742203321 |
|
Post Emil L.
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||