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