3 ms·
I worked on a project where a couple people formally proved our design sound while I was still fixing bugs in the spec. We don’t have spherical cows. Theoretica
by hinkley 2y ago
I worked on a project where a couple people formally proved our design sound while I was still fixing bugs in the spec. We don’t have spherical cows. Theoretical models aren’t reality. The map is not the territory.
- casey2 2y agoPeople who argue for formal methods are well aware that theorems change over time [1], the point is that with formal methods the theorems become simpler and in turn result in simpler proofs. With ad hocery or communal wisdom, unless you are a genius artist, the theorem only becomes more complex. [1] You can see Lakatos in Dijstrak's library for example https://dijkstrascry.com/inventory#box4 https://dijkstrascry.com/inventory#box4