TY - GEN AU - Peckhaus, Volker ID - 18977 T2 - Mathematical Reviews TI - Delarivière, Sven; Van Kerkhove, Sven, “The ‘Artificial Mathematician’ Objection: Exploring the (Im)possibility of Automating Mathematical Understanding”, in: B. Sriraman (Hg.), Humanizing Mathematics and its Philosophy, Birkhäuser/Springer: Cham 2017, 173–193 ER -