Explore >> Select a destination
|
You are here 
|
www.jeremykun.com | ||
| | | | |
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... | |
| | | | |
argumatronic.com
|
|
| | | | | Occasional writings about Haskell. | |
| | | | |
tomasp.net
|
|
| | | | | The question whether aliens would understand lambda calculus is intriguing because it vividly formulates a fundamental question about our formal mathematical knowledge. Are mathematical theories and results about them invented, i.e. constructed by humans, or discovered, i.e. are they eternal truths that exist regardless of whether there are humans to know them? | |
| | | | |
rhubbarb.wordpress.com
|
|
| | | My previous post was written with the help of a few very useful tools: LaTeX mathematical typesetting Gummi LaTeX editor Python programming language PyX Python / LaTeX graphics package my own PyPyX wrapper around PyX LaTeX2WP script for easy conversion from LaTeX to WordPress HTML | ||
