Последната теорема на Ферма е озадачавала математиците в продължение на векове, докато най-накрая била доказана през 1993 г. Сега изследователите искат да създадат версия на доказателството, което може да бъде официално проверено от компютър за логически грешки.
Панагюрското съкровище е 100% истинско. Това обявиха след изследване на 33 проби специалисти от швейцарската компания “Евротест контрол” (Eurotest Control).
Панагюрското съкровище е 100% истинско. Това обявиха след изследване на 33 проби специалисти от швейцарската компания “Евротест контрол” (Eurotest Control).
Последната теорема на Ферма е озадачавала математиците в продължение на векове, докато най-накрая била доказана през 1993 г. Сега изследователите искат да създадат версия на доказателството, което може да бъде официално проверено от компютър за логически грешки.