/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

scottaaronson.blog
| | pressron.wordpress.com
3.7 parsecs away

Travel
| | 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.logicmatters.net
5.1 parsecs away

Travel
| | 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 [...]
| | gowers.wordpress.com
5.9 parsecs away

Travel
| | 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.logicmatters.net
18.8 parsecs away

Travel
| The first mini Amazon review of the new edition of Introducing Category Theory arrives: five stars. Simultaneously, the first report of a typo (§2.9(b), "its homomorphism needs to be included" should read "its identity homomorphism needs to be included"). You win some, you lose some. Among the possible post-categories projects I've wondered about, one is [...]