In the revised second edition of Why Machines Will Never Rule the World, Jobst Landgrebe and Barry Smith argue that Artificial General Intelligence (AGI) is mathematically impossible. Drawing on ...