おっしゃぁ。

数学ガール最新刊は"ゲーテルの不完全性定理"のようです

待ってました

あれですか。
"無矛盾な公理的集合論は自己そのものの無矛盾性を証明できない"
ってやつですか

"プリンキピア・マテマティカ及び関連する諸体系における形式的に決定不可能な諸命題について"
ですか

この定理は何度読んでも何故そうなるのかを理解できませんでした･･･

ようは証明も反証も出来ない問題があるってことと
数学は自分自身が正しいって事を証明できないってやつですか

･･･うろ覚えだ

っとそろそろ数学ガール二冊とも買わねば
図書館にあるからつい･･･

Euler
Fermat
Godel
とくれば･････
Hilbert？
次は･･･
何だろ？Iから始まる数学者と言えば･･･？

追記 09/09/03
List of mathematicians (I) - Wikipedia, the free encyclopedia
Iから始まる数学者一覧。

んー、岩澤健吉さん？