We use cookies to measure traffic and show relevant ads. By clicking Accept you agree to our use of analytics and advertising cookies.
Analyse des théorèmes d'incomplétude de Gödel avec numérotation et PM-Lisp. Pourquoi il est impossible de formaliser toutes les mathématiques. Pour les développeurs et les mathématiciens.
