Inter-universal geometry と ABC予想 (応援スレ) 73 (712ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
79(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 07/30(水)10:21:33.17 ID:2NlqhhKB(1/3)
いまの基礎論の議論は、IUTとも関連している
IUTの当初から、望月氏は 数学基礎論に疎いという話があった(下記)
私もそうは思うが、下記
”論文の構成上、宇宙際タイヒミュラー理論の正当性とは関係ないとみられている”
という見方がある
ともかく、ゴキブリは 踏みつけなければならない から、そうしているｗ ；ｐ）
(参考)
https://ja.ｙｏｕｒpedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
宇宙際タイヒミュラー理論
数学基礎論による厳密な定式化
グロタンディーク宇宙や種の言語と呼ばれる理論により宇宙際の議論の数学的定式化の構想をしている
種の言語
構造の種はAndre Joyalにより導入されたと考えられ、離散数学では集合・関数・圏・木・オペラッド・グラフなどと同様の基本的な組合せ論的概念と考えられている。しかし多くの数学者が同様の概念を異なる表記で研究してきた。構造とはあらゆる数学的概念が展開できるほど基本的な領域であり、この構造間の転送となる関数が種と定義される場合が多い。集合や圏なども具体例としてとることができる。 定義は以下で与えられる
略
このようにきわめて基本的な数学対象であるとともに、圏論の計算を可能にもする
グロタンディーク宇宙
公理から論理的演繹のみであらゆる数学を展開できるとされる公理的集合論ZFCのモデルとなる集合は、宇宙などと称されることが多い。圏の一般理論はZFCだけでは展開できないが、ZFCに新たに別の公理を加えたZFCGにおいては展開できるようになる。このモデルとなるのがグロタンディーク宇宙である
グロタンディーク宇宙とは以下の定義で与えられる集合 U である：
1.x∈U,y∈x⇒y∈U（ U は推移的集合）
2.x,y∈U⇒{ x,y }∈U
3.x∈U⇒x のベキ集合P(x)∈U
4.略
ZFCに付け加える公理、つまり論理式によってことなるモデルであるグロタンディーク宇宙が無数に作れるようになる。このとき、ZFCで成り立つ論理式の集まりをひとつの構造とみなす。すると種の理論によって別の構造や種との理論が作られる。種の理論は決定的なアルゴリズムとして利用する。（ただし、通常の自己同型がこの理論では自己言及による非決定性問題となるという困難の解消が必要だという。）このような視点が'宇宙際'幾何という名称の由来となっているとしている
以下の問題点が指摘されている
・同じ言語上の二つの理論において、保存的拡大という用語を使用している。特にZFCGはZFCの保存的拡大ではない
・ZFCは無限個の公理からできている。仮に有限個の公理型に分類しても定式化の仕方によるので9個とは言い切れない
これらは細部や用語上の問題ではなく、一階述語論理などの基本的な性質に関連するため、Inter-universal Teichmuller Theory IV の Section3 は集合論や数理論理学における文脈では意味をなさない主張になっており、著者が数理論理学について理解をしていない可能性があるという意見がある（ただし論文の構成上、宇宙際タイヒミュラー理論の正当性とは関係ないとみられている）
284: 死狂幻調教大師S.A.D.@月と六ベンツ [] 08/03(日)23:51:35.17 ID:efM6JdP5(16/20)
多数決でも選挙でもない意思決定機関だ。
617: １３２人目の素数さん [] 08/13(水)19:12:00.17 ID:l58BfPMq(1)
措置入院とは、精神疾患を持つ人が、自身の病気のために自傷行為や他害行為を行うおそれがある場合に、本人の意思に関わらず、都道府県知事の権限によって入院させる制度のことです。
この制度は、精神保健福祉法に基づいて定められており、以下の要件を満たす必要があります。
* 精神疾患があること: 精神疾患に罹患していることが前提となります。
* 自傷他害のおそれがあること: 自分の命を危険にさらす行為（自傷行為）や、他人に危害を加える行為（他害行為）を行うおそれが認められる必要があります。
* 2名以上の精神保健指定医の診断: 都道府県知事の命令によって、2名以上の精神保健指定医が診察を行い、その結果が一致して「入院が必要」と判断される必要があります。
措置入院は、本人の意思に反する入院であるため、人権への配慮から、非常に厳格な手続きが定められています。
また、緊急を要する場合には、緊急措置入院という制度もあります。これは、正規の措置入院の手続きをとる時間がない場合に、1名の精神保健指定医の診察に基づいて、72時間を限度として行われる入院です。
措置入院は、患者さんの治療と社会の安全を守るための制度ですが、患者さんの権利擁護も重視されており、退院請求や処遇改善請求を精神医療審査会に行うことができます。
705: 死狂幻調教大師S.A.D.@月と六ベンツ [] 08/17(日)02:50:37.17 ID:WdDumjV+(5/12)
亀が永遠に勝ちですか。後ろに合わせて怠惰なだけじゃ。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.023s