Inter-universal geometry と ABC予想 (応援スレ) 74 (963ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
72(1): 08/23(土)18:52:44.92 ID:18cyucpd(11/17) AAS
>>69
>ところで、一階述語論理は あくまで 叩きのネタだ
ネタも何も君、一階述語論理何も分かってないじゃん
現になにで勉強したかすら君答えられなかったじゃん
73(1): 08/23(土)19:04:02.92 ID:EjBWM/LE(6/6) AAS
こいつがダメなのはもちろん一階述語論理という概念が理解できる知能がないという部分に現れてるが、もっと根源的な部分としてそもそも「じぶんがわかってない」ことが理解できていない。
わからないけど「関連してる単語をちりばめてそれっぽい日本語になってるから反論になってるだろ」という信じられない結論に到達してる。
こんな結論導き出す「人語として読めるが意味ない文章を作り出すうんこ製造機」でしかない。
85(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/23(土)23:10:13.92 ID:KYsCHIBD(14/17) AAS
>>75
>「有理コーシー列の極限で実数を構成する」
>これがどれほどバカ発言か分かってないのが痛い
>有理数Qが完備でないからこそ実数の構成が必要なのに、根本から分かってない
それ、君だろ？（下記）ｗｗ ；ｐ）
(参考)
外部ﾘﾝｸ:ja.wikipedia.org
省13
139: 死狂幻調教大師S.A.D.@月と六ベンツ 08/25(月)06:33:25.92 ID:1MD2qx+9(4/28) AAS
無限とかに遊離するより一定の堅い量が良いと思う。
154(1): 08/25(月)08:33:24.92 ID:3mA1630K(1) AAS
>>151
正確にいえば「意味が分からない」のではないだろう
こんなメンドクサイ概念理解したくない
もっと簡単な定義があるはずだ、と
しかし無限回の行為の実行なんてできないのだから
そんなことを求めるほうがおかしいのである
>>152
省1
287: 08/26(火)16:17:06.92 ID:RAmG7NWw(1/2) AAS
集合の無限和∪Aλ、無限積∩Aλを定義するのに、
それぞれ述語論理の限量子∃λ、∀λを使うだけ
いちいち二項演算ガーとかいうのは馬鹿
そもそも述語論理の限量子∃、∀を定義するのに、
⋁と∧の無限回適用なんかしてない
こんな初歩も知らんのが、高卒◆yH25M02vWFhP
302(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/26(火)18:26:17.92 ID:nzEtO0b1(13/14) AAS
つづき
外部ﾘﾝｸ:ja.wikipedia.org
有向点族
点列との違いは添え字にあり、点列が自然数という可算な全順序集合の元で添え字付けられるのに対し、有向点族はより一般的な順序集合である（可算または非可算な）有向集合の元で添え字付けられている。
フィルターとの関係
有向点族が定義されたもともとの動機は「点列に関わる諸定理から可算性に関する条件を外す」というものであったが、同じ動機からフィルターという概念も生まれている。有向点族の概念とフィルターの概念は異なる研究者により同時期に独立に提案されたものであるが、実は収束性という観点から見たときには両者は実質的に差異がないものだという事実が知られている。
（以下、この節の記述はフィルターの基本的な知識を要求する。フィルターの項目も参照）
省11
441(1): 08/28(木)08:46:01.92 ID:aWcK/kp3(1) AAS
有理数の無限列Q^Nにおけるコーシー列の全体は部分線形空間をなす
また、有理数のコーシー列全体の中で、0に収束する列全体も部分線形空間をなす
さて、有理数のコーシー列に対して、その差が「0に収束する列」であるような列を同値として
同値類を形成した場合、その全体の空間はいかなるものと考えられるか？
649: 09/01(月)15:30:40.92 ID:NdAal4Cf(7/7) AAS
・述語論理の∃と∀は、命題論理の⋁と∧の無限回適用ではない
・無限個の集合の∪と∩は、二つの集合の∪と∩の無限回適用ではない
・実数における無限小数は、c_n*10^(-n)(c_nは0〜9のいずれか)の加算の無限回適用の値ではない
これらを全く理解せず、
すべて「無限回適用できる！」と狂うと、
大学１年の一般教養の微積分で落第する
1980年代の◆yH25M02vWFhPが、その典型例
726(1): 死狂幻調教大師S.A.D.@月と六ベンツ 09/04(木)02:34:55.92 ID:dIC5N/t3(2/2) AAS
無限を頭だけで先取りするより有限を更新したほうがしっかりする。
856: 死狂幻調教大師S.A.D.@月と六ベンツ 09/07(日)16:45:48.92 ID:bTpJAS/P(33/33) AAS
プロジェクトは始まってる。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.055s