なぜ公理まで遡らなくても数学ができるのか?

レス数: 10

概要: どこかで論証不十分になって証明できなくなるんじゃないのか
No.1
どこかで論証不十分になって証明できなくなるんじゃないのか
No.2
数学技法、数学論法、を使う
理系(非普遍的)は数学
文系(普遍的)は哲学
スレタイを哲学でも考えようぞ
No.3
今AIに聞いたら
鎖性(途中推論による確実性)があるから、根本の公理だけに推論を依存してなく、公理に戻らなきゃいけないに限らない
だって
No.4
公理まで遡っても既存証明を再掲するだけだからページの無駄
No.5
>>4
かと言って通常は先行研究重視では?
No.6
もう氷はいらない
No.7
公理を暗器に
No.8
北極大陸の忍者の(倉庫に)隠しハンマー
No.9
昔の日本には青銅器しか伝来してなかった
鉄器を持つ豪族に青銅器の豪族が負けたなら
北極大陸には氷の武器しかないのだから
海の向こうからあずきバーの武器の忍者が攻めてきたら
日本の昔と同じ歴史的状況を歴史の1頁に刻む
No.10
証明の経路(公理系から定理を造って行く
経路)の順によって命題の正否が異なる
ことが起こらないことを証明しなさい。