Thomas🪴 @lipsum.dev · Oct 1 En partant grosso modo de l'« arithmétique que sait faire un ordinateur », il s'agit de voir les axiomes supplémentaires à ajouter pour obtenir différents résultats, notamment en analyse comme illustré ci-dessous.
0 likes 1 replies
?
Replies
Concernant l'informatique théorique, dans le second livre elle est introduite d'une façon un peu exotique (systèmes de Smullyan), je recommande donc peut-être plutôt le premier livre d'abord pour des gens qui ne seraient pas familiers avec le sujet.