アカウント名:
パスワード:
空集合、空集合を唯一の要素として持つ集合、空集合を唯一の要素として持つ集合を唯一の要素として持つ集合…みたいな感じで数の概念を集合論的に表現して加法の定義をして進めるようなやり方。
その次にそれを空のリスト、空のリストを唯一の要素としてもつリスト…みたいな感じで表現して最終的にはlispでそれを組み立てるみたいな事までやったはずなんだが、結構忘れてる。
無知な私は、それは定義で、証明の対象ではないと思ってる。実際1+1=10でも世間は回っているし。
1のつもり、2のつもり、足し算のつもりで定義したもの達が望みの性質を持っているかどうかの確認ですね
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
犯人は巨人ファンでA型で眼鏡をかけている -- あるハッカー
そういえば大学で1+1=2の証明やったなあ (スコア:0)
空集合、空集合を唯一の要素として持つ集合、空集合を唯一の要素として持つ集合を唯一の要素として持つ集合…
みたいな感じで数の概念を集合論的に表現して加法の定義をして進めるようなやり方。
その次にそれを空のリスト、空のリストを唯一の要素としてもつリスト…みたいな感じで表現して
最終的にはlispでそれを組み立てるみたいな事までやったはずなんだが、結構忘れてる。
Re: (スコア:0)
無知な私は、それは定義で、証明の対象ではないと思ってる。
実際1+1=10でも世間は回っているし。
Re:そういえば大学で1+1=2の証明やったなあ (スコア:0)
1のつもり、2のつもり、足し算のつもりで定義したもの達が望みの性質を持っているかどうかの確認ですね