Explore >> Select a destination
|
You are here 
|
rakhim.org | ||
| | | | |
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. | |
| | | | |
ncatlab.org
|
|
| | | | | ||
| | | | |
aeon.co
|
|
| | | | | Some have thought that logic will one day be completed and all its problems solved. Now we know it is an endless task | |
| | | | |
craftofcoding.wordpress.com
|
|
| | | Programming Made Easy The basics of Programming The Basics of julia Coding in Fortran Coding in ada | ||
