Foundations for Mathematical Methodology (2016) [pdf] | Hacker News Reader