KANAMORI. Mathematical Knowledge : Motley and Complexity of Proof. The Japan Association for Philosophy of Science, 2013, doi:10.4288/jafpos.21.0_21.