I am all about working with multiple representations, combining induction with deduction, merging probability with logic, etc.
When we write software, we desire it to be correct, and demonstrably so ("demonstrably" in the sense of being able to convince someone: perhaps "demoably" is a better term). There are many ways of doing this:
* empirical
(
Read more... )