Inter-universal geometry と ABC予想 (応援スレ) 73 (712ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
164: 死狂幻調教大師S.A.D.@月と六ベンツ [] 08/01(金)00:28:30.33 ID:1t6/xN+D(4/28)
それを取り締まるものが善のセクハラではなく禅であることが望ましい。悪の倫理を討ち取る。
186: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 08/01(金)07:30:40.33 ID:3GStjv9j(4/5)
>>182
死狂幻調教大師S.A.D.@月と六ベンツ さん
いつもありがとうございます。
213(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 08/01(金)20:51:57.33 ID:3GStjv9j(5/5)
>>210 補足
(引用開始)
https://fr.wikipedia.org/wiki/Axiomes_de_Peano
Axiomes de Peano
(google仏語訳)
ペアノの公理
存在と唯一性
集合N は、 0 が属し、かつ後続集合に関して閉じているすべての集合の共通集合である。
(引用終り)
『集合N は、 0 が属し、かつ後続集合に関して閉じているすべての集合の共通集合』
つまりは、無限集合N は、無限集合の中で最小の集合だ
だが、これは結論としてそうであって、我々はそれを結果として知っている
この結果は、カントールが素朴集合論で得ている
いまやろうとしていることは
この結論の ”・・後続集合に関して閉じているすべての集合の共通集合”
”無限集合の中で最小の集合N”
を 公理的集合論のルールの中で きちんと 疑義なく 集合Nを組み立てること
そのためには、ロジックは簡素な方が良い
また、使う公理は はっきりと明示されるべき
無限公理から 分出公理で 最小の集合Nが取り出せるならば
記号∩を使うなど 余計なことをする必要がない
まして、記号∩を使ったときには
記号∩の意味や集合Nの定義を、きちんと集合公理を使って 明示的に示す必要がある
（それが出来ないならば 記号∩を使うのは ”ま ず い”！！ｗｗ ；ｐ）
257(1): １３２人目の素数さん [] 08/03(日)05:49:30.33 ID:ckDs5GsK(1)
8/3(日) 0:03
読売新聞
北海道警帯広署は２日、帯広市西１９南３の路上で保護した同市の無職女性（３２）が死亡したと発表した。
発表によると、同日午前３時２５分頃、女性が叫びながら徘徊(はいかい)していると１１０番があった。女性が全裸で奇声を上げて走り回っていたため、駆けつけた署員２人で路上に押さえつけるなどしていたところ、約７分後にその場で意識を失った。女性は病院に救急搬送されたが、午前９時４０分頃に死亡した。
浅井孝広副署長は「対応に問題がなかったか、詳細は調査を待ちたい」としている
https://news.yahoo.co.jp/articles/853e97c2ee7e729ea6d9c3014f4832b9d0fda515
314(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 08/04(月)07:01:53.33 ID:IiqX04eZ(1/3)
>>296-301
踏みつけたゴキブリが、まだ動いているｗ ；ｐ）
グダラ グダラと愚にもつかぬ言い訳を・・ｗｗ
１）>>271の 数理論理学ＩＩ 坪井明人 筑波大 (2014年) https://www.math.tsukuba.ac.jp/~tsuboi/und/14logic3.pdf
と対比してみれば、その誤りは 一目瞭然だ
２）分かり易く 院試の口頭試問で「ZFCで 自然数Nの存在を証明してください」と言われたとしよう
まず最初にやることは、無限公理のステートメントを述べることだ
”無限公理：
∃x(∅ ∈ x ∧ ∀y(y ∈ x → S(y) ∈ x)).
x は ∅（0 と思う）を含んでいて，y が x に属すれば，y の次の元 S(y) も x に属している．
そのような x が存在することを主張するのが無限公理である．”
３） ここから、”しかし余分な元を含んでいるかも知れない．そこで自然数全体の集合 ω を
{∅, S(∅), S2(∅), S3(∅), . . . }として定義したい．”
４）”そこで ω を条件
∅ ∈ x ∧ ∀y(y ∈ x → S(y) ∈ x)
を満たす最小の集合 x として定義したい：無限公理によって保証される無限集合 X を一つ選び，
ω = {y ∈ X : ∀x(φ(x) → y ∈ x)}
とする．
ここで φ(x) は ∅ ∈ x ∧ ∀y(y ∈ x → S(y) ∈ x) である．
このようにすれば，ω は集合であり，φ(x) を満たす最小のものになる（もちろん X の取り方に依存しない）．”
QED
さて
禁句は、「自然数Nの存在は自明だから証明不要」だね（＾＾
採点側からは「カチンと来た。こいつダメ！（マイナス判定ｗ）」だろう
さらに、”無限公理”に触れないやつも ダメ
ZFCでなぜ無限公理が置かれているのか 理解できていないと判断される
（ZFCでは、無制限に集合を作ることは許されない。無限公理なしでは、無限集合ができない！）
もし、無限公理のステートメントをキチンと述べることができれば、それだけで部分点は貰えるだろう
無限公理のステートメントをスタートとして、ゴールは
”無限公理によって保証される無限集合 X を一つ選び，
ω = {y ∈ X : ∀x(φ(x) → y ∈ x)}”（上記）だ
（これを述べる。また 部分点が貰える）
あとは、スタートからゴールへの道筋を述べる べし （＾＾
372: 死狂幻調教大師S.A.D.@月と六ベンツ [] 08/06(水)01:50:16.33 ID:YVbZzfi/(4/15)
ナッシュは精神病止まり、俺は精神障害で精神障害者施設にいるから大丈夫だよ。
465: １３２人目の素数さん [] 08/10(日)10:58:01.33 ID:inVgR9CA(1)
そのジャンルの話ではないようだ
556: 死狂幻調教大師S.A.D.@月と六ベンツGANG SUPER STAR [] 08/12(火)05:24:37.33 ID:LQgW+aAv(22/30)
入院はひどいところだから目を光らせ監視を。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.027s