Explore >> Select a destination
|
You are here 
|
tomasp.net | ||
| | | | |
ncatlab.org
|
|
| | | | | [AI summary] The nLab entry explores philosophical aspects of mathematics, including metaphysics, foundational issues, and historical paradigms, with references to key thinkers and texts. | |
| | | | |
rakhim.org
|
|
| | | | | [AI summary] The article discusses the foundational concepts of category theory, its connections to logic and type theory, and how these fields are unified through shared principles of composability and universal constructions, with insights into their implications for programming and mathematics. | |
| | | | |
existentialtype.wordpress.com
|
|
| | | | | The Christian doctrine of trinitarianism states that there is one God that is manifest in three persons, the Father, the Son, and the Holy Spirit, who together form the Holy Trinity. The doctrine of computational trinitarianism holds that computation manifests itself in three forms: proofs of propositions, programs of a type, and mappings between... | |
| | | | |
www.yodaiken.com
|
|
| | | |||
