/explore
|
You are here 
|
rjlipton.com | ||
| | | | |
www.quantamagazine.org
|
|
| | | | | Number theorist Andrew Granville on what mathematics really is - and why objectivity is never quite within reach. | |
| | | | |
math.andrej.com
|
|
| | | | | [AI summary] A technical discussion distinguishing between proof by contradiction and proof of negation within the context of classical and intuitionistic logic. | |
| | | | |
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... | |
| | | | |
profmattstrassler.com
|
|
| | | Matt Strassler [April 12, 2012] It is common that, when reading about the universe or about particle physics, one will come across a phrase that somehow refers to ``matter and energy'', as though they are opposites, or partners, or two sides of a coin, or the two classes out of which everything is made. This | ||
