- 集合論に基づいた言語を作りたい
510 ：デフォルトの名無しさん[]：2014/10/14(火) 19:09:39.61 ID:bR6+1Vd4 - 0=φ
1={φ}
2={φ{φ}}
3={φ{φ}{φ{φ}}}
4={φ{φ}{φ{φ}}{φ{φ}{φ{φ}}}}
は良いとして、このノイマンの表現法で通常の４則演算ってどういう意味があるの？
２＋２＝４ ってこの右側の集合の記法でどうやってでてくるんだ？？
| - 集合論に基づいた言語を作りたい
512 ：デフォルトの名無しさん[]：2014/10/14(火) 20:40:10.02 ID:bR6+1Vd4 - >>511
ラムダとペアノの奴っていうのは
後者関数と射影関数を使って原始帰納法から原始帰納的関数を定義する方法で
加算を定義するというものと内容的に同値だろうから、
この自然数を包含関係で表現してみた集合に対する演算の定義とは違わないか？
|
|