Just 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-incomplet...
replyLogicomix 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.
replyIt'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?)
replynew comics recommendation! thanks!
reply