一百囚徒与一个灯泡

　　《一百囚徒与一个灯泡》的内容是十一个经典的逻辑谜题，这些谜题非常具有挑战性，答案往往出人意料。这些谜题表面上看起来是自相矛盾的，但是对它们的解答是围绕知识宣告来进行的，解答过程也完全能够以数学模型的方式严格化。《一百囚徒与一个灯泡》每一章处理一个谜题，作者经过详细地分析，最终引导读者获得解答。对于不具备数学技术性知识的一般性读者和学生来说，以《一百囚徒与一个灯泡》标题命名的谜题“一百囚徒与一个灯泡”是对认知逻辑的趣味性导论。对于掌握一些数学技能的学生和教师，可以把《一百囚徒与一个灯泡》当作导论性教学和进一步研究的参考书。

　　《一百囚徒与一个灯泡》适合逻辑学专业、哲学专业、数学专业，以及计算机领域的研究人员参考阅读，对文理科师生均具有较高参考价值。

    马明辉，男，土家族，1984年11月生于湖北。中山大学哲学系教授、博士生导师。2011年毕业于清华大学，获逻辑学专业哲学博士学位，曾留学于荷兰阿姆斯特丹大学逻辑、语言与计算研究所，2012年以来先后赴日本北陆先端科学技术大学院大学、荷兰代尔夫特理工大学、法国洛林计算机科学及其应用实验室（LORIA）、爱沙尼亚塔林理工大学等地从事科学研究。近年来主持国家社科基金项目两项、教育部人文社会科学研究项目一项，其他省部级项目两项，在国内外重要学术期刊发表专业论文40余篇。

序言

1 连续的自然数

2 绞刑

3 泥孩

4 蒙提霍尔

5 俄罗斯卡片

6 谁有两数的和？

7 和与积

8 两个信封

9 一百囚徒与一个灯泡

10 八卦

11 妙探寻凶

12 动态认知逻辑概述

13 答案

参考文献

前言/序言

　　这本书呈现了11个不同的关于已知和未知的谜题。每个谜题单独成章，进行了深入阐释，每一章还有一些附加谜题，书后可以找到这些谜题的答案。这些谜题的一个永恒话题是，谜题中所涉及的人宣告他们知道和不知道的东西，然后似乎自相矛盾。这样的知识谜题在动态认知逻辑领域的发展过程中起到了重要的作用。本书单独有一章介绍动态认知逻辑。

　　本书的插图是易兰车兹彦（Elancheziyan）绘制的。易兰车兹彦是生活在清奈（Chennai）的一位讲泰米尔语的印度画家。汉斯·范·狄马斯（Hans van Ditmarsch）在印度清奈数理科学研究院兼职，经东道主拉马努詹（Ramanujam）联络，在苏巴舍利·德斯堪（Shunashree Desikan）进行泰米尔语一英语翻译的友好帮助下，汉斯与易兰车兹彦取得了联系。每一章的插图的来历本身就是一个故事，我们非常感谢易兰车兹彦的必不可少的合作。

　　我们要对保罗·勒夫雷（Paul Levrie）和维什列夫·桑达拉简（Vaishnavi Sun-dararajan）表示感谢，他们为本书最后一版书稿的校对做出了实质性的、非常令人钦佩的努力。彼特·范·埃姆德·博阿斯（Peter van Emde Boas）毫不厌倦地提供关于连续自然数之谜的历史细节，对于我们写作本书有很大的鼓励。我们还要感谢施普林格出版社的阿伦·曼恩（Allen Mann），他鼓励并促使我们开展这本书的写作计划。汉斯讲课时，南锡高等矿业学院的尼克拉斯·梅耶尔（Nicolas Meyer）发现了灯泡协议中一处令人尴尬的错误，此时离我们交书稿只有几个星期的时间。他是许多我们希望感谢的人中的一位。如果回顾在学院、大学和暑期学校教授逻辑与谜题的25年，我们要感谢更多的学生和同事：通过一个例子，我们希望在此感谢所有的人。毫无疑问，本书难免还存在一些错误，这些错误全都是作者的责任。

装　　帧：平装

页　　数：204

版　　次：第1版

开　　本：16开