The Autonomy of Mathematical Knowledge door Curtis Franks