/explore
|
You are here 
|
existentialtype.wordpress.com | ||
| | | | |
relatedwork.blogspot.com
|
|
| | | | | WARNING: the following contains a whole lot of pedantry about proving theorems at a level of detail such that you could likely convince a co... | |
| | | | |
gowers.wordpress.com
|
|
| | | | | It's been a while since I have written a post in the "somewhat philosophical" category, which is where I put questions like "How can one statement be stronger than an another, equivalent, statement?" This post is about a question that I've intended for a long time to sort out in my mind but have found... | |
| | | | |
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. | |
| | | | |
tromp.github.io
|
|
| | | |||
