Explore >> Select a destination
|
You are here 
|
www.jeremykun.com | ||
| | | | |
mln84.wordpress.com
|
|
| | | | | The most common question students have about mathematics is "when will I ever use this?" Many math teachers would probably struggle to give a coherent answer, beyond being very good at following precise directions. They will say "critical thinking" but not much else concrete. Meanwhile, the same teachers must, with a straight face, tell their... | |
| | | | |
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.pl-enthusiast.net
|
|
| | | | | This blog post is the first in my series on secure computationand will be presented in two parts. It briefly introduces some work my collaborators and I published this year, which illustrates a pleasant application of programming languages ideas to ... Continue reading ? | |
| | | | |
math.andrej.com
|
|
| | | [AI summary] The discussion revolves around the nuances of proof methods in constructive mathematics, particularly the distinction between proof by contradiction and proof by negation. Key points include the definition of irrational numbers without relying on the law of excluded middle, the use of contrapositive in proofs, and the limitations of certain classical theorems like the intermediate value theorem in constructive settings. The conversation also touches on the philosophical and practical implications of these proof methods in both classical and intuitionistic logic, as well as the role of type theory and univalent foundations in modern mathematical proofs. | ||
