复杂假设是谁提出的