Re:The Deep Link Equating Math Proofs and Computer Programs
by marcosdumay on Wednesday October 11, 2023 @04:56PM
(#37850146)
This is all from research way older than Dijkstra.
It does have something to do with his work because his work extended it. But by that metric, it also has something to do with all of computer science, and a lot of mathematics.
It does have something to do with his work because his work extended it. But by that metric, it also has something to do with all of computer science, and a lot of mathematics.