The "artificial mathematician" objection

exploring the (im)possibility of automating mathematical understanding

2017

Sven Delarivière, Bart Van Kerkhove

in: Humanizing mathematics and its philosophy, Basel,