FOREVER UNDECIDED

FOREVER UNDECIDED

Raymond Smullyan
5.0 / 0
0 comments
როგორ მოგეწონათ ეს წიგნი?
როგორი ხარისხისაა ეს ფაილი?
ჩატვირთეთ, ხარისხის შესაფასებლად
როგორი ხარისხისაა ჩატვირთული ფაილი?
This book provides an introduction to Kurt Godel's theorems through a collection of puzzles interspersed with an account of symbolic logic. Godel's argument has been transferred from the formal domain of mathematical systems in an attempt to make its essential ideas more accessible to the general reader. The primary emphasis is on belief systems and how they are related to systems of mathematics. This leads to the subject of possible world semantics which plays a role in computer science and artificial intelligence.
კატეგორია:
წელი:
1987
გამოცემა:
1st
გამომცემლობა:
Knopf
ენა:
english
გვერდები:
257
ISBN 10:
0394549430
ISBN 13:
9780394549439
ფაილი:
EPUB, 2.14 MB
IPFS:
CID , CID Blake2b
english, 1987
ჩატვირთვა (epub, 2.14 MB)
ხორციელდება კონვერტაციის -ში
კონვერტაციის -ში ვერ მოხერხდა

საკვანძო ფრაზები