作者簡介
齊斯.德福林Keith Devlin
史丹佛大學數學家及該校人文科學與先端科技研究中心(H-STAR)共同創辦人和執行長,也是該校Media X研究計畫創立人之一,以及該校語言資訊研究中心(CSLI)資深研究員,世界經濟論壇院士及美國科學促進協會(American Association for the Advancement of Science)會士。
現階段研究重點是運用各種媒材,向各類型的聽眾教授和傳播數學,同時致力於設計情報分析的資訊及推論系統。研究興趣還包括訊息理論、推理模式、數學技巧在傳播研究上的應用,以及數學認知等。2003年,以「在數學領域以及數學與邏輯學、語言學間關係的創新研究和長期耕耘」,獲得加州眾議院表揚。主持美國國家公共廣播電台《數學小子》(Math Guy)節目。
著有《數學的語言》(The Language of Mathematics)等書。
相關著作:《這個問題,你用數學方式想過嗎?:史丹佛大學教授最受歡迎的4堂思考力訓練課,大師教你像數學家一樣思考,讓你擁有關鍵的邏輯力、證明力、數字力》
譯者簡介
洪萬生
美國紐約市立大學(CUNY)博士,主修數學史、科學史,輔修數學哲學、科學哲學。曾任職臺灣師範大學數學系,講授數學(社會)史、數學哲學與HPM(數學史與數學教育之關連)專題,並主持「台灣數學博物館」(http://science.math.ntnu.edu.tw/museum)網站,透過網路結合科普同好,分享國內外數學普及活動的學術與教育資源,對於推廣數學普及讀物的書寫、出版及閱讀不遺餘力。
黃俊瑋
國立臺灣師範大學數學系博士候選人,主修數學史。譯有《數學偵探物語》、《掉進牛奶裡的e和玉米罐頭上的π》等書,並與洪萬生教授等人合著《摺摺稱奇:初登大雅之堂的摺紙數學》。期望透過數學普及閱讀與數學教育之結合,以更加豐富、多元而開放的面向,增進學生的數學思維與數學素養。
蘇惠玉
高雄人,國立臺灣師範大學數學系碩士,現任台北市立西松高中數學教師,並擔任《HPM通訊》主編。
陳彥宏
國立臺灣師範大學數學系碩士,現任台北市成功高中數學教師。
葉吉海
國立臺灣師範大學數學系碩士,現任桃園國立陽明高中數學科教師,喜歡在課堂上將數學有趣的面向與教材結合,讓學生更喜愛高中數學。
導讀 洪萬生
序言
導論:本書之為用
1. 數學是什麼?
1.1 遠超過算術
1.2 數學的符號
1.3 現代大學程度的數學
1.4 為什麼你必須學習這些東西?
2 將語言精確化
2.1 數學述句
2.2 邏輯連詞:且、或以及非
2.3 蘊涵
2.4 量詞
3 證明
3.1 何謂證明?
3.2 反證法
3.3 證明條件句
3.4 證明量化命題
3.5 歸納證明
4 證明有關數字的成果
4.1 整數
4.2 實數
4.3 完備性
4.4 數列
附錄:集合論
索引