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.