Automated Development of Fundamental Mathematical Theories: 2 (Automated Reasoning Series, 2) - Image 1

Price loading...

Springer Automated Development of Fundamental Mathematical Theories: 2 (Automated Reasoning Series, 2)

Name: Automated Development of Fundamental Mathematical Theories: 2 (Automated Reasoning Series, 2)
Brand: Springer

AI & Machine Learning

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

Description

The author provides an introduction to automated reasoning, and in particular to resolution theorem proving using the prover OTTER. He presents a new clausal version of von Neumann-Bernays-Gödel set theory, and lists over 400 theorems proved semiautomatically in elementary set theory. He presents a semiautomated proof that the composition of homomorphisms is a homomorphism, thus solving a challenge problem. The author next develops Peano's arithmetic, and gives more than 1200 definitions and theorems in elementary number theory. He gives part of the proof of the fundamental theorem of arithmetic (unique factorization), and gives and OTTER-generated proof of Euler's generalization of Fermat's theorem. Next he develops Tarski's geometry within OTTER. He obtains proofs of most of the challenge problems appearing in the literature, and offers further challenges. He then formalizes the modal logic calculus K4, in order to obtain very high level automated proofs of Löb's theorem, and of Gödel's two incompleteness theorems. Finally he offers thirty-one unsolved problems in elementary number theory as challenge problems.

Key Features

Used Book in Good Condition

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 0792320212
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 30 November 1992
Listed Since: 15 February 2007

Barcode

No barcode data available

Springer Automated Development of Fundamental Mathematical Theories: 2 (Automated Reasoning Series, 2)

Price History & Forecast

No Price Data Available

Price Distribution

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Proofs and Fundamentals: A First Course in Abstract Mathematics (Undergraduate Texts in Mathematics)

Proofs and Fundamentals: A First Course in Abstract Mathematics: 0 (Undergraduate Texts in Mathematics)

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

Resolution Proof Systems: An Algebraic Theory: 4 (Automated Reasoning Series, 4)

Proof and System-Reliability: v. 62 (NATO Science Series II)

Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

The Automation of Reasoning: An Experimenter's Notebook with Otter Tutorial

A Bridge to Higher Mathematics (Textbooks in Mathematics)

Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Computation Engineering: Applied Automata Theory and Logic

Springer - Automated Theorem Proving: Theory and Practice

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 10 (Applied Logic Series)

Extremal Combinatorics: With Applications in Computer Science (Texts in Theoretical Computer Science. An EATCS Series)

Combinatorial Set Theory: With a Gentle Introduction to Forcing (Springer Monographs in Mathematics)

Introduction to Modern Number Theory: Fundamental Problems, Ideas and Theories: 49 (Encyclopaedia of Mathematical Sciences, 49)

Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)

Mathematical Logic: On Numbers, Sets, Structures, and Symmetry: 4 (Springer Graduate Texts in Philosophy, 4)

A Readable Introduction to Real Mathematics (Undergraduate Texts in Mathematics)

Arithmetics: 0 (Universitext)

Number Theory: Algebraic Numbers and Functions (Graduate Studies in Mathematics)

A Formalization of Set Theory without Variables (Colloquium Publications)

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results