Cliquer sur une vignette pour aller sur Google Books.
Chargement... Popular Lectures on Mathematical Logicpar Hao Wang
Aucun Chargement...
Inscrivez-vous à LibraryThing pour découvrir si vous aimerez ce livre Actuellement, il n'y a pas de discussions au sujet de ce livre. Aucune critique aucune critique | ajouter une critique
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-colour problem, the Diophantine problem, the tautology problem, and many other subjects. Three helpful Appendixes conclude the text. Aucune description trouvée dans une bibliothèque |
Discussion en coursAucunCouvertures populaires
Google Books — Chargement... GenresClassification décimale de Melvil (CDD)511.3Natural sciences and mathematics Mathematics General Principles Mathematical (Symbolic) logicClassification de la Bibliothèque du CongrèsÉvaluationMoyenne: Pas d'évaluation.Est-ce vous ?Devenez un(e) auteur LibraryThing. |