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
482:１３２人目の素数さん
24/05/08 11:45:28.94 P8x5lHTe.net
フレーゲの型理論wwwwwwwwwww
やべえ腹筋鍛えられるwwwww
483:１３２人目の素数さん
24/05/08 11:45:50.39 P8x5lHTe.net
>>464
バカの妄想は無意味
ソース無し
484:１３２人目の素数さん
24/05/08 11:45:59.76 P8x5lHTe.net
フレーゲの型理論wwwwwwwwwww
やべえ腹筋鍛えられるwwwww
485:１３２人目の素数さん
24/05/08 11:46:09.74 P8x5lHTe.net
フレーゲの型理論wwwwwwwwwwwwwwwwwwww
486:１３２人目の素数さん
24/05/08 11:46:36.78 LApwHT/w.net
>>419
>マトモな大学の博士号持ってるならどんな分野の論文でも瞬時に読んで
>その分野の最先端を瞬時にマスターできるだけだよ
数学を学ぶことによって期待できる効果の理想形がそうであることは
確かであろう。
487:１３２人目の素数さん
24/05/08 11:46:43.19 P8x5lHTe.net
俺がフレーゲの型理論なんて書いてしまったら5秒以内に自殺するかなw
それ以上生き続けることに耐えられるわけがないwwww
488:１３２人目の素数さん
24/05/08 11:47:39.68 BBjhKMzB.net
ラッセルのパラドックスは
>>355で示された通り
反駁の余地もない
489:１３２人目の素数さん
24/05/08 11:48:22.01 P8x5lHTe.net
>>469
そもそも研究し終わったら新しいテーマの研究しなきゃならないんで
知らん分野の理解を素早く行う方法こそが研究の方法そのものなわけ
こういうことはバカペディアには書いてないからググってもわからんw
490:１３２人目の素数さん
24/05/08 11:48:51.61 P8x5lHTe.net
>>471
その妄想が型理論なんて言ってるのは世界でお前だけ
ソース無し
自殺しな？
491:１３２人目の素数さん
24/05/08 11:49:06.43 P8x5lHTe.net
>>471
型理論のソース無し
自殺するしかないよ
492:１３２人目の素数さん
24/05/08 11:49:16.42 BBjhKMzB.net
>>470
恥ずかしくても死にたくないから嘘をつくのかな
別に恥ずかしがらなくていいから嘘つくのはやめようね
嘘つくほうが恥ずかしいからさ
493:１３２人目の素数さん
24/05/08 11:49:19.71 P8x5lHTe.net
>>471
フレーゲの型理論など存在しねえよ知ったかぶり低学歴無職www
じゃあフレーゲの著作のどの本の何ページにどのように型の定義が書かれてるのか引用しろ
引用できないなら自殺しろ
494:１３２人目の素数さん
24/05/08 11:49:28.98 P8x5lHTe.net
>>475
フレーゲの型理論wwwwwwwwwww
やべえ腹筋鍛えられるwwwww
495:１３２人目の素数さん
24/05/08 11:49:38.26 P8x5lHTe.net
>>475
>>471
フレーゲの型理論など存在しねえよ知ったかぶり低学歴無職www
じゃあフレーゲの著作のどの本の何ページにどのように型の定義が書かれてるのか引用しろ
引用できないなら自殺しろ
496:１３２人目の素数さん
24/05/08 11:49:47.95 P8x5lHTe.net
>>475
フレーゲの型理論など存在しねえよ知ったかぶり低学歴無職www
じゃあフレーゲの著作のどの本の何ページにどのように型の定義が書かれてるのか引用しろ
引用できないなら自殺しろ
497:１３２人目の素数さん
24/05/08 11:50:04.45 P8x5lHTe.net
俺がフレーゲの型理論なんて書いてしまったら5秒以内に自殺するかなw
それ以上生き続けることに耐えられるわけがないwwww
498:１３２人目の素数さん
24/05/08 11:50:30.86 P8x5lHTe.net
その辺に窓があったら5秒以内に叩き割って飛び降りてるレベルの恥ずかしさだよそれw
499:１３２人目の素数さん
24/05/08 11:50:43.58 BBjhKMzB.net
>>472
何も論文書かず何の学位もなく何の知識もない君こそが正義だよ
論文書いたとか博士だとかなんでも知ってるとか嘘ついたら悪人だよ
500:１３２人目の素数さん
24/05/08 11:50:59.82 P8x5lHTe.net
>>482
>>475
フレーゲの型理論など存在しねえよ知ったかぶり低学歴無職www
じゃあフレーゲの著作のどの本の何ページにどのように型の定義が書かれてるのか引用しろ
引用できないなら自殺しろ
501:１３２人目の素数さん
24/05/08 11:51:09.96 P8x5lHTe.net
>>482
引用できずに逃げてるニートwww
502:１３２人目の素数さん
24/05/08 11:51:32.10 P8x5lHTe.net
>>482
引用まだ？
503:１３２人目の素数さん
24/05/08 11:51:45.11 P8x5lHTe.net
>>482
引用できないなら自殺でしょ
504:１３２人目の素数さん
24/05/08 11:51:58.67 P8x5lHTe.net
>>482
引用できないなら嘘つき確定で自殺でしょ
505:１３２人目の素数さん
24/05/08 11:52:10.92 Tf5Ymq4t.net
>>399
ありがとう、>>391です
>一部賛成だけど、しかし、もはやフランス哲学にはなにもないよ
>あれはあれでメタ修辞学とその方法論だから
>私には認識対象をこのように抽出する、そのような内面があります。ということ以上のことは何も言ってない
なるほどね
しかし、その大学入試のフランス哲学問題
”バカロレア（Baccalauréat, 通称Bac バック）の季節がやってきました。今年は6月14日（水）の朝8時、例年どおり哲学の試験からスタート。50万人を超える高校3年生たちが受験しました。
この大学入学資格試験に、文系理系を問わず、「哲学」という科目が存在すること自体がとても「フランス的」で毎年注目しています。試験時間は4時間！の長丁場”（>>230より）
一方で、我が日本では、数学の筆記試験がつぶされたことは記憶に新しい（下記）
（日本人の多くはそれで良いと思っているらしい）
下記の数学の筆記試験の”指摘された課題”は、フランスの「哲学」筆記試験にも、もろ当てはまる
にもかかわらず、4時間の筆記試験を課す
『「哲学」に正解答案ってないでしょ？』と思うのだが・・
採点もどうしていることやらｗ
それでも、『「哲学」筆記試験やるぜ！』というフランス人ｗ
日本人から見れば、驚異ですね ；ｐ）
(参考)
URLﾘﾝｸ(www.mext.go.jp)
文科省
大学入試のあり方に関する検討会議 提言
令和3年7月8日
URLﾘﾝｸ(www.mext.go.jp)
大学入試のあり方に関する検討会議 提言概要（PDF：1,221KB）
第２章 記述式問題の出題のあり方
?１．記述式問題の意義・必要性「自らの考えを論理的・創造的に形成する思考・判断の能力」や「それを的確に、更には効果的に表現する能力」を直接的に評価
✔AI等の飛躍的な発展で人間にしかできない創造的な業務の比率が増す中、より多くの学生に、より高度なレベルでこれらの能力を育成する必要性
✔選択式問題に慣れた学生は大学でレポート作成等に困難を抱えており、入学後に再教育が必要になっている等の問題の指摘
２．大学入学共通テストへの記述式問題の⾒送りの段階で指摘された課題
✔質
506:の高い採点者確保の問題 ✔正確な採点など採点精度の問題 ✔採点結果と自己採点との不一致 ✔大学への成績提供時期の遅れ ✔⺠間事業者の活⽤に伴う利益相反の懸念の指摘 ✔採点をめぐる制約から評価できる力に限界があることの指摘
507:１３２人目の素数さん
24/05/08 11:52:14.40 P8x5lHTe.net
>>482
引用できないなら嘘つき確定で自殺でしょ
引用できないなら嘘つき確定で自殺でしょ
引用できないなら嘘つき確定で自殺でしょ
508:１３２人目の素数さん
24/05/08 11:52:28.89 BBjhKMzB.net
今、彼は無知を恥じて嘘をついた恥ずかしさと必死に戦っているようだ
無知でも恥ずかしくないって 嘘をつくことこそが恥ずかしいんだよ
でも今嘘をつきましたごめんなさいと謝れば済むよ
所詮三歳児のしたことだから
509:１３２人目の素数さん
24/05/08 11:53:09.88 BBjhKMzB.net
>>488 無意味な長文書いて恥ずかしくない？
510:１３２人目の素数さん
24/05/08 11:53:18.66 P8x5lHTe.net
>>490
>>482
引用できないなら嘘つき確定で自殺でしょ
引用できないなら嘘つき確定で自殺でしょ
引用できないなら嘘つき確定で自殺でしょ
511:１３２人目の素数さん
24/05/08 11:53:33.47 P8x5lHTe.net
>>491
引用できないなら嘘つき確定で自殺でしょ
引用できないなら嘘つき確定で自殺でしょ
引用できないなら嘘つき確定で自殺でしょ
512:１３２人目の素数さん
24/05/08 11:53:42.43 P8x5lHTe.net
>>491
>>482
引用できないなら嘘つき確定で自殺でしょ
引用できないなら嘘つき確定で自殺でしょ
引用できないなら嘘つき確定で自殺でしょ
513:１３２人目の素数さん
24/05/08 11:53:47.98 BBjhKMzB.net
>>489
今、彼は死の恐怖と必死に戦っているようだ
514:１３２人目の素数さん
24/05/08 11:53:52.71 P8x5lHTe.net
>>490
引用できないなら嘘つき確定で自殺でしょ
引用できないなら嘘つき確定で自殺でしょ
引用できないなら嘘つき確定で自殺でしょ
515:１３２人目の素数さん
24/05/08 11:53:54.16 LApwHT/w.net
>>472
どの分野を選ぶのかよいかは瞬時にはわからないものだと思うが
516:１３２人目の素数さん
24/05/08 11:53:59.34 wgEoKnwC.net
>>481
ただの混同ならば、型理論はラッセルだよ。と言ってあげりゃあいいところでそれはやばい
むしろ、自殺するほど重要な間違いだと思って繰り返し精神勝利したがってる様がかえって無様だ
見苦しい
517:１３２人目の素数さん
24/05/08 11:54:09.46 P8x5lHTe.net
>>495
お前が死ぬんやで嘘つき
引用できないなら自殺でしょ
518:１３２人目の素数さん
24/05/08 11:55:00.03 P8x5lHTe.net
>>498
最初からラッセルの型理論の話しかしてないし
フレーゲの型理論なるものはこの世界のどこにも存在しない
519:１３２人目の素数さん
24/05/08 11:56:10.11 P8x5lHTe.net
>>498
教えてやっても執拗にフレーゲの型理論とか言い張ってるからなこの低学歴
これが低学歴の本質
間違いを認められない
520:１３２人目の素数さん
24/05/08 11:56:17.84 BBjhKMzB.net
＞型理論はラッセルだよ
ラッセル車は雪かきだよ
521:１３２人目の素数さん
24/05/08 11:56:33.84 P8x5lHTe.net
>>502
で
フレーゲの型理論ってなんすか？
522:１３２人目の素数さん
24/05/08 11:56:50.25 BBjhKMzB.net
＞フレーゲの型理論なるものはこの世界のどこにも存在しない
フレーゲの仕事、全否定
523:１３２人目の素数さん
24/05/08 11:57:11.64 P8x5lHTe.net
>>502
フレーゲの著作のどこに型理論なんて書いてあるのか引用して？
524:１３２人目の素数さん
24/05/08 11:57:28.23 P8x5lHTe.net
>>504
フレーゲの著作のどこに型理論なんて書いてあるのか引用して？
525:１３２人目の素数さん
24/05/08 11:58:24.12 P8x5lHTe.net
>>504
フレーゲの著作のどこに型理論なんて書いてあるのか引用して？
526:１３２人目の素数さん
24/05/08 11:58:49.25 P8x5lHTe.net
>>504
フレーゲの著作のどこに型理論なんて書いてあるのか引用して？
俺はそんなことは不可能だと知り尽くしてるから敢えて要求してるわけだけど
逃げたん？
527:１３２人目の素数さん
24/05/08 11:59:08.86 P8x5lHTe.net
フレーゲの型理論wwwwwwwwww
そんなものこの世界に存在しねえよwwww
528:１３２人目の素数さん
24/05/08 12:00:01.14 BBjhKMzB.net
なんかフレーゲの著作を一字も読んだことない人が騒いでますね
ラッセル・パラドックスで何を否定したかも分かってないんでしょうね
ま、何も知らないって幸せですよ
529:１３２人目の素数さん
24/05/08 12:00:01.75 LApwHT/w.net
ヘンリー・ジェイムズの「嘘つき」は名作
530:１３２人目の素数さん
24/05/08 12:00:34.61 P8x5lHTe.net
この低学歴無職ヤバすぎるwwwww
「一階述語論理でなければ型理論」と言ってるwwwww
324 １３２人目の素数さん[] 2024/05/08(水) 09:30:53.14 ID:PVo1n3fi
論理学と型理論の違いを述べよ
フレーゲの理論は一階述語論理ではない時点で単なる論理学ではなく型理論である
これ説明できない人は「ボクちゃん間違ってない」と言いたいだけの三歳児
531:１３２人目の素数さん
24/05/08 12:00:45.89 P8x5lHTe.net
>>510
この低学歴無職ヤバすぎるwwwww
「一階述語論理でなければ型理論」と言ってるwwwww
324 １３２人目の素数さん[] 2024/05/08(水) 09:30:53.14 ID:PVo1n3fi
論理学と型理論の違いを述べよ
フレーゲの理論は一階述語論理ではない時点で単なる論理学ではなく型理論である
これ説明できない人は「ボクちゃん間違ってない」と言いたいだけの三歳児
532:１３２人目の素数さん
24/05/08 12:01:17.06 P8x5lHTe.net
>>510
フレーゲの論理学にラッセルのパラドックスを発見してラッセルの型理論を作ったという流れが全く理解できてないwww
低学歴ってすげえなwwwww
533:１３２人目の素数さん
24/05/08 12:01:36.32 BBjhKMzB.net
＞「一階述語論理でなければ型理論」
ええ、二階以上の論理＝型理論 といってもいいですね
そう考えないのは論理を知らない素人さんでしょう
534:１３２人目の素数さん
24/05/08 12:02:07.15 P8x5lHTe.net
このニートの中ではラッセルがフレーゲに送ったラッセルのパラドックスを指摘する手紙をなんだと思ってんの？wwwwwww
535:１３２人目の素数さん
24/05/08 12:02:32.89 P8x5lHTe.net
>>515
自殺したら？ガチで
そんなこと妄想してるのこの世界でお前しかいないよwwww
536:１３２人目の素数さん
24/05/08 12:03:10.95 P8x5lHTe.net
>>515
型の区別がない高階述語論理なんて普通にあるけど
バカすぎるwwwwwww
537:１３２人目の素数さん
24/05/08 12:05
538::27.09 ID:wgEoKnwC.net
539:１３２人目の素数さん
24/05/08 12:09:38.21 LApwHT/w.net
>>517
楽しい？
540:１３２人目の素数さん
24/05/08 12:10:39.50 P8x5lHTe.net
このニートの中ではラッセルがフレーゲに送ったラッセルのパラドックスを指摘する手紙をなんだと思ってんの？wwwwwww
URLﾘﾝｸ(www.thatmarcusfamily.org)
541:１３２人目の素数さん
24/05/08 12:11:05.33 P8x5lHTe.net
>>520
過ちを認めないでデタラメを言い張ってる無知を追い詰めるとか楽しすぎるでしょ
542:１３２人目の素数さん
24/05/08 12:11:32.45 BBjhKMzB.net
＞型の区別がない高階述語論理なんて普通にあるけど
もしかして「型がないから矛盾する 型をつければ矛盾しない」と言ってる？
543:１３２人目の素数さん
24/05/08 12:11:34.33 P8x5lHTe.net
>>515
このニートの中ではラッセルがフレーゲに送ったラッセルのパラドックスを指摘する手紙をなんだと思ってんの？wwwwwww
URLﾘﾝｸ(www.thatmarcusfamily.org)
544:１３２人目の素数さん
24/05/08 12:11:49.53 LApwHT/w.net
>>519
ヴォルテールは「神が必要なら作ればよい」と言った。
545:１３２人目の素数さん
24/05/08 12:12:12.90 P8x5lHTe.net
>>523
ダメだこれラッセルの型理論を全く理解できてないwwwwww
546:１３２人目の素数さん
24/05/08 12:13:24.94 P8x5lHTe.net
脳障害ってすげえな
ググって知ったかぶりしようとしてもバカペディアに書いてあることすら読めないとかwww
547:１３２人目の素数さん
24/05/08 12:13:48.68 P8x5lHTe.net
死にたくならんの？
おれなら5秒以内にその辺の窓叩き割って飛び降りてる
548:１３２人目の素数さん
24/05/08 12:14:27.37 P8x5lHTe.net
100年前に哲学が死んだ経緯
・ラッセルのパラドックスが発見され通常の論理学では回避できないことが判明
・ラッセルはパラドックスは論理学の仕組みに問題があることを見抜いてパラドックスがそもそも起こらない論理学の仕組みを構築(自己と自己言及を明確に区別して混同しないルール)
・ウィトゲンシュタインはラッセルの弟子であり論理学の仕組み追求しようとした
・ウィトゲンシュタインは新しい矛盾のない論理学で何を言えるのか研究したところ形而上学や哲学を論理的に扱うことは不可能であることが判明
・形而上学や哲学は論理学を誤って用いたことから生まれる全く意味のない妄想であることを指摘した
・このプロセスは論理哲学論考において数学の証明として掲げられている
・現在までにこの証明に反証出来た人間は歴史上1人も居ない
つまり100年前から哲学者を名乗った時点で不勉強な無知または詐欺師であることは確定している
賢い哲学者というのは論理的に存在不可能
低学歴すぎて証明の意味すら理解できないのかwwww
数学で証明されたことは本人の希望で撤回したりできないぞ？
自殺したら？脳障害
ウィトゲンシュタインが泣いて謝っても哲学が無意味であるという証明を変えることは不可能
撤回も転向も全く不可能
死んで詫びても無意味
549:１３２人目の素数さん
24/05/08 12:14:39.80 P8x5lHTe.net
いかにして哲学は100年前に滅亡したか
1.ラッセルのパラドックスの発見（1902年）
1902年、哲学者のバートランド・ラッセルが論理学における矛盾を発見しました。
このパラドックスは、通常の論理学では回避できないことが判明し、哲学に大きな衝撃を与えました。
2.ラッセルによる新しい論理学の構築（1903年～）
1903年以降、ラッセルはパラドックスの原因が論理学の仕組みにあると見抜きました。
自己と自己言及を明確に区別して混同しないルールを導入し、パラドックスが起こらない新しい論理学の仕組みを構築しました。
3.ウィトゲンシュタインによる論理学の研究（1911年～）
1911年頃から、ルートヴィヒ・ウィトゲンシュタインはラッセルの弟子となり、新しい矛盾のない論理学で何が言えるのかを研究しました。
その結果、形而上学や哲学を論理的に扱うことは不可能であることが判明しました。
1921年に出版された「論理哲学論考」で、ウィトゲンシュタインは形而上学や哲学は論理学の誤用から生まれる全く意味のない妄想であると論理学を用いて証明しました。
現在までにこの証明に反証できた人間は歴史上1人もいません。
4.ゲーデルの不完全性定理（1931年）
1931年、クルト・ゲーデルもラッセルの論理学に影響を受け、「論理学によって仮定そのものの正しさをその仮定から証明できるか？」を考察しました。
ゲーデルは、それが不可能であることを証明しました（ゲーデルの第一不完全性定理）。
この定理は、当初ペアノ算術におけるω無矛盾性が証明不可能として確立されましたが、後にロッサーの証明ではペアノ算術における単純無矛盾性、シェファードソンの表現定理により任意のΣ1集合で構成される任意の論理式に対して無矛盾性の証明が不可能であることまで拡張されました。
5.哲学の限界と科学の重要性（1920年代～）
1920年代以降、哲学的な仮定の正しさを論理的に証明する方法は存在しないことが明らかになりました。
アイディアの正しさを決める方法は、現実との比較（実験）しかありません。
つまり、正しさを決める方法は科学しかあり得ないことがわかります。
550:１３２人目の素数さん
24/05/08 12:14:56.62 P8x5lHTe.net
この低学歴無職ヤバすぎるwwwww
「一階述語論理でなければ型理論」と言ってるwwwww
324 １３２人目の素数さん[] 2024/05/08(水) 09:30:53.14 ID:PVo1n3fi
論理学と型理論の違いを述べよ
フレーゲの理論は一階述語論理ではない時点で単なる論理学ではなく型理論である
これ説明できない人は「ボクちゃん間違ってない」と言いたいだけの三歳児
551:１３２人目の素数さん
24/05/08 12:15:29.16 P8x5lHTe.net
ラッセルが型理論作る前から高階述語論理があることすらわかってない脳障害wwwwwwww
552:１３２人目の素数さん
24/05/08 12:15:49.27 P8x5lHTe.net
んでフレーゲの型理論ってなんすかwwwww
そんなもんこの世界でお前しか言ってねーよwww
553:１３２人目の素数さん
24/05/08 12:16:02.55 LApwHT/w.net
>>522
そういうことをどこかで評価してもらいたいという気持ちは
ありますか？
554:１３２人目の素数さん
24/05/08 12:16:56.29 BBjhKMzB.net
＞＊＊ペディアに書いてあることすら読めない
ああ、君は＊＊ペディアに書いてあることだけ読んで
フレーゲの体系は型理論じゃない
ラッセルの体系は型理論だ
と脊髄反射したんだね
素人読みの典型ですね
555:１３２人目の素数さん
24/05/08 12:17:28.54 P8x5lHTe.net
>>535
>>504
フレーゲの著作のどこに型理論なんて書いてあるのか引用して？
556:１３２人目の素数さん
24/05/08 12:17:46.75 P8x5lHTe.net
フレーゲに型理論が無いから作ったのがラッセルな？
自殺したら？
557:１３２人目の素数さん
24/05/08 12:18:13.20 P8x5lHTe.net
>>535
しろうとよみ？
それ中卒無職の造語？
そんな日本語無いよ中卒無職
558:１３２人目の素数さん
24/05/08 12:18:44.51 BBjhKMzB.net
＞ラッセルが型理論作る前から高階述語論理がある
というかラッセル以前に型理論がないと思うのがアサハカかと
フレーゲは自分の体系を型理論といってないから型理論じゃない、と
そりゃアサハカですな