Explore >> Select a destination
|
You are here 
|
scottaaronson.blog | ||
| | | | |
www.logicmatters.net
|
|
| | | | | I have at last returned to finish reading Jeremy Avigad's Mathematical Logic and Computation, which was published last year by CUP. Here, now put together into one post, are some thoughts about the book (increasingly less per chapter, as I came to realise that - despite Avigad's intentions and despite the many virtues of the [...] | |
| | | | |
pressron.wordpress.com
|
|
| | | | | Abstract: Machine and language models of computation differ so greatly in the computational complexity properties of their representation that they form two distinct classes that cannot be directly compared in a meaningful way. While machine models are self-contained, the properties of the language models indicate that they require a computationally powerful collaborator, and are better... | |
| | | | |
www.lesswrong.com
|
|
| | | | | Paul Christiano has deviseda new fundamental approachto the "Löb Problem" wherein Löb's Theorem seems to pose an obstacle to AIs building successor... | |
| | | | |
www.skepticalscience.com
|
|
| | | Despite being the warmest decade on record, the last decade has seen a slowdown in the rate of global warming in some temperature datasets. The factors responsible for this slowdown have been discussed at SkS, most recently in the SkS post Ocean Heat Content And The Importance Of The Deep Ocean,which looked at three Hadley Centre climate models. | ||
