Les nombres de Gödel n'ont rien à voir avec la factorisation des nombres entiers en nombres premiers. Et ça n'a rien d'une légende.
(grosso modo) Ils ont servis à démontrer que si on formalisait les mathématiques (et quelle que soit la formalisation), le système formel serait incomplet (= il existe des vérités indémontrables) et/ou inconsistant (= on peut démontrer une chose et son contraire)
Les nombres de Gödel sont en fait une représentation de chaque symbole du système formel.
Pour plus de renseignements, cherchez des infos sur le "Théorème de Gödel"
[^] # Re: Un nouvel algo de compression ?
Posté par Anonyme . En réponse à la dépêche Un nombre premier exécutable ... illégal ?. Évalué à 2.
(grosso modo) Ils ont servis à démontrer que si on formalisait les mathématiques (et quelle que soit la formalisation), le système formel serait incomplet (= il existe des vérités indémontrables) et/ou inconsistant (= on peut démontrer une chose et son contraire)
Les nombres de Gödel sont en fait une représentation de chaque symbole du système formel.
Pour plus de renseignements, cherchez des infos sur le "Théorème de Gödel"