واخا هكداك، كان طاليس هو السبب في وصول علم الهندسة المطور باستعمال المنطق الاستنتاجي المجرد الخاص به إلى التعميمات العالمية.