1. 程式人生 > >實無窮微積分小是數學與邏輯的

實無窮微積分小是數學與邏輯的

實無窮微積分小是數學與邏輯的“混血兒”
一般人認為,無窮小是很小的、即將消失的“量”。也就會說,無窮小是潛在(potential)的量,而而不是實在(actual)的量。
當今,在中國大學校園內,大學生數學教員向學生們灌輸:實無窮小不存在,應該儘量避免使用它們。
在上世紀60年代,美國數學家魯賓遜創造性地使數學與邏輯相結合,生產了一個“混血兒”--實無窮小。
   由此,現代實無窮小微積分誕生了、是數學與邏輯的“混血兒”,    
於是,有人“斜眼”看待他(她)。
上世紀最偉大的數學家哥德爾的看法則與此不同,他高度讚揚了魯賓遜的創新工作。
半年以來,我們向全國高校投放的無窮小微積分教材就是實無窮小微積分的典範課本。
    有興趣的讀者,請見本文附件。
袁萌  陳啟清  元月6日
附件;根據相關文獻記載,哥德爾認為:
Kurt Godel, for example, believed that Robinson more than anyone else had succeeded in bringing mathematics and logic together, and he(哥德爾) praised(讚揚了) Robinson's creation of nonstandard analysis for enlisting(把…融合到…之中) the techniques of modern logic to provide rigorous foundations for the calculus using actual infinitesimals(實在無窮小).