基本介紹
- 中文名：蘊含怪論
- 類別：數學現象
- 相關人物：莫斯托夫斯基
- 領域：數學
蘊含怪論
在一個命題演算系統中，有一些公式，它是永真的，但與生活中的邏輯不甚相符，使人們覺得有點“怪”，被稱為“蘊含怪論”．許多數理邏輯學家在證明公式時都儘量避免使用“蘊含怪論”，除非迫不得已.論”．但莫紹揆卻避開“蘊含怪論”巧妙地證明了該公式．貝爾奈斯對此大加讚賞，稱之為“莫的漂亮證明”．波蘭的莫斯托夫斯基(A．Mostowski)也是一代數理邏輯宗師．有一次，貝爾奈斯要莫紹揆對莫斯托夫斯基的一篇關於各種選擇公理的獨立性的論文談談看法時，莫不僅正確地評價了該文，而且指出了其中的瑕疵．尤其令貝爾奈斯驚訝的是，這個年輕人還有完整的修改意見．貝爾奈斯對莫紹揆十分青睞，經常與之一起研究問題，對莫的論文，還幫助解決了其中一個難解決的問題．那時貝爾奈斯已到晚年，在國際上久負盛名，他的這一切行動對於一個年輕的中國學者是一種崇高的榮譽．後來莫紹揆回國了，貝爾奈斯對這位中國弟子卻久久不能忘懷．據德國Heidelberg大學數學系前系主任謬勒(H．Müller)教授後來回憶，莫離開後，貝爾奈斯經常在課上情不自禁地問：莫先生對此問題如何看？當其他學生告訴他，莫先生已經回中國去了，貝爾奈斯當即神情黯然．
