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

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
109
(2): 基礎論好き 2021/12/11(土)08:20 ID:PpGewFr8(1/2) AAS
>>94
質問が流されてしまったので再度質問します。

無限シングルトンの定義はなんでしょうか?
e^xと同様と言っても、これは実数の話ではないので注意が必要ですよ。
110
(1): 2021/12/11(土)08:41 AAS
>>109
横レスですが

>>83の質問に NlOcJbIY が答えなかった時点で
彼は答えを持ち合わせていない、と解釈しました

彼は極限=数列、と思っているようです
もしそうだとすると「無限シングルトン」は
{},{{}},{{{}}},…
という無限列のことだということになります

この時点で、無限列をどう実現したとしても
シングルトンにはなりそうもないですね
省8
176
(8): 2021/12/12(日)23:21 ID:QcrgGMvW(2/4) AAS
>>83 >>109
あなた(”基礎論好き”さん)が一番まともみたいなので、回答するけど

まず、大前提として
「数学における概念の成否は、ディベートで決めるべきものではない」ってこと
これを、「数学の議論の大前提」として認めましょうね(IUTも同様だが)

そうしないと、例えば、「私が自然数の集合の定義を書けなかった、よって自然数の集合は存在しない」
というへんな論法(これは、このスレの多くの数学音痴が主張している論法)
になってしまう

”基礎論好き”さんが、「無限シングルトン」について、数学的な議論をしたいならば、
a)もしあなたが「無限シングルトン」の存在を否定したいならば、自ら積極的にそれを論じる
省16
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.247s*