1. imperial college londonda işləyən bir riyaziyyatçı.

aş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.