TY - CHAP AU - Delarivière, Sven AU - Van Kerkhove, Bart ED - Sriraman, B. PB - Birkhäuser PY - 2017 T2 - Humanizing Mathematics and its Philosophy TI - The "Artificial Mathematician" Objection: Exploring the (Im)possibility of Automating Mathematical Understanding ER -