无门与哥德尔

禅师与逻辑学家共有之处：都理解系统的边界。公案（如“一只手的声音是什么？”）用来击碎逻辑思维，逼你跳出系统求悟（“无”）。哥德尔对数学做了同样的事：构造出在系统内不可证的陈述，迫使我们走出系统看清真值。