@JoshuaZed1 @michael_nielsen @DRMacIver There is some evidence that it is a possibility: work of Kurtz and Simon, building on ideas of Conway, shows that a natural generalisation of Collatz is undecidable: https://t.co/szCfXoAHEZ
2,767 followers
828 followers
@hvairinhos In 3 lines you have a problem linked to indecidability that is not about the set of indices of Turing machines doing something. While (x<>1) do if (x mod 2=0) then x:=x/2 else x:=3x+1 Nothing too complex no ? Yet : https:/
828 followers
@MonniauxD Si vous ne voulez pas payer 30€ à Springer https://t.co/M9Xol3MSdo
240 followers