Explore >> Select a destination
|
You are here 
|
mathenchant.wordpress.com | ||
| | | | |
alok.github.io
|
|
| | | | | Alok Singh's Blog | |
| | | | |
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. | |
| | | | |
divisbyzero.com
|
|
| | | | | The study of cardinalities of infinite sets is one of the most intriguing areas of mathematics that an undergraduate mathematics major will encounter. It never fails to bring crooked smiles of joy, disbelief, confusion and wonder to their faces. The results are beautiful, deep, and unexpected. Recall that two sets have the same cardinality if... | |
| | | | |
loup-vaillant.fr
|
|
| | | Despite advice to the contrary, I have implemented my own crypto for serious use. Here's how. | ||
