Towards a Computational Formalization for Foundations of Medicine — Blankdot