Thomas🪴 @lipsum.dev · Oct 1 Deux livres que je recommande vivement, pour celles et ceux qui souhaiteraient s'initier à des thèmes mathématiques proches de la logique et de l'informatique théorique.
1 likes 1 replies
?
Replies
Le premier est une présentation complète du 10ème problème de Hilbert et de sa preuve, incluant des éléments historiques (la preuve présentée est légèrement différente) et une introduction à la logique et aux concepts d'informatique théorique. bookstore.ams.org/stml-88/