[過去ログ] Inter-universal geometry と ABC予想 否定派 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
255
(3): 2020/04/23(木)17:37 ID:onmAzHJf(2/4) AAS
>すべてのカラスは黒い
>あるカラスが居る ←これが居ることの担保がない
>ゆえに
>そのカラスは黒い
時刻 t(s) におけるカラスの数は実関数 f(t) で表せ、f(t) は定数関数ではない。
変数tを固定すると、f(t) も固定されるから、すべてのカラスは黒いという仮定は意味を持つ。
変数tを固定しないと、f(t) が定数とはいい切れず、すべてのカラスは黒いという仮定が正しい保証はどこにもない。
省1
257
(1): 2020/04/23(木)17:52 ID:XWvRD9DG(4/10) AAS
>>255
集合から任意の元を選べばそれは固定される
たとえば
カラスの集合から任意のカラスを選ぶ
これをf(a)とする
このときf(a)は動かない
しかしこの動かないことを以て
省8
264
(1): 2020/04/23(木)18:07 ID:onmAzHJf(3/4) AAS
>>255
>すべてのカラスは黒い
>あるカラスが居る ←これが居ることの担保がない
>ゆえに
>そのカラスは黒い
これを単純に論理的問題で捉えると、カラス全体の(有限)集合Aの存在性が一段目で保証されているから、
二段目の或るカラスの存在性(居ること)もAの点の形で保証される。
省1
265: 2020/04/23(木)18:11 ID:onmAzHJf(4/4) AAS
>>257

>>264は、>>255ではなく、>>257へのレス。
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.033s