عنوان
پدید آورنده
موضوع
رده
QA9.65 .S53 1997
QA9
.
65
.
S53
1997
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0521585333
(Number (ISBN
9780521585330
NATIONAL BIBLIOGRAPHY NUMBER
Number
b795261
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Metamathematics, machines, and Gödel's proof /
General Material Designation
[Book]
First Statement of Responsibility
N. Shankar.
EDITION STATEMENT
Edition Statement
1st pbk. ed.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Cambridge University Press,
Date of Publication, Distribution, etc.
1997, ©1994.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xv, 202 pages ;
Dimensions
25 cm.
SERIES
Series Title
Cambridge tracts in theoretical computer science ;
Volume Designation
38
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
SUMMARY OR ABSTRACT
Text of Note
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.
ACQUISITION INFORMATION NOTE
Terms of Availability
L.17.95 : CIP entry (Feb.)
TOPICAL NAME USED AS SUBJECT
Automatic theorem proving.
Gödel's theorem-- Data processing.
Automatic theorem proving.
Gödel's theorem-- Data processing.
Gödelscher Unvollständigkeitssatz.
Metamathematik.
DEWEY DECIMAL CLASSIFICATION
Number
511
.
3
Edition
20
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
.
65
Book number
.
S53
1997
PERSONAL NAME - PRIMARY RESPONSIBILITY
Shankar, N.
ORIGINATING SOURCE
Date of Transaction
20201207081928.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
