14/10/17 13:53:23.37 dWEICMsc.net
>>511
ノイマンの集合モデルとチャーチのラムダ式モデル(チャーチ数)は、ペアノの自然数の別のモデル。
14/10/17 13:53:23.37 dWEICMsc.net
>>511
ノイマンの集合モデルとチャーチのラムダ式モデル(チャーチ数)は、ペアノの自然数の別のモデル。
14/10/17 13:53:23.37 dWEICMsc.net
>>511
ノイマンの集合モデルとチャーチのラムダ式モデル(チャーチ数)は、ペアノの自然数の別のモデル。