The book's core argument is that an artificial intelligence that could equal or exceed human
intelligence - sometimes called artificial general intelligence (AGI) - is for mathematical
reasons impossible. It offers two specific reasons for this claim.
