我讀virtual book的時候,看到量詞、Reduce、Resolve這些函數,
我看了幾個範例,真的有嚇到,
並且我反應很快,馬上想到:真那麼神,那費馬定理不就可以輕鬆推出來嗎?
但因為我才剛學,寫起來超卡,就沒去實驗了。
結果剛才逛到官網範例,還真的有耶:(最最下面的那個箭頭,巧妙範例點進去)
http://reference.wolfram.com/mathematica/ref/FullSimplify.html
這到底是怎麼做到的?它背後的機制是真的用迴圈瘋狂去test嗎?
因為我看官網Reduce/Resolve的範例,真的蠻強大的...
並且ForAll, Exist是巢狀量詞,這些直接跟高等微積分的精髓有關
如果那麼有效,我不敢想像在高等微積分會多麼神威...