hat
Nan lane 1972, John Conway te etabli karaktè endesidab fas ak algoritm yo pou yon fanmi pwoblèm ki jeneralize pwoblèm nan (gade atik ki sou langaj pwogramasyon ekzotik FRACTRAN ).
fra
En 1972, John Conway a établi l'indécidabilité algorithmique pour une famille de problèmes qui généralise de manière naturelle le problème 3x+1 (voir l'article sur le langage de programmation exotique FRACTRAN).