2003-04-11 本日の豆知識 ゲーデルのフルネームはクルト・ゲーデル。オストアンデルみたいだな(←それはアンパンの別名)。チューリングはイアン・チューリングかと思ったらアラン・チューリングだった。アランとイアンの兄弟だったら江口寿史の漫画のキャラクターみたいです。