Inter-universal geometry と ABC予想 (応援スレ) 74 (889レス)
1-

193: 08/25(月)17:52 ID:iXlQT2JW(2/7) AAS
>>191
誤 「無限回繰り返し可能な有限回操作」
正 「任意有限回繰り返し可能な、有限文字数で表記可能な操作」
ここいい間違ったら馬鹿として爆死

>実無限は「その無限回繰り返しが完了した」ことまでも意味する。
そう定義するなら実無限は実現できない(笑)
数学の無限はどれ一つとして上記の意味の実無限ではない

>また非可算無限に対しては、無限回の繰り返しによってそれを生み出す
>有限回操作自体が設定できないのである。

然り したがって実無限ではない。
まあ可算無限に対しても無限回の繰り返しによってそれを生み出す有限回操作自体は設定できない
あくまで「任意有限回の繰り返しが可能な」「有限文字数で表現可能な」操作である

証明が有限文字数の式に対する有限回の推論操作
だからヒルベルトは算術で記述できると断言し
ゲーデルはそれを原資帰納的算術として記述しきった
これを誰も否定できない 

もちろん神戸の高卒サル◆yH25M02vWFhPにも
1-
あと 696 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.010s