220:１３２人目の素数さん
23/11/29 20:53:31.58 qYVOxHrJ.net
選択公理を仮定すれば簡単に示せる命題だが、選択公理よりは弱い命題で公理にとれるようなもの
としてはどんなものがあるのだろうか？
221:１３２人目の素数さん
23/11/29 21:13:40.49 wmPxemp7.net
選択公理は嫌だけどultrafilterの存在なら認めてもいいって人いるんですか？
222:１３２人目の素数さん
24/03/17 16:16:23.55 fl8DncvC.net
言葉で語れて高級そうな話
223:１３２人目の素数さん
24/04/30 11:50:37.91 dZrmuZxS.net
実はあまり中身がない
224:１３２人目の素数さん
24/05/07 19:33:06.37 xJPWfmgv.net
いかにして哲学は100年前に滅亡したか
1.ラッセルのパラドックスの発見（1902年）
1902年、哲学者のバートランド・ラッセルが論理学における矛盾を発見しました。
このパラドックスは、通常の論理学では回避できないことが判明し、哲学に大きな衝撃を与えました。
2.ラッセルによる新しい論理学の構築（1903年～）
1903年以降、ラッセルはパラドックスの原因が論理学の仕組みにあると見抜きました。
自己と自己言及を明確に区別して混同しないルールを導入し、パラドックスが起こらない新しい論理学の仕組みを構築しました。
3.ウィトゲンシュタインによる論理学の研究（1911年～）
1911年頃から、ルートヴィヒ・ウィトゲンシュタインはラッセルの弟子となり、新しい矛盾のない論理学で何が言えるのかを研究しました。
その結果、形而上学や哲学を論理的に扱うことは不可能であることが判明しました。
1921年に出版された「論理哲学論考」で、ウィトゲンシュタインは形而上学や哲学は論理学の誤用から生まれる全く意味のない妄想であると論理学を用いて証明しました。
現在までにこの証明に反証できた人間は歴史上1人もいません。
4.ゲーデルの不完全性定理（1931年）
1931年、クルト・ゲーデルもラッセルの論理学に影響を受け、「論理学によって仮定そのものの正しさをその仮定から証明できるか？」を考察しました。
ゲーデルは、それが不可能であることを証明しました（ゲーデルの第一不完全性定理）。
この定理は、当初ペアノ算術におけるω無矛盾性が証明不可能として確立されましたが、後にロッサーの証明ではペアノ算術における単純無矛盾性、シェファードソンの表現定理により任意のΣ1集合で構成される任意の論理式に対して無矛盾性の証明が不可能であることまで拡張されました。
5.哲学の限界と科学の重要性（1920年代～）
1920年代以降、哲学的な仮定の正しさを論理的に証明する方法は存在しないことが明らかになりました。
アイディアの正しさを決める方法は、現実との比較（実験）しかありません。
つまり、正しさを決める方法は科学しかあり得ないことがわかります。
225:１３２人目の素数さん
24/05/07 19:33:16.89 xJPWfmgv.net
これらの出来事により、20世紀初頭から哲学は大きな転換期を迎えました。1902年のラッセルのパラドックス発見以降、哲学者を名乗った時点で不勉強な無知または詐欺師であることは確定しており、賢い哲学者というのは論理的に存在不可能であるとされています。
ウィトゲンシュタインの主要な著作である1921年の「論理哲学論考」では、哲学は論理学の誤用から生まれた無意味な妄想であると論じ、「語り得ぬものには沈黙せねばならない」と結論付けています。
また、1953年に出版された「哲学探究」では、哲学は言葉の使い方の誤りから生じる妄想であるため、その誤りを防止するために言語の誤用を研究する必要があると主張しています。
1931年のゲーデルの不完全性定理は、ある仮定の正しさをその仮定から導くことは不可能であることを証明しました。
一方、哲学はある仮定の正しさをその仮定から導くことができるという妄想に基づいています。
226:１３２人目の素数さん
24/05/07 19:33:35.42 xJPWfmgv.net
カール・ポパーが提唱した「反証可能性」という概念は、科学の方法論として注目を集めましたが、その内容を詳細に検討してみると、実はそれほど革新的な考え方ではないことがわかります。
ポパーの主張の核心は、ある理論が科学的であるためには、その理論が反証可能でなければならないというものです。つまり、その理論が間違っていることを示す証拠が存在する可能性を認めることが重要だと考えました。しかし、これは要するに、法学の分野で長年確立されてきた「証明責任」の原則と大差ありません。
「証明責任」とは、ある主張をする者が、その主張の正当性を証明する責任を負うという、公平な議論のルールです。古代ローマ法の判例から確立したこの原則は、ラテン語で "Onus probandi incumbit ei qui dicit, non ei qui negat"（証明責任は、主張する者に存し、否定する者にはない）と表現され、ローマ法の法文集「ディゲスタ」の22.3.2に法学者パウルスの見解として記載されています。
ポパーの「反証可能性」は、この「証明責任」の原則を科学の文脈で言い換えたに過ぎません。つまり、ある理論を主張する者は、その理論の正しさを証明する責任を負い、反証を受け入れられない状態では主張を証明したことにはならないということです。これは、科学に限らず、法学、政治学、経済学など、あらゆる分野でのフェアな議論に求められる条件であり、ポパーが新しく提唱したものではありません。
したがって、ポパーの「反証可能性」という概念は、科学の方法論として特別に重要な意味を持つわけではなく、むしろ古くから存在する「証明責任」の原則を再確認したに過ぎないと言えます。ポパーの主張は、科学哲学の文脈では一定の意義を持ちますが、科学の実践自体を大きく変革するようなものではないと理解することができます。
227:１３２人目の素数さん
24/05/07 19:34:04.40 xJPWfmgv.net
古代ローマ法における証明責任の確立は、法務官法の発展、弁論術の発達、法学者の活動などを通じて徐々に形作られていきました。特に、法学者パウルスが示した「証明責任は、主張する者に存し、否定する者にはない」という原則は、現代に至るまで法学の基本原則として受け継がれています。
証明責任の原則は、法学にとどまらず、自然科学の分野にも大きな影響を与えました。科学者は、自分の仮説を裏付ける証拠を提示する責任を負っており、この証明責任の原則なくして科学の進歩は望めません。実験や観察によって得られたデータを根拠として示すことで、科学者は自分の主張を証明し、他の科学者による検証を可能にします。科学における証明責任の重要性は、ニュートンとフックの光の性質をめぐる論争、ラヴォアジェとプリーストリーの酸素発見をめぐる論争、ガルヴァーニとボルタの動物電気をめぐる論争などの歴史的な事例からも明らかです。
証明責任の原則は、法学や科学だけでなく、ジャーナリズム、政治、教育、ビジネスなど、あらゆる分野で真実性や公正性を担保するために不可欠です。証明責任がない場合、根拠のない主張が横行し、社会的な混乱や危険が生じる可能性があります。また、相手の主張の根拠が存在しないことを証明することは、主張者が根拠を示すよりも困難である場合が多く、証明責任の不在は公平性を欠く結果につながりかねません。さらに、根拠のない主張の証明を相手に求めることで、議論を混乱させたり、相手を困らせたりすることが可能になってしまいます。
したがって、証明責任の原則は、公正な議論を実現し、真実を追究するために欠かせない原則であると言えます。ただし、その適用に当たっては、証明責任の公平な分配、証明の困難さに応じた調整、建設的な議論の促進などに留意する必要があります。証明責任の原則を適切に運用することで、私たちは理性的で建設的な議論を行い、より良い社会を築いていくことができるでしょう。
228:１３２人目の素数さん
24/05/07 19:58:00.57 zmjMX1GE.net
>>222
論理の正誤と物事の善悪を混同したまま？
229:１３２人目の素数さん
24/05/07 19:58:59.87 xJPWfmgv.net
>>223
混同してるのはお前だけ
230:１３２人目の素数さん
24/05/07 22:21:14.31 J7MRSS8z.net
>>219
>いかにして哲学は100年前に滅亡したか
>
>5.哲学の限界と科学の重要性（1920年代～）
>1920年代以降、哲学的な仮定の正しさを論理的に証明する方法は存在しないことが明らかになりました。
>アイディアの正しさを決める方法は、現実との比較（実験）しかありません。
>つまり、正しさを決める方法は科学しかあり得ないことがわかります。
なんだかな
・自然科学は、まだそれで良いとして
いわゆる社会科学（経済学とか法学とか政治や、現実に社会で起きる不条理や問題を検討する学問）
は、論理だけでは片付かない
・つまり、このような社会科学は、主として未来を扱っているのです
すなわち、ある手段(解決策)がa,b,cと3つ選択肢があるとして、どれがベストか？
そもそも、3つ選択肢 a,b,cを どう設定するのか？
・このような場合、自然科学だけでは完結しない
具体的には、いま世界的問題となっている イスラエル－ガザの問題がある
アメリカの大学では、イスラエルを支持する米バイデン政権を批判する人が、立てこもる
・このような社会問題には、自然科学だけでは不十分で
哲学的な思考も必要になるのです
(参考)
URLﾘﾝｸ(www.nikkei.com)
「反イスラエル」米大学デモ、世界に飛び火
仏では警察が介入
2024年5月7日 14:30 [会員限定記事]
【ニューヨーク=野一色遥花】パレスチナ自治区ガザで軍事行動を続けるイスラエルへの抗議活動（デモ）がフランスや英国など、世界の大学に広がっている。フランスでは建物を占拠していた学生らを警察が強制的に退去させた。イスラエルとイスラム組織「ハマス」の休戦交渉の着地点が見えない中、デモが沈静化する兆しも見えてこない。（1面参照）
231:１３２人目の素数さん
24/05/07 22:38:30.13 At/O+SyV.net
>>225
現実との比較って書いてあるのに読めない
脳障害すぎる
232:１３２人目の素数さん
24/05/07 22:46:12.37 At/O+SyV.net
>>225
現実と比較してない自称社会科学は科学じゃない
ただの妄想
233:１３２人目の素数さん
24/05/07 22:46:39.99 At/O+SyV.net
>>225
そもそも科学としか書いてない
自然科学とは書いてない
文字の読み書きができてない脳障害
234:１３２人目の素数さん
24/05/07 23:14:07.77 VqTUBsPb.net
いかなる前提から出発すべきかが不分明な状態においても
人間は考えようとする。
235:１３２人目の素数さん
24/05/08 00:39:55.91 +0jADlNL.net
>>229
>いかなる前提から出発すべきかが不分明な状態においても
>人間は考えようとする。
・そうなんだよね
それが、一流なんだ
・”いかにして哲学は100年前に滅亡したか”って？
”哲学”は、滅亡などしていない
・確かに、古代ギリシャにおいて、”哲学”が占めていたような地位は
今のいろんな学問の中での位置づけ（地位）には、ないと思う
しかし、各学問（特に社会科学や、あるいは自然科学においても）で
新しい分野を切り開こうとするとき、旧来の理論の延長線ではなく
全く新しい発想が求められるときがあるのです
・それはやっぱり、”哲学”の出番だと思う
その”哲学”は、必ずしも万人共通のものではなく、その人が生まれてきて体験した全てのことが凝縮されたものでしょうね
・フランス人はいまでも、哲学的な議論が好きと聞いている（下記）
フランスでは、”哲学”は滅亡などしていない
・そして、毎度のようにフランスからフィールズ賞受賞者を出す（河東）
URLﾘﾝｸ(t)
236:ricolorparis.com/actu/societe/bac-philo-2023/ 社会 2023/06/15 2023年バカロレア試験・哲学の問題 by TRICOLORPARIS 毎年6月に行われる大学の入学資格を得るための統一国家試験、バカロレア（Baccalauréat, 通称Bac バック）の季節がやってきました。今年は6月14日（水）の朝8時、例年どおり哲学の試験からスタート。50万人を超える高校3年生たちが受験しました。 この大学入学資格試験に、文系理系を問わず、「哲学」という科目が存在すること自体がとても「フランス的」で毎年注目しています。 なんと、ナポレオン・ボナパルトが1808年にバカロレアを創設した当初から、哲学は試験科目になっていました。 試験時間は4時間！の長丁場。トリコロル・パリの解釈で2023年哲学の問題をご紹介しますが、問題を翻訳すること自体が難しいので、フランス語が得意な方はぜひより良い訳を考えてみてくださいね。これを高校3年生が解くのだと想像しながら読むとさらに味わい深いです。 https://www.ms.u-tokyo.ac.jp/~yasuyuki/others.htm 河東泰之の雑文リスト https://www.ms.u-tokyo.ac.jp/~yasuyuki/suri1408.pdf [67] フィールズ賞で語る現代数学, 『数理科学』2014年8月号.河東 泰之 3. 国別，分野別の概観 アメリカが多いのはもっともとして，フランスの強さは特筆に値する． フランス人は冗談で，フィールズ賞にはフランス人枠があるんだというくらいである．グロタンディークは活躍の主舞台はフランスだったが無国籍であったので，普通フランスのカウントに入れない．高等師範学校(ENS)がフランス数学を代表するエリート校とされており，前に同校出身者の推薦状を見たことがあるが，本人の説明より先に，わが校こそフランスの全フィールズ賞受賞者を輩出した名門校である，という自慢が先に書いてあった．今でもおそらく全員が同校出身者のはずである．
237:１３２人目の素数さん
24/05/08 00:54:44.25 Z7b3zhjA.net
>>230
低学歴の妄想
238:１３２人目の素数さん
24/05/08 06:44:09.91 Z7b3zhjA.net
ほとんどの知ったかぶりはシェファードソンの表現定理を知らない
バカペディアに書いてないからなw
239:１３２人目の素数さん
24/05/08 06:49:58.50 txpsnWFG.net
>>232
kwsk
240:１３２人目の素数さん
24/05/08 06:52:52.93 Z7b3zhjA.net
>>233
バカ「ゲーデルの不完全性定理はペアノ算術に限定されていて論理一般などに適用できない！(by バカペディア眺めて知ったかぶり)」
現実「シェファードソンの表現定理により任意の論理式のΣ1集合における無矛盾性が証明不可とされ、さらに適用範囲は任意の論理式のΣn集合などに拡張され続けているから論理一般で成立している」
241:１３２人目の素数さん
24/05/08 06:53:54.88 Z7b3zhjA.net
そもそも公理からその公理の真偽を決定可能とか何もないところから1ビットの情報を取り出せるという主張だから情報熱力学の観点からエネルギー保存則に反するので決定不可能に決まってる
242:１３２人目の素数さん
24/05/08 06:55:59.91 Z7b3zhjA.net
つまり「あらゆる論理に対するゲーデル不完全性定理の証明」みたいなものを書くことに限度があるから具体的な証明が与えられている範囲に限度がある�
243:ﾆいう話に過ぎず 適用範囲に制限があることはあり得ない 制限があるという主張はその領域なら何もないところから情報=エネルギーを取り出せるという主張と等価
244:１３２人目の素数さん
24/05/08 06:59:54.91 Z7b3zhjA.net
URLﾘﾝｸ(www.jstage.jst.go.jp)
245:１３２人目の素数さん
24/05/08 07:00:00.71 Z7b3zhjA.net
バカペディアにはこういうの載ってないからなw
246:１３２人目の素数さん
24/05/08 07:01:05.31 Z7b3zhjA.net
URLﾘﾝｸ(www2.kobe-u.ac.jp)
247:１３２人目の素数さん
24/05/08 07:03:15.60 Z7b3zhjA.net
仮に何もないところから情報やエネルギーを取り出せる病的な体系があるとしたら
その体系では中学数学の定理すらほぼ全て証明不可能だろうなw
248:１３２人目の素数さん
24/05/08 07:10:18.21 Z7b3zhjA.net
情報やエネルギーが保存される「マトモ」な体系では
ある公理からその公理系の無矛盾性を証明不可能というのは
何もないところから無矛盾かどうかという1ビットの真偽値を得られることが情報やエネルギーの保存則に反することから明らかだろ
249:１３２人目の素数さん
24/05/08 07:14:29.26 Z7b3zhjA.net
>>230
過去全ての哲学は妄想と確定済みなので新しい発想には全く使えない
むしろ「やってはいけない失敗」でしかないし
そんなものは暗記しなくても普通に考えれば回避可能だから全く価値がない
250:１３２人目の素数さん
24/05/08 07:40:33.48 +0jADlNL.net
>>242
>過去全ての哲学は妄想と確定済みなので新しい発想には全く使えない
>むしろ「やってはいけない失敗」でしかないし
>そんなものは暗記しなくても普通に考えれば回避可能だから全く価値がない
１）証明が無い！
２）”哲学の数学的定義”がない ；ｐ）
３）”過去全ての哲学は妄想と確定”したとしても、それはあくまで過去
いまこの瞬間からの哲学が妄想とすることの証明の代用にならんｗ
４）ビッグバン宇宙論は、無からいまの我々の宇宙が生まれたという（下記）
エネルギー保存則の例外ですが、多くの物理学者が認めている
ビッグバン宇宙論は、多分ある物理学者の哲学（妄想？ｗ）による説だろうね
(参考)
//ja.wikipedia.org/wiki/%E3%83%93%E3%83%83%E3%82%B0%E3%83%90%E3%83%B3
ビッグバン（英: Big Bang）とは、宇宙は非常に高温高密度の状態から始まり、それが大きく膨張することによって低温低密度になっていったとする膨張宇宙論（ビッグバン理論）[1]における、宇宙開始時の爆発的膨張。
1964年に宇宙マイクロ波背景放射が発見されて以降は、宇宙が高温高密度の状態から進化したというアイデアを支持する観測的な証拠が次々に発見された、定常宇宙論よりもビッグバン理論のほうが宇宙の起源と進化を説明するのに都合が良いと考える人が多数派になった。
現在の科学者による宇宙論の研究はそのほとんどがビッグバン理論の拡張や改良を含むものである。現在行なわれているほとんどの宇宙論の研究には、ビッグバンの文脈で銀河がどのように作られたかを理解することや、ビッグバンの時点で何が起きたかを明らかにすること、観測結果を基本的な理論と整合させることなどが含まれている。
特徴と問題
ビッグバンがあったことに疑念を抱く人や、全く信じない人、ビッグバン理論支持者が「非標準的宇宙論 (non-standard cosmologies)」と呼ぶ説の支持者も、少数派ではあるが存在する。
251:１３２人目の素数さん
24/05/08 07:44:21.22 Z7b3zhjA.net
>>243
バカペディアがソースになると思ってる時点で自殺すべき
252:１３２人目の素数さん
24/05/08 07:45:13.24 Z7b3zhjA.net
>>243
哲学はある仮定の正しさをその仮定から導くことができるという妄想
文字が読めないなら自殺しろ
253:１３２人目の素数さん
24/05/08 07:45:37.01 Z7b3zhjA.net
>>243
例外は一つも存在しない
中卒無職の妄想
254:１３２人目の素数さん
24/05/08 07:48:22.12 Z7b3zhjA.net
>>243
お前バカすぎて論外だから黙れよ
255:１３２人目の素数さん
24/05/08 07:51:08.18 Z7b3zhjA.net
>>243
ビッグバンは無から生まれてないよ知ったかぶり自殺しとけ
元々エネルギーがあっただけ
あまりにもバカすぎるし論外すぎる
256:１３２人目の素数さん
24/05/08 07:52:10.80 Z7b3zhjA.net
>>243
自殺するしかないよお前
インフレーションの提案者Alan Guthのお言葉
257: 自殺マダ？ Q: Can you explain the theory of cosmic inflation that you first put forth in 1980? A: I usually describe inflation as a theory of the “bang” of the Big Bang: It describes the propulsion mechanism that drove the universe into the period of tremendous expansion that we call the Big Bang. In its original form, the Big Bang theory never was a theory of the bang. It said nothing about what banged, why it banged, or what happened before it banged. The original Big Bang theory was really a theory of the aftermath of the bang. The universe was already hot and dense, and already expanding at a fantastic rate. The theory described how the universe was cooled by the expansion, and how the expansion was slowed by the attractive force of gravity. Inflation proposes that the expansion of the universe was driven by a repulsive form of gravity. According to Newton, gravity is a purely attractive force, but this changed with Einstein and the discovery of general relativity. General relativity describes gravity as a distortion of spacetime, and allows for the possibility of repulsive gravity.
258:１３２人目の素数さん
24/05/08 07:52:17.47 Z7b3zhjA.net
>>249
URLﾘﾝｸ(news.mit.edu)
259:１３２人目の素数さん
24/05/08 07:52:55.46 Z7b3zhjA.net
バカペディアがソースwwww
しかもそのバカペディアにすらエネルギー保存しないなんて書かれてない
100%どこにも書かれてない妄想
自殺しろ脳障害低学歴無職
260:１３２人目の素数さん
24/05/08 07:59:14.75 Z7b3zhjA.net
>>243
バカペディアがソースになると思えている時点で自殺するべき
During inflation, while the energy of matter increases by a factor of 10^75 or more, the energy of the gravitational field becomes more and more negative to compensate. The total energy - matter plus gravitational - remains constant and very small, and could even be exactly zero. Conservation of energy places no limit on how much the Universe can inflate, as there is no limit to the amount of negative energy that can be stored in the gravitational field.
これを書いたのはインフレーションの提唱者であるGuthな？
261:１３２人目の素数さん
24/05/08 07:59:20.67 Z7b3zhjA.net
>>252
URLﾘﾝｸ(ned.ipac.caltech.edu)
262:１３２人目の素数さん
24/05/08 08:00:15.91 Z7b3zhjA.net
知ったかぶり低学歴は殺処分でいい
263:１３２人目の素数さん
24/05/08 08:02:54.78 Z7b3zhjA.net
知ったかぶり低学歴無職「ビッグバンはエネルギー保存則を破っている証拠！！」
インフレーションの提唱者「物質のエネルギーが増えた分だけ重力エネルギーが減ってるだけ」
これ義務教育で習う力学的エネルギー保存則と同じなので
義務教育すら受けてない不登校中卒無職ニートってこと
中卒無職(中卒と言っても不登校ニートで中学校の授業を受けてないお情け卒業証書だから知能が小学校低学年レベル)wwwwww
264:１３２人目の素数さん
24/05/08 08:03:44.62 Z7b3zhjA.net
いい年したオッサンが小学校低学年程度の知能しかないとか
自殺しないの？
265:１３２人目の素数さん
24/05/08 08:05:34.53 Z7b3zhjA.net
そもそも今の義務教育ではバカペディアはソースにならないと教えてるので
小学生以下の知能しかない
266:１３２人目の素数さん
24/05/08 08:22:00.69 txpsnWFG.net
連投おつかれ
267:１３２人目の素数さん
24/05/08 08:24:40.59 Z7b3zhjA.net
仮に何もないところから情報やエネルギーを取り出せる病的な体系があるとしたら
その体系では中学数学の定理すらほぼ全て証明不可能だろうなw
情報やエネルギーが保存される「マトモ」な体系では
ある公理からその公理系の無矛盾性を証明不可能というのは
何もないところから無矛盾かどうかという1ビットの真偽値を得られることが情報やエネルギーの保存則に反することから明らかだろ
268:１３２人目の素数さん
24/05/08 08:27:25.63 txpsnWFG.net
>>259
小学生にもわかるように
もう少しわかりや
269:すく
270:１３２人目の素数さん
24/05/08 08:28:51.27 Z7b3zhjA.net
>>260
出口のない洞窟の中から洞窟の外の世界が見えることはあり得ない
271:１３２人目の素数さん
24/05/08 08:38:07.66 Z7b3zhjA.net
もしそれがあるとしたら物理法則すら破壊された支離滅裂で無意味な世界
272:１３２人目の素数さん
24/05/08 08:51:53.63 Z7b3zhjA.net
哲学とは出口のない洞窟の中から洞窟の外の世界がどうなっているか妄想すること
原理的に全く意味がない
273:１３２人目の素数さん
24/05/08 08:56:44.72 txpsnWFG.net
>>261
それ自身は小学生でもわかる理屈
>>263
それは大学生にもわからない理屈だろうね
274:１３２人目の素数さん
24/05/08 08:57:43.69 txpsnWFG.net
一般的にはそれを屁理屈と呼びます
275:１３２人目の素数さん
24/05/08 09:00:27.22 Z7b3zhjA.net
>>264
外の世界の情報が得られるわけないからわかるわけがない
276:１３２人目の素数さん
24/05/08 09:01:05.34 Z7b3zhjA.net
>>265
外の世界の情報が得られるわけないのに外の世界を妄想しても意味があるわけない
乱数でしかない
277:１３２人目の素数さん
24/05/08 09:06:52.54 txpsnWFG.net
>>266, >>277
それ自体は小学生にもわかる理屈。
わからないのは263であると言われていることをが
理解できないとしたら幼稚園児以下
278:１３２人目の素数さん
24/05/08 09:07:59.09 Z7b3zhjA.net
数学は単に架空の世界を考えてるだけでそれが外の世界と同じなどとは主張しない
哲学は外の世界の情報を使わずに架空の世界を妄想しながらその妄想が外の世界の真の姿だと吠えている
あまりにも頭が悪い
279:１３２人目の素数さん
24/05/08 09:08:48.55 Z7b3zhjA.net
>>268
数学は単に架空の世界を考えてるだけでそれが外の世界と同じなどとは主張しない
哲学は外の世界の情報を使わずに架空の世界を妄想しながらその妄想が外の世界の真の姿だと吠えている
哲学はあまりにも頭が悪い
280:１３２人目の素数さん
24/05/08 09:10:15.21 Z7b3zhjA.net
数学:洞窟と関係なく架空の世界を考えてるだけでそれが洞窟の中や外と関わりがあるかどうかなど主張しない
哲学:洞窟の外の世界の情報を使ってないのに洞窟の外の世界のことを妄想してそれが正しいと言い張っている
科学:洞窟に穴を掘って外の世界を見に行った
281:１３２人目の素数さん
24/05/08 09:11:48.63 mmTxm5a5.net
>>219
>1902年、哲学者のバートランド・ラッセルが論理学における矛盾を発見しました。
実際には、一階述語論理ではなく、フレーゲの型理論における矛盾を示した
>1903年以降、ラッセルはパラドックスの原因が論理学の仕組みにあると見抜きました。
>自己と自己言及を明確に区別して混同しないルールを導入し、
>パラドックスが起こらない新しい論理学の仕組みを構築しました。
ラッセルとホワイトヘッドは新たな型理論でパラドックスを回避したが
自己言及を排除したわけではない なお、パラドックスの回避の仕方はいろいろある
>1921年に出版された「論理哲学論考」で、
>ウィトゲンシュタインは形而上学や哲学は
>論理学の誤用から生まれる全く意味のない妄想である
>と論理学を用いて証明しました。
>現在までにこの証明に反証できた人間は歴史上1人もいません。
ヴィトゲンシュタインは別に形而上学に意味がないと証明したわけではなく
形而上学を論理によって正当化しようとするのは無意味だという考えを表明したにすぎない
>1931年、クルト・ゲーデルもラッセルの論理学に影響を受け、
>「論理学によって仮定そのものの正しさをその仮定から証明できるか？」を考察しました。
>ゲーデルは、それが不可能であることを証明しました（ゲーデルの第一不完全性定理）。
「仮定そのものの正しさ」ではなく「数学の無矛盾性」
「その仮定から証明」ではなく「原始帰納的算術から証明」
ついでにいうと「第一」ではなく「第二」
>1920年代以降、哲学的な仮定の正しさを論理的に証明する方法は存在しないことが明らかになりました。
>アイディアの正しさを決める方法は、現実との比較（実験）しかありません。
>つまり、正しさを決める方法は科学しかあり得ないことがわかります。
科学における正しさも証明できない 誤りを示すことができるだけである
282:１３２人目の素数さん
24/05/08 09:13:52.68 Z7b3zhjA.net
>>272
フレーゲの型理論wwwwwwwww
自殺するレベルの知ったかぶりガイジwwww
フレーゲの論理学に矛盾を見つけてそれを解消して新たに作られたのがラッセルの型理論だよwwwwww
フレーゲの型理論wwwww
バカすぎるから自殺しとけ
283:１３２人目の素数さん
24/05/08 09:14:59.59 Z7b3zhjA.net
フレーゲの型理論wwwwwwwww
やべえ腹筋いてえwwwwwwwwww
284:１３２人目の素数さん
24/05/08 09:15:04.61 txpsnWFG.net
小学生に対してはまず
数学とは何か、哲学とは何か、科学とは何かを説明した後でないと
その説明は意味をなさない。
それを定義とするのはあまりにも乱暴。
中学生でも解析学や代数学はおろか幾何学とは何かを知らないのが普通。
285:１３２人目の素数さん
24/05/08 09:15:46.73 mmTxm5a5.net
>>221
ポパーの「反証可能性」は法学の「証明責任」とは全く異なる
むしろ、ポパーは、法学の「証明責任」など科学では実現不可能、という立場から「反証可能性」を掲げた
つまり科学理論の誤りは示せるが、誤りのないことなど示しようがない、ということである
286:１３２人目の素数さん
24/05/08 09:16:24.54 Z7b3zhjA.net
>>272
原始帰納的算術wwwww
バカペディアニート自殺したら？
234 １３２人目の素数さん[] 2024/05/08(水) 06:52:52.93 ID:Z7b3zhjA
>>233
バカ「ゲーデルの不完全性定理はペアノ算術に限定されていて論理一般などに適用できない！(by バカペディア眺めて知ったかぶり)」
現実「シェファードソンの表現定理により任意の論理式のΣ1集合における無矛盾性が証明不可とされ、さらに適用範囲は任意の論理式のΣn集合などに拡張され続けているから論理一般で成立している」
287:１３２人目の素数さん
24/05/08 09:17:19.57 Z7b3zhjA.net
>>276
バカすぎるから自殺しろ
科学理論の誤りなど実験で完全にわかる
288:１３２人目の素数さん
24/05/08 09:17:40.52 txpsnWFG.net
フレーゲやラッセルの話は
高校生以上のレベル。
289:１３２人目の素数さん
24/05/08 09:17:45.77 pg4+Z685.net
>>273-274
フレーゲの論理学＝一階述語論理
290: ではない フレーゲの理論は型理論である 知らない人はもぐり
291:１３２人目の素数さん
24/05/08 09:18:12.78 Z7b3zhjA.net
>>276
誤りのないことなど余裕で示せる
帰納とか斉一性とか吠えてるのは科学教育を受けたことがないヒキコモリニートくらいなもん
そんなものは現実の科学では絶対に許されない禁忌
例えば重力の逆二乗則ですらあらゆる範囲で成り立つなどとは誰も主張しておらず
むしろこの範囲でのみ成立するという実験が繰り返されている
本物の科学の世界では帰納も斉一性の仮定も絶対に許されない禁忌
ニートのバカペディア科学と本物の科学が違うのは当たり前
292:１３２人目の素数さん
24/05/08 09:18:19.66 Z7b3zhjA.net
>>281
URLﾘﾝｸ(granite.phys.s.u-tokyo.ac.jp)
293:１３２人目の素数さん
24/05/08 09:18:44.91 Z7b3zhjA.net
>>280
型理論はラッセルだよ脳障害無職w.www
294:１３２人目の素数さん
24/05/08 09:18:45.82 pg4+Z685.net
>>278
>科学理論の誤りなど実験で完全にわかる
逆に誤りのないことはいくら実験をしても示せるわけではない
295:１３２人目の素数さん
24/05/08 09:19:12.99 Z7b3zhjA.net
>>284
簡単に示せるぞ脳障害
URLﾘﾝｸ(granite.phys.s.u-tokyo.ac.jp)
296:１３２人目の素数さん
24/05/08 09:19:33.55 Z7b3zhjA.net
>>284
低学歴だから科学理論の意味すらわかってないwwww
297:１３２人目の素数さん
24/05/08 09:20:01.53 txpsnWFG.net
>>278
誤りがないことを実験で示せると主張しているのではないよね
298:１３２人目の素数さん
24/05/08 09:20:04.07 Z7b3zhjA.net
科学はあらゆる範囲で法則が成り立つなどと趣味しない
それは絶対に許されない
科学は測定した範囲でのみ成り立つとしか主張してはならない
299:１３２人目の素数さん
24/05/08 09:20:33.50 Z7b3zhjA.net
>>287
科学はあらゆる範囲で法則が成り立つなどと主張しない
それは絶対に許されない
科学は測定した範囲でのみ成り立つとしか主張してはならない
ニート科学と本物の科学が違うだけの話
300:１３２人目の素数さん
24/05/08 09:20:35.15 pg4+Z685.net
>>281
>誤りのないことなど余裕で示せる
誤りが見つからない＝誤りがないと示せた と思うのは科学のド素人
301:１３２人目の素数さん
24/05/08 09:21:22.70 Z7b3zhjA.net
>>290
ここまでは成り立つと証明したことしか主張出来ないのが科学
ニート科学は科学ではないw
302:１３２人目の素数さん
24/05/08 09:21:35.95 Z7b3zhjA.net
>>290
285 １３２人目の素数さん[] 2024/05/08(水) 09:19:12.99 ID:Z7b3zhjA
>>284
簡単に示せるぞ脳障害
URLﾘﾝｸ(granite.phys.s.u-tokyo.ac.jp)
303:１３２人目の素数さん
24/05/08 09:21:55.45 Z7b3zhjA.net
>>290
誤りがないと示してる
バカは自殺しとけ
304:１３２人目の素数さん
24/05/08 09:22:01.24 pg4+Z685.net
>>287
>誤りがないことを実験で示せると主張しているのではないよね
証明でも示せない どうやって示すつもりか知らないが
示せたと思うならそれは思い込みでしかない
305:１３２人目の素数さん
24/05/08 09:22:07.31 Z7b3zhjA.net
測定してない範囲はわからないだけ
バカすぎる
306:１３２人目の素数さん
24/05/08 09:22:42.54 Z7b3zhjA.net
>>294
科学とは無関係な妄想
科学は測定した範囲しか主張できない
307:１３２人目の素数さん
24/05/08 09:22:50.36 pg4+Z685.net
>誤りがないと示してる
誤りが見つからないから誤りがないと示せたというのは三歳児
308:１３２人目の素数さん
24/05/08 09:23:50.21 Z7b3zhjA.net
ニート科学:測ってもないのに法則が成り立つという妄想
本物の科学:測った範囲では法則が成り立つと主張するだけ
バカペディアにはニート科学は書いてあっても本物の科学は書かれてない
309:１３２人目の素数さん
24/05/08 09:23:50.25 txpsnWFG.net
>>288
「誤りがない」という言葉の意味を小学生向けに
説明するのは難しそうだね
310:１３２人目の素数さん
24/05/08 09:24:02.03 Z7b3zhjA.net
>>297
ニート科学:測ってもないのに法則が成り立つという妄想
本物の科学:測った範囲では法則が成り立つと主張するだけ
バカペディアにはニート科学は書いてあっても本物の科学は書かれてない
311:１３２人目の素数さん
24/05/08 09:24:08.35 Z7b3zhjA.net
>>299
ニート科学:測ってもないのに法則が成り立つという妄想
本物の科学:測った範囲では法則が成り立つと主張するだけ
バカペディアにはニート科学は書いてあっても本物の科学は書かれてない
312:１３２人目の素数さん
24/05/08 09:24:23.85 pg4+Z685.net
>>296
＞科学は測定した範囲しか主張できない
ビッグバンは直接測定した上でその存在を主張したのかね？
違うだろ？ 謙虚になろうな 三歳児の君
313:１３２人目の素数さん
24/05/08 09:24:35.74 Z7b3zhjA.net
>>299
そもそも科学では帰納や斉一性は絶対の禁忌
314:１３２人目の素数さん
24/05/08 09:25:01.22 Z7b3zhjA.net
>>302
間接測定だねはい論破
315:１３２人目の素数さん
24/05/08 09:25:17.4
316:2 ID:Z7b3zhjA.net
317:１３２人目の素数さん
24/05/08 09:25:40.19 Z7b3zhjA.net
ニート科学:測ってもないのに法則が成り立つという妄想
本物の科学:測った範囲では法則が成り立つと主張するだけ
バカペディアにはニート科学は書いてあっても本物の科学は書かれてない
318:１３２人目の素数さん
24/05/08 09:26:01.57 pg4+Z685.net
>>299
>「誤りがない」という言葉の意味を小学生向けに説明するのは難しそうだね
誤りがない、という言葉を吐きたがるのは小学生
大学出たら、そういう無邪気な言葉で自慢する癖から抜け出す
319:１３２人目の素数さん
24/05/08 09:27:03.68 Z7b3zhjA.net
>>307
>>280
型理論はラッセルだよ脳障害無職wwwwwww
320:１３２人目の素数さん
24/05/08 09:27:22.87 Z7b3zhjA.net
フレーゲの型理論wwww
ラッセルの型理論と混同してるのバカすぎるwwww
321:１３２人目の素数さん
24/05/08 09:27:37.73 Z7b3zhjA.net
さっきググってバカペディア見てきました感満載wwwwww
322:１３２人目の素数さん
24/05/08 09:27:49.12 Z7b3zhjA.net
フレーゲとラッセルの区別すらついてなさそう
323:１３２人目の素数さん
24/05/08 09:28:17.56 pg4+Z685.net
>>225
>いわゆる社会科学は、論理だけでは片付かない
>つまり、このような社会科学は、主として未来を扱っているのです
>すなわち、ある手段(解決策)がa,b,cと3つ選択肢があるとして、どれがベストか？
>そもそも、3つ選択肢 a,b,cを どう設定するのか？
>このような社会問題には、自然科学だけでは不十分で哲学的な思考も必要になるのです
社会科学は反証不可能な点で、占星術と大して変わらない
はずれても間違ってましたと認めないなら学問ではない
324:１３２人目の素数さん
24/05/08 09:28:22.07 Z7b3zhjA.net
フレーゲの論理学にラッセルのパラドックスを発見してラッセルの型理論を作ったという流れが全く理解できてないwww
低学歴ってすげえなwwwww
325:１３２人目の素数さん
24/05/08 09:28:43.05 Z7b3zhjA.net
>>312
フレーゲの論理学にラッセルのパラドックスを発見してラッセルの型理論を作ったという流れが全く理解できてないwww
低学歴ってすげえなwwwww
326:１３２人目の素数さん
24/05/08 09:28:52.60 Z7b3zhjA.net
>>312
フレーゲの論理学にラッセルのパラドックスを発見してラッセルの型理論を作ったという流れが全く理解できてないwww
低学歴ってすげえなwwwww
327:１３２人目の素数さん
24/05/08 09:28:59.28 Z7b3zhjA.net
>>312
フレーゲの論理学にラッセルのパラドックスを発見してラッセルの型理論を作ったという流れが全く理解できてないwww
低学歴ってすげえなwwwww
328:１３２人目の素数さん
24/05/08 09:29:13.32 Z7b3zhjA.net
フレーゲの型理論wwwwwwwwww
バカすぎる自殺しとけ
329:１３２人目の素数さん
24/05/08 09:29:23.65 Z7b3zhjA.net
フレーゲの型理論はやばいってwwwwwwwwwwwwww
330:１３２人目の素数さん
24/05/08 09:29:29.09 Z7b3zhjA.net
フレーゲの論理学にラッセルのパラドックスを発見してラッセルの型理論を作ったという流れが全く理解できてないwww
低学歴ってすげえなwwwww
331:１３２人目の素数さん
24/05/08 09:29:48.83 Z7b3zhjA.net
さっきググってバカペディア見てきました感満載wwwwww
フレーゲとラッセルの区別すらついてなさそう
332:１３２人目の素数さん
24/05/08 09:30:07.87 Z7b3zhjA.net
フレーゲの論理学にラッセルのパラドックスを発見してラッセルの型理論を作ったという流れが全く理解できてないwww
低学歴ってすげえなwwwww
333:１３２人目の素数さん
24/05/08 09:30:18.26 Z7b3zhjA.net
フレーゲとラッセルの区別すらついてなさそう
334:１３２人目の素数さん
24/05/08 09:30:46.76 Z7b3zhjA.net
>>280
>>>273-274
>フレーゲの論理学＝一階述語論理 ではない
>フレーゲの理論は型理論である 知らない人はもぐり
フレーゲの論理学にラッセルのパラドックスを発見してラッセルの型理論を作ったという流れが全く理解できてないwww
低学歴ってすげえなwwwww
さっきググってバカペディア見てきました感満載wwwwww
フレーゲとラッセルの区別すらついてなさそう
335:１３２人目の素数さん
24/05/08 09:30:53.14 PVo1n3fi.net
論理学と型理論の違いを述べよ
フレーゲの理論は一階述語論理ではない時点で単なる論理学ではなく型理論である
これ説明できない人は「ボクちゃん間違ってない」と言いたいだけの三歳児
336:１３２人目の素数さん
24/05/08 09:31:56.01 Z7b3zhjA.net
>>324
型理論は自己言及するたびに型を変える理論であってフレーゲの論理学にはそんな性質は全く存在しないぞ知ったかぶりガイジwwwwwwwwwww
もしかしてこの低学歴無職って
型理論の意味すら理解できてない？wwww
337:１３２人目の素数さん
24/05/08 09:32:24.13 Z7b3zhjA.net
>>324
型理論の意味からして理解してない脳障害やべえwwwwww
338:１３２人目の素数さん
24/05/08 09:32:47.27 PVo1n3fi.net
＞フレーゲの論理学にラッセルのパラドックスを発見してラッセルの型理論を作ったという流れが全く理解できてない
そもそもラッセルのパラドックスは、論理学のパラドックスではない
このことが理解できないのは対角線論法すら知らずただ自己言及だからダメと吠えるだけの素人
339:１３２人目の素数さん
24/05/08 09:32:58.74 Z7b3zhjA.net
これ絶対にプログラミングの型か何かと混同してるわwwwwwwwwwww
ラッセルの型理論はそういう型とは全く無関係だっつのwwww
340:１３２人目の素数さん
24/05/08 09:33:42.95 PVo1n3fi.net
＞型理論は自己言及するたびに型を変える理論であって
素人君が勝手にそう誤解してるだけ
341:１３２人目の素数さん
24/05/08 09:34:09.02 Z7b3zhjA.net
>>327
低学歴バカすぎるwwwwww
型理論のないフレーゲの論理学ではパラドックス
型理論のあるラッセルの論理学ではパラドックスではない
素朴集合論ではパラドックス
公理的集合論ではパラドックスではない
こういう分類出来てない時点で自殺すべきwww
342:１３２人目の素数さん
24/05/08 09:34:23.09 Z7b3zhjA.net
>>329
>>327
低学歴バカすぎるwwwwww
型理論のないフレーゲの論理学ではパラドックス
型理論のあるラッセルの論理学ではパラドックスではない
素朴集合論ではパラドックス
公理的集合論ではパラドックスではない
こういう分類出来てない時点で自殺すべきwww
343:１３２人目の素数さん
24/05/08 09:34:34.24 Z7b3zhjA.net
>>329
これ絶対にプログラミングの型か何かと混同してるわwwwwwwwwwww
ラッセルの型理論はそういう型とは全く無関係だっつのwwww
344:１３２人目の素数さん
24/05/08 09:35:03.29 PVo1n3fi.net
>>328
>プログラミングの型
その話はしてないが、無関係というわけでもない
345:１３２人目の素数さん
24/05/08 09:35:50.51 Z7b3zhjA.net
>>333
全く無関係
フレーゲの型理論など存在しねえよ知ったかぶり低学歴無職www
じゃあフレーゲの著作のどの本の何ページにどのように型の定義が書かれてるのか引用しろ
引用できないなら自殺しろ
346:１３２人目の素数さん
24/05/08 09:36:19.13 Z7b3zhjA.net
>>333
>>329
>>327
低学歴バカすぎるwwwwww
型理論のないフレーゲの論理学ではパラドックス
型理論のあるラッセルの論理学ではパラドックスではない
素朴集合論ではパラドックス
公理的集合論ではパラドックスではない
こういう分類出来てない時点で自殺すべきwww
347:１３２人目の素数さん
24/05/08 09:36:52.53 Z7b3zhjA.net
>>327
フレーゲの論理学のパラドックスだよ自殺しとけ無知
348:１３２人目の素数さん
24/05/08 09:37:17.45 Z7b3zhjA.net
さっきググってバカペディア見てきました感満載wwwwww
349:１３２人目の素数さん
24/05/08 09:37:33.76 Z7b3zhjA.net
フレーゲの論理学にラッセルのパラドックスを発見してラッセルの型理論を作ったという流れが全く理解できてないwww
低学歴ってすげえなwwwww
350:１３２人目の素数さん
24/05/08 09:38:24.65 Z7b3zhjA.net
>>327
フレーゲの論理学のパラドックスだよ自殺しとけ無知
351:１３２人目の素数さん
24/05/08 09:38:27.08 L5Hzs8cd.net
言語哲学と文化人類学の重要性が重複してるのは
同一律が不能になった
352:からなのは確かだが 脱キリスト教化したところの近代的理性を広めるにあたって、東方の蛮族まで真理を拝受する万人になってしまって 人間の基準がヨーロッパのローカルでは収まらなくなった おまけに、哲学書における矛盾は、同じヨーロッパ人向けに書いてあるため、それが内容だったりするんだ 文学分野で理系コンプこじらせて科学論理に近いことやると、普遍主義の問題が一般化の問題になる 受験数学でいう整った解が導かれる問いのように、あらかじめ真であると言わざるを得ない倫理命題を作れてしまうんだよ ヴィトゲンシュタインに見いだした科学性の威を借りて哲学の終焉を語ってドヤるのは二重に素人あるあるだからやめとけ 社会学をやるのはかまわんが、民俗学を延々否定してそこから一歩も先に進まない連中なんてごまんといる あと、ヴィトゲンシュタインには今日的な課題は残っていない
353:１３２人目の素数さん
24/05/08 09:38:34.00 Z7b3zhjA.net
>>327
フレーゲの論理学のパラドックスだよ自殺しとけ無知
354:１３２人目の素数さん
24/05/08 09:39:30.10 Z7b3zhjA.net
>>327
フレーゲの論理学のパラドックスだよ自殺しとけ無知
355:１３２人目の素数さん
24/05/08 09:39:44.16 Z7b3zhjA.net
>>333
>>329
>>327
低学歴バカすぎるwwwwww
型理論のないフレーゲの論理学ではパラドックス
型理論のあるラッセルの論理学ではパラドックスではない
素朴集合論ではパラドックス
公理的集合論ではパラドックスではない
こういう分類出来てない時点で自殺すべきwww
356:１３２人目の素数さん
24/05/08 09:40:11.81 Z7b3zhjA.net
>>324
型理論は自己言及するたびに型を変える理論であってフレーゲの論理学にはそんな性質は全く存在しないぞ知ったかぶりガイジwwwwwwwwwww
もしかしてこの低学歴無職って
型理論の意味すら理解できてない？wwww
357:１３２人目の素数さん
24/05/08 09:40:51.53 Z7b3zhjA.net
自己言及する側とされる側を区別するアイディアがフレーゲの論理学にあるわけねえだろwwwwww
バカすぎるwwww
358:１３２人目の素数さん
24/05/08 09:41:06.10 Z7b3zhjA.net
低学歴ってすげえwwwww
359:１３２人目の素数さん
24/05/08 09:41:34.00 PVo1n3fi.net
＞素朴集合論ではパラドックス
素朴集合論は型理論の一種
＞公理的集合論ではパラドックスではない
ラッセルの型理論と公理的集合論は実は異なる
知らない君はもぐり
360:１３２人目の素数さん
24/05/08 09:42:00.19 Z7b3zhjA.net
>>347
ソース無し
361:１３２人目の素数さん
24/05/08 09:42:27.76 Z7b3zhjA.net
>>347
実は異なるどころか等価と証明されてる
バカは自殺しとけ
362:１３２人目の素数さん
24/05/08 09:42:46.85 PVo1n3fi.net
＞自己言及する側とされる側を区別するアイディア
自己言及という言葉だけを振り回すのは素人
363:１３２人目の素数さん
24/05/08 09:43:55.08 PVo1n3fi.net
＞（公理的集合論とラッセルの型理論は）実は異なるどころか等価と証明されてる
はい、誤り
素人は勝手に思い込んで間違う
364:１３２人目の素数さん
24/05/08 09:46:02.64 Z7b3zhjA.net
>>350
型理論の定義そのものすら知らない脳障害wwww
365:１３２人目の素数さん
24/05/08 09:46:24.61 L5Hzs8cd.net
>>340
訂正↓
人間の基準がヨーロッパのローカルでは収まらなくなったという隠れた事情がある
366:１３２人目の素数さん
24/05/08 09:46:26.67 Z7b3zhjA.net
>>351
バカの妄想には意味がない
367:１３２人目の素数さん
24/05/08 09:49:09.02 PVo1n3fi.net
”ある二変数述語E(x,y)があって
任意の一変数述語P(y)について
P(y)⇔E(a,y)となるaが存在するとする”
実はここから矛盾が導ける、というのがラッセルのパラドックス
R(y)⇔￢E(y,y) と定義する
もしR(y)⇔E(b,y)なるbが存在するとして、y＝bとすると
R(b)⇔￢E(b,b) かつ R(b)⇔E(b,b) となるから
￢E(b,b)⇔E(b,b) となり矛盾
””の箇所は述語論理ではなく型理論
368:１３２人目の素数さん
24/05/08 09:49:35.52 PVo1n3fi.net
>型理論の定義そのものすら知らない
君がね
369:１３２人目の素数さん
24/05/08 09:51:55.09 PVo1n3fi.net
集合＝型 である
ナイーブに「型全体からなる型」を考えると矛盾する
というのがラッセルのパラドックス
370:１３２人目の素数さん
24/05/08 09:53:59.14 Z7b3zhjA.net
>>355
型理論じゃねーよ脳障害wwww
バカすぎる自殺しとけ
371:１３２人目の素数さん
24/05/08 09:53:59.84 PVo1n3fi.net
>>340
君はヨーロッパ人だけが人類だと思ってるのかね？
つまり君は人間ではなくサルだと
372:１３２人目の素数さん
24/05/08 09:54:12.75 Z7b3zhjA.net
>>356
型理論の定義すら知らない脳障害wwww
373:１３２人目の素数さん
24/05/08 09:54:32.22 Z7b3zhjA.net
>>357
>集合＝型 である
>ナイーブに「型全体からなる型」を考えると矛盾する
>というのがラッセルのパラドックス
全くデタラメ
型にはルールがある
374:１３２人目の素数さん
24/05/08 09:55:10.11 PVo1n3fi.net
>>358
君のいう型理論の定義は？ ないだろ？
君が勝手に誤解してただけ ムキになるなよ 素人君
375:１３２人目の素数さん
24/05/08 09:55:17.27 Z7b3zhjA.net
>>355
型理論の定義すら知らない脳障害やべえなwwww
じゃあそこに出てくる型を全て明記してみろ
376:１３２人目の素数さん
24/05/08 09:55:50.60 Z7b3zhjA.net
>>362
型理論はラッセルの型理論しか意味しねえよ猿wwww
定義したのはラッセル
書かれてるのはプリンキピア・マテマティカ
バカは自殺しとけ
377:１３２人目の素数さん
24/05/08 09:56:14.75 PVo1n3fi.net
>>361
>型にはルールがある
では、フレーゲの理論�
378:煬^理論 ルールがあるから ルールから矛盾が導けたというだけのこと
379:１３２人目の素数さん
24/05/08 09:56:18.51 Z7b3zhjA.net
>>362
低学歴型理論最高wwwww
無職がバカペディア眺めて漢字から連想wwwww
380:１３２人目の素数さん
24/05/08 09:56:32.36 Z7b3zhjA.net
>>365
フレーゲには型理論はないしルールもない
381:１３２人目の素数さん
24/05/08 09:56:46.12 Z7b3zhjA.net
>>365
>>362
低学歴型理論最高wwwww
無職がバカペディア眺めて漢字から連想wwwww
382:１３２人目の素数さん
24/05/08 09:57:46.35 PVo1n3fi.net
>>364
＞型理論はラッセルの型理論しか意味しねえよ
君がそれしか知らないからそうだということにはならない
誤りが見つからないから誤りがないということにならないのと同じ
大の大人が三歳児みたいな駄々こねると笑われるよ
383:１３２人目の素数さん
24/05/08 09:58:13.36 Z7b3zhjA.net
type theoryという名前が同一で全く内容が無関係なものが複数あるだけなのに
バカペディア書くニートはそんなことわからないから同じ記事に入れちゃう
そしてそれを読むニートが同じものだと思い込んじゃうwwww
これ最高に笑える本物のバカwwwwwwww
384:１３２人目の素数さん
24/05/08 09:58:25.59 Z7b3zhjA.net
>>369
type theoryという名前が同一で全く内容が無関係なものが複数あるだけなのに
バカペディア書くニートはそんなことわからないから同じ記事に入れちゃう
そしてそれを読むニートが同じものだと思い込んじゃうwwww
これ最高に笑える本物のバカwwwwwwww
385:１３２人目の素数さん
24/05/08 09:58:46.68 Z7b3zhjA.net
>>369
それしか知らないのではなくその話しかしてない
ラッセルのパラドックスの話しかしてねえんだからなwwww
バカは自殺しとけ
386:１３２人目の素数さん
24/05/08 09:58:58.06 Z7b3zhjA.net
>>369
type theoryという名前が同一で全く内容が無関係なものが複数あるだけなのに
バカペディア書くニートはそんなことわからないから同じ記事に入れちゃう
そしてそれを読むニートが同じものだと思い込んじゃうwwww
これ最高に笑える本物のバカwwwwwwww
387:１３２人目の素数さん
24/05/08 09:59:15.67 PVo1n3fi.net
>フレーゲには型理論はないしルールもない
君がフレーゲの理論を知らないだけ
ラッセルのパラドックスも知らないのだろう
知っていれば、型もそのルールもないというのが嘘だと分かる
ラッセルのパラドックスは>>355で示した通りだから
388:１３２人目の素数さん
24/05/08 09:59:28.05 Z7b3zhjA.net
ラッセルのパラドックスに関係あるのはラッセルの型理論だけですけどwwwwwww
389:１３２人目の素数さん
24/05/08 09:59:56.95 Z7b3zhjA.net
>>374
フレーゲのどこに型理論が書かれてるのか引用しろと言われてるのに逃げたニートwwww
390:１３２人目の素数さん
24/05/08 10:00:11.18 Z7b3zhjA.net
>>374
>>333
全く無関係
フレーゲの型理論など存在しねえよ知ったかぶり低学歴無職www
じゃあフレーゲの著作のどの本の何ページにどのように型の定義が書かれてるのか引用しろ
引用できないなら自殺しろ
391:１３２人目の素数さん
24/05/08 10:00:19.16 Z7b3zhjA.net
>>374
>>333
全く無関係
フレーゲの型理論など存在しねえよ知ったかぶり低学歴無職www
じゃあフレーゲの著作のどの本の何ページにどのように型の定義が書かれてるのか引用しろ
引用できないなら自殺しろ
392:１３２人目の素数さん
24/05/08 10:00:25.31 Z7b3zhjA.net
>>374
>>333
全く無関係
フレーゲの型理論など存在しねえよ知ったかぶり低学歴無職www
じゃあフレーゲの著作のどの本の何ページにどのように型の定義が書かれてるのか引用しろ
引用できないなら自殺しろ
393:１３２人目の素数さん
24/05/08 10:00:30.14 Z7b3zhjA.net
>>374
>>333
全く無関係
フレーゲの型理論など存在しねえよ知ったかぶり低学歴無職www
じゃあフレーゲの著作のどの本の何ページにどのように型の定義が書かれてるのか引用しろ
引用できないなら自殺しろ
394:１３２人目の素数さん
24/05/08 10:01:29.79 Z7b3zhjA.net
一つもソース出せないバカペディアニートwwwwww
フレーゲの型理論wwwwwwwwwwwwww
395:１３２人目の素数さん
24/05/08 10:01:41.56 Z7b3zhjA.net
フレーゲのwwwwwww
型理論wwwwwwwwwww
396:１３２人目の素数さん
24/05/08 10:05:58.63 L5Hzs8cd.net
>>359
逆だよ、むしろサルじゃなくなって困ったのが
戦後の白人エリート
ちゃんと事の顛末としてピーターシンガーの応用倫理も経済戦争に悪用されてるじゃん
397:１３２人目の素数さん
24/05/08 10:08:14.18 P8x5lHTe.net
この世界のどこにもソース無しwwwwwwww
ニートの妄想wwwwww
>>359
お前が猿
398:１３２人目の素数さん
24/05/08 10:11:11.40 P8x5lHTe.net
>>374
フレーゲの型理論など存在しねえよ知ったかぶり低学歴無職www
じゃあフレーゲの著作のどの本の何ページにどのように型の定義が書かれてるのか引用しろ
引用できないなら自殺しろ
399:１３２人目の素数さん
24/05/08 10:19:48.78 P8x5lHTe.net
>>374
フレーゲの型理論など存在しねえよ知ったかぶり低学歴無職www
じゃあフレーゲの著作のどの本の何ページにどのように型の定義が書かれてるのか引用しろ
引用できないなら自殺しろ
400:１３２人目の素数さん
24/05/08 10:32:03.85 P8x5lHTe.net
フレーゲの型理論wwww
バカペディアニート最高ですわwwww
type theoryという名前が同一で全く内容が無関係なものが複数あるだけなのに
バカペディア書くニートはそんなことわからないから同じ記事に入れちゃう
そしてそれを読むニートが同じものだと思い込んじゃうwwww
これ最高に笑える本物のバカwwwwwwww
401:１３２人目の素数さん
24/05/08 10:32:26.14 P8x5lHTe.net
いつどこで誰が同じものだと言ったんだよwwwwww
402:１３２人目の素数さん
24/05/08 10:33:46.34 P8x5lHTe.net
最高に笑える本物のバカID:PVo1n3fi
403:１３２人目の素数さん
24/05/08 10:33:57.14 P8x5lHTe.net
これ
URLﾘﾝｸ(video.twimg.com)
404:１３２人目の素数さん
24/05/08 10:42:41.04 Tf5Ymq4t.net
>>245
>哲学はある仮定の正しさをその仮定から導くことができるという妄想
>文字が読めないなら自殺しろ
・243です
論点ずらしとストローマン論法 ご苦労様です
・”１）証明が無い！ ２）”哲学の数学的定義”がない ３）”過去全ての哲学は妄想と確定”したとしても、それはあくまで過去
いまこの瞬間からの哲学が妄想とすることの証明の代用にならんｗ”
の３点について、スルーしている
そして、必死に”ビッグバン宇宙論”を突く
・その戦法は、５ｃｈスレバトル戦法としては悪くはないが
見透かされたら、通用しないｗ
さて、本論にもどる
１）”哲学は100年前に滅亡した”>>219 について
一つの説としては認めるが、それは少数説だな
２）私は”哲学”が無用とは思わ
405:ない 実際、フランスは大学入試で全学科に哲学の試験を課している>>230 ということは、高校のカリキュラムでも”哲学”があるんだ で、君の説では、フランスは狂気の沙汰で、全くの時間の浪費をしていることになるが その実、”フランス人は冗談で，フィールズ賞にはフランス人枠があるんだという”くらいフランスは強い(河東>>230) 思うに、フランスの”哲学”教育の良い影響で、既存の数学だけでは満足せず もっと根源的に数学を探求する態度が、フランス人数学者には備わっているのでは それが、革新的な数学理論につながり、フィールズ賞につながっているように思う ３）私は、日本も”哲学”教育を もっとやったら良いと思う
406:１３２人目の素数さん
24/05/08 10:53:52.09 wgEoKnwC.net
とりあえず、少しかじった人間として言いたいのは
根性論も経験論も危ういが、科学的な道徳も十全じゃないってこと
政治の道具になった温室効果ガスなんて実在してようがしてまいが関係なくて
実在していればなお良しというものでしかないいでしょ
間違うのは科学者であり、科学は間違わないとなれば、あとで間違いを認めるだけで、実質的には過ちを犯し放題になる
(間違うのは人間であり神は間違わないという中世の宗教的権威国家と同じ統治構造。魂や死後の裁きといった目に見えないものを語る権威性が、原子や統計的な数、細菌などに置き換わっただけ)
よって、社会科学の特性である現実とのすり合わせってやつですら疑念が残る
下手にトロッコ問題を真に受けて、野良ロジシャンを気取るくらいなら
何事も、いつか起こりうるが、いつ起こるかわからない。という統計確率に先立つ剥き出しの事実を受け入れて
ことわざ辞典でも読んでる方がマシ
407:１３２人目の素数さん
24/05/08 10:58:22.35 P8x5lHTe.net
>>391
フランスがどうとか全く無意味
他国では無くてもフランス以上の業績を出してることから存在価値がない
単に無能な哲学教授が飯食うために国家に規制してるだけ
ホメオパシーと何も変わらん国家の癌
408:１３２人目の素数さん
24/05/08 10:58:39.95 P8x5lHTe.net
>>391
フランスがどうとか全く無意味
他国では無くてもフランス以上の業績を出してることから存在価値がない
単に無能な哲学教授が飯食うために国家に寄生してるだけ
ホメオパシーと何も変わらん国家の癌
409:１３２人目の素数さん
24/05/08 10:59:51.64 P8x5lHTe.net
>>392
エネルギー保存則すら理解してない猿が吠えても意味ない
410:１３２人目の素数さん
24/05/08 11:00:31.92 ix7NZ8ga.net
>>392
科学と道徳は無関係だよ
化石燃料を浪費した上での繁栄なんてバブル
いずれそのつけを支払うことになる
核融合なんて実現できるかどうかわからん
エネルギーがなくなったら
鉄道も自動車も飛行機もテレビもコンピュータもネットもなくなる
昔に逆戻り ふくれあがった人口はどうなるんだろうね 地獄だね
411:１３２人目の素数さん
24/05/08 11:06:25.92 P8x5lHTe.net
>>396
科学と道徳は関係あるけど低学歴は知らないだけ
利己的遺伝子やミームと倫理を結びつけてモデル化して実証する進化倫理学など無数のアプローチがある
でもこういう論文はバカペディアには書かれてないは低学歴のニート科学の中には存在してないだけ
412:１３２人目の素数さん
24/05/08 11:07:05.13 P8x5lHTe.net
>>392
低学歴の妄想科学は本物の科学と無関係
科学知らん猿が吠えるなよw
413:１３２人目の素数さん
24/05/08 11:09:35.8
414:8 ID:wgEoKnwC.net
415:１３２人目の素数さん
24/05/08 11:11:09.97 P8x5lHTe.net
フランスの哲学教育って
イギリスのホメオパシーくらいに国家の癌
416:１３２人目の素数さん
24/05/08 11:12:59.49 P8x5lHTe.net
そもそもソーカル事件で叩かれたゴミを教えてる時点で論外
417:１３２人目の素数さん
24/05/08 11:15:43.02 wgEoKnwC.net
>>396
自分は、まさにその科学と道徳が関係する危うさを言ってる
フィリピンのキリスト教のような部族解体の道具や普遍主義が、科学的データを全面に押し出したグローバル説教に刷り変わってるということを言いたいわけだ
418:１３２人目の素数さん
24/05/08 11:16:38.61 BBjhKMzB.net
>>397
なんか素人がしったかしてイキってますね
419:１３２人目の素数さん
24/05/08 11:17:47.30 BBjhKMzB.net
倫理は知と無関係
賢くなったら正しくなれる、というものではない
420:１３２人目の素数さん
24/05/08 11:17:51.16 P8x5lHTe.net
>>403
素人はお前
博士号もない無職ウケるねw
421:１３２人目の素数さん
24/05/08 11:18:35.23 P8x5lHTe.net
>>404
低学歴はその時点で正しくない
422:１３２人目の素数さん
24/05/08 11:19:04.60 wgEoKnwC.net
>>400
ブルバキ主義を初等教育に用いて計算能力の低い子供を作り出したりね
要するに、やりっ放し
423:１３２人目の素数さん
24/05/08 11:19:37.10 BBjhKMzB.net
>>402
賢くなればなるほど正しくなくなる
人類は字も書けず数も数えられないおサルさんに戻ったほうがいいのかもしれん
424:１３２人目の素数さん
24/05/08 11:20:21.25 LApwHT/w.net
新手の荒らしだったか
425:１３２人目の素数さん
24/05/08 11:21:05.60 BBjhKMzB.net
>>405－406
そういう君こそ博士号どころか学士でもない高卒でしょ
嘘の知は全部捨てなさい そうすれば正しくなれるよ
426:１３２人目の素数さん
24/05/08 11:22:20.12 BBjhKMzB.net
どうして何も知らない人に限って
何も知らないことを恥じて
嘘の知を貪り食うんだろう
何も知らないことこそ究極の正義なのに
427:１３２人目の素数さん
24/05/08 11:24:26.89 P8x5lHTe.net
>>410
博士号あるよ残念でしたーww
428:１３２人目の素数さん
24/05/08 11:25:38.18 P8x5lHTe.net
>>411
論文読めない猿ってさ
人間の文明にアクセスできないことが悔しくて死にたくならんの？
俺ならそんな状態で生きることに耐えられるとは思えんが
429:１３２人目の素数さん
24/05/08 11:26:36.61 wgEoKnwC.net
>>397
それはあんたの担当教官がただの概念輸入屋のしょうもない人なんじゃない？
宗教が終わって功利主義と結びついた倫理は役にたたないよ
民主主義的な数が資本主義の数に回収されるから、悪法を議論する能力があればいい
あと、啓蒙主義や普遍主義批判くらい目を通しておけ
これらの問題点を問えないから野良ロジシャンだといってるの
430:１３２人目の素数さん
24/05/08 11:26:55.91 BBjhKMzB.net
>>412
自称博士でしたか
どうして無知な人ほど無知を恥じて
賢者だと嘘とつきたがるのだろう
愚者こそが正義なのに
431:１３２人目の素数さん
24/05/08 11:28:26.37 P8x5lHTe.net
>>415
自称じゃなくてすまんのうwww
432:１３２人目の素数さん
24/05/08 11:28:48.42 BBjhKMzB.net
>>413
文明は悪だよ 知も悪
まあ、君のは嘘の知は嘘の悪だね
よかったね 本当の悪じゃなくて
433:１３２人目の素数さん
24/05/08 11:29:19.12 BBjhKMzB.net
>>416
無学博士でしたか
434:１３２人目の素数さん
24/05/08 11:30:52.97 P8x5lHTe.net
>>414
担当教官？
何言ってんだこの猿
低学歴って論文読めないの？
あのさあ
低学歴無職は知らないのかもしれないけど
博士号って研究の手法を自分で学ぶだけなから
習うことなんて一つもないし専門分野なんて関係ないんだよ
常に新しい分野を即学べるから研究が継続できるわけ
つまりゴミ大学なら無理だけど
マトモな大学の博士号持ってるならどんな分野の論文でも瞬時に読んでその分野の最先端を瞬時にマスターできるだけだよ
そのようにエコシステムができてるものしか研究というものは不可能
こういうことを学ぶのが博士課程なのであって
ニートが妄想する専門知識なんて教わらないよw
435:１３２人目の素数さん
24/05/08 11:31:58.42 BBjhKMzB.net
>>219を読むとこれ書いた人高卒だなと分かる
大卒はここまで酷い嘘を平然と書き散らかせない
436:１３２人目の素数さん
24/05/08 11:32:30.62 P8x5lHTe.net
>>420
低学歴って生きてる意味あんの？
なぜ自殺したくならないの？
それとも自殺したいけどビビってできないだけなの？
437:１３２人目の素数さん
24/05/08 11:33:00.74 P8x5lHTe.net
>>420
何一つ反論できないって
死にたくならんの？
438:１３２人目の素数さん
24/05/08 11:33:16.83 P8x5lHTe.net
>>418
低学歴くやちいねw
439:１３２人目の素数さん
24/05/08 11:33:18.00 BBjhKMzB.net
>>419を読むとこの人大学行ったことないなと分かる
大卒はここまで尊大な物言い恥ずかしくてできない
440:１３２人目の素数さん
24/05/08 11:33:41.29 P8x5lHTe.net
>>424
と中卒無職が吠えておりますw
441:１３２人目の素数さん
24/05/08 11:34:01.73 P8x5lHTe.net
>>424
>>414
担当教官？
何言ってんだこの猿
低学歴って論文読めないの？
あのさあ
低学歴無職は知らないのかもしれないけど
博士号って研究の手法を自分で学ぶだけなから
習うことなんて一つもないし専門分野なんて関係ないんだよ
常に新しい分野を即学べるから研究が継続できるわけ
つまりゴミ大学なら無理だけど
マトモな大学の博士号持ってるならどんな分野の論文でも瞬時に読んでその分野の最先端を瞬時にマスターできるだけだよ
そのようにエコシステムができてるものしか研究というものは不可能
こういうことを学ぶのが博士課程なのであって
ニートが妄想する専門知識なんて教わらないよw
442:１３２人目の素数さん
24/05/08 11:34:29.71 BBjhKMzB.net
>>421－423 自虐ですか
いいじゃないの無学だって
無学だって死にやしないよ
443:１３２人目の素数さん
24/05/08 11:34:38.09 P8x5lHTe.net
バカペディアに書いてないもんねこういうことw
444:１３２人目の素数さん
24/05/08 11:34:53.82 P8x5lHTe.net
>>427
自殺したくならないの？
445:１３２人目の素数さん
24/05/08 11:35:19.63 P8x5lHTe.net
>>427
人間になれない猿なんて死にたいでしょ？
なぜ生きていられるのか理解不可能
446:１３２人目の素数さん
24/05/08 11:36:06.35 BBjhKMzB.net
>>426 論文零の無学博士さん
もう無理して嘘つかなくていいよ
誰も君に生きる価値なしなんていわないから
447:１３２人目の素数さん
24/05/08 11:36:13.68 wgEoKnwC.net
>>419
ニートが妄想する専門知識？
普遍主義に対する批判的言説はそもそも翻訳が少ないから妄想に見えるんでしょ？
448:１３２人目の素数さん
24/05/08 11:36:40.62 P8x5lHTe.net
>>431
すまんな俺が書いた論文は出身研究室で一番引用されてるんだわwwwwwwwwww
449:１３２人目の素数さん
24/05/08 11:37:06.18 P8x5lHTe.net
>>432
普遍主義って何？
450:１３２人目の素数さん
24/05/08 11:37:30.63 P8x5lHTe.net
>>432
翻訳って何？
そもそも英語の論文しか読むわけないけど
451:１３２人目の素数さん
24/05/08 11:37:40.21 BBjhKMzB.net
>>428－430
それ全部君が云われたことなんだね
でも忘れていいよ 無学な君だって堂々と生きてていいから
452:１３２人目の素数さん
24/05/08 11:37:58.87 P8x5lHTe.net
>>436
お前が今言われてることだよ
死にたくならんの？
453:１３２人目の素数さん
24/05/08 11:38:12.83 P8x5lHTe.net
>>436
無学なお前は生きてちゃダメだよ
454:１３２人目の素数さん
24/05/08 11:38:58.18 BBjhKMzB.net
誤 俺が書いた論文は出身研究室で一番引用されてるんだわ
正 俺の書き込みは５ｃｈで一番コピペされてるんだわ
ＡＡ職人さんでしたか
455:１３２人目の素数さん
24/05/08 11:39:02.95 wgEoKnwC.net
>>420
その人、大卒とか関係なくひどい
キーワードを羅列してなんか言った気になってるだけだもん
456:１３２人目の素数さん
24/05/08 11:39:45.21 P8x5lHTe.net
>>436
URLﾘﾝｸ(epi.ncc.go.jp)
457:1_22_23.PNG
458:１３２人目の素数さん
24/05/08 11:39:48.27 BBjhKMzB.net
>>437-438 無学でもいいＡＡ作れる君なら生きててＯＫだよ
459:１３２人目の素数さん
24/05/08 11:40:14.73 P8x5lHTe.net
>>432
普遍主義って何？
460:１３２人目の素数さん
24/05/08 11:40:34.19 P8x5lHTe.net
>>442
低学歴は死ななきゃダメだよ
税金の浪費
461:１３２人目の素数さん
24/05/08 11:40:54.81 P8x5lHTe.net
フレーゲの型理論wwwww
自殺したくならないの？
462:１３２人目の素数さん
24/05/08 11:41:07.92 P8x5lHTe.net
フレーゲの型理論など存在しねえよ知ったかぶり低学歴無職www
じゃあフレーゲの著作のどの本の何ページにどのように型の定義が書かれてるのか引用しろ
引用できないなら自殺しろ
463:１３２人目の素数さん
24/05/08 11:41:27.03 P8x5lHTe.net
type theoryという名前が同一で全く内容が無関係なものが複数あるだけなのに
バカペディア書くニートはそんなことわからないから同じ記事に入れちゃう
そしてそれを読むニートが同じものだと思い込んじゃうwwww
これ最高に笑える本物のバカwwwwwwww
464:１３２人目の素数さん
24/05/08 11:41:27.53 BBjhKMzB.net
>>440
彼は今何かと必死に戦ってるみたい
早くそれが妄想だと気づけるといいんだけど
465:１３２人目の素数さん
24/05/08 11:41:42.11 P8x5lHTe.net
>>327
フレーゲの論理学のパラドックスだよ自殺しとけ無知
466:１３２人目の素数さん
24/05/08 11:41:59.09 P8x5lHTe.net
いかにして哲学は100年前に滅亡したか
1.ラッセルのパラドックスの発見（1902年）
1902年、哲学者のバートランド・ラッセルが論理学における矛盾を発見しました。
このパラドックスは、通常の論理学では回避できないことが判明し、哲学に大きな衝撃を与えました。
2.ラッセルによる新しい論理学の構築（1903年～）
1903年以降、ラッセルはパラドックスの原因が論理学の仕組みにあると見抜きました。
自己と自己言及を明確に区別して混同しないルールを導入し、パラドックスが起こらない新しい論理学の仕組みを構築しました。
3.ウィトゲンシュタインによる論理学の研究（1911年～）
1911年頃から、ルートヴィヒ・ウィトゲンシュタインはラッセルの弟子となり、新しい矛盾のない論理学で何が言えるのかを研究しました。
その結果、形而上学や哲学を論理的に扱うことは不可能であることが判明しました。
1921年に出版された「論理哲学論考」で、ウィトゲンシュタインは形而上学や哲学は論理学の誤用から生まれる全く意味のない妄想であると論理学を用いて証明しました。
現在までにこの証明に反証できた人間は歴史上1人もいません。
4.ゲーデルの不完全性定理（1931年）
1931年、クルト・ゲーデルもラッセルの論理学に影響を受け、「論理学によって仮定そのものの正しさをその仮定から証明できるか？」を考察しました。
ゲーデルは、それが不可能であることを証明しました（ゲーデルの第一不完全性定理）。
この定理は、当初ペアノ算術におけるω無矛盾性が証明不可能として確立されましたが、後にロッサーの証明ではペアノ算術における単純無矛盾性、シェファードソンの表現定理により任意のΣ1集合で構成される任意の論理式に対して無矛盾性の証明が不可能であることまで拡張されました。
5.哲学の限界と科学の重要性（1920年代～）
1920年代以降、哲学的な仮定の正しさを論理的に証明する方法は存在しないことが明らかになりました。
アイディアの正しさを決める方法は、現実との比較（実験）しかありません。
つまり、正しさを決める方法は科学しかあり得ないことがわかります。
467:１３２人目の素数さん
24/05/08 11:42:07.49 P8x5lHTe.net
これらの出来事により、20世紀初頭から哲学は大きな転換期を迎えました。1902年のラッセルのパラドックス発見以降、哲学者を名乗った時点で不勉強な無知または詐欺師であることは確定しており、賢い哲学者というのは論理的に存在不可能であるとされています。
ウィトゲンシュタインの主要な著作である1921年の「論理哲学論考」では、哲学は論理学の誤用から生まれた無意味な妄想であると論じ、「語り得ぬものには沈黙せねばならない」と結論付けています。
また、1953年に出版された「哲学探究」では、哲学は言葉の使い方の誤りから生じる妄想であるため、その誤りを防止するために言語の誤用を研究する必要があると主張しています。
1931年のゲーデルの不完全性定理は、ある仮定の正しさをその仮定から導くことは不可能であることを証明しました。
一方、哲学はある仮定の正しさをその仮定から導くことができるという妄想に基づいています。
468:１３２人目の素数さん
24/05/08 11:42:29.74 BBjhKMzB.net
>>445－447
型理論がなんだか分からない君でも生きててＯＫだよ
469:１３２人目の素数さん
24/05/08 11:42:33.78 P8x5lHTe.net
カール・ポパーが提唱
470:した「反証可能性」という概念は、科学の方法論として注目を集めましたが、その内容を詳細に検討してみると、実はそれほど革新的な考え方ではないことがわかります。 ポパーの主張の核心は、ある理論が科学的であるためには、その理論が反証可能でなければならないというものです。つまり、その理論が間違っていることを示す証拠が存在する可能性を認めることが重要だと考えました。しかし、これは要するに、法学の分野で長年確立されてきた「証明責任」の原則と大差ありません。 「証明責任」とは、ある主張をする者が、その主張の正当性を証明する責任を負うという、公平な議論のルールです。古代ローマ法の判例から確立したこの原則は、ラテン語で "Onus probandi incumbit ei qui dicit, non ei qui negat"（証明責任は、主張する者に存し、否定する者にはない）と表現され、ローマ法の法文集「ディゲスタ」の22.3.2に法学者パウルスの見解として記載されています。 ポパーの「反証可能性」は、この「証明責任」の原則を科学の文脈で言い換えたに過ぎません。つまり、ある理論を主張する者は、その理論の正しさを証明する責任を負い、反証を受け入れられない状態では主張を証明したことにはならないということです。これは、科学に限らず、法学、政治学、経済学など、あらゆる分野でのフェアな議論に求められる条件であり、ポパーが新しく提唱したものではありません。 したがって、ポパーの「反証可能性」という概念は、科学の方法論として特別に重要な意味を持つわけではなく、むしろ古くから存在する「証明責任」の原則を再確認したに過ぎないと言えます。ポパーの主張は、科学哲学の文脈では一定の意義を持ちますが、科学の実践自体を大きく変革するようなものではないと理解することができます。
471:１３２人目の素数さん
24/05/08 11:42:51.50 P8x5lHTe.net
>>452
フレーゲの型理論など存在しねえよ知ったかぶり低学歴無職www
じゃあフレーゲの著作のどの本の何ページにどのように型の定義が書かれてるのか引用しろ
引用できないなら自殺しろ
472:１３２人目の素数さん
24/05/08 11:43:03.24 P8x5lHTe.net
>>452
フレーゲの型理論など存在しねえよ知ったかぶり低学歴無職www
じゃあフレーゲの著作のどの本の何ページにどのように型の定義が書かれてるのか引用しろ
引用できないなら自殺しろ
473:１３２人目の素数さん
24/05/08 11:43:11.00 P8x5lHTe.net
>>452
フレーゲの型理論など存在しねえよ知ったかぶり低学歴無職www
じゃあフレーゲの著作のどの本の何ページにどのように型の定義が書かれてるのか引用しろ
引用できないなら自殺しろ
474:１３２人目の素数さん
24/05/08 11:43:29.66 P8x5lHTe.net
フレーゲの型理論とか知ったかぶり晒したら自殺するでしょ普通
475:１３２人目の素数さん
24/05/08 11:43:44.66 BBjhKMzB.net
>>450
>>272
476:１３２人目の素数さん
24/05/08 11:43:54.25 P8x5lHTe.net
さっきググってバカペディア見てきました感満載wwwwww
フレーゲの論理学にラッセルのパラドックスを発見してラッセルの型理論を作ったという流れが全く理解できてないwww
低学歴ってすげえなwwwww
477:１３２人目の素数さん
24/05/08 11:44:29.15 P8x5lHTe.net
>>458
フレーゲの型理論なんて存在しませんwww
はい完全論破
478:１３２人目の素数さん
24/05/08 11:44:42.67 P8x5lHTe.net
>>458
>>452
フレーゲの型理論など存在しねえよ知ったかぶり低学歴無職www
じゃあフレーゲの著作のどの本の何ページにどのように型の定義が書かれてるのか引用しろ
引用できないなら自殺しろ
479:１３２人目の素数さん
24/05/08 11:44:57.90 P8x5lHTe.net
フレーゲの型理論wwwwww
自殺するでしょ普通
480:１３２人目の素数さん
24/05/08 11:45:12.29 P8x5lHTe.net
フレーゲの型理論ってなんすかwwwwwwwwwww
バカすぎるから自殺しとけ
481:１３２人目の素数さん
24/05/08 11:45:25.80 BBjhKMzB.net
>>453
>>276