Харрисон , Хейлс и некоторые другие математики уверены , что эту проблему можно решить - с помощью так называемых формальных доказательств ( ФД ) .
Харрисон$1448 ,$0 Хейлс$1448 и$0 некоторый$356 другой$1544 математик$1476 уверенный$1726 ,$0 что$0 этот$1730 проблема$1460 можно$36 решить$1490 -$0 с$0 помощь$1526 так$36 называть$2298 формальный$1554 доказательство$1556 ($0 ФД$1706 )$0 .$0