The dawn of formalized mathematics
Published on 2021-07-0674 Views
When I was a student of mathematics I was told that someone had formalized an entire book on analysis just to put to rest the question whether mathematics could be completely formalized, so that math