/explore
|
You are here 
|
pavpanchekha.com | ||
| | | | |
thehousecarpenter.wordpress.com
|
|
| | | | | NB: I've opted to just get straight to the point with this post rather than attempting to introduce the subject first, so it may be of little interest to readers who aren't already interested in proving the completeness theorem for propositional logic. A PDF version of this document is available here. The key thing I... | |
| | | | |
blog.sigfpe.com
|
|
| | | | | [AI summary] An elementary proof is provided for how it is possible to exhaustively search an infinite space of boolean streams in finite time by exploiting the structure of computable predicates. | |
| | | | |
njwildberger.com
|
|
| | | | | There are several approaches to the modern theory of "real numbers". Unfortunately, none of them makes complete sense. One hundred years ago, there was vigorous discussion about the ambiguities with them and Cantor's theory of "infinite sets". As time went by, the debate subsided but the difficulties didn't really go away. A largely unquestioning uniformity... | |
| | | | |
mobstertiger.com
|
|
| | | https://youtube.com/watch?v=NnXO1PNHvZg&si=9tPcwip0MQW-ojid | ||
