Share this sentence
— Tony Hoare"The job of formal methods is to elucidate the assumptions upon which formal correctness depends."
Related information
Discover more quotes
Previous Quote
The Christian philosopher has a perfect right to the point of view and prephilosophical assumptions he brings to philosophic work; the fact that these are not widely shared outside the Christian or theistic community is interesting but fundamentally irrelevant.
— Alvin Plantinga
Next Quote
The old assumption of the approximate impossibility of war really rested on a similar assumption about the impossibility of evil-and especially of evil in high places.
— Gilbert K. Chesterton
Loading recommended content...