25/11/01 05:26:29.07 w3Gj/hAz.net
どこかで論証不十分になって証明できなくなるんじゃないのか
2:poem
25/11/01 06:36:57.68 7UoGswjx.net
数学技法、数学論法、を使う
理系(非普遍的)は数学
文系(普遍的)は哲学
スレタイを哲学でも考えようぞ
3:poem
25/11/01 10:30:57.79 7UoGswjx.net
今AIに聞いたら
鎖性(途中推論による確実性)があるから、根本の公理だけに推論を依存してなく、公理に戻らなきゃいけないに限らない
だって
4:１３２人目の素数さん
25/11/01 11:04:30.94 Um2AVKRG.net
公理まで遡っても既存証明を再掲するだけだからページの無駄
5:poem
25/11/01 12:03:37.00 7UoGswjx.net
>>4 かと言って通常は先行研究重視では？
6:１３２人目の素数さん
25/11/01 16:43:33.42 0sgbgLGL.net
もう氷はいらない
7:poem
25/11/01 21:46:04.73 7UoGswjx.net
公理を暗器に
8:poem
25/11/01 21:47:16.46 7UoGswjx.net
北極大陸の忍者の(倉庫に)隠しハンマー
9:poem
25/11/01 21:50:49.18 7UoGswjx.net
昔の日本には青銅器しか伝来してなかった
鉄器を持つ豪族に青銅器の豪族が負けたなら
北極大陸には氷の武器しかないのだから
海の向こうからあずきバーの武器の忍者が攻めてきたら
日本の昔と同じ歴史的状況を歴史の1頁に刻む
10:１３２人目の素数さん
25/11/11 15:47:39.55 Xciw5HvP.net
証明の経路（公理系から定理を造って行く
経路）の順によって命題の正否が異なる
ことが起こらないことを証明しなさい。