4 ms·
What I found interesting about the construction is that they used dimensions like lines of code in a program, each trying to accomplish one small task. PS: Ter
by tromp 4y ago
What I found interesting about the construction is that they used dimensions like lines of code in a program, each trying to accomplish one small task.
PS: Terence is with one r.
- User23 4y agoYeah, it’s really neat seeing mainstream mathematicians finally applying mathematical methods computing scientists discovered half a century ago. The isomorphism between programs and proofs implies we’ll see this or similar techniques developed for constructing programs that can be readily mathematically reasoned about applied more and more often in different areas. Good stuff.