Drew McDermott Theorem (informal statement): There are no “extendible methods” in David Chalmers’s sense unless <em>P = NP</em> reportTheorem (informal statement): There are no “extendible methods” in David Chalmers’s sense unless P = NPDrew McDermott2012