Re:An Axiomatic Basis for Computer Programming (1969) [pdf]
by Joker_vD on Wednesday March 31, 2021 @09:28AM
(#26646993)
You can't make a better framework for formalising math, because, as you've yourself said, "there is only one formalising framework", and it's math itself. Cue the problems with self-application and Goedel's tricks :)
[ Parent
| on HN ]
Re:An Axiomatic Basis for Computer Programming (1969) [pdf]
by auggierose on Wednesday March 31, 2021 @09:42AM
(#26647181)
Yeah, in a way you are right.
Ok, let me put it this way: Math is not formal. But, formality has its advantages, so what I would like to see is a framework that, while being formal, still allows formulating ideas just as a mathematician would. Kind of like envisioned here: https://www.practal.com