Towards a Computational Formalization for Foundations of Medicine | Hacker News Reader