Здравствуйте, Sinclair, Вы писали:

S>Ни в одном из этих случаев мы так и не получим доказательства теоремы Ферма.
S>Единственная надежда — на то, что мы вдруг получим опровержение теоремы, найдя контрпример, влезающий в ограничения реальной машины.

Ну вот простая задача которая может остановиться, очень не сразу.

a^3+b^3+c^3 = 42 где a,b,c целые числа

не тривиальное решение:

a=-80538738812075974
b=80435758145817515
c=12602123297335631

немного спутал с другой задачей вот:

a/(b+c)+b/(a+c)=c/(a+b)

a=18800081
b=1481089
c=19214131

Здравствуйте, Sinclair, Вы писали:

S>Ни в одном из этих случаев мы так и не получим доказательства теоремы Ферма.
S>Единственная надежда — на то, что мы вдруг получим опровержение теоремы, найдя контрпример, влезающий в ограничения реальной машины.

Ну вот простая задача которая может остановиться, очень не сразу.

a^3+b^3+c^3 = 42 где a,b,c целые числа

не тривиальное решение:

a=-80538738812075974
b=80435758145817515
c=12602123297335631

было затрачено 1,3 миллиона часов расчёта в глобальной вычислительной сети Charity Engine

немного спутал с другой задачей вот:

a/(b+c)+b/(a+c)=c/(a+b)

a=18800081
b=1481089
c=19214131