منو
رکورد قبلیرکورد بعدی

" Metamathematics, machines, and Gödel's proof / "


Document Type : BL
Record Number : 1040891
Doc. No : b795261
Main Entry : Shankar, N.
Title & Author : Metamathematics, machines, and Gödel's proof /\ N. Shankar.
Edition Statement : 1st pbk. ed.
Publication Statement : Cambridge ;New York :: Cambridge University Press,, 1997, ©1994.
Series Statement : Cambridge tracts in theoretical computer science ;; 38
Page. NO : xv, 202 pages ;; 25 cm.
ISBN : 0521585333
: : 9780521585330
Bibliographies/Indexes : Includes bibliographical references and index.
Abstract : Mathematicians from Leibniz to Hilbert have sought to mechanize the verification of mathematical proofs. This book describes the use of a computer program to check the proofs of several celebrated theorems in metamathematics.
Subject : Automatic theorem proving.
Subject : Gödel's theorem-- Data processing.
Subject : Automatic theorem proving.
Subject : Gödel's theorem-- Data processing.
Subject : Gödelscher Unvollständigkeitssatz.
Subject : Metamathematik.
Dewey Classification : ‭511.3‬
LC Classification : ‭QA9.65‬‭.S53 1997‬
copyhttps://lib.clisel.com/site/catalogue/1040891
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟