6 ms·
Bob Harper wrote a really good blog entry that expounds on this as Computational Trinitarianism [1]. Michael Shulman also wrote about the extension to Homotopi
by codekilla 3y ago
Bob Harper wrote a really good blog entry that expounds on this as Computational Trinitarianism [1].
Michael Shulman also wrote about the extension to Homotopical Trinitarianism [2]
For a good summary with links there is [3]
[1] Computational Trinitarinism, https://existentialtype.wordpress.com/2011/03/27/the-holy-trinity/ https://existentialtype.wordpress.com/2011/03/27/the-holy-tr...
[2] Homotopical Trinitarinism, http://home.sandiego.edu/~shulman/papers/trinity.pdf http://home.sandiego.edu/~shulman/papers/trinity.pdf]
[3] nCatLab, https://ncatlab.org/nlab/show/computational+trilogy https://ncatlab.org/nlab/show/computational+trilogy
- akomtu 3y agoTo the Mr. Harper's observation we should add that the trinitary theory of computation needs to express itself in reality and it does so thru the quadrant of hardware: transistors, memory, electricity and machine code. Thus three, standing on the four, represents computation in action.
- nradov 3y agoIn principle it doesn't have to be transistors specifically. Any switching device will suffice.
- deleted 3y ago[deleted]
- gnufx 3y agoLacking time to study, is this basically what Phil Wadler has written and talked about, like "Propositions as types"?