kraitis Karma 26 Created 8 years ago Recent Submissions 1. ▲ A new foundational crisis in mathematics, is it happening? (arxiv.org) 1 point · 7 years ago · 0 comments 2. ▲ What do we want a foundation to do? (academia.edu) 2 points · 7 years ago · 0 comments All submissions on HN · View profile on HN