3 ms·
There is only one formalising framework, it is called math. The rest is just noise. When trying to make a better framework for formalising computer programs, j
by auggierose 6y ago
There is only one formalising framework, it is called math. The rest is just noise.
When trying to make a better framework for formalising computer programs, just make a better framework for formalising math first.
- taeric 6y agoMath has many formalisms. Some more useful than others, in certain contexts. All restricted by the norms of communication that they are written in. So, yes, there are some math formalities for processes. No, they probably don't help in finding new processes as much as you'd think. Despite being quite good at understanding existing processes through formal exploration.
- Joker_vD 6y agoYou 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 :)
- auggierose 6y agoYeah, 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 https://www.practal.com