Tant qu'à faire, autant y rajouter le papier de Gödel (1931)
"Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme"
traduit en anglais dans "From Frege to Gödel" de J. van Heijenoort (truffé d'articles repères pour l'informatique et les maths
[^] # Re: Informatique : Optimisation, minimisation, projet
Posté par Kriek . En réponse au journal Informatique : Optimisation, minimisation, projet. Évalué à 1.
"Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme"
traduit en anglais dans "From Frege to Gödel" de J. van Heijenoort (truffé d'articles repères pour l'informatique et les maths