2006-09-11から1日間の記事一覧

プリンキピア・マテマティカには(結構後のほうに)1+1=2の証明があるらしいが、その証明で示されていることは「1の後者(successor)と加法なる演算によって定義される1+1が等しい」ということなのか? まあいつかの夏休みに読む。 今年は無理だ。 Vが線型空…