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

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
729
(3): 2018/08/12(日)11:50 ID:iwseJXh8(3/3) AAS
>>728
続き

数学理論では シンプルで厳密な論理展開が
求められるはず。
IUTは 複雑な構成や多多の定義からの展開で
思い込み、恣意的な仮定からの展開、
論理の飛躍を含んでいないだろうか?
ショルツの「定義から自明」、の疑問
指摘 がある。
ま、ショルツらを罵倒している輩は
省3
730: 2018/08/12(日)12:38 ID:ed8WQvxD(1/3) AAS
>>729
> 数学理論では シンプルで厳密な論理展開が
> 求められるはず。

物理や数学を問わず、先駆的仕事は途方もなくゴタゴタしているもの。
732
(1): 2018/08/12(日)16:25 ID:x6BXxD+M(1/2) AAS
>>729
有限個を前提とした論理構成、あるいは論文から導かれる結論が有限個なら信憑性が
735: 2018/08/12(日)16:59 ID:hqT301lP(1/3) AAS
>>723
むしろ極力喋らないようにしててこれだからな
結局ここにはIUTTが理論としては可能かどうか一言言いたい人はいないのか
>>729
別証明というか、モデル理論の人間にもかなり期待がかかるトピックなんだけどな
言っちゃ悪いけどモデル理論なんて大半が遊びに近いんだからこっちに取り組んだらいいのに
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.044s