Found in 4 comments on Hacker News
mrcactu5 · 2016-08-19 · Original thread
Homotopy Type Theory by Vladimir Voevodsky is another possibility. This is an attempt to link Topology and Computer Science

Back in the day there was Feynman's Lectures on Computation. Hint: pdf can be found by searching

See also nLab

one should never forget Jacob Lurie's "Higher Topos Theory" which is 1000 pages just like that

Actually I recommend against readin it as it only covers 2 of the 4 topics you discuss (Topology and Logic). However it certainly has applications to the other two.

moyix · 2016-08-14 · Original thread
I haven't read it, but I saw it on a friend's bookshelf:

tumba · 2016-05-07 · Original thread
If you enjoyed this, may I also recommend Feynman's Lectures on Computation. [1] It consists of transactions of a lecture series that begins with computer architecture and theory of computation and considers interesting subjects like the physical limits to computational capability--all through the unique lens of Feynmans' mind.

Feynman worked on this subject working on the Connection Machine supecomputer. [2][3]




acadien · 2014-02-07 · Original thread
Feynman discusses this problem in his "Theory of Computation" book. If I remember correctly, its actually part of a joke he plays on the reader too. In one of the earlier chapters he brings up the problem and then assigns it to the reader as homework they should complete before moving on. I spent maybe a week or two on that problem, discussed it with coworkers... and we came up with nothing.

So I gave up and continued reading. Then somewhere in the 4th or 5th Chapter he says something like: Oh I hope you had fun with the Firing Squad Problem, I still work on it from time to time and hope to come up with a solution myself one day.


Edit: Here is a link to the book, its enjoyable for experts and laymen alike.

Fresh book recommendations delivered straight to your inbox every Thursday.