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

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
208
(1): 2021/02/24(水)09:07 ID:g7j/Y73h(5/5) AAS
より直接的に言えば、こういうこと。

・ IUT は Cor3.12 において、ZFCから逸脱した未知の公理Aに基づく
  何らかの操作Bを行っている(と推測される)。

・ Cor3.12 で躓いている数学者は軒並みそこで躓いているが、
  公理A自体が明確に言語化できているわけではないので、
  操作Bがおかしいことを厳密な言い方で指摘することができていない。

・ Cor3.12 に躓かずに素通りできてしまった数学者は、
省10
210: 2021/02/24(水)10:23 ID:eavifJXy(6/12) AAS
>>208
>・ IUT は Cor3.12 において、
> ZFCから逸脱した未知の公理Aに基づく
> 何らかの操作Bを行っている(と推測される)。

「ZFCから逸脱してる」かどうかはともかくとして
操作を正当化する「概念」を構築するための公理
が十分でない、とは思うね
省23
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 1.901s*