واسه اینکه بدونید کامپیوتر چه تاثیری روی ریاضی محض داشته پیشنهاد می کنم این مقاله را مطالعه کنید:
The Effect of Computers on Pure Mathematics
http://rudar.ruc.dk/bitstream/1800/4...athematics.pdf
بعضی جمله های این مقاله:
-اکنون سی سال پس از اثبات قضیه چهار رنگ توسط کامپیوتر تا کنون تلاشی جهت اثبات قضایای پیچیده ریاضی توسط کامپیوتر انجام نشده. کامپیوترها سریعتر و سریعتر می شوند اما کامپیوتر یک همکار روشن بین در حل مسائل نیست و تمام مسائل هم قابل فرمول بندی نیستند
-ریاضی محض توسط کامپیوتر دچار تغییر چندانی نشده