バカ「選択公理は証明も反証もできないから認めていい」←天国は？

**１３２人目の素数さん** · 2021/07/29(木) 02:52:39.13

天国の存在は証明も反証もできない
だから選択公理を認めるなら天国の存在も認めないと主張に一貫性がないよね

**１３２人目の素数さん** · 2022/11/05(土) 21:58:40.22

構成する要素全てを列挙することもできないのに、
無限集合の存在を確信して公理にしてしまうのは、
人間の思考癖・信仰なのではなかろうか？
要素が満たすべき性質を与えれば、それで集合が
定まるということは現実的ではないし。

さらに加算無限ならばいざ知らず、非可算無限だと
すれば、なおさら無理。つまり現代の数学の
ほとんどの部分は、虚構の花畑であり楽園なのだ。
そこから外部に出ていこうとすると、道具が使えず
に、たちまち現実の壁にぶつかって挫折をしてしま
うことだろう。

**１３２人目の素数さん** · 2022/11/05(土) 22:28:06.52

>>構成する要素全てを列挙することもできないのに、
>>無限集合の存在を確信して公理にしてしまうのは、
>>人間の思考癖・信仰なのではなかろうか？

その思考癖・信仰に裨益されるところの大きさというものが
よかれあしかれ今日の世界の特性である。

**１３２人目の素数さん** · 2022/11/11(金) 04:13:02.54

昔、天国という飲み屋があって、そこのプロモーションのようなソングが
大いに流行ったことがあった。

「天国、良いとこ一度はおいで、酒は美味いし、姉ちゃんは綺麗だ♪」

**１３２人目の素数さん** · 2022/11/11(金) 04:15:26.93

んぁ～おまえ、まだそんなことやってのでっか、

**１３２人目の素数さん** · 2022/11/11(金) 06:53:50.08

もっと昔、「地獄」という映画を見た

**１３２人目の素数さん** · 2022/11/11(金) 10:15:32.15

「ゲーデルの不完全性定理」からすれば、ある命題(定理)があって、
それを、ある公理系では真を証明できず、別な公理系では証明できる
ってことがあり得る。
だから人は、複数の公理系を適当に使い分ければいいんだ。

**１３２人目の素数さん** · 2022/11/11(金) 10:29:46.48

神々のプラリス”ム

**１３２人目の素数さん** · 2022/11/12(土) 11:23:29.54

証明が出来ない公理系Ｌに、その命題を公理として付け加えた公理系Ｌ’であれば、
その命題はＬ’において真になる。

**１３２人目の素数さん** · 2022/11/16(水) 23:49:24.05

解が存在するかどうか決定不能なディオファンタス問題には
どのような例があるのだろうか？
具体的な不定方程式を与えて、その方程式に整数解があるかないかを
決定することが不可能であることが証明されるようなものがあれば
観て見たい。

**１３２人目の素数さん** · 2022/11/16(水) 23:51:25.81

かつてはフェルマー問題がその有力候補だった

**１３２人目の素数さん** · 2022/11/18(金) 02:06:07.06

双子素数が無数にあるかどうかとか、
フェルマー素数は有限個だろうかというのも、
決定出来れば素晴らしいのだが。

**まなか** ◆manaka./vCup · 2022/11/18(金) 04:47:24.52

「証明も反証もできないことが証明されている」のと
「現時点で証明も反証もできていない」は違いますからね。

そもそも公理というものは作りたい体系に応じて必要な物を採用すればよいです。

**１３２人目の素数さん** · 2022/11/18(金) 23:25:29.29

｜そもそも公理というものは作りたい体系に応じて必要な物を採用すればよいです。

それだと数学が分断されて、バベルの塔のような、あるいは
Linuxのディストリが乱立のような状況に陥らない？

**１３２人目の素数さん** · 2022/11/23(水) 15:56:36.41

ほとんどすべての整数は素数では無い。
ほとんどすべての整数の対は互いに素である。
ほとんどすべての整数の対の商は整数では無い。
ほとんどすべての実数は整数ではない。
ほとんどすべての。。。。

という具合にほとんどすべての場合に成り立つ命題を
証明する方が、「ほとんどすべての場合に」という
但し書きの無い命題を証明するよりも易しくて論文の
数が稼げたりするのだろうかな？

**１３２人目の素数さん** · 2022/12/03(土) 04:24:05.07

最強の公理
「任意の命題は証明不可能である」。

**１３２人目の素数さん** · 2022/12/15(木) 03:52:26.11

物理では多次元宇宙というものがれっきとした学問として研究されてるんだから
天国が存在しても直感レベルにおいて違和感はない

**１３２人目の素数さん** · 2022/12/15(木) 08:50:18.66

>>97
>物理では多次元宇宙というものがれっきとした学問
やることないから、妄想がふくらんでるだけ。

**１３２人目の素数さん** · 2022/12/15(木) 09:07:21.27

>>98
誰の妄想であるかということが
物理では重要らしい

**１３２人目の素数さん** · 2022/12/16(金) 01:52:01.83

天国は数学的には認めてもいい。
もちろん認めなくてもいい。

**１３２人目の素数さん** · 2022/12/16(金) 09:09:45.64

アインシュタインの妄想のおかげで
ノーベル賞がもらえた今年の３人

**１３２人目の素数さん** · 2022/12/16(金) 09:17:54.97

公理1「天国はあります」

**１３２人目の素数さん** · 2022/12/16(金) 11:06:57.05

公理２「スタップ細胞はあります」

**１３２人目の素数さん** · 2022/12/18(日) 20:55:41.83

ワクチンをうつかうたないかの選択は自由です。

**１３２人目の素数さん** · 2022/12/18(日) 21:36:20.49

打たないのは自由であるが、打たないのは非国民

**１３２人目の素数さん** · 2022/12/19(月) 07:14:17.89

宇宙は存在する。
物質は存在する。
観測者は存在する。
物理法則は存在する。

**１３２人目の素数さん** · 2022/12/19(月) 07:15:46.80

公理も定理も命題も無い数学体系が存在する（空数学）。

**１３２人目の素数さん** · 2022/12/19(月) 09:36:02.34

打つのは自由であるが、打つのは非国民

**１３２人目の素数さん** · 2022/12/19(月) 18:15:45.95

>>打つのは非国民
これのもっともらしい理由付けがあると面白い

**１３２人目の素数さん** · 2022/12/20(火) 06:20:18.53

やれうつな、

**１３２人目の素数さん** · 2022/12/20(火) 06:45:19.33

こびとさんにも、100なののいのち

**１３２人目の素数さん** · 2022/12/20(火) 08:53:56.93

なるほどね

**１３２人目の素数さん** · 2022/12/21(水) 13:26:37.11

誰にとっても空数学の教科書を書くのは簡単だろう。

**１３２人目の素数さん** · 2022/12/21(水) 18:47:25.57

想像してごらん、命題なんてないんだと
ほら簡単でしょ？
無限集合なんてないんだし、ただ空があるだけ。
さあ想像してごらんみんなが
ただ今を生きているって...

想像してごらん、定理なんてないんだと
そんなに難しくないでしょう？
公理もなく論理もなく
そして数学もない
さあ想像してごらんみんなが
ただ平和に生きているって...

**１３２人目の素数さん** · 2023/03/09(木) 07:56:47.18

数学がなければ、入試に数学も無いな。

**１３２人目の素数さん** · 2023/03/09(木) 08:10:31.99

>>107
空すら存在しない（仏教）

**１３２人目の素数さん** · 2023/03/09(木) 08:33:47.11

色即是空　空即是色

**１３２人目の素数さん** · 2023/03/11(土) 02:53:23.43

数学がなければ空集合もない。ただ青い空の中に陽が輝いているだけなのかもしれない。

**１３２人目の素数さん** · 2023/03/11(土) 14:07:06.68

天は光がまぶしくて
考えることもできはしない
どこまで吹かれて
ゆけばよいのかしら
いつまで待っても返事が来ないのだよ

**１３２人目の素数さん** · 2023/03/11(土) 21:25:47.86

どこからも

**１３２人目の素数さん** · 2023/03/12(日) 05:23:04.31

どこかの砂漠に小さな花が咲いていて
どこかの海辺にクラゲたちがうかんでいるばかり

**１３２人目の素数さん** · 2023/03/12(日) 08:54:35.57

>>どこかの海辺にクラゲたちがうかんでいるばかり

--->

どこかの海辺にクラゲたちが遊んでいるばかり

**１３２人目の素数さん** · 2023/03/12(日) 09:13:10.33

>>どこかの砂漠に小さな花が咲いていて

--->

みしらぬ砂漠に小さな花が咲いていて

**１３２人目の素数さん** · 2023/03/13(月) 18:21:01.53

天国があるを公理として何の問題もない。
そこから正しく証明された定理は正しい。
天国がないを公理として何の問題もない。
そこから正しく証明された定理は正しい。

**１３２人目の素数さん** · 2023/03/13(月) 18:30:35.70

時間の中で月が小さくなってゆくのだ
空間の奥で太陽も消えてなくなるのだ

**１３２人目の素数さん** · 2023/03/14(火) 09:37:41.66

卵の影みたいにうす青く
地球の影が
虚無に映っている

**１３２人目の素数さん** · 2023/03/14(火) 18:55:37.19

神が存在しないという公理を設けるのが無神論。
神が存在するという公理を設けるのが有神論。
神は存在してただ1つに限るという公理を設けるのが唯一神論。
神は遍く存在するというのが、、。。。
神は存在して神の意図は人間には不可知であるとするのが、。。。。
神は教会に居ないというのは、。。。。
さらわぬ神に祟り無しというのは、論理体系に神を持ち込むリスクを語るもの。。。

**１３２人目の素数さん** · 2023/03/14(火) 19:22:27.04

神は美しくなければいけない

**１３２人目の素数さん** · 2023/03/17(金) 20:01:49.04

神の姿の見えぬものは運を自分の手で掴め。

**１３２人目の素数さん** · 2023/03/18(土) 07:05:32.49

神は見るものではなく信じるものだが

**１３２人目の素数さん** · 2023/03/18(土) 08:11:25.98

神は愚人どもが崇めるものだ。我は神だ、お布施よろしく

**１３２人目の素数さん** · 2023/03/24(金) 10:49:59.33

神、派遣いたします。気に入らなければチェンジ可能。