推 alfadick :述詞邏輯在微積分很普遍啊 02/12 11:57
→ alfadick :譬如數列收斂到L的定義方式, 就是: for all epsilon 02/12 11:58
→ alfadick :, there exist N in 正整數, for all n in 正整數 an 02/12 11:58
→ alfadick :d n>=N, |xn-L|<epsilon 02/12 11:58
→ alfadick :有好幾層, 因此在證明譬如lim(n->無限大) 1/n =0 02/12 11:59
→ alfadick :時, 就用到了一堆U.G.的過程. 02/12 11:59
→ alfadick :均勻連續啊, 什麼的, 很多時候證明複雜的時候 02/12 12:00
→ alfadick :譬如巢狀量詞有七八個，都是遵循邏輯手段解決 02/12 12:00
→ alfadick :但很多人其實學高微之前沒學過邏輯, 加上教科書也不 02/12 12:01
→ alfadick :採正規書寫方式(她們不寫for all,常寫for, when寫在) 02/12 12:03
→ alfadick :最後面,一下這樣一下那樣,不統一. 02/12 12:03
→ alfadick :所以對他們而言，他們讀高微、寫證明的難度，是我們 02/12 12:03
→ alfadick :這些至少懂一點論證結構的人的好幾倍 02/12 12:04
→ alfadick :後設邏輯部分我就沒學到了Q_Q 只是一階邏輯在高微超 02/12 12:04
→ alfadick :好用,只是看來看去(除了Mattuck)都沒作者著墨 02/12 12:05