Yes, I should have just said "explorer" or "inventor" rather than theory builder which is too specific.
Grothendieck is a better specifically for building theories. Conway is famous for his various ideas and inventions so he also fits the bill as an "anti-Tao".
reply