/explore
|
You are here 
|
scottaaronson.blog | ||
| | | | |
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.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 [...] | |
| | | | |
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.logicmatters.net
|
|
| | | 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 [...] | ||
