TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
現代数学の系譜 古典ガロア理論を読む35
5次方程式の解を表現できる数体系
プログラミングBASIC言語について。
数学の本 第90巻
暗黒通信団 02
Inter-universal geometry と ABC予想 37
工学部の一年生だけど院は数学科にいきたい
受験終わったから大学の数学に手を出したいんだけど
志村逝く
♂♂♂♂♂♂♂♂♂♂♂   生物実験 13
465 :
正しいと証明できてないものは使ってはいけないというのは数学においては究極的には正しくなくて
正しいと証明できてなくても正しそうなものは皆が認めるなら使ってもいいし
それを使って矛盾がないことが証明できれば誰がどう言おうが使ってもいい
ただし正しいと証明されないのだからそれを認めない立場も認める
もちろんそれを認めない立場がつまらないと認める立場も認める
というのが数学における正しい立場じゃないかな
矛盾が起こらないこと自体は形式化で証明すればよいわけだけど
それだって数学で使われている事柄が矛盾を引き起こさないという共同合意に基づいている
だって矛盾が起こるようなら何でも結論できちゃうからね
そしてその場合当然形式化でも矛盾が起きちゃう
今のところ
数学において究極の正しいと認められている事柄(公理)は
モノに関しては集合論(ZF,ZFC,BG)
演繹に関しては古典論理(LK,NK)
じゃないかしら

統計ソフトSTATAの部屋 Ver.2
5次方程式の解を表現できる数体系
フェルマーの最終定理の簡単な証明
πって本当に無理数なの?
高校数学の質問スレPart404
圏論、カテゴリー論
奇数の完全数の存在に関する証明は正しいはず
「コホモロジー」
【激しく】解析と線型代数の本何がいい?【既出】11
「何の役に立つんですか?」をタブー視する老害wwww
--------------------
日本企業がAlstom,Bombardier,Siemensに勝つ方法2
ポケットモンスターソード・シールドpart288
GREE通報したいやつ
香川の高校野球103
【女好き】リアルナンパアカデミーRNAを語るスレpart51
涼宮ハルヒのFX Part86
チラシの裏@生活サロン★32
【面白い話】中学校時代を語れ【募集中!】
【速報】 大物ユーチューバーヒカル&エミリンが山本彩さんにラブコール「コラボしたい」
アニメロサマーライブ 2019 -STORY-29th
天華百剣 -斬- 388連斬
バドミントン上手い奴集合
情報ライブ ミヤネ屋★5
CRF戦姫絶唱シンフォギア253唱目
Nikon FM、FM2、newFM2、FM3A、FE、FE2、FA統合スレッド23
京都府警サイバーは なぜ税金泥棒ではないのか
(・e・)鳥と暮らす奥様 43(・e・)
【座間9遺体】白石「金を奪うついでに無理やりスェックスもしたったw」殺人より重罪で死刑確定
三越事件
【Pastel】パステル2【なめらかプリン】
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼