The “Artificial Mathematician” Objection: Exploring the (Im)possibility of Automating Mathematical Understanding

Onderzoeksoutput: Chapter

2 Citaten (Scopus)

Samenvatting

Reuben Hersh confided to us that, about forty years ago, the late Paul Cohen predicted to him that at some unspecified point in the future, mathematicians would be replaced by computers. Rather than focus on computers replacing mathematicians, however, our aim is to consider the (im)possibility of human mathematicians being joined by “artificial mathematicians” in the proving practice—not just as a method of inquiry but as a fellow inquirer.
Originele taal-2English
TitelHumanizing Mathematics and its Philosophy
SubtitelEssays Celebrating the 90th Birthday of Reuben Hersh
RedacteurenBharath Sriraman
UitgeverijBirkhauser Verlag Basel
Hoofdstuk16
Pagina's173-198
Aantal pagina's26
ISBN van elektronische versie978-3-319-61231-7
ISBN van geprinte versie978-3-319-61230-0
DOI's
StatusPublished - 8 nov 2017

Vingerafdruk

Duik in de onderzoeksthema's van 'The “Artificial Mathematician” Objection: Exploring the (Im)possibility of Automating Mathematical Understanding'. Samen vormen ze een unieke vingerafdruk.

Citeer dit