Αρχική / Θετικές Επιστήμες / Μαθηματικά / Μαθηματική Λογική / Popular Lectures on Mathematical Logic

Popular Lectures on Mathematical Logic

ΣΥΓΓΡΑΦΕΑΣ
Τιμή
8,00 €
10,95 € -27%
Διαθέσιμο κατόπιν παραγγελίας
Αποστέλλεται σε 15 - 25 ημέρες.

Προσθήκη στα αγαπημένα

A noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. Author Hao Wang surveys the central concepts and theories of the discipline in a historical and developmental context, and then focuses on the four principal domains of contemporary mathematical logic: set theory, model theory, recursion theory and constructivism, and proof theory.Topics include the place of problems in the development of theories of logic and logic's relation to computer science. Specific attention is given to Godel's incompleteness theorems, predicate logic and its decision and reduction problems, constructibility and Cantor's continuum hypothesis, proof theory and Hilbert's program, hierarchies and unification, proof of the four-color problem, the Diophantine problem, the tautology problem, and many other subjects. Three helpful Appendixes conclude the text.Dover (2014) reprint of the edition published by Van Nostrand Reinhold, New York, in 1981, and reissued by Dover in 1993 with a new Postscript by the author.

Συγγραφέας: Wang Hao
Εκδότης: DOVER
Σελίδες: 281
ISBN: 9780486676326
Εξώφυλλο: Μαλακό Εξώφυλλο
Αριθμός Έκδοσης: 1
Έτος έκδοσης: 1993

Σας προτείνουμε

Newsletter

Εγγραφείτε στο newsletter για να λαμβάνετε πρώτοι τις νέες κυκλοφορίες και τις προσφορές μας
Ο λογαριασμός σας Τα αγαπημένας σας