>Congrats to Avi Wigderson for winning the Knuth Prize. When I was asked to write a supporting nomination letter, my first suggestion was to submit a blank sheet of paper—since for anyone in theoretical computer science, there’s nothing that needs to be said about why Avi should win any awards we have. I hope Avi remains a guiding light of our community for many years to com
My exact sentiments. This isn't adding anything of value as an HN comment but I just wanted to share my appreciation of this book as well as my frustration that there are only 24 hours in a day...
I disagree, but I guess it depends on your definition of mathematics. Complexity theory and formal languages are far closer to my definition of mathematics than discrete math problems which I tend to classify more as arithmetic.
How much time/energy/space does it take to think a thought? Is it possible to think this class of thoughts? What difference does it make if we change the computational substrate from classic to quantum?
I wish I had two lifetimes, so that I could spend one on dwelling on things like this. (Maybe I do, if we made enormous advancements in cybernetic prostethics et.c. before I die.. lets hope!)
Mathematics for Computation from MIT[1]. HN discussion on it[2].
[1]:https://courses.csail.mit.edu/6.042/spring17/mcs.pdf
[2]:https://news.ycombinator.com/item?id=13800320