一百囚徒與一個燈泡

　　《一百囚徒與一個燈泡》的內(nèi)容是十一個經(jīng)典的邏輯謎題，這些謎題非常具有挑戰(zhàn)性，答案往往出人意料。這些謎題表面上看起來是自相矛盾的，但是對它們的解答是圍繞知識宣告來進(jìn)行的，解答過程也完全能夠以數(shù)學(xué)模型的方式嚴(yán)格化?！兑话偾敉脚c一個燈泡》每一章處理一個謎題，作者經(jīng)過詳細(xì)地分析，最終引導(dǎo)讀者獲得解答。對于不具備數(shù)學(xué)技術(shù)性知識的一般性讀者和學(xué)生來說，以《一百囚徒與一個燈泡》標(biāo)題命名的謎題“一百囚徒與一個燈泡”是對認(rèn)知邏輯的趣味性導(dǎo)論。對于掌握一些數(shù)學(xué)技能的學(xué)生和教師，可以把《一百囚徒與一個燈泡》當(dāng)作導(dǎo)論性教學(xué)和進(jìn)一步研究的參考書。《一百囚徒與一個燈泡》適合邏輯學(xué)專業(yè)、哲學(xué)專業(yè)、數(shù)學(xué)專業(yè)，以及計算機(jī)領(lǐng)域的研究人員參考閱讀，對文理科師生均具有較高參考價值。

　　馬明輝，男，土家族，1984年11月生于湖北。中山大學(xué)哲學(xué)系教授、博士生導(dǎo)師。2011年畢業(yè)于清華大學(xué)，獲邏輯學(xué)專業(yè)哲學(xué)博士學(xué)位，曾留學(xué)于荷蘭阿姆斯特丹大學(xué)邏輯、語言與計算研究所，2012年以來先后赴日本北陸先端科學(xué)技術(shù)大學(xué)院大學(xué)、荷蘭代爾夫特理工大學(xué)、法國洛林計算機(jī)科學(xué)及其應(yīng)用實驗室（LORIA）、愛沙尼亞塔林理工大學(xué)等地從事科學(xué)研究。近年來主持國家社科基金項目兩項、教育部人文社會科學(xué)研究項目一項，其他省部級項目兩項，在國內(nèi)外重要學(xué)術(shù)期刊發(fā)表專業(yè)論文40余篇。