23/04/19 16:08:59.60 Hpcx5FMV.net
だろ？
4:１３２人目の素数さん
23/04/22 19:33:54.17 CLC/k5U7.net
あげ
5:１３２人目の素数さん
23/04/23 03:05:15.47 /9jlOgI6.net
数学の基礎って証明に使う論理のことだよ
証明を自然言語じゃなくて形式言語でやろうってだけのこと
6:１３２人目の素数さん
23/04/23 11:19:04.97 pK3wcj0B.net
>>5
集合論を作るのに集合論を使っちゃだめだよね
7:１３２人目の素数さん
23/04/23 12:48:30.73 vQt++v7F.net
数学というか、論理学で数学の無矛盾性を示すってヤツだから問題ないのでは？
8:１３２人目の素数さん
23/04/23 15:28:01.86 IMy75SCR.net
>>7
数学の無矛盾性は示せないってゲーデルおじさんが証明しただろ？
9:１３２人目の素数さん
23/04/24 18:57:26.96 aqWjrT8O.net
>>6
真理値割当てのために構成する関数や集合も集合論の言語から構成するんだから、定義が循環するわけではなくない？
10:１３２人目の素数さん
23/04/27 12:48:52.09 94vCANEC.net
宇宙のA銀河系の宇宙人が、地球人の数学の内容を知って、
それを彼らの方法で説明や彼らの方法で証明をしていくようなものだとする。
そのA銀河系の宇宙人の数学を、別のB銀河系の宇宙人が説明して、。。。
そうしてZ銀河系の宇宙人の数学を地球人が地球人の方法で証明をつけていって、
あれっ？
やっぱり、どこかの段階で神のような「絶対的真理の体系とか真理を正しく
演繹できる存在」を仮定しないと、完全な無謬性には到らないのじゃないかな？
コンピュータに検証させるにしても、そのCPUやソフト動作などの無謬性を
誰が絶対的に保証できるのか。結局は信じるしかないんだと思うよ。
そうして絶対的な真理というものがあるとか、真理を記号の列で記せる
というような暗黙の仮定が必要では無いのか？
11:１３２人目の素数さん
23/05/15 06:16:42.49 bwNb+h8W.net
チューリングマシンを使って数学の基礎を作れば良いのではないか？
12:１３２人目の素数さん
23/06/19 01:20:11.05 RgzI34qL.net
命題が有限長の記号列で書かれていたとして、かりにそれが正しい命題だとしても、
その証明が有限長の記号列で記述できるかは怪しい気がする。
13:１３２人目の素数さん
23/06/19 01:35:16.38 2KTX2LNP.net
チャイティンが既にやってる
14:１３２人目の素数さん
23/06/20 10:29:54.15 RZFHqNAK.net
記号列長O(N）の命題が証明できるとしても、もしもその平均最小証明記述長がO(exp(exp(N)))程度に
なるのだったら、人生は短いな。
15:１３２人目の素数さん
23/07/01 14:47:42.83 VNwjvFQA.net
もしも数学基礎論でニューラルネットワークを取り扱えたならば素晴らしいのだが。。。
16:１３２人目の素数さん
23/07/07 05:47:45.56 rZJV8cdo.net
分かってないみたいだが
循環論法だってことは正しいってことだよ
17:１３２人目の素数さん
23/08/20 08:00:54.18 bi3LVUJFv
不公平推進民主党のバカが、社会の分断ガ一だの言いながら、子供給付ガ‐だのほざいてて、頭に蟲が湧いてるとしか言いようがないよな
赤の他人から強奪した血税を何の関係もない裕福な親孑に給付する不公平どころか国家的強盗やって、社会が分断しないわけがないだろ
これからヘ゛ビ―カ―なんか引いて電車にて゛も乗ろうものなら、「夕クシ－使えや税金泥棒」とか罵声を浴ひ゛せられる社会になるのは必至
JКか゛道を歩けは゛「少子化対策に協力しろ、お代は税金で支給されてるだろ」みたいな言葉か゛街中にあふれかえることすら想定できるよな
余裕があるから子を持つという当たり前の裕福な家庭を無視して、―部の遺棄罪で逮捕されるへ゛きバカをネタにして騒いでるわけだし、
奨学金ガーなんてミニバン飲酒運転して事故って死んでる某大生こそか゛典型的な姿だし、すて゛に奨学金が払えず借り換えた人た゛っているし．
子とは無関係に困ってる人やらあらゆる境遇の人がいるものを、やるなら最低て゛も年金受給前まて゛の国民全員に同等の金額給付しなければ、
分断と憎しみが進んで子が居る裕福そうな家に押し入るのが合理的という認識まで広まるわな、不公平を禁忌とするのが民主主義の基本た゛ろ
(羽田)ttps：//www.call4.jp／info.Php?Тypе=iＴems&id=I00000６2 , ｔURLﾘﾝｸ(haneda-project.jimdofr)<)уoudan.amebaownd.com/
(テ口組織)ttРs://i.imgur.com／hnli１ga.jpeg
18:１３２人目の素数さん
23/07/07 10:43:51.72 iht0lGWW.net
16「循環論法は正しい。なぜならば、循環論法は正しいから。」
19:１３２人目の素数さん
23/07/07 22:50:29.02 zXe4M+MP.net
命題Pと命題Qと命題Rが同時に成立あるいは不成立であることを示すために
P ならば Q である、
Q ならば R である、
R ならば P である
と循環的に証明すれば、証明が済むことになる。3つの場合でなくて4つでも5つでもOK.
20:１３２人目の素数さん
23/11/25 14:00:24.23 4Ph3DisM.net
頭がおかしくなるうぅぅ‥
21:i.hidekazu
23/12/08 21:53:41.23 80t6Ym4T.net
循環論法にならないように注意して命題論理を説明するとこうなる
URLﾘﾝｸ(ja.m.wikipedia.org)
22:１３２人目の素数さん
23/12/21 21:28:49.56 waV4YpI2.net
>>21
その記事なんかイマイチだったな
23:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています