[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む23 [無断転載禁止]©2ch.net (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
518(2): 現代数学の系譜11 ガロア理論を読む 2016/10/02(日)11:51 ID:buf52I0X(23/58) AAS
>>28 補足
遠隔レスがだ、ペアノの公理（下記）で
”後者 (successor)、suc(a) ”
これ、関数の再帰呼び出しと見たら、分かり易いかなと
コンピュータプログラミングで、後者 (successor)、suc(a) は”x=x+1”みたいな定義関数だと
で、コンピュータをエンドレスで走らせるみたいな。（有限の場合は、走らせる前に演算回数を決めておく。）これ、5番目の公理
「エンドレスで走らせたら・・」というのが、可算無限だと
外部ﾘﾝｸ:ja.wikipedia.org
ペアノの公理
(抜粋)
省17
上下前次1-新書関写板覧索設栞歴
あと 484 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.013s