Can a user-friendly computer proof assistant satisfy the mathematician’s desire for certainty without killing the pleasure?
Can a user-friendly computer proof assistant satisfy the mathematician’s desire for certainty without killing the pleasure?
Links
[1] https://stage.edge.org/annual-question/what-is-the-last-question
[2] https://stage.edge.org/inthenews/what-is-the-last-question
[3] https://stage.edge.org/contributors/what-is-the-last-question
[4] https://stage.edge.org/responses/what-is-the-last-question
[5] https://stage.edge.org/memberbio/siobhan_roberts