23/03/09 19:27:30.40 3hWL+mkU.net
>>175
> 連載記事などで気楽に話を盛るのは
> 矢野先生だけではなかったようで
竹内外史もそういうとこあるね
タルスキの(真理)定義不可能性定理が
ゲーデルの不完全性定理より前に
証明されたとかいうのはウソ
（ちなみにゲーデルは不完全性定理より前に
この定理を発見している）
あと、タルスキの姓が本当はもっと長いのを
タルスキに縮めたとかいってるのも厳密にいうとウソ
タルスキは確かにもともと違う苗字であったが
それはなんとかスキーとかではなく
Teitelbaum（テイテルバウム）とかいうものだった
タルスキはユダヤ人であったがポーランド人ぽい
苗字にしたかったので改名したらしい
なお、タルスキがセクハラ大魔王で
弟子の女子学生と＊＊