Pourquoi pense-t-on que la conjecture de Syracuse est correcte ?

Article initialement publié sur Quora

La version courte, c’est qu’on a vérifié la Conjecture de Syracuse jusque vers 6 milliards de milliards par ordinateur. Il n’y a pas beaucoup de conjectures sur les nombres qui ont été autant vérifiées et se sont révélées fausses ensuite.

Il y a eu diverses approches pour la démontrer jusqu’ici, mais toutes ont échoué au point qu’on se demande aujourd’hui si ce n’est pas un problème “indécidable ”, qu’on ne peut ni démontrer ni infirmer rigoureusement …