The dawn of formalized mathematics [video]youtube.com3 points·Thom2503··0 commentsOpen articleSaveView on HN