塔尔斯基：私生活逻辑混乱的“最强”逻辑学家( 四 ) _小知识

安妮·戴维斯是塔尔斯基的第四位女学生，她的第一任丈夫阿兰·戴维斯也是一位数学家。安妮和阿兰的感情不和，她在阿兰和塔尔斯基之间摇摆。从塔尔斯基档案看，安妮此间给塔尔斯基的信中对他的称谓从“塔尔斯基博士”，到“亲爱的阿尔弗莱德”和“亲爱的老板” 。安妮和阿兰离婚后，塔尔斯基向她求过婚，但遭拒。安妮大概是唯一被塔尔斯基正式求过婚的女生。安妮几经周折最后成为华盛顿大学的第一位女教授，她在后来得知塔尔斯基和其他女生的混乱关系后，改变了对塔尔斯基的看法。她认为塔尔斯基一直在利用他的权力勾引女生，属道德败坏。勾引别人的男人，和自己的男人被勾引，真不是一回事。
1957年塔尔斯基在李昂·汉金（Leon Henkin）和帕崔克·萨皮斯（Suppes）的帮助下，组织了“几何学和物理学中的公理化方法国际会议”，除了保罗·博奈斯、海丁等逻辑学家外，还有布里奇曼等物理学家和生物学家。塔尔斯基收获了名望，外加又一段恋情，这次是和会议的秘书，美丽的哲学系学生多萝西·沃尔芙（Dorothy Wolfe）。会议结束后，多萝西就搬到塔尔斯基家，俨然以女主人自居。塔尔斯基的老妻玛丽亚逐渐萌生退意。她和多萝西维持了友好关系，并交代她怎么持家，而自己则上夜校学英语，兼职做护士和老师，后来在自家附近又买了栋房子，和塔尔斯基分居。玛丽亚为了节省开销，又把新房中空闲的房间租给数学系的学生和访问学者，这些人多是塔尔斯基的学生和波兰朋友，于是又免不了和塔尔斯基打交道，双方这种若即若离的关系一直到老。
除了学生和秘书，塔尔斯基的花边还会延展到朋友的圈子。物理学家弗里曼·戴森（Freeman Dyson）的迷人妻子芙丽娜（Verena）在生了两个孩子之后（其中一个是科学史家乔治·戴森），和逻辑学家乔治·克雷泽尔（Kreisel）私奔，克雷泽尔其实还是戴森邀请到普林斯顿的，这两位又都是塔尔斯基的朋友。那段时间，塔尔斯基也不断向芙丽娜献殷勤，并朗诵歌德的情诗。芙丽娜和克雷泽尔散伙后，到伯克利数学系接着读博士，那时塔尔斯基已移情别处，但一有机会，还是会给她背歌德情诗。
戴森父子都给《纽约书评》写稿，儿子乔治晚年写过几本关于普林斯顿研究院的书，其中最出名的当是2012年出的《图灵大教堂》（Turing's Cathedral），书里八卦多，但绝口不提克雷泽尔和塔尔斯基。玛丽亚晚年对塔尔斯基已无恨，塔死后，有朋友造访，玛丽亚还会拿出塔尔斯基的照片和朋友分享旧时光，并面无表情地一一指出照片中塔尔斯基的昔日女友：“这是一个，这是另一个。”人老了真好，老情敌（而不是老情人）的数目变成了炫耀的资本。
塔尔斯基的最后一位学生也是女性，又是华人，裘蒂丝·吴（Kan Ching Judith Ng）。裘蒂丝从上世纪六十年代初就是塔尔斯基的学生，后来成为他的助手兼干女儿，她在塔尔斯基死后的1984年才在塔尔斯基学生的学生拉尔夫·麦肯齐的指导下得到博士学位。和大家猜的相反，美丽的裘蒂丝和塔尔斯基关系亲近，但绝无超出友谊，她和玛丽亚的关系也很好，玛丽亚直夸她“和那些小骚娘们不同” 。她后来到加州州立大学沙加缅度分校教书，那并不是一所研究性大学，她在那里主要是教本科生微积分，从网上学生的评语看，她也许在那里并不愉快。
1975年，塔尔斯基的朋友、学生莫斯托夫斯基在温哥华死于心脏病，不久，万达死于癌症。这对塔尔斯基打击很大，之后，他的身体每况愈下。塔尔斯基死于1983年10月27日，临死时神志不清，但嘴里还念念有词，据说是在背海涅的诗。塔尔斯基死后，他的母校华沙大学在新建的图书馆门口立了两个塑像，一位是塔尔斯基的老师、波兰学派的创始人、华沙大学的前校长卢卡西维茨；另一位是塔尔斯基。
塔尔斯基在哲学上的贡献是利用元语言定义真值（Truth）。他在逻辑学上的贡献集中在证明论和模型论。他在数学上的贡献是证明了实数的一阶理论是可判定的，1942年他刚到加州大学伯克利分校时出版了英文小册子《初等代数和几何的判定方法》，而主要结果在1930年代初就已获得，差不多同时哥德尔和丘奇证明了整数的一阶理论是不可判定的。这是一个有趣的对比，在实数域可判定的理论，在整数域却不可判定。相比之下，不可判定更让人吃惊，从这个意义上说，哥德尔的结果更美、更伟大。
难怪冯·诺依曼开玩笑说，如果哥德尔晚几天证明出不完全性定理，他本人几乎就可证明与之相反的“完全性定理”了。塔尔斯基给出的算法是超指数的，随后的几代数学家、计算机科学家不断改进他的结果，中国数学家吴文俊在几何机器定理证明的突破可以看成是塔尔斯基结果的某种发展和改进，使得几何定理的判定问题可在计算机上实现。这有点像张益唐，他证明了有上限，并给出了一个很大的上限值，后来人不断把那个值缩小。