How humanness shapes mathematics: reflections from Sir Andrew Wiles

Not long ago, computers started solving mathematical proofs—a fact that surprised Sir Andrew Wiles. But to Wiles, who won the Silver Plaque of the IMU (1998) and the 2016 Abel Prize, the achievements of machines … Weiterlesen