kevin buzzard
əjdahalar googllaaşağıdakı yazısı maraqlıdır. http://chalkdustmagazine.com/features/can-computers-prove-theorems/
hər nə qədər kompyuterlər riyaziyyatçıları işlərindən edəcək olmasalar da riyaziyyatçıların işlərini asanlaşdıra bilərlər.
üzv ol