/explore
|
You are here 
|
existentialtype.wordpress.com | ||
| | | | |
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. |
|
| | | | | ||
| | | | |
ianwrightsite.wordpress.com
Are Cantor's higher infinities really real? |
|
| | | | | ||
| | | | |
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... |
|
| | | | | ||
| | | | |
www.chriswarbo.net
[AI summary] A discussion thread clarifying misconceptions about state, the IO monad, and functional purity in Haskell by explaining how the language represents imperative programs as pure data structures. |
|
| | | |||
