24/11/30 01:48:07.31 YdT6e84K.net
>>511
有限文字列ではなくて再帰的な構造をもつ有限木ね
それがどういう振る舞いをするのかを数理論理学の連中はこぞって研究してるんだから、有限だからつまらないとか言うなら帰ってくれ
514:１３２人目の素数さん
24/11/30 02:01:18.92 patZX5z4.net
>>513
研究対象なのはその意味についてです
しかしその意味が無価値ではどうしようもない
515:１３２人目の素数さん
24/11/30 02:09:24.73 YdT6e84K.net
>>514
違います
君が勝手にそう思ってるだけ
516:１３２人目の素数さん
24/11/30 02:11:37.81 patZX5z4.net
>>515
違いました
意味のある研究対象は
その意味論だけです
しかしその意味が無価値ではどうしようもない
517:１３２人目の素数さん
24/11/30 02:27:22.44 YdT6e84K.net
>>516
集合論で解釈するなら最初から集合を使えばいいだろ
和集合だろうが直積だろうがなんでも最初から用意されてるんだから
集合で解釈することでなんか素晴らしい定理が完成したら教えてね
518:１３２人目の素数さん
24/11/30 09:33:59.01 patZX5z4.net
>>517
そもそも意味のないことをしているという自覚がないから
研究だと言い張っているわけですね
519:１３２人目の素数さん
24/11/30 11:02:11.96 YdT6e84K.net
>>518
じゃあお前は集合論に意味を与えるようななんらかの体系をもってるわけ？
それがないと集合論は無意味だよ？
520:１３２人目の素数さん
24/11/30 11:11:15.06 YdT6e84K.net
集合なんかよりよっぽど具体的で有限なものを扱ってるんだから、それが無意味なわけがないじゃん
集合なんかよりはるかに足場が固まってるだろ
521:１３２人目の素数さん
24/12/01 08:03:15.80 PVFgYFW1.net
>>518
はやく集合論が意味のないことをしていないことを示せよ
意味を定めないと無意味なんでしょ
さっさとしろよ
522:１３２人目の素数さん
24/12/01 21:26:38.79 VMilV3Yc.net
各種のナントカ基数を定義し、そのナントカ基数の存在を仮定するならば定理◯◯が証明できる
っていう議論をひたすら色んなナントカ基数を定義しながら繰り返す(？)のって、一体集合論って何なんやろって思わさせられる。
523:１３２人目の素数さん
24/12/01 23:20:55.46 lQZxmJtm.net
>>522
その必要性を理解できないんですね
524:１３２人目の素数さん
24/12/02 01:52:50.63 ufHSsbMM.net
>>523
こんな多すぎてやる気が起きひんやろ
URLﾘﾝｸ(i.imgur.com)
525:１３２人目の素数さん
24/12/02 09:14:29.07 tV9QZ81s.net
>>524
研究の宿命というかありがちな流れだと理解できてませんね
URLﾘﾝｸ(en.wikipedia.org)
526:１３２人目の素数さん
24/12/13 12:53:39.88 IICqUMpV.net
数理論理学の教科書ってなんか
思いが勝って？意味不明瞭てか
定義して論証するスタイルから
逸脱してしまってる本もあるな
何を言おうとしているか曖昧で
527:１３２人目の素数さん
24/12/13 14:06:09.62 4qaWHamy.net
具体的に書名と該当する文章を記せ
ここに書けないならブログに書いてリンクを張れ
できないなら黙って●ね
528:１３２人目の素数さん
24/12/13 17:28:36.17 WbV8oUaV.net
定義して定理を証明するの繰り返しになってない数理論理学の本などあるわけがない
529:１３２人目の素数さん
24/12/14 00:47:10.24 uyPb+8af.net
>>528
その前に曖昧な「思い」を語って
定義が明確でなく証明も曖昧な本
530:１３２人目の素数さん
24/12/14 01:00:09.76 lG69qVA1.net
>>529
じゃあその本を引用してくれよ
お前が言ってること解析入門君以下だよ
531:１３２人目の素数さん
24/12/14 23:04:52.06 lG69qVA1.net
>>529
まだ？
結局いつもの妄想だったの？
532:１３２人目の素数さん
24/12/15 18:29:56.54 fyR+w7xX.net
>>529
「思い」の部分はいいから、試しに曖昧な定義ってのを貼ってごらんよ
なんでできないの？解析入門君でもできるのに
533:１３２人目の素数さん
24/12/16 18:24:01.05 iyAgqqtd.net
>>529
まだ？
これ自己紹介だったってオチ？＞思いが勝って？意味不明瞭
534:１３２人目の素数さん
24/12/16 22:17:25.88 8864eXoA.net
甘ちゃんね
535:１３２人目の素数さん
24/12/18 03:26:56.11 TlfsWdag.net
>>529
まだ？
君のqiitaに書いてくれてもいいんだよ
リンクは上のほうに貼ってあったし
536:１３２人目の素数さん
24/12/18 07:07:07.03 maOdtkR0.net
さっさと出て来て、なぜ集合のことを集合ではなくクラスと呼ぶのか定義に基づいて説明しろよ
537:１３２人目の素数さん
24/12/23 11:43:18.67 hUexyzcT.net
74 名前：１３２人目の素数さん[] 投稿日：2024/12/23(月) 10:25:49.39 ID:xuo45Noy
「なぜ、ZFC公理まで遡らなくても数学が出来るの？」スレの989
>『{}∈{{{}}}』について、個別に真だの偽だのを論じたことはない
この期に及んで言い逃れかい？
じゃあ以下の何がなぜ間違いか言ってごらん
（引用開始）
また正則性公理と関係無く推移律 a∈b ∧ b∈c ⇒ a∈c は成立しない
実際 {}∈{{}} ∧ {{}}∈{{{}}} は真だが、{}∈{{{}}} は偽。
（引用終了）
>おサルさんたちが、自分たちの言い逃れのため、ヤクザのインネンを付けてきているだけのことよ
>めんどう臭いから、スルーしていますｗ （＾＾
間違いだとインネン付けてきたのは君。インネンである証拠に君は何がなぜ間違いかを言ってない。
538:１３２人目の素数さん
24/12/23 11:43:39.62 hUexyzcT.net
75 名前：１３２人目の素数さん[] 投稿日：2024/12/23(月) 11:22:56.67 ID:DXqGPbwQ
集合{{{}}}の要素とは
最外の{}を外した項の列の中のそれぞれの項
したがって{{}}しかない
これ豆な 知らん奴は大学１年落第