[過去ログ] Inter-universal geometry と ABC予想 42 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
243(1): 2019/11/18(月)19:36 ID:Ix4cusyz(3/5) AAS
>>242
不変式論の話をするなら、
・構成的手法と非構成的手法
とかいってほしい
ちなみにヒルベルトの基底定理の証明は
「自然数から自然数への関数fは
必ずf(x)の値が最小値となるxを持つ」
省2
245: 2019/11/18(月)19:49 ID:Ix4cusyz(4/5) AAS
>>243
>「自然数から自然数への関数fは
> 必ずf(x)の値が最小値となるxを持つ」
>関数fからxを見つける具体的方法はない
自然数の無限列中には、必ず最小元が存在するが
自然数の無限列から、最小元を具体的に見つける方法はない
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.036s