6 ms·
Of you prefer an even more entertaining approach and a very gentle introduction into the topic, I recommend the comic "Logicomix" which tells Russel's journey (
by hasley 1mo ago
Of you prefer an even more entertaining approach and a very gentle introduction into the topic, I recommend the comic "Logicomix" which tells Russel's journey (though not historically correct all the time for story telling reasons).
https://en.wikipedia.org/wiki/Logicomix https://en.wikipedia.org/wiki/Logicomix
- eternauta3k 1mo agoJust got this from the library, it's a real page turner. Heard about it in this excellent interview: https://www.typetheoryforall.com/episodes/goedel-s-incompleteness-theorems https://www.typetheoryforall.com/episodes/goedel-s-incomplet...
- igravious 1mo agoLogicomix is novel, and done well, but flawed … it's deficiencies lie in what it leaves out which may come across as an unfair charge but in this case the charge is warranted. There is a more historically correct and less orthodox work waiting in the wings for whosoever should attempt it.
- jhbadger 1mo agoIt's also a bit weird how it makes ahistorical meetings for "drama" -- e.g. Russell and Frege never met in real life -- why show that they did (they do mention this never happened in their notes, but why write such a scene at all?)
- bramadityaw 1mo agonew comics recommendation! thanks!