Последната теорема на Ферма е озадачавала математиците в продължение на векове, докато най-накрая била доказана през 1993 г. Сега изследователите искат да създадат версия на доказателството, което може да бъде официално проверено от компютър за логически грешки.
Последната теорема на Ферма е озадачавала математиците в продължение на векове, докато най-накрая била доказана през 1993 г. Сега изследователите искат да създадат версия на доказателството, което може да бъде официално проверено от компютър за логически грешки.
Две американски гимназистки доказаха Питагоровата теорема с помощта на тригонометрия. Преди се смяташе, че това е невъзможно.
Последната теорема на Ферма е озадачавала математиците в продължение на векове, докато най-накрая била доказана през 1993 г. Сега изследователите искат да създадат версия на доказателството, което може да бъде официално проверено от компютър за логически грешки.
