An additional philosophical issue raised by computer-aided proofs is whether they make mathematics into a quasi-empirical science, where the scientific method becomes more important than the application of pure reason in the area of abstract mathematical concepts.
Дополнителни филозофски прашања од страна на компјутерските докази е дали тие се направи во математичка квази-емпириска наука, каде што на научниот метод станува поважен од примена на чист разум во областа на апстрактните математички концепти.