I only skimmed through it, but I can not take it seriously. They talk about general mathematical proofs, but it feels more like a few very arbitrarily chosen de

I only skimmed through it, but I can not take it seriously. They talk about general mathematical proofs, but it feels more like a few very arbitrarily chosen definitions, without addressing the most standard argument ("what is so difficult about simulating a human brain in principle, except for the (not fundamental) problem of having a big computer and precise classical measurements").