Explore >> Select a destination
|
You are here 
|
www.umsu.de | ||
| | | | |
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 [...] | |
| | | | |
www.cs.uic.edu
|
|
| | | | | ||
| | | | |
reportofanimals.com
|
|
| | | | | DISCLAIMER: This is an essay I wrote for my Masters degree in 2023, part of a series I will be putting on this site to get me started. While I have changed some of my views and found new lines of inquiry since I wrote this, I feel there is value in it and after... | |
| | | | |
blog.computationalcomplexity.org
|
|
| | | In my post about the myth that Logicians are crazy I mentioned in passing that Whitehead and Russell spend 300 pages proving 1+1=2 (but we... | ||
