第十三講 “猜想、證明型問(wèn)題”復(fù)習(xí)精講

波利亞很早就注意到“數(shù)學(xué)有兩個(gè)側(cè)面……用歐幾里得方式提出來(lái)的數(shù)學(xué)是一門系統(tǒng)的演繹科學(xué)，但在創(chuàng)造過(guò)程中的數(shù)學(xué)卻是實(shí)驗(yàn)性的歸納科學(xué)”，因此，他明確提出有兩種推理：論證推理可用來(lái)確定數(shù)學(xué)知識(shí)，合情推理可用來(lái)為猜想提供依據(jù)。