24/05/08 12:50:36.87 P8x5lHTe.net
>>612
>>600
博士号持ち高学歴によるバカペディアの正しい使い方
日本語でググる
↓
日本語版バカペディアを開く
↓
記事の内容を一切読まずに英語版にジャンプ
↓
英語版バカペディアの記事の内容を一切読まずにそこに書かれた参考文献にジャンプ
↓
参考文献を読む
これな？
こういう使い方をするのはバカペディアのルールを読めば自明
だって参考文献の存在以外はバカの妄想が書かれてても修正されない仕組みなのでw
中卒無職ヒキコモリ不登校ニートによるバカペディアの使い方
ラッセルのパラドックスでググる
↓
日本語版バカペディアのラッセルのパラドックスを開く
↓
斜め読みして階層と型を読み間違える
↓
斜め読みしてラッセルとフレーゲを読み間違える
↓
知ったかぶりを晒して誤りを指摘されても訂正せずに言い張る
これwwwwwww
637:１３２人目の素数さん
24/05/08 12:51:01.24 P8x5lHTe.net
>>615
俺は高学歴だし国語はほぼ100点しか取ったことないw
638:１３２人目の素数さん
24/05/08 12:51:37.77 P8x5lHTe.net
生きてて恥ずかしくないの？
639:１３２人目の素数さん
24/05/08 12:52:02.79 P8x5lHTe.net
生きてて恥ずかしくないの？
博士号持ち高学歴によるバカペディアの正しい使い方
日本語でググる
↓
日本語版バカペディアを開く
↓
記事の内容を一切読まずに英語版にジャンプ
↓
英語版バカペディアの記事の内容を一切読まずにそこに書かれた参考文献にジャンプ
↓
参考文献を読む
これな？
こういう使い方をするのはバカペディアのルールを読めば自明
だって参考文献の存在以外はバカの妄想が書かれてても修正されない仕組みなのでw
中卒無職ヒキコモリ不登校ニートによるバカペディアの使い方
ラッセルのパラドックスでググる
↓
日本語版バカペディアのラッセルのパラドックスを開く
↓
斜め読みして階層と型を読み間違える
↓
斜め読みしてラッセルとフレーゲを読み間違える
↓
知ったかぶりを晒して誤りを指摘されても訂正せずに言い張る
これwwwwwww
640:１３２人目の素数さん
24/05/08 12:52:09.60 BBjhKMzB.net
>>613－614
なんか意味不明な譫言をいいだしたけど
ダイジョウブ？
641:１３２人目の素数さん
24/05/08 12:52:20.55 P8x5lHTe.net
フレーゲの型理論って何？wwwww
642:１３２人目の素数さん
24/05/08 12:52:49.96 P8x5lHTe.net
>>620
国語5点じゃ読めないかwwww
643:１３２人目の素数さん
24/05/08 12:53:45.21 BBjhKMzB.net
＞俺は高学歴だし
はいはいもう泣くなよボクちゃん
644:１３２人目の素数さん
24/05/08 12:53:51.37 P8x5lHTe.net
>>607
西田は確実にラッセルのパラドックスを理解してない
つまり公理的集合論すら知らない無知
数学など全くできてない
645:１３２人目の素数さん
24/05/08 12:54:19.28 P8x5lHTe.net
>>623
>>615
俺は高学歴だし国語はほぼ100点しか取ったことないw
国語5点なんて自殺するでしょ普通
646:１３２人目の素数さん
24/05/08 12:54:33.55 BBjhKMzB.net
＞生きてて恥ずかしくないの？
恥ずかしくても生きてきたんでしょ 君
みんなそうだから安心していいよ
647:１３２人目の素数さん
24/05/08 12:55:13.74 P8x5lHTe.net
>>626
つまり国語5点しか取れないし知ったかぶりしようとしてバカペディア斜め読みしても読み間違えてるクソニートだけど
脳障害がヤバすぎて恥すら感じないから自殺できないってこと？
648:１３２人目の素数さん
24/05/08 12:55:45.48 LApwHT/w.net
数理論理学のIT技術への応用は重要らしい
649:１３２人目の素数さん
24/05/08 12:55:59.44 BBjhKMzB.net
＞国語5点なんて自殺するでしょ普通
いいや全然
むしろすっげぇ出来る人がもう研究できないっていって死ぬのはよく聞く
そういうのを見るたび学者になるってあんまり幸せじゃないなとは思う
650:１３２人目の素数さん
24/05/08 12:57:19.87 BBjhKMzB.net
>>627
君知ったかぶりがバレで恥ずかしさでいっぱいだけど
死ぬのは怖いから必死に誤魔化そうとしてるでしょ
それが人間ってもんよ 潔く死んでたら人類滅ぶ
651:１３２人目の素数さん
24/05/08 12:58:06.30 P8x5lHTe.net
>>629
つまりね
脳が正常なら低学歴な時点で自殺するのよ
生きてて恥ずかしいからね？
脳障害がヤバすぎて恥すら感じないから自殺できてないのがお前
癌そのもの
ああ低学歴は癌の仕組みすら知らんだろうから教えてるか
細胞ってのは異常が発生したら自殺するようになってる
これがアポトーシス
癌細胞は異常なのに自殺機能すら破壊されてるから自殺に失敗してる状態
まさにお前のことだよ
お前は癌
自殺すら異常すぎてできてない
652:１３２人目の素数さん
24/05/08 12:58:16.75 BBjhKMzB.net
恥ずかしくても生きてるから人類はまだ滅亡してない
恥ずかしいからって死んでたら人類はとうの昔に滅んでる
653:１３２人目の素数さん
24/05/08 12:58:19.46 P8x5lHTe.net
>>630
>>629
つまりね
脳が正常なら低学歴な時点で自殺するのよ
生きてて恥ずかしいからね？
脳障害がヤバすぎて恥すら感じないから自殺できてないのがお前
癌そのもの
ああ低学歴は癌の仕組みすら知らんだろうから教えてるか
細胞ってのは異常が発生したら自殺するようになってる
これがアポトーシス
癌細胞は異常なのに自殺機能すら破壊されてるから自殺に失敗してる状態
まさにお前のことだよ
お前は癌
自殺すら異常すぎてできてない
654:１３２人目の素数さん
24/05/08 12:58:27.83 P8x5lHTe.net
>>632
>>629
つまりね
脳が正常なら低学歴な時点で自殺するのよ
生きてて恥ずかしいからね？
脳障害がヤバすぎて恥すら感じないから自殺できてないのがお前
癌そのもの
ああ低学歴は癌の仕組みすら知らんだろうから教えてるか
細胞ってのは異常が発生したら自殺するようになってる
これがアポトーシス
癌細胞は異常なのに自殺機能すら破壊されてるから自殺に失敗してる状態
まさにお前のことだよ
お前は癌
自殺すら異常すぎてできてない
655:１３２人目の素数さん
24/05/08 12:58:55.41 P8x5lHTe.net
つまりね
脳が正常なら低学歴な時点で自殺するのよ
生きてて恥ずかしいからね？
脳障害がヤバすぎて恥すら感じないから自殺できてないのがお前
癌そのもの
ああ低学歴は癌の仕組みすら知らんだろうから教えてやるか
細胞ってのは異常が発生したら自殺するようになってる
これがアポトーシス
癌細胞は異常なのに自殺機能すら破壊されてるから自殺に失敗してる状態
まさにお前のことだよ
お前は癌
自殺すら異常すぎてできてない
656:１３２人目の素数さん
24/05/08 12:59:09.03 BBjhKMzB.net
＞脳が正常なら低学歴な時点で自殺するのよ
いやいや脳が正常ならむやみに勉強したりせんよ 脳に悪いからｗ
657:１３２人目の素数さん
24/05/08 12:59:33.28 P8x5lHTe.net
正常な低学歴はとっくに自殺してる
今自殺してない低学歴は自殺機能すら異常で働かないとびきりの異常者
658:１３２人目の素数さん
24/05/08 12:59:40.03 BBjhKMzB.net
身体が正常だからってむやみに運動したりせんでしょ 体に悪いからｗ
659:１３２人目の素数さん
24/05/08 12:59:47.75 P8x5lHTe.net
>>636
正常な低学歴はとっくに自殺してる
今自殺してない低学歴は自殺機能すら異常で働かないとびきりの異常者
660:１３２人目の素数さん
24/05/08 12:59:57.51 P8x5lHTe.net
>>638
フレーゲの型理論って何？
661:１３２人目の素数さん
24/05/08 13:00:05.13 LApwHT/w.net
>>624
哲学者として偉大な業績を上げた西田が
哲学者になってから数学の研究をしなかったからと言って
それによって哲学者西田の面目が損なわれるわけではない。
ハイデッガーも論理学の専門家ではなかった。
数理論理学の中で通常の哲学の居場所がないことは確かだろうが。
662:１３２人目の素数さん
24/05/08 13:00:37.25 BBjhKMzB.net
>>637
いやいや、正常な人は自●なんてしないよ
自●するのはやっぱりどこか病んでるのよ
663:１３２人目の素数さん
24/05/08 13:01:28.87 BBjhKMzB.net
>>641
西田って誰？ 西田敏行？
♪僕にピアノが弾けたなら～
664:１３２人目の素数さん
24/05/08 13:02:11.70 OZsHs5KD.net
空集合ではない集合Aに対して、集合
{A| A∈A }
を考えると、集合Aが集合Aに属してパラドックスが生じる
665:１３２人目の素数さん
24/05/08 13:02:20.18 P8x5lHTe.net
>>641
絶対矛盾的自己同一ってラッセルのパラドックスそのものなので
公理的集合論を学んでないから意味ないよ
素朴集合論でラッセルのパラドックス作って「矛盾」を作る
そして公理的集合論では矛盾ではないものを矛盾と仮定するから爆発律が成立する
爆発律が成立したらどんな妄想も真にも偽にも「証明」できるから無意味な妄想を正当化できる
全ての哲学はこのパターン
666:１３２人目の素数さん
24/05/08 13:03:36.46 BBjhKMzB.net
>>644
実はｘ∈ｘなる集合の存在を認めても、それだけで矛盾することはない
667:１３２人目の素数さん
24/05/08 13:04:31.69 P8x5lHTe.net
>>641
哲学は事実ではないことを仮定して爆発律を成立させて無意味な妄想を「真実だと証明」するケースが殆ど
その中でもラッセルのパラドックスと同じ構造を自分が非難したいものに「発見」して
それゆえに自説が真実であると正当化するパターンが非常に多い
そういうパターンの中からラッセルのパラドックスという哲学者が用いてきた詭弁が発見されたと言っても良い
古典論理学:ラッセルのパラドックスはパラドックス・自己言及したら矛盾
現代論理学:ラッセルのパラドックスはパラドックスではない・自己言及する側とされる側は異なる概念なので矛盾ではない
これ知らん脳障害が哲学とか吠えてんの
ガチで自殺しろよ
668:１３２人目の素数さん
24/05/08 13:04:37.11 BBjhKMzB.net
＞絶対矛盾的自己同一
知らんｗ
669:１３２人目の素数さん
24/05/08 13:05:08.59 P8x5lHTe.net
>>648
ソース貼られてるのに読めない
これが国語5点
670:１３２人目の素数さん
24/05/08 13:06:56.30 P8x5lHTe.net
哲学者って例外なく頭悪いし
やはりラッセルのパラドックスを理解できてない
ラッセルの型理論なら「認識が疑わしい」とする論理の型と「その議論も疑わしい」という論理の型は異なるので全く矛盾などせずに問題ない
全ての認識が疑わしいという議論は疑わなくて良い
ということは全く論理学的に問題ない
ブルバキの公理系集合論なら「その議論」は集合族であって
集合族の元である「認識が疑わしい」という集合とは異なるオブジェクトだから適用される条件は異なっていて当たり前となる
つまりフッサールは知能が低すぎるからコイツの妄想は100%全てデタラメ
671:１３２人目の素数さん
24/05/08 13:07:25.29 P8x5lHTe.net
フッサールは、懐疑論はそれ自体として見れば不合理であると考えていた。というのも、懐疑論の「一切の認識が疑わしい」という主張は、結局のところ自分自身へとブーメラン式に跳ね返ってくるからだ（「一切の認識が疑わしいというなら、懐疑論もまた疑わしいのでは？」）。
フッサールの詐欺手法
・懐疑論は自分自身も懐疑するから矛盾するので誤り(ラッセルのパラドックスそのもので公理的集合論の下では矛盾ではなくフッサールの思い込みと確定済み)
↓
「懐疑論は矛盾する」という事実と異なる前提を仮定することにより爆発律の導入
↓
爆発律が導入されたのでどんな無意味なフッサールの妄想も誤った前提を用いて「真」と結論される
全ての哲学者の妄想はこのように分�
672:ﾍ可能 これができないなら自殺を勧める
673:１３２人目の素数さん
24/05/08 13:07:37.38 P8x5lHTe.net
>>651
URLﾘﾝｸ(www.philosophyguides.org)
674:１３２人目の素数さん
24/05/08 13:08:40.60 BBjhKMzB.net
そもそもｘ∈ｘって自己言及なんだろうか？
カリーのパラドックスで、Ｘ⇔（Ｘ⇒Ｐ）っていう論理式があると、
任意のＰが証明できるっていうのは聞いたが
これも自己言及なのかどうかよくわからん
675:１３２人目の素数さん
24/05/08 13:08:59.68 P8x5lHTe.net
矛盾を仮定して爆発律を成立させて無意味な主張を「証明」
これがほとんどの哲学に見られる王道パターン
その中でもラッセルのパラドックスを使って矛盾ではないものを矛盾だと仮定することで爆発律を成立させるパターンが圧倒的に多い
676:１３２人目の素数さん
24/05/08 13:09:24.80 P8x5lHTe.net
>>653
国語5点にわかるわけない
677:１３２人目の素数さん
24/05/08 13:10:19.34 P8x5lHTe.net
>>653
そもそも低学歴は爆発律知らんからね
低学歴無職がググって知ったかぶりしようにも
知らない言葉でググることは不可能なので爆発律を死ぬまで知ることはない
678:１３２人目の素数さん
24/05/08 13:10:44.94 P8x5lHTe.net
バカがググっても知らんことはググれない
バカはこれをわかってない
679:１３２人目の素数さん
24/05/08 13:11:19.97 BBjhKMzB.net
二言目には自●という人は病んでると思う
しったかは恥ずかしいが、別に●んでほしいとは思わん
ただやめてほしいとは思う やめられないから●ぬというなら
●ななくていいからやめな、というばかり
680:１３２人目の素数さん
24/05/08 13:11:33.26 P8x5lHTe.net
そもそもラッセルのパラドックスとか公理的集合論とかゲーデル不完全性定理なんてGoogleがこの世に生まれる前から知ってるからな俺w
681:１３２人目の素数さん
24/05/08 13:12:08.23 P8x5lHTe.net
>>658
知ったかぶりは自殺して詫びるべき
全人類の文明を冒涜した罪は死でも生ぬるい
682:１３２人目の素数さん
24/05/08 13:12:12.32 BBjhKMzB.net
そもそも「爆発律」という言葉にコーフンする趣味を持ってない
683:１３２人目の素数さん
24/05/08 13:12:45.14 P8x5lHTe.net
>>661
爆発律知らんとか自殺したくならんの？
684:１３２人目の素数さん
24/05/08 13:13:17.24 BBjhKMzB.net
>>660
＞知ったかぶりは自殺して詫びるべき
でも君はできない、と
しなくていいよ 君一人●んでもなんも変わらんし
どう、救われた？
685:１３２人目の素数さん
24/05/08 13:13:58.54 BBjhKMzB.net
>>662
ならんね
君、●にたくないだろ？
それが正常な人だよ
686:１３２人目の素数さん
24/05/08 13:14:48.23 P8x5lHTe.net
哲学は仮定からその仮定の無矛盾性を導けるというゲーデル不完全性定理に反する妄想なので
必ず論理の詐欺をやってる
その詐欺のパターンの王道はラッセルのパラドックスを使って矛盾ではないものを矛盾だと言い張ること
それにより「矛盾＝矛盾ではない」という爆発律が成立し
その後はどんな無意味な妄想も正当化できるようになる
これが哲学の正体
687:１３２人目の素数さん
24/05/08 13:15:13.99 BBjhKMzB.net
>>659 いまどき高校生でも知ってるからなそれ
688:１３２人目の素数さん
24/05/08 13:15:16.94 P8x5lHTe.net
>>663-664
博士号持ち高学歴によるバカペディアの正しい使い方
日本語でググる
↓
日本語版バカペディアを開く
↓
記事の内容を一切読まずに英語版にジャンプ
↓
英語版バカペディアの記事の内容を一切読まずにそこに書かれた参考文献にジャンプ
↓
参考文献を読む
これな？
こういう使い方をするのはバカペディアのルールを読めば自明
だって参考文献の存在以外はバカの妄想が書かれてても修正されない仕組みなのでw
中卒無職ヒキコモリ不登校ニートによるバカペディアの使い方
ラッセルのパラドックスでググる
↓
日本語版バカペディアのラッセルのパラドックスを開く
↓
斜め読みして階層と型を読み間違える
↓
斜め読みしてラッセルとフレーゲを読み間違える
↓
知ったかぶりを晒して誤りを指摘されても訂正せずに言い張る
これwwwwwww
689:１３２人目の素数さん
24/05/08 13:15:39.52 P8x5lHTe.net
>>666
すまんけど俺は中2で知ってた
知能が違いすぎる
690:１３２人目の素数さん
24/05/08 13:18:03.89 BBjhKMzB.net
>>665
なんかその文章、素人臭いというか怪文書臭いね
哲学で無矛盾性なんて示してるの見たことないけどね
哲学が「それってあなたの感想ですよね」みたいなもんなのは知ってるが
でもそんなツッコミをする人が自分の感想でないことを言えるのかって言ったら
言えるわけないので、そのツッコミこそくだらないなあとは思う
でも別に●ななくていいよ そんな時もあるから
691:１３２人目の素数さん
24/05/08 13:18:08.33 P8x5lHTe.net
で
フレーゲの型理論ってなんすか？wwwww
692:１３２人目の素数さん
24/05/08 13:18:36.11 P8x5lHTe.net
>>669
で
フレーゲの型理論ってなんすか？wwwww
693:１３２人目の素数さん
24/05/08 13:19:20.96 BBjhKMzB.net
＞俺は中2で知ってた
中二病ってやつだね
694:１３２人目の素数さん
24/05/08 13:19:24.41 P8x5lHTe.net
哲学は仮定からその仮定の無矛盾性を導けるというゲーデル不完全性定理に反する妄想なので
必ず論理の詐欺をやってる
その詐欺のパターンの王道はラッセルのパラドックスを使って矛盾ではないものを矛盾だと言い張ること
それにより「矛盾＝矛盾ではない」という爆発律が成立し
その後はどんな無意味な妄想も正当化できるようになる
これが哲学の正体
695:１３２人目の素数さん
24/05/08 13:20:13.00 BBjhKMzB.net
>>670-671
フレーゲの理論のどこが型理論ではないと君は思うわけ？
説明してごらんよ
696:１３２人目の素数さん
24/05/08 13:20:21.51 Tf5Ymq4t.net
>>644
>空集合ではない集合Aに対して、集合
>{A| A∈A }
>を考えると、集合Aが集合Aに属してパラドックスが生じる
基礎の公理しだいだよ
(参考)
URLﾘﾝｸ(www.nicovideo.jp)
基礎の公理が成り立たない!?アクゼルの反基礎公理
soukoud さん 投稿日時
2024/04/25 23:52
間違いなどあれば教えてください
琴葉姉妹の誕生日だし誕生日に関する動画を作ろうかとも考えてたけどそれより前に作り始めてたこの動画に時間がかかりすぎた
URLﾘﾝｸ(fuchino.ddo.jp)
基礎の公理の成り立たない集合論 (non well-founded set theory) について
渕野 昌(Sakaé Fuchino)
（この文章はまだ書きかけです）
Last modified: Sat Aug 13 14:44:46 +0900 2016
URLﾘﾝｸ(ja.wikipedia.org)
正則性公理（せいそくせいこうり、英: axiom of regularity）は、別名「基礎の公理」（きそのこうり、英: axiom of foundation） とも呼ばれ、ZF公理系を構成する公理の一つで、1925年にジョン・フォン・ノイマンによって導入された。選択公理と同様、様々な同値な命題が存在する。
697:１３２人目の素数さん
24/05/08 13:20:26.30 P8x5lHTe.net
例1 >>613-614
例2 >>650-652
哲学は仮定からその仮定の無矛盾性を導けるというゲーデル不完全性定理に反する妄想なので
必ず論理の詐欺をやってる
その詐欺のパターンの王道はラッセルのパラドックスを使って矛盾ではないものを矛盾だと言い張ること
それにより「矛盾＝矛盾ではない」という爆発律が成立し
その後はどんな無意味な妄想も正当化できるようになる
これが哲学の正体
698:１３２人目の素数さん
24/05/08 13:20:50.73 P8x5lHTe.net
>>674
お前が証拠出せばいいだけ
出せないなら自殺しとけ
699:１３２人目の素数さん
24/05/08 13:21:51.85 BBjhKMzB.net
>>673
君が哲学を知らないことはその一文で分かるね
だって哲学で自説の無矛盾性なんて証明してないもの
だめだよ知りもしないこと知ってるって嘘ついちゃｗ
700:１３２人目の素数さん
24/05/08 13:22:24.12 P8x5lHTe.net
>>678
例1 >>613-614
例2 >>650-652
哲学は仮定からその仮定の無矛盾性を導けるというゲーデル不完全性定理に反する妄想なので
必ず論理の詐欺をやってる
その詐欺のパターンの王道はラッセルのパラドックスを使って矛盾ではないものを矛盾だと言い張ること
それにより「矛盾＝矛盾ではない」という爆発律が成立し
その後はどんな無意味な妄想も正当化できるようになる
これが哲学の正体
701:１３２人目の素数さん
24/05/08 13:24:06.96 BBjhKMzB.net
>>676
そのどっちも怪文書だね
君が言い出したことに僕が証拠だせるわけもない
君が出すしかないよ まあ君がシッタカで口から出まかせいったってわかってるから責めないよ
君一人●んだところで 人類の食糧事情が解決すわけでもないから 別に求めないよ
よかったね
702:１３２人目の素数さん
24/05/08 13:24:39.46 BBjhKMzB.net
>>675 君はシッタカやめようね みっともないから
703:１３２人目の素数さん
24/05/08 13:24:44.17 P8x5lHTe.net
>>680
フレーゲの型理論とやらのソース出せよ知ったかぶり
自殺しとけ脳障害無職www
704:１３２人目の素数さん
24/05/08 13:25:02.15 P8x5lHTe.net
>>681
お前だけが知ったかぶり
705:１３２人目の素数さん
24/05/08 13:25:26.41 P8x5lHTe.net
>>680
フレーゲの型理論とやらのソース出せよ知ったかぶり
自殺しとけ脳障害無職www
706:１３２人目の素数さん
24/05/08 13:26:05.78 BBjhKMzB.net
哲学って何ですか？って尋ねられたらこう答える
「精神の病」
707:１３２人目の素数さん
24/05/08 13:26:24.55 P8x5lHTe.net
例1 >>613-614
例2 >>650-652
哲学は仮定からその仮定の無矛盾性を導けるというゲーデル不完全性定理に反する妄想なので
必ず論理の詐欺をやってる
その詐欺のパターンの王道はラッセルのパラドックスを使って矛盾ではないものを矛盾だと言い張ること
それにより「矛盾＝矛盾ではない」という爆発律が成立し
その後はどんな無意味な妄想も正当化できるようになる
これが哲学の正体
708:１３２人目の素数さん
24/05/08 13:26:37.56 P8x5lHTe.net
>>685
>>678
例1 >>613-614
例2 >>650-652
哲学は仮定からその仮定の無矛盾性を導けるというゲーデル不完全性定理に反する妄想なので
必ず論理の詐欺をやってる
その詐欺のパターンの王道はラッセルのパラドックスを使って矛盾ではないものを矛盾だと言い張ること
それにより「矛盾＝矛盾ではない」という爆発律が成立し
その後はどんな無意味な妄想も正当化できるようになる
これが哲学の正体
709:１３２人目の素数さん
24/05/08 13:26:49.82 BBjhKMzB.net
>>682－684
また恥ずかしさの発作がでましたか
710:１３２人目の素数さん
24/05/08 13:26:59.22 P8x5lHTe.net
いかにして哲学は100年前に滅亡したか
1.ラッセルのパラドックスの発見（1902年）
1902年、哲学者のバートランド・ラッセルが論理学における矛盾を発見しました。
このパラドックスは、通常の論理学では回避できないことが判明し、哲学に大きな衝撃を与えました。
2.ラッセルによる新しい論理学の構築（1903年～）
1903年以降、ラッセルはパラドックスの原因が論理学の仕組みにあると見抜きました。
自己と自己言及を明確に区別して混同しないルールを導入し、パラドックスが起こらない新しい論理学の仕組みを構築しました。
3.ウィトゲンシュタインによる論理学の研究（1911年～）
1911年頃から、ルートヴィヒ・ウィトゲンシュタインはラッセルの弟子となり、新しい矛盾のない論理学で何が言えるのかを研究しました。
その結果�
711:A形而上学や哲学を論理的に扱うことは不可能であることが判明しました。 1921年に出版された「論理哲学論考」で、ウィトゲンシュタインは形而上学や哲学は論理学の誤用から生まれる全く意味のない妄想であると論理学を用いて証明しました。 現在までにこの証明に反証できた人間は歴史上1人もいません。 4.ゲーデルの不完全性定理（1931年） 1931年、クルト・ゲーデルもラッセルの論理学に影響を受け、「論理学によって仮定そのものの正しさをその仮定から証明できるか？」を考察しました。 ゲーデルは、それが不可能であることを証明しました（ゲーデルの第一不完全性定理）。 この定理は、当初ペアノ算術におけるω無矛盾性が証明不可能として確立されましたが、後にロッサーの証明ではペアノ算術における単純無矛盾性、シェファードソンの表現定理により任意のΣ1集合で構成される任意の論理式に対して無矛盾性の証明が不可能であることまで拡張されました。 5.哲学の限界と科学の重要性（1920年代～） 1920年代以降、哲学的な仮定の正しさを論理的に証明する方法は存在しないことが明らかになりました。 アイディアの正しさを決める方法は、現実との比較（実験）しかありません。 つまり、正しさを決める方法は科学しかあり得ないことがわかります。
712:１３２人目の素数さん
24/05/08 13:27:15.10 P8x5lHTe.net
>>688
ソース貼れないと
自殺したら？
713:１３２人目の素数さん
24/05/08 13:28:11.74 P8x5lHTe.net
間違えたら謝ればいいのに
それができないから低学歴なんだよwww
714:１３２人目の素数さん
24/05/08 13:28:21.11 BBjhKMzB.net
>>686-687
見れば見るほど怪文書だねえ
哲学にひかれて哲学にだまされて哲学をうらむ
ってところかな
715:１３２人目の素数さん
24/05/08 13:28:43.88 P8x5lHTe.net
低学歴は絶対に謝れないし間違いを認められない
それができるなら知識が増えて高学歴になってるからなwwwww
716:１３２人目の素数さん
24/05/08 13:29:08.28 P8x5lHTe.net
>>692
完全論破されて反論不可能になってやんのwwww
717:１３２人目の素数さん
24/05/08 13:29:21.47 BBjhKMzB.net
>>691
>間違えたら謝ればいいのに
君どうぞ
>それができないから
大学入れなかったんだね君
718:１３２人目の素数さん
24/05/08 13:29:28.36 P8x5lHTe.net
>>692
例1 >>613-614
例2 >>650-652
哲学は仮定からその仮定の無矛盾性を導けるというゲーデル不完全性定理に反する妄想なので
必ず論理の詐欺をやってる
その詐欺のパターンの王道はラッセルのパラドックスを使って矛盾ではないものを矛盾だと言い張ること
それにより「矛盾＝矛盾ではない」という爆発律が成立し
その後はどんな無意味な妄想も正当化できるようになる
これが哲学の正体
719:１３２人目の素数さん
24/05/08 13:29:47.69 P8x5lHTe.net
>>695
低学歴は絶対に謝れないし間違いを認められない
それができるなら知識が増えて高学歴になってるからなwwwww
720:１３２人目の素数さん
24/05/08 13:30:05.42 P8x5lHTe.net
>>695
フレーゲの型理論って何？
ソース貼れないの？
721:１３２人目の素数さん
24/05/08 13:30:11.32 BBjhKMzB.net
>>689
これまた怪文書だねえ
722:１３２人目の素数さん
24/05/08 13:30:24.97 P8x5lHTe.net
>>699
猿の感想は無意味
723:１３２人目の素数さん
24/05/08 13:30:42.25 P8x5lHTe.net
>>699
フレーゲの型理論は撤回したのか？ん？
724:１３２人目の素数さん
24/05/08 13:31:53.64 BBjhKMzB.net
>>697
＞・・・は絶対に謝れないし間違いを認められない
自分のこと よくわかってるね
謝ったら死ぬ認めたら死ぬって思ってるんだね
でも心配ご無用 死なないから
さ、なんも知りませんでしたって認めて謝ってごらん
君の知への旅はここからはじまるから
725:１３２人目の素数さん
24/05/08 13:32:06.81 P8x5lHTe.net
いかにして哲学は100年前に滅亡したか
1.ラッセルのパラドックスの発見（1902年）
1902年、哲学者のバートランド・ラッセルが論理学における矛盾を発見しました。
このパラドックスは、通常の論理学では回避できないことが判明し、哲学に大きな衝撃を与えました。
2.ラッセルによる新しい論理学の構築（1903年～）
1903年以降、ラッセルはパラドックスの原因が論理学の仕組みにあると見抜きました。
自己と自己言及を明確に区別して混同しないルールを導入し、パラドックスが起こらない新しい論理学の仕組みを構築しました。
3.ウィトゲンシュタインによる論理学の研究（1911年～）
1911年頃から、ルートヴィヒ・ウィトゲンシュタインはラッセルの弟子となり、新しい矛盾のない論理学で何が言えるのかを研究しました。
その結果、形而上学や哲学を論理的に扱うことは不可能であることが判明しました。
1921年に出版された「論理哲学論考」で、ウィトゲンシュタインは形而上学や哲学は論理学の誤用から生まれる全く意味のない妄想であると論理学を用いて証明しました。
現在までにこの証明に反証できた人間は歴史上1人もいません。
4.ゲーデルの不完全性定理（1931年）
1931年、クルト・ゲーデルもラッセルの論理学に影響を受け、「論理学によって仮定そのものの正しさをその仮定から証明できるか？」を考察しました。
ゲーデルは、それが不可能であることを証明しました（ゲーデルの第一不完全性定理）。
この定理は、当初ペアノ算術におけるω無矛盾性が証明不可能として確立されましたが、後にロッサーの証明ではペアノ算術における単純無矛盾性、シェファードソンの表現定理により任意のΣ1集合で構成される任意の論理式に対して無矛盾性の証明が不可能であることまで拡張されました。
5.哲学の限界と科学の重要性（1920年代～）
1920年代以降、哲学的な仮定の正しさを論理的に証明する方法は存在しないことが明らかになりました。
アイディアの正しさを決める方法は、現実との比較（実験）しかありません。
つまり、正しさを決める方法は科学しかあり得ないことがわかります。
726:１３２人目の素数さん
24/05/08 13:32:15.20 P8x5lHTe.net
これらの出来事により、20世紀初頭から哲学は大きな転換期を迎えました。1902年のラッセルのパラドックス発見以降、哲学者を名乗った時点で不勉強な無知または詐欺師であることは確定しており、賢い哲学者というのは論理的に存在不可能であるとされています。
ウィトゲンシュタインの主要な著作である1921年の「論理哲学論考」では、哲学は論理学の誤用から生まれた無意味な妄想であると論じ、「語り得ぬものには沈黙せねばならない」と結論付けています。
また、1953年に出版された「哲学探究」では、哲学は言葉の使い方の誤りから生じる妄想であるため、その誤りを防止するために言語の誤用を研究する必要があると主張しています。
1931年のゲーデルの不完全性定理は、ある仮定の正しさをその仮定から導くことは不可能であることを証明しました。
一方、哲学はある仮定の正しさをその仮定から導くことができるという妄想に基づいています。
727:１３２人目の素数さん
24/05/08 13:32:38.08 BBjhKMzB.net
>>701
怪文書 全部撤回してごらん
それが君の知への旅の第一歩だから
728:１３２人目の素数さん
24/05/08 13:32:48.91 P8x5lHTe.net
哲学は仮定からその仮定の正しさを導けるというゲーデル不完全性定理に反する妄想なので
必ず論理の詐欺をやってる
その詐欺のパターンの王道はラッセルのパラドックスを使って矛盾ではないものを矛盾だと言い張ること
それにより「矛盾＝矛盾ではない」という爆発律が成立し
その後はどんな無意味な妄想も正当化できるようになる
これが哲学の正体
例1 >>613-614
例2 >>650-652
729:１３２人目の素数さん
24/05/08 13:33:01.91 P8x5lHTe.net
>>705
フレーゲの型理論とやらのソースは？
730:１３２人目の素数さん
24/05/08 13:33:20.44 P8x5lHTe.net
>>705 フレーゲの型理論のソースは？
732:１３２人目の素数さん
24/05/08 13:33:37.12 BBjhKMzB.net
>>703-704
怪文書が好きなんだね
でも それにこだわってる限り何も学べないよ
733:１３２人目の素数さん
24/05/08 13:33:40.89 P8x5lHTe.net
フレーゲの型理論wwwwww
中卒無職ヒキコモリ不登校ニートによるバカペディアの使い方
ラッセルのパラドックスでググる
↓
日本語版バカペディアのラッセルのパラドックスを開く
↓
斜め読みして階層と型を読み間違える
↓
斜め読みしてラッセルとフレーゲを読み間違える
↓
知ったかぶりを晒して誤りを指摘されても訂正せずに言い張る
これwwwwwww
734:１３２人目の素数さん
24/05/08 13:33:56.89 P8x5lHTe.net
>>709
やっぱ低学歴って感想文しか書けねえのなwww
735:１３２人目の素数さん
24/05/08 13:34:13.75 P8x5lHTe.net
>>709
フレーゲの型理論とやらのソースは？
736:１３２人目の素数さん
24/05/08 13:34:23.23 P8x5lHTe.net
>>709
フレーゲの型理論とやらのソースは？
737:１３２人目の素数さん
24/05/08 13:34:43.70 P8x5lHTe.net
>>571
階と型の区別すらできてないのかwwwww
ChatGPTですらここまでバカじゃないだろwww
738:１３２人目の素数さん
24/05/08 13:35:02.93 P8x5lHTe.net
この低学歴無職ヤバすぎるwwwww
「一階述語論理でなければ型理論」と言ってるwwwww
324 １３２人目の素数さん[] 2024/05/08(水) 09:30:53.14 ID:PVo1n3fi
論理学と型理論の違いを述べよ
フレーゲの理論は一階述語論理ではない時点で単なる論理学ではなく型理論である
これ説明できない人は「ボクちゃん間違ってない」と言いたいだけの三歳児
739:１３２人目の素数さん
24/05/08 13:35:22.47 BBjhKMzB.net
>>711
自分のこと よくわかってるね
怪文書は感想文だったんだね
740:１３２人目の素数さん
24/05/08 13:35:24.13 P8x5lHTe.net
階と型の区別すらできない脳障害www
741:１３２人目の素数さん
24/05/08 13:35:40.72 P8x5lHTe.net
>>716
>>709
フレーゲの型理論とやらのソースは？
742:１３２人目の素数さん
24/05/08 13:36:07.09 P8x5lHTe.net
俺がフレーゲの型理論なんて書いてしまったら5秒以内に自殺するかなw
それ以上生き続けることに耐えられるわけがないwwww
743:１３２人目の素数さん
24/05/08 13:36:33.34 P8x5lHTe.net
>>582
あのー高階述語論理の階層って自己言及と何の関係もないんだけどwwwwwwwwww
自殺したくならんの？
俺なら無理www
そんな恥ずかしいこと晒したら即死するwww
5秒以内に最寄りの窓叩き割って全力で飛び降りるwww
744:１３２人目の素数さん
24/05/08 13:37:20.23 P8x5lHTe.net
んでフレーゲの型理論ってなんすかwwwww
そんなもんこの世界でお前しか言ってねーよwww
745:１３２人目の素数さん
24/05/08 13:37:30.23 BBjhKMzB.net
感想文を添削されたのが悔しかったみたいだけど
そこを乗り越えないと賢くなれないよ
まあ、別になれなくてもいいっていうだろうけどね
なら、ここには書き込まないほうがいいよ
746:１３２人目の素数さん
24/05/08 13:37:55.74 P8x5lHTe.net
>>571
階と型の区別すらできてないのかwwwww
ChatGPTですらここまでバカじゃないだろwww
747:１３２人目の素数さん
24/05/08 13:38:13.85 P8x5lHTe.net
>>722
フレーゲの型理論ってなんすか？
748:１３２人目の素数さん
24/05/08 13:38:26.44 BBjhKMzB.net
＞自●したくならんの？
ならんね
＞俺なら無理
君怖がりだもんな 自●なんて無理よ
嘘だっていうんなら やってごらん
無理しなくていいよ
749:１３２人目の素数さん
24/05/08 13:39:15.67 P8x5lHTe.net
>>722
定理名や証明しか書かれてないソースしかないものは感想文ではない
お前の妄想はソース0の感想文
で
フレーゲの型理論ってなんすか？
750:１３２人目の素数さん
24/05/08 13:39:26.83 P8x5lHTe.net
>>725
フレーゲの型理論ってなんすか？
751:１３２人目の素数さん
24/05/08 13:39:46.51 P8x5lHTe.net
>>725
フレーゲの型理論ってなんすか？
752:１３２人目の素数さん
24/05/08 13:39:50.77 BBjhKMzB.net
＞そんな恥ずかしいこと晒したら即死する
君、生きてるじゃん
＞5秒以内に最寄りの窓叩き割って全力で飛び降りる
君、生きてるじゃん
心にもないこと言っちゃダメだよ
753:１３２人目の素数さん
24/05/08 13:39:57.95 P8x5lHTe.net
>>571
階と型の区別すらできてないのかwwwww
ChatGPTですらここまでバカじゃないだろwww
754:１３２人目の素数さん
24/05/08 13:40:09.37 P8x5lHTe.net
>>729
>>571
階と型の区別すらできてないのかwwwww
ChatGPTですらここまでバカじゃないだろwww
755:１３２人目の素数さん
24/05/08 13:40:17.89 P8x5lHTe.net
>>729
>>725
フレーゲの型理論ってなんすか？
756:１３２人目の素数さん
24/05/08 13:40:39.40 BBjhKMzB.net
＞定理名や証明しか書かれてない
定理名は書いてあったが証明は書かれてない
嘘はいけないな
757:１３２人目の素数さん
24/05/08 13:40:52.24 P8x5lHTe.net
哲学は仮定からその仮定の正しさを導けるというゲーデル不完全性定理に反する妄想なので
必ず論理の詐欺をやってる
その詐欺のパターンの王道はラッセルのパラドックスを使って矛盾ではないものを矛盾だと言い張ること
それにより「矛盾＝矛盾ではない」という爆発律が成立し
その後はどんな無意味な妄想も正当化できるようになる
これが哲学の正体
例1 >>613-614
例2 >>650-652
758:１３２人目の素数さん
24/05/08 13:41:15.72 P8x5lHTe.net
>>733
証明の名前だろ脳障害wwwwww
バカすぎるwww
759:１３２人目の素数さん
24/05/08 13:41:41.85 P8x5lHTe.net
哲学は仮定からその仮定の正しさを導けるというゲーデル不完全性定理に反する妄想なので
必ず論理の詐欺をやってる
その詐欺のパターンの王道はラッセルのパラドックスを使って矛盾ではないものを矛盾だと言い張ること
それにより「矛盾＝矛盾ではない」という爆発律が成立し
その後はどんな無意味な妄想も正当化できるようになる
これが哲学の正体
例1 >>613-614
例2 >>650-652
760:１３２人目の素数さん
24/05/08 13:45:24.53 mmTxm5a5.net
＞証明の名前
またおかしなことをいいだしたな
で、最寄りの窓にぶち当たってみたものの
強化ガラスでものの見事に跳ね返されて
肩を痛めただけだったって感じ？
まあ、よかったじゃん●ななくて
761:１３２人目の素数さん
24/05/08 13:46:49.55 mmTxm5a5.net
それにしても怪文書がよっぽど自慢なんだねえ
でもこれじゃ博士の学位は取れないな
高校生の作文としても落第
762:１３２人目の素数さん
24/05/08 13:51:54.91 P8x5lHTe.net
>>737
フレーゲの型理論とやらのソースは？
763:１３２人目の素数さん
24/05/08 13:52:07.74 P8x5lHTe.net
>>738
フレーゲの型理論とやらのソースは？
764:１３２人目の素数さん
24/05/08 13:52:26.24 wgEoKnwC.net
>>597
論理による哲学と、論理についての哲学の違いだ
765:１３２人目の素数さん
24/05/08 13:52:30.80 P8x5lHTe.net
>>737
論理哲学論考が証明の名前だよ国語5点www
766:１３２人目の素数さん
24/05/08 13:53:13.36 P8x5lHTe.net
>>741
ラッセルのパラドックスを解決できないから
767:弁証法は無意味
768:１３２人目の素数さん
24/05/08 13:55:04.99 K99XnzU8.net
＞論理哲学論考が証明の名前だよ
なにいってんだこいつ
769:１３２人目の素数さん
24/05/08 13:55:15.35 wgEoKnwC.net
>>706
それならますます科学は道徳たりえないから大丈夫だな
770:１３２人目の素数さん
24/05/08 14:01:09.21 ix7NZ8ga.net
ラッセルの逆理やゲーデルの非決定性定理に用いられる
対角線論法は手品のトリックとして理解すべきもので
殊更に哲学的内容をくみ取るようなものではない
・・・ということでOK？
771:１３２人目の素数さん
24/05/08 14:01:19.31 P8x5lHTe.net
>>745
フレーゲの型理論とやらのソースは？
772:１３２人目の素数さん
24/05/08 14:01:41.40 wgEoKnwC.net
>>692
自分もそれを思った
連投は照れ隠しかなんかだろう
ヴィトゲンシュタインが哲学を終わらせたと信じられるんだから羨ましい話だよな
哲学の限界は論理性にはない
一切の哲学的言説が観念論に過ぎなくなったのならばそのような観念論のみになった世界を問うだけの話なのにね
773:１３２人目の素数さん
24/05/08 14:01:44.81 P8x5lHTe.net
>>744
論理哲学論考を見たことない知ったかぶり発見w
全編が論理式による証明だよw
774:１３２人目の素数さん
24/05/08 14:02:19.28 P8x5lHTe.net
>>748
論理じゃないなら妄想だぞ
観念ですらない
775:１３２人目の素数さん
24/05/08 14:03:23.37 wgEoKnwC.net
>>747
俺、フレーゲの型理論とか一言もいってないぞ
そんなものはない
776:１３２人目の素数さん
24/05/08 14:03:46.19 P8x5lHTe.net
>>745
>>>706
>それならますます科学は道徳たりえないから大丈夫だな
いや余裕で道徳になれるけど
進化倫理学とか知らんの？
777:１３２人目の素数さん
24/05/08 14:04:12.43 P8x5lHTe.net
>>751
ああレス先間違えたわ
そんなものねーよなあww
778:１３２人目の素数さん
24/05/08 14:05:16.54 P8x5lHTe.net
>>733
フレーゲの型理論ってなんすか？
779:１３２人目の素数さん
24/05/08 14:05:42.88 wgEoKnwC.net
>>750
お前の信仰(笑)してる論理性でいくなら
論理ではないものはただの非論理としてあるだけだ
なぜ妄想と言い切れる？
根拠は？
780:１３２人目の素数さん
24/05/08 14:05:58.93 ix7NZ8ga.net
ゲーデルの非決定性定理
第一 プリンキピア・マセマティカの体系では、証明も反証もできない非決定的命題が存在する
第二 プリンキピア・マセマティカの体系自身の無矛盾性はそのような非決定的命題である
781:１３２人目の素数さん
24/05/08 14:06:43.25 P8x5lHTe.net
>>755
非論理的な妄想ウケるwwww
782:１３２人目の素数さん
24/05/08 14:07:06.60 P8x5lHTe.net
>>755
非論理=妄想
厳密に成り立つ
783:１３２人目の素数さん
24/05/08 14:09:46.80 wgEoKnwC.net
>>752
支払いなしで利益を得ることができ、かつ不正ではない行為が存在するからモジュールこそが妄想だよバカ
784:１３２人目の素数さん
24/05/08 14:10:02.31 P8x5lHTe.net
>>756
バカ「ゲーデルの不完全性定理はペアノ算術に限定されていて論理一般などに適用できない！(by バカペディア眺めて知ったかぶり)」
現実「シェファードソンの表現定理により任意の論理式のΣ1集合における無矛盾性が証明不可とされ、さらに適用範囲は任意の論理式のΣn集合などに拡張され続けているから論理一般で成立している」
ゲーデルの証明から拡張されまくってることまでバカペディア眺めても追えないからな
こういうの見ないと
785:１３２人目の素数さん
24/05/08 14:10:10.29 P8x5lHTe.net
>>756
URLﾘﾝｸ(www.jstage.jst.go.jp)
786:１３２人目の素数さん
24/05/08 14:11:36.37 P8x5lHTe.net
>>759
何言ってんだこのアホ
787:１３２人目の素数さん
24/05/08 14:12:05.93 P8x5lHTe.net
>>759
そもそもお前利己的な遺伝子すら知らんだろ？
788:１３２人目の素数さん
24/05/08 14:13:49.34 wgEoKnwC.net
>>758
ヴィトゲンシュタインが哲学を終わらせたと信じてる方が論理的に導かれた妄想だよ
そして、進化倫理学はモジュール一つとってもその語られ方について科学者からクレームがついてる
お前マジで、どこまで哀れなの？
789:１３２人目の素数さん
24/05/08 14:14:58.57 JP0hS5Wj.net
フレーゲの理論が論理学か型理論かは定義次第なのでどうでもいいかと
肝心なのは、ラッセルの逆理でフレーゲの理論の何が否定されたのか
誰も言及してないけど実はこれでしょ
∀w1,…,wn∃B∀x(x∈B⇔φ(x,w1,…,wn))
790:１３２人目の素数さん
24/05/08 14:15:53.47 P8x5lHTe.net
>>764
クレームついたから何？
改善すればいいだけの話
バカすぎるwwww
791:１３２人目の素数さん
24/05/08 14:16:50.97 wgEoKnwC.net
>>763
遺伝子の突然変異は生物にとって有利でも不利でも無い中立的な突然変異が圧倒的多数なのが今は定説だよ
792:１３２人目の素数さん
24/05/08 14:17:22.45 wgEoKnwC.net
>>766
妄想だったじゃん
良かったね
793:１３２人目の素数さん
24/05/08 14:17:26.13 W+FCqGvO.net
>>760 ゲーデルの原論文ではペアノ算術は出てこなかったと思うが
794:１３２人目の素数さん
24/05/08 14:18:10.37 P8x5lHTe.net
>>767
うわ中立低学歴出たわwwwww
しかも定説と来たもんだwwwwwwwwwwwwwwwwwww
ソースの英語論文貼ってみろよ
その定説であるというソースのな？ん？
795:１３２人目の素数さん
24/05/08 14:18:21.08 P8x5lHTe.net
>>768
妄想じゃないね
796:１３２人目の素数さん
24/05/08 14:19:30.36 wgEoKnwC.net
>>770
URLﾘﾝｸ(www.nig.ac.jp)
797:１３２人目の素数さん
24/05/08 14:20:35.05 wgEoKnwC.net
>>771
妄想乙
798:１３２人目の素数さん
24/05/08 14:22:21.32 wgEoKnwC.net
>>770
URLﾘﾝｸ(books.google.co.jp)
799:１３２人目の素数さん
24/05/08 14:24:56.88 P8x5lHTe.net
>>769
涙拭けよ思いっきりペアノ算術出てくるよwww
800:１３２人目の素数さん
24/05/08 14:25:06.81 P8x5lHTe.net
>>769
URLﾘﾝｸ(i.imgur.com)
801:１３２人目の素数さん
24/05/08 14:27:18.46 W+FCqGvO.net
>>775
もちろんペアノ算術でも同様の定理は証明できる
いってるのは、原論文で用いられた体系はペアノ算術ではない、ということ
802:１３２人目の素数さん
24/05/08 14:27:30.88 wgEoKnwC.net
>>770
定説であるというソースの論文？
受容史の論文なんてないが、定説どころか主流だぞ
引用数でも見てれば？
お前の態度自体が、科学的態度と道徳が結びつかないとっておきのサンプルだ
むしろ進化倫理学に対するよくある批判で、生まれか育ちかというものがあるんだが
お前はその間違った批判そのものになってるから
信仰している進化倫理学の無能な味方やってるんだぞ
だからバカって言ってんの
803:１３２人目の素数さん
24/05/08 14:28:00.65 P8x5lHTe.net
>>772-773
バカすぎるwww
英語論文で定説である証拠と指示したのに全く無関係wwww
何一つ定説ではないどころか全否定されてるぞ中立ガイジはwww
804:１３２人目の素数さん
24/05/08 14:28:16.42 P8x5lHTe.net
>>777
>>776
805:１３２人目の素数さん
24/05/08 14:28:34.06 P8x5lHTe.net
>>778
レビュー論文で無視されてますねえw
806:１３２人目の素数さん
24/05/08 14:29:10.94 W+FCqGvO.net
ドイツ語読めない？
807:１３２人目の素数さん
24/05/08 14:35:29.77 P8x5lHTe.net
>>778
そもそも利己的な遺伝子を何一つ理解してないこと確定
808:１３２人目の素数さん
24/05/08 14:36:10.70 P8x5lHTe.net
>>782
"Wir gehen nun an die exakte Durchführung des oben skizzierten Beweises und geben zunächst eine genaue Beschreibung des formalen Systems P, für welches wir die Existenz unentscheidbarer Sätze nachweisen wollen. P ist im wesentlic
809:hen das System, welches man erhält, wenn man die Peanoschen Axiome mit der Logik der PM überbaut (Zahlen als Individuen, Nachfolgerrelation als undefinierten Grundbegriff)." 日本語訳: "我々は今、上で概説した証明の厳密な実行に移り、まず、我々がその中で決定不能な命題の存在を示そうとする形式的体系Pの正確な記述を与える。Pは本質的に、ペアノの公理をPMの論理で上部構造として構築した体系である（数を個体として、後続者関係を未定義の基本概念として）。"
810:１３２人目の素数さん
24/05/08 14:37:20.48 P8x5lHTe.net
なんで中立説が利己的な遺伝子の否定になると思ってんのこの低学歴wwwwww
811:１３２人目の素数さん
24/05/08 14:39:37.61 W+FCqGvO.net
>>784
＞Pは本質的に、ペアノの公理をPMの論理で上部構造として構築した体系である
だからペアノの公理そのものを公理としてるわけではない そういう意味 ドイツ語分かる？
812:１３２人目の素数さん
24/05/08 14:40:49.60 W+FCqGvO.net
「PMの論理で上部構造として構築した」 この文章の意味分かる？
813:１３２人目の素数さん
24/05/08 14:41:50.26 P8x5lHTe.net
>>786-787
それをペアノ算術と言うんだよwwwwwwwww
814:１３２人目の素数さん
24/05/08 14:42:35.01 P8x5lHTe.net
>>787
ゲーデル論文におけるPMがなんだかわかってないのかお前www
プリンキピア・マテマティカだぞwww
つまりラッセルの論理学使うとしか言ってない
815:１３２人目の素数さん
24/05/08 14:43:39.68 P8x5lHTe.net
>>786
ペアノの公理そのものをラッセルの論理学に追加してるだけ
そんな事もわかってないとかwwwww
816:１３２人目の素数さん
24/05/08 14:45:48.13 W+FCqGvO.net
>>788
もちろん、ペアノ算術でも同様にできる、といってる
ゲーデルは原論文ではペアノ算術を対象したわけではないという意味
数学として考える上ではどうでもいいことだが、
あくまで歴史上のこととしては異なるという意味
817:１３２人目の素数さん
24/05/08 14:45:55.50 P8x5lHTe.net
ラッセルの論理学がベースでそれに追加したペアノの公理を上部構造と言ってるだけじゃんwwwww
818:１３２人目の素数さん
24/05/08 14:46:14.76 P8x5lHTe.net
>>791
ラッセルの論理学がベースでそれに追加したペアノの公理を上部構造と言ってるだけじゃんwwwww
819:１３２人目の素数さん
24/05/08 14:47:04.32 P8x5lHTe.net
>>791
いやお前がいうレベルのペアノ算術だと出来ないよ
だってペアノ算術のみでは集合論的パラドックスが回避不可能だから
820:１３２人目の素数さん
24/05/08 14:47:41.38 P8x5lHTe.net
当然ながらペアノ公理と集合論的パラドックスを回避する方法は必ずセットにならなければゲーデル不完全性定理の証明は不可能
821:１３２人目の素数さん
24/05/08 14:48:00.93 W+FCqGvO.net
>ペアノの公理そのものをラッセルの論理学に追加してる
「PMの論理で上部構造として構築した」とはそういう意味ではないと思うが
君、原論文読んでないね
822:１３２人目の素数さん
24/05/08 14:48:21.01 P8x5lHTe.net
つまりフレーゲ論理とペアノ公理とか
素朴集合論とペアノ公理では
ゲーデル不完全性定理は証明できない
823:１３２人目の素数さん
24/05/08 14:48:57.83 P8x5lHTe.net
>>796
>>791
いやお前がいうレベルのペアノ算術だと出来ないよ
だってペアノ算術のみでは集合論的パラドックスが回避不可能だから
当然ながらペアノ公理と集合論的パラドックスを回避する方法は必ずセットにならなければゲーデル不完全性定理の証明は不可能
つまりフレーゲ論理とペアノ公理とか
素朴集合論とペアノ公理では
ゲーデル不完全性定理は証明できない
824:１３２人目の素数さん
24/05/08 14:49:50.52 W+FCqGvO.net
>>794
>お前がいうレベルのペアノ算術だと出来ないよ
>だってペアノ算術のみでは集合論的パラドックスが回避不可能だから
これはおかしなことをいう
一階述語論理上のペアノ算術で、集合論的パラドックスなど出てこない
825:１３２人目の素数さん
24/05/08 14:51:41.16 P8x5lHTe.net
>>799
集合論的パラドックスを禁止しなければそもそも対角線論法使えませんがwwww
826:１３２人目の素数さん
24/05/08 14:51:50.98 W+FCqGvO.net
>>798
>ペアノ公理と集合論的パラドックスを回避する方法は
>必ずセットにならなければゲーデル不完全性定理の証明は不可能
一階述語論理上のペアノ算術には、フレーゲの体系も素朴集合論も入ってないが 君、知らんのか？
827:１３２人目の素数さん
24/05/08 14:52:05.91 LApwHT/w.net
久々の炎上
828:１３２人目の素数さん
24/05/08 14:53:49.82 P8x5lHTe.net
>>801
だから入ってないよ
入ってないからペアノの公理単独でゲーデル不完全性定理を証明することなど全く不可能w
829:１３２人目の素数さん
24/05/08 14:54:53.28 W+FCqGvO.net
>>800
＞集合論的パラドックスを禁止しなければそもそも対角線論法使えませんが
いや、全然関係ないけど
証明可能性述語Prfの代わりに真理定義述語Tを用い
もしTが算術的に定義可能だとすると矛盾する
なぜならP⇔￢T(”P”)という命題Pが構築できるから
PはPが偽であるとき真である、となるから
830:１３２人目の素数さん
24/05/08 14:57:45.68 P8x5lHTe.net
>>804
それならフレーゲの論理学でもゲーデル不完全性定理証明できちゃうんだwwwwwwwwwwwwwww
831:１３２人目の素数さん
24/05/08 14:58:51.78 P8x5lHTe.net
集合論的パラドックスを禁止すればラッセルのパラドックスはパラドックスではないしゲーデル不完全性定理が成り立つ
禁止しなければラッセルのパラドックスはパラドックスとなりゲーデル不完全性定理は成り立たない
こんなことすらわからない中卒無職www
832:１３２人目の素数さん
24/05/08 14:58:59.08 W+FCqGvO.net
>>803
>だから入ってないよ
>入ってないからペアノの公理単独でゲーデル不完全性定理を証明することなど全く不可能
そんなことはないけど
論理式をゲーデルコード化で自然数に変換できればいいから
833:１３２人目の素数さん
24/05/08 14:59:13.52 P8x5lHTe.net
そらフレーゲの型理論とか言い出すわけだwww
834:１３２人目の素数さん
24/05/08 15:00:00.38 P8x5lHTe.net
>>807
バカすぎるねこの中卒無職
自己言及パラドックスを解決しなければ対角線論法が使えない
835:１３２人目の素数さん
24/05/08 15:00:23.57 P8x5lHTe.net
>>807
集合論的パラドックスを禁止すればラッセルのパラドックスはパラドックスではないしゲーデル不完全性定理が成り立つ
禁止しなければラッセルのパラドックスはパラドックスとなりゲーデル不完全性定理は成り立たない
こんなことすらわからない中卒無職www
そらフレーゲの型理論とか言い出すわけだwww
836:１３２人目の素数さん
24/05/08 15:01:09.05 P8x5lHTe.net
>>807
で
フレーゲの型理論ってなんすか？
837:１３２人目の素数さん
24/05/08 15:03:08.66 W+FCqGvO.net
集合論的パラドックスが起きない体系でも
ゲーデルの定理の中の証明可能性述語を真偽定義述語に置き換えた上で
これが算術的に定義できれば、パラドックスが起きる
実際には背理法によって、真偽定義述語が算術的に定義不可能という結論を導く
それがタルスキの定理だね ゲーデルは実はそのことを先に気づいていたらしいけど
838:１３２人目の素数さん
24/05/08 15:03:29.00 P8x5lHTe.net
そもそも中卒無職の知能ではググって知ったかぶりしようとしても対角線論法を理解できないのであったwwwwww
839:１３２人目の素数さん
24/05/08 15:04:54.31 P8x5lHTe.net
>>812
対角線論法って知ってる？
840:１３２人目の素数さん
24/05/08 15:05:39.87 W+FCqGvO.net
真偽定義述語だとパラドックスを免れないのは
「真でも偽でもない」という逃げ道がないから
証明可能性述語の場合は「証明も反証もできない」が許される
841:１３２人目の素数さん
24/05/08 15:05:59.71 P8x5lHTe.net
>>812
集合論的パラドックスが禁止されていない体系でゲーデル不完全性定理を証明してみろよ
842:１３２人目の素数さん
24/05/08 15:06:17.98 W+FCqGvO.net
>>814 一応 君は？
843:１３２人目の素数さん
24/05/08 15:07:17.70 W+FCqGvO.net
>>816
＞集合論的パラドックスが禁止されていない体系でゲーデル不完全性定理を証明してみろよ
矛盾する体系なら何でも証明できる、って君言ってなかったっけ？
844:１３２人目の素数さん
24/05/08 15:10:04.84 P8x5lHTe.net
>>818
つまりゲーデル不完全性定理が成り立たない事も証明できると
意味ねーじゃんwwwwwww
845:１３２人目の素数さん
24/05/08 15:11:51.39 W+FCqGvO.net
ところで内包公理を使えばどんな命題でも証明できる、というがカリーのパラドックス
任意の命題Pに関して {x|(x∈x)⇒P}という集合を使えばいい
wikiに証明の仕方書いてあるから読んでみ
846:１３２人目の素数さん
24/05/08 15:16:46.27 W+FCqGvO.net
内包公理を有する体系が、単なる論理なのかそれとも型理論なのか、というのは人それぞれだと思うが
いずれにしても、そういう公理を使うと、直接なんでも証明できちゃうので、爆発律ガーとかいわなくても
コリャだめだってことになる
847:１３２人目の素数さん
24/05/08 15:19:09.36 P8x5lHTe.net
>>821
誰の名前も冠さない型理論という言葉は存在しない
意味が通じない
848:１３２人目の素数さん
24/05/08 15:19:48.07 W+FCqGvO.net
ところでゲーデル命題の否定（もしくはそれと同値だが体系からの矛盾の証明の存在）を公理として追加しても無矛盾
なんで体系からの矛盾の証明の存在を公理として追加しても無矛盾なんだ？というだろうが
ここでいう矛盾の証明は、ノンスタンダード証明（つまりスタンダードな証明でない）なので
矛盾が導かれるということにはならないのである
849:１３２人目の素数さん
24/05/08 15:21:22.42 W+FCqGvO.net
>>822
名前はどうでもいい 何を型というかだけの話
すべてが１つの型に属するという型理論があっても
それはそれで別に構わない
850:１３２人目の素数さん
24/05/08 15:22:41.18 W+FCqGvO.net
ノンスタンダードな自然数の存在を否定するような自然数論は完全だが
そのような理論は帰納的公理化ができない つまり人の手に負える代物ではない
851:１３２人目の素数さん
24/05/08 15:24:12.71 P8x5lHTe.net
>>824
そんななんの定義もねーお前の頭の中にしかねえ妄想知らねーよwwwww
852:１３２人目の素数さん
24/05/08 15:27:06.85 W+FCqGvO.net
>>826
定義などいかようにも作れる 知らなかった？
853:１３２人目の素数さん
24/05/08 15:27:20.84 P8x5lHTe.net
>>827
定義しなければ妄想
854:１３２人目の素数さん
24/05/08 15:28:49.84 W+FCqGvO.net
定義できる 君にはできないかもしれんが
855:１３２人目の素数さん
24/05/08 15:29:29.38 P8x5lHTe.net
>>829
してないじゃん
856:１３２人目の素数さん
24/05/08 15:31:05.85 W+FCqGvO.net
>>830 つまらんからやらんのだろう
857:１３２人目の素数さん
24/05/08 15:31:46.50 P8x5lHTe.net
情報理論的証明ってないの？
公理から公理系の無矛盾性なんて1ビットの情報取り出せるのはエネルギーと情報の等価
858:性からエネルギー保存則を破るのであり得ないみたいな これはエネルギー保存則を書いたら即反故にされるような病的な体系で無ければ成り立つはず
859:１３２人目の素数さん
24/05/08 15:32:06.88 P8x5lHTe.net
>>831
要するにお前がつまらん
860:１３２人目の素数さん
24/05/08 15:34:41.90 P8x5lHTe.net
もちろん数学一般で情報量やエネルギーが定義されるわけではないのはわかるが
情報やエネルギーが保存しない体系はかなり病的で
そんな体系だと意味のある事がほとんどできないに違いない
そのような病的な体系でなければ公理そのものから公理系の無矛盾性など得られるわけがないのは当たり前と言えるだろ
861:１３２人目の素数さん
24/05/08 15:35:26.50 P8x5lHTe.net
数学が現実世界の物理法則に従う必要はないと言っても
流石に限度あるやろ
862:１３２人目の素数さん
24/05/08 15:36:00.08 W+FCqGvO.net
>>832 >>834
この文章だけで数学も論理もまるっきり知らんズブの素人だと分かる
863:１３２人目の素数さん
24/05/08 15:36:53.89 P8x5lHTe.net
>>836
レベル高すぎてついて来れなかったかあwww
864:１３２人目の素数さん
24/05/08 15:37:14.47 W+FCqGvO.net
>>835
数学と物理が全く同じとか、数学にも現実があるとかいうのは、素人の典型的症状
865:１３２人目の素数さん
24/05/08 15:37:22.08 Tf5Ymq4t.net
>>519
>面白い読みを提供しておくと、フランスって市民革命までやったから
>哲学で国民国家の精神をつくらなきゃならんのよ
>ようするに、貴族を殺したから、宮内庁みたいな仕事もしないといけないのがフランス文化院で
>民主主義を文化化しなけりゃならないから、自らを語ることを迂回しなきゃならないんだよね
・なるほどね。ありがとう
・それが全てとは思わないが、一つの説として承った
・ともかく、おフランス人は哲学と哲学論議がお好きな国民です。これは事実です
866:１３２人目の素数さん
24/05/08 15:38:00.97 P8x5lHTe.net
>>838
違うと明記してあるのに文字が読めない脳障害wwww
867:１３２人目の素数さん
24/05/08 15:38:06.32 W+FCqGvO.net
>>837
いかにも思い付きっぽいのでついていく気が起きなかった
868:１３２人目の素数さん
24/05/08 15:39:38.26 P8x5lHTe.net
>>838
数学と物理が関係ないと言っても
無制限に病的にはなれない
それが何故なのか低学歴にはわからないわけよw
その理由は簡単w
バカにはわからないんだろうけど
人間の認知能力がこの物理世界を基本にして進化してるから
あまりにも物理法則が破綻するような体系は人間には認識できない
だからそのような状態で意味のある体系は作れない
869:１３２人目の素数さん
24/05/08 15:39:49.17 W+FCqGvO.net
真偽判定とか無矛盾性に固執するのも素人の典型的症状
870:１３２人目の素数さん
24/05/08 15:40:43.92 P8x5lHTe.net
>>841
>>838
数学と物理が関係ないと言っても
無制限に病的にはなれない
それが何故なのか低学歴にはわからないわけよw
その理由は簡単w
バカにはわからないんだろうけど
人間の認知能力がこの物理世界を基本にして進化してるから
あまりにも物理法則が破綻するような体系は人間には認識できない
だからそのような状態で意味のある体系は作れない
つまり解析学や幾何学も物理世界に適応した人間の認知能力を中心にして発展しており
そこから逸脱することはもちろん幾らでも可能ではあるが限度がある
871:１３２人目の素数さん
24/05/08 15:41:10.27 P8x5lHTe.net
>>843
哲学を殺し切るのが目的だから
872:１３２人目の素数さん
24/05/08 15:42:31.58 P8x5lHTe.net
つまり中学校の数学教科書に書かれてるような事を1つも証明出来ないような体系を作れたとしても
人間はそれに有用性を見出さない
873:１３２人目の素数さん
24/05/08 15:42:56.77 W+FCqGvO.net
>>842
何を以て「病的」というのか全く不明だが
病的であることを異常に嫌うのも病的精神である
低学歴でありながら低学歴を嫌って高学歴ぶるのも病的
残念ながらそういう人に限って実にトンチンカンなこというので
「ああ、この人高校までしか行ってないんだなあ」と分かってしまう
別にそれでもいいんだけど、そういうことを嫌って見栄はった結果
大失敗してしまっているというのが、実に哀しい
874:１３２人目の素数さん
24/05/08 15:43:17.86 P8x5lHTe.net
数学がいくらフィクションだとはいえ
起承転結くらいないとフィクションとしてもゴミなわけよ
875:１３２人目の素数さん
24/05/08 15:43:41.61 P8x5lHTe.net
>>847
つまり中学校の数学教科書に書かれてるような事を1つも証明出来ないような体系を作れたとしても
人間はそれに有用性を見出さない
これが病的かどうかということ
876:１３２人目の素数さん
24/05/08 15:44:46.81 W+FCqGvO.net
>>844
「物理法則」を絶対視する人に限って、相対論や量子論がおかしいと言い出す
要するに当人の心の中の物理世界と矛盾するのだろう これまた実に哀しい
877:１３２人目の素数さん
24/05/08 15:45:20.43 P8x5lHTe.net
素晴らしい数学の新体系を発明したよ！
(ただし中学高校の数学教科書に書かれてるレベルのことでさえ1つも何も言えないし関わらない)
これゴミでしょ
878:１３２人目の素数さん
24/05/08 15:45:49.87 W+FCqGvO.net
>>848
数学には現実などないのでフィクションもノンフィクションもない
879:１３２人目の素数さん
24/05/08 15:46:03.68 P8x5lHTe.net
>>850
物理法則の絶対視などしてない
明記してある
中学校の数学教科書に書かれてることすら証明できない体系ではフィクションとしてもゴミということ
880:１３２人目の素数さん
24/05/08 15:46:20.41 W+FCqGvO.net
＞中学校の数学教科書に書かれてるような事を1つも証明出来ない
中卒でしたか
881:１３２人目の素数さん
24/05/08 15:46:42.26 P8x5lHTe.net
>>852
数学は全てフィクションだよ
現実と関わらないんだから
しかしフィクションでもつまらなかったらゴミ
なんも出来ない無意味な体系じゃあねw
882:１３２人目の素数さん
24/05/08 15:46:57.39 P8x5lHTe.net
>>854
中卒無職はお前だけ
883:１３２人目の素数さん
24/05/08 15:47:35.53 W+FCqGvO.net
＞高校の数学教科書に書かれてるレベルのこと
せいぜい１８世紀までってことですね
884:１３２人目の素数さん
24/05/08 15:47:54.20 P8x5lHTe.net
>>857
そこにすら達しない新体系ってゴミだろということ
885:１３２人目の素数さん
24/05/08 15:48:18.52 P8x5lHTe.net
矛盾許容論理とかまさにそれだろ
なんもできない
886:１３２人目の素数さん
24/05/08 15:48:28.90 W+FCqGvO.net
＞つまらなかったらゴミ
自分の書き込みをそこまで卑下しなくてもよいのでは
887:１３２人目の素数さん
24/05/08 15:48:42.92 P8x5lHTe.net
>>860
お前のことを指してんだよ
888:１３２人目の素数さん
24/05/08 15:50:19.30 P8x5lHTe.net
その意味でZFC+Gくらいでもうええやろってなる
その外になんかおもろい話あるか？
889:１３２人目の素数さん
24/05/08 15:50:24.19 W+FCqGvO.net
>>859
矛盾を嫌う人は人生におもしろいと思えることが一つもなかった人だったりする
890:１３２人目の素数さん
24/05/08 15:50:45.98 W+FCqGvO.net
>>861
あなたのことでしたか
891:１３２人目の素数さん
24/05/08 15:51:14.46 W+FCqGvO.net
>>862 Gとは？
892:１３２人目の素数さん
24/05/08 15:51:24.70 P8x5lHTe.net
>>863
爆発律で妄想を正当化してそう
893:１３２人目の素数さん
24/05/08 15:52:09.69 P8x5lHTe.net
>>865
グロタンディーク宇宙
894:１３２人目の素数さん
24/05/08 15:52:32.96 W+FCqGvO.net
＞・・・くらいでもうええやろ
体系の強さにこだわる人はだいたい数学を知らず実は全く興味がない
そのくせ真偽判断の「魔法」を知りたがる おかしなことである
895:１３２人目の素数さん
24/05/08 15:53:23.32 W+FCqGvO.net
>>867
数学を全く知らない素人さんでしたか
896:１３２人目の素数さん
24/05/08 15:54:01.63 P8x5lHTe.net
>>869
お前がな
897:１３２人目の素数さん
24/05/08 15:54:56.33 W+FCqGvO.net
「グロタンディーク宇宙」とか唐突に口にする人に限って
集合論も圏論も知らないし知る気もない
おそらく数論も代数幾何も全く知らない
ただ「魔法使い」になりたいというおかしな願望があるだけ
898:１３２人目の素数さん
24/05/08 15:55:40.08 P8x5lHTe.net
>>871
とフレーゲの型理論とか吠えてる中卒無職が申しておりますwwwww
899:１３２人目の素数さん
24/05/08 15:56:21.52 P8x5lHTe.net
>>871
グロダンティーク宇宙ググるのにだいぶかかったな？
900:１３２人目の素数さん
24/05/08 15:56:34.20 W+FCqGvO.net
>>872 草を生やす魔法だけは覚えたようだ
901:１３２人目の素数さん
24/05/08 15:57:07.54 W+FCqGvO.net
「グロダンティーク宇宙」に喜んで食いつく時点で素人
902:１３２人目の素数さん
24/05/08 15:57:38.52 P8x5lHTe.net
>>875
やっとググってきたの？
903:１３２人目の素数さん
24/05/08 15:57:56.84 P8x5lHTe.net
>>874
フレーゲの型理論の論文貼れよ
904:１３２人目の素数さん
24/05/08 15:58:01.31 W+FCqGvO.net
「宇宙際」とかいう言葉で「史上最強の魔法使い」を連想するのも素人
905:１３２人目の素数さん
24/05/08 15:58:37.58 W+FCqGvO.net
>>876 検索エンジンで検索すればなんでも分かると思うのも素人
906:１３２人目の素数さん
24/05/08 15:59:06.34 P8x5lHTe.net
>>878
階と型の違いすら知らなかったくせに
907:１３２人目の素数さん
24/05/08 15:59:20.99 W+FCqGvO.net
素人は考えることが嫌い インスタントになんでもわかるのが好き
908:１３２人目の素数さん
24/05/08 15:59:35.45
909:P8x5lHTe.net
910:１３２人目の素数さん
24/05/08 15:59:59.93 W+FCqGvO.net
素人はツッコミが好き 自分がボケ役になると発●する
911:１３２人目の素数さん
24/05/08 16:00:13.84 P8x5lHTe.net
>>881
考えることが嫌いな素人だから階と型すら混同してるんでしょ？
912:１３２人目の素数さん
24/05/08 16:00:34.79 P8x5lHTe.net
>>883
フレーゲの型理論の論文貼れよ
913:１３２人目の素数さん
24/05/08 16:00:37.89 W+FCqGvO.net
どうでもいいことを延々と繰り返すのが考えない素人の特徴
914:１３２人目の素数さん
24/05/08 16:01:08.51 P8x5lHTe.net
>>886
フレーゲの型理論あるんだろ？
逃げられると思ったのか？
無視しても繰り返させるだけ
915:１３２人目の素数さん
24/05/08 16:01:57.12 P8x5lHTe.net
なぜ話をそらせば忘れてくれると思ったんだ？
逃すわけない
916:１３２人目の素数さん
24/05/08 16:01:57.92 W+FCqGvO.net
無敵の人はとにかく駄々をこねれば勝てると思ってる
駄々をこねることそれ自体が負けであるとは決して気づかない
917:１３２人目の素数さん
24/05/08 16:02:31.09 P8x5lHTe.net
>>889
フレーゲの型理論の論文どれ？
918:１３２人目の素数さん
24/05/08 16:03:02.44 W+FCqGvO.net
延々と書き続けるほど深く沈む
919:１３２人目の素数さん
24/05/08 16:03:35.91 W+FCqGvO.net
同じことをいいつづけるのも負けの証
920:１３２人目の素数さん
24/05/08 16:05:09.04 W+FCqGvO.net
素人の皆さん
シッタカしたら負け
突っ込まれてムキになったら負け
負けたくないなら書き込まないこと
素人が何を書いても「勝つ」ことは絶対にありません
921:１３２人目の素数さん
24/05/08 16:06:04.76 P8x5lHTe.net
>>893
知ったかぶりしてフレーゲの型理論とか吠えた脳障害wwwww
922:１３２人目の素数さん
24/05/08 16:06:28.95 P8x5lHTe.net
>>892
フレーゲの型理論の論文は？