Copied Automated Development of Fundamental Mathematical Theories
Automated Development of Fundamental Mathematical Theories
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-Gdel 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 Lb's theorem, and of Gdel's two incompleteness theorems. Finally he offers thirty-one unsolved problems in elementary number theory as challenge problems.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$219.99 | $219.99 |
|
$219.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Tackling Unemployment
$129.00
Intelligent Systems and Applications
$219.99
Beginning Ubuntu Server Administration
$29.99
Plant-Pathogen Interactions
$109.99
Doing Qualitative Research in Language Education
$64.99
OCasey Annual No. 3
$54.99
Free-Convective Heat Transfer
$219.99
Algebraic Threefolds
$54.99
Albert Einstein, Boris Podolsky, Nathan Rosen
$89.00
Reclaiming the Knowledge Economy
$69.99
Machine Learning and Data Analytics for Solving Business Problems
$139.00
Model Checking Software
$44.99
Genetic Control of Environmental Pollutants
$39.99
The Dabare Snake Launcher by Joelle Presby
$17.00
Costs of Ammonia Abatement and the Climate Co-Benefits
$84.99
Indigenous Environmental Knowledge
$199.99
Surgical Scene Generation for Virtual Reality-Based Training in Medicine
$109.99
Lake Biwa: Interactions between Nature and People
$329.99
Design and Applications of Intelligent Agents
$39.99
Proceedings of the 6th International Symposium on Uncertainty Quantification and Stochastic Modellin
$249.99
Social Media: The Good, the Bad, and the Ugly
$54.99
The Problem of Political Authority
$169.99
Transesophageal Echocardiography for Pediatric and Congenital Heart Disease
$219.99
Public Sector Accounting, Financial Accountability and Viability in Times of Crisis
$109.99
The Future of Outsourcing
$49.99
Virtual Victorians
$54.99
IT-Outsourcing
$49.99
Buildings
$39.99
Proceedings of the Fifteenth International Conference on Management Science and Engineering Manageme
$259.00
Advances and Technical Standards in Neurosurgery
$39.99
From Databases to Hypermedia
$54.99
Metacognitive and Cognitive Strategy Use in Reading Comprehension
$109.99
Phytoremediation of Arsenic Contaminated Sites in China
$54.99
Visualisierung in Mathematik, Technik und Kunst
$59.99
Britain, France and the Entente Cordiale Since 1904
$54.99
Die Bedeutung der Begriffe Stasis und Aponoia fr das Verstndnis des 1. Clemensbriefes
$59.99
The Impact of Wars on World Politics, 17752023
$129.99
Report of Algorithmic Language ALGOL 68
$89.99
Berechnung von Balken mit breiten Gurten
$59.99
WarTalk
$109.99
