Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Auteur(s) : Manin, Ûrij Ivanovič (1937-2023)  Voir les notices liées en tant qu'auteur

Titre(s) : A course in mathematical logic for mathematicians [Texte électronique] / Yu. I. Manin ; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin

Édition : 2nd ed.

Publication : New York : Springer, cop. 2010

Description matérielle : 1 ressource dématérialisée

Collection : Graduate texts in mathematics ; 53

Note(s) : The first edition was published in 1977 with the title: A course in mathematical logic. - Includes bibliographical references (pages 379-380) and index
"A Course in Mathematical Logic for Mathematicians, Second Edition offers a straightforward introduction to modern mathematical logic that will appeal to the intuition of working mathematicians. The book begins with an elementary introduction to formal languages and proceeds to a discussion of proof theory. It then presents several highlights of 20th century mathematical logic, including theorems of Godel and Tarski, and Cohen's theorem on the independence of the continuum hypothesis. A unique feature of the text is a discussion of quantum logic." "The exposition then moves to a discussion of computability theory that is based on the notion of recursive functions and stresses number-theoretic connections. The text presents a complete proof of the theorem of Davis-Putnam-Robinson-Matiyasevich as well as a proof of Higman's theorem on recursive groups. Kolmogorov complexity is also treated."--Jacket

Autre(s) auteur(s) : Koblitz, Neal (1948-....). Fonction indéterminée  Voir les notices liées en tant qu'auteur
Zilber, Boris (1949-....). Fonction indéterminée  Voir les notices liées en tant qu'auteur

Sujet(s) : Logique mathématique  Voir les notices liées en tant que sujet

Indice(s) Dewey :  511.3 (23e éd.) = Logique mathématique  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9781441906151

Identifiant de la notice  : ark:/12148/cb44660921r

Notice n° :  FRBNF44660921 (notice reprise d'un réservoir extérieur)

Table des matières : Provability: I. Introduction to formal languages ; II. Truth and deducibility ; III. The continuum problem and forcing ; IV. The continuum problem and constructible sets ; Computability: V. Recursive functions and Church's thesis ; VI. Diophantine sets and algorithmic undecidability ; Provability and computability: VII. Gödel's incompleteness theorem ; VIII. Recursive groups ; IX. Constructive universe and computation ; Model theory: X. Model theory.