萬千教育.數(shù)理邏輯是什么

　　本書是數(shù)理邏輯領(lǐng)域的代表性著作，旨在向零基礎(chǔ)的讀者普及數(shù)理邏輯知識(shí)。自1972年問世以來，本書得到眾多邏輯學(xué)家的肯定，并始終是該領(lǐng)域的長(zhǎng)銷之作。　簡(jiǎn)明扼要是本書一大特色。秉持將“難懂”的數(shù)理邏輯以通俗易懂的方式介紹給一般讀者的理念，幾位作者精選數(shù)理邏輯典型的思想，生動(dòng)地介紹了數(shù)理邏輯發(fā)展史、謂詞演算的完全性、模型論、圖靈機(jī)與遞歸函數(shù)、哥德爾不完全性定理、集合論等。相對(duì)獨(dú)立的章節(jié)是本書另一大特色。全書各章之間不存在緊密的層級(jí)關(guān)系，讀者可根據(jù)理解的程度，暫時(shí)跳過某些章節(jié)，待需要時(shí)再返回重新閱讀。這種寫作方式有助于讀者在短時(shí)間內(nèi)掌握數(shù)理邏輯的主要內(nèi)容，奠定進(jìn)一步學(xué)習(xí)邏輯、數(shù)學(xué)、計(jì)算機(jī)科學(xué)等知識(shí)的基礎(chǔ)。

　　作者簡(jiǎn)介約翰·N．克羅斯利（John N. Crossley）　英國(guó)數(shù)學(xué)家、邏輯學(xué)家。1963年于牛津大學(xué)獲得哲學(xué)博士學(xué)位與數(shù)學(xué)碩士學(xué)位。畢業(yè)后成為牛津大學(xué)第位數(shù)理邏輯教師，牛津大學(xué)萬靈學(xué)院研究員。自1968年起，長(zhǎng)期任教于澳大利亞莫納什大學(xué)，并于2010年成為該校榮休教授?！≈饕芯款I(lǐng)域?yàn)檫壿嫛?shù)學(xué)和計(jì)算機(jī)科學(xué)。著有《構(gòu)成性序型》（Constructive Order Types，1969）、《數(shù)理邏輯是什么》（What Is Mathematical Logic？，1972，合著）、《組合函子》（Combinatorial Functors，1974，合著）、《數(shù)的出現(xiàn)》（The Emergence of Number，1987）、《九章算術(shù)：導(dǎo)讀與注釋》（The Nine Chapters on the Mathematical Art： Companion & Commentary，2000，合著）、《程序就是證明：柯里—霍華德對(duì)應(yīng)》（Adapting Proofs-as-Programs： The Curry-Howard Protocol，2005，合著）、《成長(zhǎng)的數(shù)字觀》（Growing Ideas of Number，2007）等。譯者簡(jiǎn)介夏素敏 南京大學(xué)哲學(xué)博士，中國(guó)社會(huì)科學(xué)院哲學(xué)研究所副研究員。主要研究方向?yàn)榈懒x邏輯、邏輯哲學(xué)等。出版有專著《道義悖論研究初探》等。閆佳亮 中國(guó)社會(huì)科學(xué)院研究生院哲學(xué)系碩士研究生在讀。主要研究興趣為哲學(xué)邏輯、邏輯哲學(xué)等。