/explore
|
You are here 
|
gowers.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. |
|
| | | | | ||
| | | | |
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... |
|
| | | | | ||
| | | | |
ianwrightsite.wordpress.com
Are Cantor's higher infinities really real? |
|
| | | | | ||
| | | | |
dissidentvoice.org
Fukushima Daiichi Nuclear Power Plant is the world's leading epicenter of toxic radioactive water released into the ocean. Yet, these activities are no longer closely monitored by mainstream media. As it happens, Tokyo Electric Power Company is the electric utility that manages the decommissioning of the collapsed nuclear reactors. This controversial ongoing release of radioactive |
|
| | | |||
