18/06/13 07:44:59.88 kwwukDpV.net
P→Qを∀x.P(x)→Q(x)と考える香具師は、一歩進んでいる。
891:１３２人目の素数さん
18/06/13 07:49:07.77 kwwukDpV.net
>>866
半歩遅れてるがｗ
892:１３２人目の素数さん
18/06/13 07:55:24.26 kwwukDpV.net
>>865
＞ではどう定義するべきかは何も考えてない
のではなくて、何も教えていない。ｗ
893:１３２人目の素数さん
18/06/13 07:57:02.35 DMPVOmLK.net
なお
背理法が使えるような定義でなくては誰も興味持たないよ
894:１３２人目の素数さん
18/06/13 07:57:33.20 DMPVOmLK.net
>>868
しょーもな
895:１３２人目の素数さん
18/06/13 08:04:59.36 kwwukDpV.net
>>869
＞背理法が使えるような定義でなくては誰も興味持たないよ
勿論、使えるさ。
896:１３２人目の素数さん
18/06/13 09:03:40.28 qVgQuylU.net
何度言えばわかるんですかねー
あなたのならばは、自由変数を含まない原始命題に対しては定義することすらできない欠陥品だと
897:１３２人目の素数さん
18/06/13 09:17:47.96 qVgQuylU.net
ケネディ大統領が暗殺された→1+1=2である
これはどうですか？
命題ではないですか？
真偽が定義できないですか？
898:１３２人目の素数さん
18/06/13 10:22:52.80 14aNDD6h.net
>>869
どういう話の流れか把握してないけど、
俺は背理法が使えない矛盾許容論理に興味あるぞ
899:１３２人目の素数さん
18/06/13 10:34:10.85 bsb+ZmH1.net
矛盾を許容する論理体系は存在しません
900:１３２人目の素数さん
18/06/13 13:23:18.91 UVCpnaBf.net
何が起こるかわからない時は
予想しないほうがいい
901:１３２人目の素数さん
18/06/13 23:44:56.08 DMPVOmLK.net
>>873
前提は命題って言うにはちょっと甘いな
902:１３２人目の素数さん
18/06/13 23:49:10.28 qVgQuylU.net
>>877
数理論理的に言うなら、命題とは、アトミックな論理式、すなわち原始命題から構成される論理式のことですね
複雑な論理式は、原始命題や他の命題を論理結合子で結びつけることによって作ることができます
前提とは、A→BにおけるAのことですね
つまりですね、ならば命題を作ると言う段階は統語の範疇であり、意味はまだ付加されていないんですよ
少なくとも数理論理においては
ここまでの説明がわからないのであれば、あなたは意見をするレベルにないと言うことです
勉強し直してくださいね
903:１３２人目の素数さん
18/06/13 23:49:28.34 DMPVOmLK.net
マジレスすると
「象は動物である」を命題って言うのは
何でも集合だってしてた素朴集合論同様の「素朴命題論理」ってやつね
命題論理は真偽のみに着目して
「何が真」「何が偽」という真偽以前の「素朴命題」（って呼ばせてもらうね）には関知しない
あくまで投射された真偽の真偽そのものにしか注視しないのよ
904:１３２人目の素数さん
18/06/13 23:50:09.28 DMPVOmLK.net
>>878
アホ？
905:１３２人目の素数さん
18/06/13 23:50:57.92 qVgQuylU.net
>>880
わからないんですね(�
906:ﾎ)
907:１３２人目の素数さん
18/06/13 23:52:02.18 DMPVOmLK.net
だので
「象が植物であるならばケネディは90歳で死んだ」は真（に投射される）
908:１３２人目の素数さん
18/06/13 23:52:05.98 qVgQuylU.net
874 名前:１３２人目の素数さん :2018/06/13(水) 23:44:56.08 ID:DMPVOmLK
>>873
前提は命題って言うにはちょっと甘いな
これは統語と意味論の区別がついていないから書き込めるレスですね
909:１３２人目の素数さん
18/06/13 23:52:55.08 DMPVOmLK.net
>>881
「意味」を考えることはないってことが分かってないのね
910:１３２人目の素数さん
18/06/13 23:54:07.60 DMPVOmLK.net
>>883
そこで言ったのは
ケネディ
暗殺
ケネディが暗殺された
定義を明確に出来ないからだよ
911:１３２人目の素数さん
18/06/13 23:54:29.29 qVgQuylU.net
>>884
数理論理学において、意味とは、命題記号、述語記号、定数記号、関数記号に具体的な命題、述語、対象、写像をマッピングすることを言います
912:１３２人目の素数さん
18/06/13 23:55:15.87 DMPVOmLK.net
定義を明確にしようとすればするほど無限後退になってしまうからね
913:１３２人目の素数さん
18/06/13 23:55:21.57 qVgQuylU.net
>>885
数理でない論理の話は哲学板でどうぞ
914:１３２人目の素数さん
18/06/13 23:55:42.17 qVgQuylU.net
>>887
数学的には、意味とは厳密に数学的に定義された用語です
915:１３２人目の素数さん
18/06/13 23:56:15.97 DMPVOmLK.net
>>886
どうぞ
ケネディ
大統領
暗殺
をマッピングしてね
916:１３２人目の素数さん
18/06/13 23:56:40.75 DMPVOmLK.net
>>889
数学で無いって言ってるんだが？
917:１３２人目の素数さん
18/06/13 23:57:38.99 DMPVOmLK.net
>>873
>ケネディ大統領が暗殺された
さあ
ドンドン「意味」をマッピングしてね
918:１３２人目の素数さん
18/06/13 23:58:16.43 qVgQuylU.net
>>890
ケネディ→ケネディ
大統領→大統領
暗殺→暗殺
この意味が分からなければ、あなたはこのスレッドにいる資格がありません
919:１３２人目の素数さん
18/06/13 23:59:32.11 DMPVOmLK.net
>>893
マッピングできないんですね
920:１３２人目の素数さん
18/06/14 00:00:18.90 frORz5xE.net
数学でないものを導入して憚らない人が居るね
921:１３２人目の素数さん
18/06/14 00:01:17.50 P8B2pN7o.net
M|=ケネディ^M大統領^Mは暗殺^Mされた
こういうことを、数理論理において論理式を解釈する、といいます
>>894
はい、数理論理が何もわかっていないことが判明しましたね
消えてください
922:１３２人目の素数さん
18/06/14 00:07:09.32 P8B2pN7o.net
おや？レスがなくなりましたね
923:１３２人目の素数さん
18/06/14 00:07:55.85 o+C03Frc.net
こいつ劣等感婆だろ
924:１３２人目の素数さん
18/06/14 00:10:20.53 P8B2pN7o.net
>>886
命題記号には真偽値を、述語記号には真理集合を、に訂正しておきます
925:１３２人目の素数さん
18/06/14 00:21:43.38 frORz5xE.net
>>898
だと思うよ
後付けしかしないからね
926:１３２人目の素数さん
18/06/14 00:27:35.88 P8B2pN7o.net
>>879
これ自体は間違えではないですけどね
927:１３２人目の素数さん
18/06/14 00:27:51.87 oOI8Ggvu.net
９００
928:１３２人目の素数さん
18/06/14 00:38:21.61 ZWDO6ZC2.net
>>872->>899
nonsense !
929:１３２人目の素数さん
18/06/14 02:44:51.92 VYhbsGxb.net
>>860
> 哲学板でやってれば
>
> いいや、ここに留まる。
> ”if ..., then ...” の解釈を誤った上に構築されている現行の論理学理論は、根本的に間違っているのだ。
だからそれは哲学の問題、あるいは哲学としての論理学理論の問題
ここは数学、数学は単なるゲーム
ゲームとしての数学で重要なのは、公理系が面白い＝様々な美しい定理が導かれるだけの豊かさを持つか否かであって日常の言葉に沿っているか否かの問題は数学では関心・興味の対象ではない
君が拘っている自然語としての"if …, then …"に沿った解釈に基づく公理か否かは数学の問題ではないから、これについて数理論理学としては正しい・間違っているの判断はしない
どういう解釈であろうと、その解釈の結果として面白い公理系が得られればそれが数学としては「正しい」道
そして、君が「解釈が間違っている」と批判する古典命題論理はモデルとしてのブール代数など十分に豊かで楽しめる世界を与えてくれたので数学の一分野である数理論理学としてはそれで十分に合格
君の疑問や議論が意味や意義を持つのはあくまでも哲学においてだけだ、数学では君の疑問の価値はゼロ、ここで論じられても単なる迷惑なだけというのを良く認識したまえ、偏執狂のアスペ君
930:１３２人目の素数さん
18/06/14 03:48:54.40 LP6sOzCC.net
確信犯板違い荒らしは以後放置で
931:１３２人目の素数さん
18/06/14 04:40:40.48 V1rUrHnY.net
命題論理で拘るべきなのは形式の整合性であって、現実的な意味内容にアクセント
を置くものではないんんじゃない。
ケネディ暗殺とか言っても、それを自分たちで目撃した訳でも検証したのでなく、
単なる歴史的な風聞を鵜呑みにしているだけであって、ケネディ暗殺が真値である
という保証さえない。替え玉が殺されたのかもしれないし。だから意味内容として
それが整合的になっているかを重視するのでなく、形式レベルを問題にすれば
いいだろう。
932:１３２人目の素数さん
18/06/14 08:29:26.79 GeenZltt.net
>>904
全くその通り
極論を言えば普通に考えておかしいと思えるような公理であったとしてもそこから十分に面白いと思える定理が導かれるなら
そういう公理もアリとなる
933:１３２人目の素数さん
18/06/14 08:54:41.39 frORz5xE.net
矛盾許容論理って
積極的に矛盾を導入するって立場と
矛盾律（⊥→A）を使わないって立場と
硬軟2種類有るよね
934:１３２人目の素数さん
18/06/14 09:10:00.81 P8B2pN7o.net
矛盾許容論理ってどんな感じなんですか？
935:１３２人目の素数さん
18/06/14 09:28:29.16 mxBGyFKT.net
共同ツール 1
URLﾘﾝｸ(seleck.cc)
URLﾘﾝｸ(trello.com)
ボードのメニュー → Power-Upsから拡張可能 Slack DropBoxなど
Trello Chrome拡張機能 elegant
URLﾘﾝｸ(www.kikakulabo.com)
trelloのオープンソースあり
共同ツール 2
URLﾘﾝｸ(www.google.com)
共同ツール 3
URLﾘﾝｸ(slack.com)
URLﾘﾝｸ(www.dropbox.com)
URLﾘﾝｸ(bitbucket.org)
URLﾘﾝｸ(ja.atlassian.com)
URLﾘﾝｸ(www.sketchapp.com)
URLﾘﾝｸ(photoshopvip.net)
URLﾘﾝｸ(goodpatch.com)
Trello Chrome拡張機能プラグイン集
URLﾘﾝｸ(chrome.google.com)
Slackプラグイン集
URLﾘﾝｸ(slack.com)
Sketchプラグイン集
URLﾘﾝｸ(sketchapp.com)
URLﾘﾝｸ(supernova.studio)
936:１３２人目の素数さん
18/06/14 21:29:52.19 UOeXpp1A.net
思うんだが、何で日本ってこれほどまでに数理論理学が舐められてるの？
937:１３２人目の素数さん
18/06/14 21:32:38.92 LJFkQF/y.net
日本人がバカだからに決まってます
言語性IQの平均値は欧米より10も低いんですよ
938:１３２人目の素数さん
18/06/14 21:34:25.60 UpPdF8CT.net
日本のIT分野全般的にダメダメだから
理論的な根底成してる数理論理学もダメなんでしょ
939:１３２人目の素数さん
18/06/14 21:40:12.29 UOeXpp1A.net
>>912
それ数理論理学特有の理由にはなってないんですがね
940:１３２人目の素数さん
18/06/15 18:17:12.55 yNNRTaJA.net
どのスレに書けばいいか分からないのでココに書きます
足し算を“一括で”行う演算がかけ算 a*(b+1) = a*b+a
かけ算を“一括で”行う演算がべき乗 a^(b+1) = (a^b)*a
ではどうしてべき乗を“一括で”行う｢演算f3 f3(a,b+1)=f3(a,b)^a｣は数学もしくは数理論理学で扱われないんですか？
もっと言えば
fnを“一括で”行う演算f_(n+1)(a,b+1)=f_n(f_(n+1)(a,b),a)はなぜ扱われないんですか？
941:１３２人目の素数さん
18/06/15 19
942::31:06.68 ID:5ciZHuBb.net
943:１３２人目の素数さん
18/06/16 13:00:44.41 pt6CrfwA.net
数理論理学は論理学と哲学分野が密接に関係していると思っていて、数理論理学に触れる前にそれらを通るものだと考えると、
元々それらは日本の文化として存在せず、現在も根付いておらず、研究者の層が薄く、 幼少期から本物に触れる機会も少なく、知らないからこそ舐められていると思う。
結果として数理論理学まで到達する人も少なく、関連する数理論理学も同様に舐められているんだと思うな。
944:１３２人目の素数さん
18/06/17 03:35:17.89 tAvgXkVZ.net
ヒルベルトとかの頃ならともかく
単に数学として面白みがないってことだと思うよ
実数がアレフ１か２かとか
別にどうでもよさげ
アレフ2だとして
じゃあそのアレフ1の部分集合が
なんだかよく分かるかって
実際全然具体性ないし
945:１３２人目の素数さん
18/06/17 04:23:12.87 O4YMJPab.net
>>906
あっほ。
946:１３２人目の素数さん
18/06/17 04:29:58.71 O4YMJPab.net
>>904
単なるマヌケｗ。
947:１３２人目の素数さん
18/06/17 04:37:15.01 BnHlD9Ph.net
>>918
908が知りたいのは日本特有の理由だから、数学としての面白みがないだけだとまだ足りないと思う
何で欧米では軽視されてないのに日本では軽視されてるの？って質問を言い換えるといいのかも
単に人口の問題ではないとして、文化的な違いが背景にあるんじゃないかと思ってるわ
948:１３２人目の素数さん
18/06/17 04:41:46.74 O4YMJPab.net
>>904 は馬鹿者！「
949:１３２人目の素数さん
18/06/17 04:42:18.27 MC0uPOGa.net
URLﾘﾝｸ(www.youtube.com)
数字の発見をしました。
動画です。
ついでにもしよかったら他の動画もよろしく。（工作、電卓、絵、花火など）
950:１３２人目の素数さん
18/06/17 05:26:30.59 RRAO3egG.net
>>911
数理論理学の研究者が数学科の中でポストを得にくいから情報科学科とかで何とか大学教員になる。
余計数学科の中では勢力が弱くなるってことでしょ。
951:１３２人目の素数さん
18/06/17 07:18:38.78 MC0uPOGa.net
>>923だけど、数学難しいです。
理科が好きですー
952:１３２人目の素数さん
18/06/17 07:24:56.40 vmMmN1sv.net
921は数理論理学が舐められていることを前提にしていて、舐められているからこそ数学科のポストが得られず、情報科に行き、それによってまた舐められて数学科のポストが得られないという負の循環を示すだけで、数学的帰納法で言うn=1が成り立つ理由を説明できてないように思う
953:１３２人目の素数さん
18/06/17 07:59:33.06 BnHlD9Ph.net
>>925
見ましたよ
面白いですやん
数学的な理由付けがあればシリーズ物として見てみたいと思いましたわ
954:１３２人目の素数さん
18/06/17 10:52:13.90 Mnf6xpK6.net
アメリカは日本の不幸の元凶である。
・アメリカはインディアン殲滅と土地略奪、奴隷貿易で成立したキチガイ国家である。
・その汚らしい歴史を薄めるため、ありもしない南京大虐殺の罪を日本に被せ、自らは正義面をし世界に
アメリカ流をゴリ押ししている。
・中国共産党と北朝鮮そして韓国はアメリカが作った傀儡国である。
・これらの三か国に反日と憎悪を煽り日本への破壊行為の手助けをしてるのは紛れもなくアメリカである。
・北朝鮮にミサイルを打たせてるのはアメリカである。中国の日本領海の侵入を後押ししてるのもアメリカである。
・日本へのタカリ根性と乞食
955:根性が染みついた韓国中国をとことん甘やかし増長させてるのもアメリカである。 ・日本を滅ぼす行為を裏で操りながら、守ってやると偉そうに米軍基地を置き日本を監視し独立を 阻害してるのはアメリカである。 ・GHQ体制以後、アメリカは在日朝鮮人を日本の間接支配の道具とし、様々な重要ポストを与え日本人を牽制かつ毀損し 日本人の監視を行わせている。 ・芸能界において人気がないにもかかわらず、在日やハーフもしくは白人が起用されるのはアメリカの圧力があるからである。 ・アメリカは貿易黒字のドルを金へ兌換することを日本に許さず。エンドレスに米国債を買わせアメリカ経済とドルを 支えることを強制している。 ・アメリカは緊縮財政と消費増税かつ東京一極集中を日本政府に行わせ、日本人を貧乏かつ疲弊させ、国力低下と日本人削減を 徹底的に行わせている。 ・アメリカは日本政府に移民を大量に入れることを命令し、日本の文化と秩序を壊し、日本を東南アジアのような貧乏かつ 売春大国にしようとしている。 ・アメリカは自ら作った国際緊張で日本を脅し、日本の法律と憲法の上に位置するTPPもしくはFTAを結び、日本の主権を奪い 日本人を奴隷にしようとしている。
956:１３２人目の素数さん
18/06/17 17:29:23.97 2s/SLyMA.net
>>921
> 908が知りたいのは日本特有の理由だから、数学としての面白みがないだけだとまだ足りないと思う
> 何で欧米では軽視されてないのに日本では軽視されてるの？って質問を言い換えるといいのかも
欧米でも数理論理学が充分にリスペクトされるようになったのは割と最近で
それまではマイノリティとして主流分野の数学者との間で長い長い戦いがあった
それは欧州のとある数理論理学者から直接に聞いたので確かだろう
現時点において、欧米で数理論理学が日本よりも安定した地位を得ているのは、
理論計算機科学に対する欧米と日本とでのリスペクトの違い
日本が人工知能という与太に基づく第５世代コンピュータを当時の通産省主導でブチ上げたのに対する
ヨーロッパの反撃はESPRIT計画だったわけだが、このプロジェクトを成す様々な研究テーマの大半は理論計算機科学の特定テーマの研究加速化であったり
理論計算機科学の成果を応用しようというものであったりした
少なくとも当時のハード性能では与太話に過ぎなかった人工知能や知識工学に入れあげた日本と、理論計算機科学という中身の確かな学術分野を育てようとしたヨーロッパ
その理論計算機科学への集中的かつそれなりに長い期間の予算投入と重点強化で、そのバックグラウンドとしての数理論理学もヨーロッパではスポットライトを浴びて
数理論理学の研究者はヨーロッパで安定したステータスを確立できたと考えるのが妥当だろうね
日本だって一応はロジックプログラミングに基づく第五世代ということで、その際にばら撒かれた研究資金はロジック屋や理論計算機科学屋さんたちにも少しは流れたから
第五世代プロジェクトの時代にそれらの分野の研究者が急激に増えて育ったが、その後の予算が続かなかったので徐々に先細りしつつあるのが現状
957:１３２人目の素数さん
18/06/17 19:35:29.35 0bsdU2Ou.net
>>929
なるほど
ありがとうございます
958:１３２人目の素数さん
18/06/18 18:03:17.15 +XjUPkJk.net
AwodeyたちがやってるHoTTのプロジェクトも
軍関係で半分計算機関係の予算だよね。
日本で研究予算が続かなかったのは、まあ、
ロジックに限った事じゃないよね。
国の大元の金融財政政策がおかしくて景
959:気が悪かったから 研究予算の総額自体が先細ったのが 根本的な原因だとは思う。そのせいで文科省の役人が、 一発当ててやろうみたいな打算で割り振った予算とか、 親族が有名な学者で自分には大した研究業績はないが コネは持っててプレゼンテーションだけは得意、 みたいな政治屋が予算をもぎ取っていくとか、 そういう事例ばかりが目立つ事になる。
960:１３２人目の素数さん
18/06/20 17:33:18.08 w+ZIfhaK.net
p進さんってGentzenのHauptsatzについて
かもさんとかよりずっと数学的に
きちんと理解してる感じがする
961:１３２人目の素数さん
18/06/23 20:48:47.04 NdebDpD/.net
極限について、ツイッターで大学の教員が「極限は一階述語論理の関数記号であり、それを付け加えることは保存的拡大」としていたんだが、
極限は普通の関数(写像)の定義で作れる関数ではないの？
962:１３２人目の素数さん
18/06/23 21:02:53.12 emPaHwWk.net
極限は普通の関数(写像)の定義で作れるから、新しい関数記号として lim を付け加えても元と同じ（保存的拡大）
という趣旨の発言ではないの？
963:１３２人目の素数さん
18/06/23 22:02:14.43 NdebDpD/.net
>>934
確かにそう見ようと思えば見られる
ありがとう
964:１３２人目の素数さん
18/06/25 18:37:39.73 KE0y5LKP.net
>>911
・相対性理論
・数学基礎論（foundation of mathematics）
・量子力学
確かにこの３点セットは舐められているようになっているように見える。
でもどれも共通していることは、ゆるぎないものだってことだよね。
変なこと言ったら全方面から怒りを買うし気を使うよ。
965:１３２人目の素数さん
18/06/26 18:27:17.11 ZA6Dsh8D.net
>>936
> ・相対性理論
> ・数学基礎論（foundation of mathematics）
> ・量子力学
> 確かにこの３点セットは舐められているようになっているように見える。
量子力学と相対性理論は物理屋さんの間で舐められていない。
特に量子力学はこれに習熟していなければ研究者どころか物理学専攻の院生にさえなれない。
相対性理論だって宇宙論や天体物理方面を志望する学生には必須。
ただ、量子力学にせよ相対性理論にせよ既に物理理論として確立してこれら自体の研究は終わっているからポストもない。
舐められているとすれば、量子力学でなく量子力学基礎論とでも呼ぶべき研究分野、つまり観測の問題とか量子力学の解釈問題とかを研究テーマとする分野。
これが何故に殆どの物理学者から無視され相手にされない（つまり舐められている）かと言えば、それら量子力学基礎論の問題の答えがどうなろうとも
量子力学を使って実験・観測で出るべき値を予測したり実験で出たデータを解析したりする上で全く影響がないからだ。
つまり量子力学の解釈問題（コペンハーゲン解釈が正しいかEveretteの多世界解釈が正しいか或いは他の解釈が正しいのかという問題）は
実験によって当否を判定できる（つまり反証可能な）の問題でなく、従って自然科学としての物理学の研究対象ではない（自然哲学の対象ではあるかも知れないが）という事だ。
観測の問題にしても同様だと思われているが、こちらは本当に反証不能な問題なのかは少し疑問が残るような気が個人的にはしている。
これが殆どの物理学者たちが量子力学基礎論に対して冷淡な理由だよ、本質的に自然科学の研究ではないからだ。
もっとも「人間原理」なんて持ち出す宇宙論とか素粒子論の連中は量子力学基礎論の研究者以上に自然科学者として正気か疑わしいけれどね。
これに対して重力理論としての相対性理論に対する疑問は現在も充分にホットなトピックだよ。
何しろ一般相対性理論は量子力学と矛盾してしまうからね。（発散の問題）
だから例えばエントロ�
966:sック重力理論なんてのは非常に魅力的な新しい重力理論の代替候補だし量子力学とは矛盾しない。 ただ、重力理論を素粒子論から基礎付けようとする超弦理論が久しくブームなので他の代替候補には予算もポストも回らない現実がある。
967:１３２人目の素数さん
18/06/26 18:33:36.18 ZA6Dsh8D.net
>>937で言いたかったことを要約しておくと、
量子力学と量子力学基礎論とはきちんと区別すべきだ、ということだ。
前者は反証可能な自然科学（自然は～である、を扱う学問）の理論だが、
後者は（恐らくは）反証不能な問題に関する理論を作ろうとしており自然哲学（自然は～であるべし、を扱う学問）の理論ということだ。
（一般）相対性理論や重力理論に関しては状況は全く異なる。
一部の分野には必須だし、その当否については現状でもホットな問題でもあるが物理学者コミュニティ内部の力学が原因で
特定のアプローチだけに予算とポストが集中している（ので他のアプローチは舐められてるように見えている）。
968:１３２人目の素数さん
18/06/26 19:52:22.48 yZv1eI5T.net
ところで量子力学基礎論が反証不可能であることの証明はできますか？
969:１３２人目の素数さん
18/06/26 20:59:05.49 a0Pzu46h.net
>>937-938
要約ありがとう。だいたいそういう理由が返ってくるので物理学専攻の学生でも
あまり手を出さない、つまり聖域みたいになっている。だから量子力学基礎論に
至っては、物理学専攻じゃなくて計算機専攻が量子コンピューターの研究の一環
で手を出しはじめている。量子力学基礎論を本当に進めたいのは量子コンピュー
ターまわりの人物だ。
つまり２系統今あるわけで、どこかで合流することは必然的だ。（これは不可避）
相対性理論、これもまた物理学専攻の学生にとっては聖域だね。専攻して講義を
受けてみても不可解な教科書に講義、図書館で調べようとしても相対性理論と名
のつく本は「ものすごく頭のいい人が書いたから」というような不可解な理由付
けがされているものの結局は、形容しづらいので、難しいわけだ。
宇宙論は輪をかけて難しいものの、こう、最初の膨張宇宙のモデルを提出した人
達で有名ではない人をみていると、亡くなっていても偉大な人物はいまからでも
評価しなくてはならない、ってなる。宇宙論だろうが力学分野だろうが探せば、
ああこの現象を理由付けたのはあの人物だったのか、って言う人がいるだろう。
ブラックホールの概念についてもそうだね。
>>939
量子力学基礎論が反証不可能な証明ですか、それは今の自分の力量ではできません。
なにせ数理論理学ってすごく難しいでしょう。中高でやる幾何学の証明とは全く別物
みたいで、幾何学の証明について書かれている古い本もっていますけど、その付録を
読んでいると、ああ、丸写しできる答えがそのままのっていないと証明することって
一人では難しいなって思ってしまいます。
970:１３２人目の素数さん
18/06/26 21:46:13.61 a0Pzu46h.net
「量子力学基礎論」という知らない固有名詞に乗るのはよろしくなかった。
「量子力学の解釈問題」で読み替えてください。
971:１３２人目の素数さん
18/06/26 22:47:51.21 FnpY5ghl.net
格子ゲージ理論が離散化で却って成功してる事例だろ
ガイシも本書いてるｗｗｗ
972:１３２人目の素数さん
18/06/27 00:42:05.07 0YC9dkkt.net
ガイシの時点で量子論理とかとの関係性見いだそうとやってたのに
にじゅういっせいきになって「量子力学基礎論」とか・・・
973:１３２人目の素数さん
18/07/07 12:06:39.48 k5BHVvro.net
自分の周り、ちゃんと見ろよ。
974:１３２人目の素数さん
18/07/07 16:52:16.49 AchoogSL.net
現実から目をソラシドエアー
茨城空港就航
975:１３２人目の素数さん
18/07/08 16:43:51.14 3R/hZ2oJ.net
怒
976:らないで聞いて欲しいんだけれど、こう、陳腐な話だけれど、 他人の命とか人生とか粗末に扱ってはいけないと思うんだ。 よく、思い起こして欲しいのだけれど、それは陳腐な話なんだよ。 もう怖くてみんな言い出せないだけで、顔色も変えないように しているだけなんじゃないかな。 ただ単に仕返しが怖いから笑っているだけなんじゃないかな。
977:１３２人目の素数さん
18/07/08 17:21:05.24 3R/hZ2oJ.net
言ってしまえば、所詮ね、こんな学問的に追い求めるということは
一つのロマンであって、大事なものではあるけれど、結局はありもしない
ロマンでしかない。事実今現在存在する現実とロマンを比べたときは、
現実をとらないといけない。ロマンを追い求めて、現実逃避のために
ちゃんと今存在してくれている現実を台無しにしてしまう人なんてね、
こう、身近なしょうもないケースに喩えて考えてみることは大事なんじゃ
ないかと思う。
978:１３２人目の素数さん
18/07/08 19:26:59.61 JRFmeDCt.net
人生は死ぬまでの暇つぶし
自分という中心がある限り、現実が大事かどうかは自分しか判断できない。
979:１３２人目の素数さん
18/07/08 20:40:44.76 3R/hZ2oJ.net
それはあなたの判断であって他の人は違うでしょう？
暇つぶしなんてしょうもない理由しかない人もいるでしょうが、
家族を大切にしたいとか、目標を達成したいとか、
別の価値観の人がいるんですよ。
980:１３２人目の素数さん
18/07/08 21:24:40.72 3R/hZ2oJ.net
もう理解もしていないロマンを追っておかしなことをするのは止めよう
自分ももうお払い箱なんだし。具体的手法も含めて全部言ってしまった。
願わくばまだ見ぬ異国のメンバーたち頑張って実現してくれ、
ここでは無理だから。青い鳥なんていない、現実に戻るべきだよ。
981:１３２人目の素数さん
18/07/09 12:19:02.63 npjW2rvW.net
スレチだったらすみません。
任意の自然数nに関する実数tの3次方程式を考えます。
∀n∈N∃t∈R {t^3+3nt^2-3n-2=0}
このときこの方程式の条件式の部分だけを考えて、
t^3+3nt^2-3n-2=0⇔∃X,Y{Y=(3/2)t^2*X-t^3∧(X,Y)=(-2n,-3n-2)}
と、同値変形することは正しいでしょうか？
これだけだと同値式の左辺はn,tの定義が不明で方程式として見ているのか恒等式なのか判断できないから真偽判定できないが
右辺はX,Yの存在に関する真偽判定可能な命題になっていて本当に論理的に左右が等しいのかわからないのではないか？
と、指摘がありました。
その人は右辺の二つ目の条件は条件というよりもX,Yの定義そのものだから∃X,Yを削除して、さらに条件式だけではなくt,nの定義もセットにして
∀n∈N∃t∈R {t^3+3nt^2-3n-2=0}⇔∀n∈N∃t∈R{Y=(3/2)t^2*X-t^3, ただし(X,Y)=(-2n,-3n-2)}
とするのであれば理解できると言ってました。
結局条件式の同値変形はどうするのが正しいのでしょうか？
特に∃X,Yが付くか付かないかで本当に意味が変わってしまうのでしょうか？
わかる方がいましたら何卒回答を教えていただきたいです。よろしくお願いいたします
982:１３２人目の素数さん
18/07/09 12:24:19.74 rLEvRqkF.net
>>951
論理的に同値かどうかを調べるには、論理式に使われる言語や述語記号などの解釈を定めていただかないといけないのですが、そこら辺はどのようになっていますか？
983:１３２人目の素数さん
18/07/09 12:39:10.17 hUwY5VqB.net
>>951
ゼンシヨウヘイホウカトクシヨウヘイホウカジユツゴカ
984:１３２人目の素数さん
18/07/09 14:07:17.39 COBLXkMA.net
>>951
∀n∈N[
( ∃t∈R t^3+3nt^2-3n-2=0 )
⇔
( ∃t∈R ∃Y∈R ∃X∈R Y=(3/2)t^2*X-t^3 ∧ (X,Y)=(-2n,-3n-2) )
]
は明らかに正しいよな
でも、代数学の基本定理を加味して考えると(？)
∀n∈N ∃t∈R[
( t^3+3nt^2-3n-2=0 )
⇔
( ∃Y∈R ∃X∈R Y=(3/2)t^2*X-t^3 ∧ (X,Y)=(-2n,-3n-2) )
]
も正しいよな
(3次方程式だから代数学の基本定理は一々言わなくていいか…)
985:１３２人目の素数さん
18/07/09 14:11:14.62 COBLXkMA.net
∀x(P(x)⇔Q(x)) ならば ∀xP(x)⇔∀xQ(x)
も正しい主張だから、>>954の前段により、
論理式
∀n∈N( ∃t∈R t^3+3nt^2-3n-2=0 )
⇔
∀n∈N( ∃t∈R ∃Y∈R ∃X∈R Y=(3/2)t^2*X-t^3 ∧ (X,Y)=(-2n,-3n-2) )
も正しい
はず…。
986:１３２人目の素数さん
18/07/10 17:29:26.97 4KzrPJ42.net
∀n∈N ∀t∈R[
( t^3+3nt^2-3n-2=0 )
⇔
( ∃Y∈R ∃X∈R Y=(3/2)t^2*X-t^3 ∧ (X,Y)=(-2n,-3n-2) )
]
も正しいな
(∃ｔを∀ｔに変えた)
987:１３２人目の素数さん
18/07/13 09:50:43.35 NngNDeff.net
カッコって
｛（[ ]）｝の大中小関係だと思ってたが違うんか？
988:１３２人目の素数さん
18/07/13 12:05:51.58 TsA1JDBt.net
>>957
>>956は単なる見栄え上の問題です
ただ、論理式を書く中で波括弧{}を書くと、集合と誤解を受けるので角括弧[],丸括弧()が多用されますね
勿論丸括弧()も組(x,ｙ)と誤解を受ける可能性があるので注意は払うべきですが
989:１３２人目の素数さん
18/07/13 13:19:40.70 Xa0Xrp6B.net
クラスってなんなんすか？
990:１３２人目の素数さん
18/07/13 14:03:40.59 HK9vyXQT.net
わからないんですね
991:１３２人目の素数さん
18/07/13 23:04:29.78 aF4gL7XN.net
>>873
「当時の」日本の関係者が揶揄するなら、K.Y.ケネディ
ということですね。
992:１３２人目の素数さん
18/07/14 22:13:16.57 4QoS4GDD.net
順序数定義可能集合について書かれている、
キューネン以外のおすすめの本はありませんか？
993:１３２人目の素数さん
18/07/18 03:44:45.99 NmUPTV+a.net
２０世紀は、論理学の歴史からみれば、おおかたの予想に反して、Russell-Hilbert-Goedel
にミスリードされた暗愚な10０年であったと記憶されることとなろう。
994:１３２人目の素数さん
18/07/18 07:18:50.41 s/GL5PAu.net
>>957
おれは()しか使わん
995:１３２人目の素数さん
18/07/18 07:19:18.36 s/GL5PAu.net
>>963
？
996:１３２人目の素数さん
18/07/18 23:20:31.18 DBS100d0.net
ZFCで(とりあえず)考えます
P(x,y)を述語とする
選択公理により、∀x∈X∃ｙ∈Y P(x,y) ならば ∃ｆ：X→Y ∀x∈X P(x,f(x)) です
じゃあ、∀x∃ｙ P(x,ｙ) ならば 新しい関数記号ｆを導入し、公理∀x P(x,f(x)) を加えた体系は元の体系の保存的拡大(だったっけ？)になるんですか？
選択公理を使わずとも、∀x∈X∃!ｙ∈Y P(x,y) ならば ∃ｆ：X→Y ∀x∈X P(x,f(x)) です
じゃあ、∀x∃!ｙ P(x,ｙ) ならば 新しい関数記号ｆを導入し、公理∀x P(x,f(x)) を加えた体系は元の体系の保存的拡大(だったっけ？)になるんですか？
この場合は上の場合とは違った議論は何かありますか？
997:１３２人目の素数さん
18/07/18 23:48:43.86 s/GL5PAu.net
>>966
>∀x∃ｙ P(x,ｙ)
X,Yは？
998:１３２人目の素数さん
18/07/19 10:24:25.83 rnRSO3vZ.net
>>963
計算機科学屋さんで一番役に立たない連中の間違いだろ
999:１３２人目の素数さん
18/07/19 18:41:38.91 cb8/tBx6.net
>>963
自分としては幾何学の基礎の八版改訂をしたベルナイスが一番。
フロイデンタールは皮肉ったが、他は誰も誤解されてても
指摘しなかったしそういう雰囲気だったんじゃないか。
1000:１３２人目の素数さん
18/07/19 18:53:21.47 cb8/tBx6.net
ヒルベルトも第一次世界大戦後にドイツがようやく加入がみとめられて、
一応ブラウワーを追い出すこととなった大舞台のボローニャの国際会議（1928）で
大々的にぶち上げたもんだから訂正もできないわ、そりゃ「数学の危機」って
言われるって。
1001:１３２人目の素数さん
18/07/21 00:23:09.0
1002:5 ID:3EtBPsuP.net
1003:１３２人目の素数さん
18/07/21 01:11:22.37 TftabnWB.net
>>971
自分の理解では、その含意の意味が少なくとも２種類あるのだけれど、
混同して理解されているからまず分離しないと研究領域にならないと思う。
言い換えると、〜ならば〜っていうときの「ならば」は自然言語的で曖昧なんで、
包含の意味なのか導出という意味なのかそれぞれ固定して別個の領域で研究する
必要があるだろうということ。
1004:１３２人目の素数さん
18/07/22 21:50:37.84 84kHkvnw.net
宇宙が地球よりも大きいならば
太陽系は銀河系よりも小さい
1005:１３２人目の素数さん
18/07/22 22:38:49.58 W2tHXNb3.net
宇宙はcosmologyの宇宙じゃなくてuniverseの方か？
一つに絞れてはいないけれど、どれであったとしても正直信じることができない。
ギャップがありすぎるし、それに、原理をなぜ断片的にでも説明していかないんだ？
バッと出して、解説も一緒に出すのか？だとしたら自分バカみたいじゃないか。
1006:１３２人目の素数さん
18/07/22 23:04:56.12 W2tHXNb3.net
無念の内に埋没していった奴らの業績掘り起こすのぐらい言われなくてもやるわい。
そもそもそうしないと話繋がらないんだから。
1007:１３２人目の素数さん
18/07/23 20:55:07.98 18+pI12R.net
なんだったっけ…
人間は動物である
したがって
人間の鼻は動物の鼻である
が1階の述語論理じゃ形式化できないんだったっけ？
1008:１３２人目の素数さん
18/07/23 21:01:58.60 VeUz2ze1.net
ここ３０年の気象観測によると地球は丸い
1009:１３２人目の素数さん
18/07/24 00:15:22.62 zmGBnpiz.net
パース（Peirce）について聞かれても正直わからん。
1010:１３２人目の素数さん
18/07/25 11:41:22.78 SH/YPFjW.net
数学的対象は客観的実在である
1011:１３２人目の素数さん
18/07/25 22:57:46.94 FRZ77WGd.net
その『数学的対象』と呼ばれるものは何か実在モデルがあってその定式化されたものと
考えるべきで、結局数学的対象物の実在性というのは現実モデルの実在性に帰着する。
前期ヒルベルトみたいに無矛盾性だけに帰着させて、無意味な形而上学を放置
しておくと、インテリジェンス誌上でベルナイスの弟子のマックレーンが数学の健康問題
（The Health of Mathematics, 1983）で論争するような集団になる。
結局のところ数学も人間の編み出した表現の一つでしかないのだから、数学を『完全言語』
とみなして、すべてを導出するというような使い古された話は意味なくて、現実に発生する
『現象』ベースで文の真理値を確保して、それを数学的定式化したということで数学的表現の
真理値の保証を得る、つまり客観的実在物であると認定させるという方式しかないと思う。
結局、数学というのは二次的なものでベースは現実に発生する現象の物理に持ってこないと
数学もできないと思った。
1012:１３２人目の素数さん
18/07/25 23:07:14.47 FRZ77WGd.net
ホットなA∞？全然知らないけ
1013:ど
1014:１３２人目の素数さん
18/07/25 23:50:37.43 wdc2RIqP.net
>>980
アホ？
1015:１３２人目の素数さん
18/07/26 01:03:14.16 O8MRNEGR.net
お前がね
1016:１３２人目の素数さん
18/07/26 03:05:52.39 mDnJRg4J.net
>>980がアホだというのは同意する
1017:１３２人目の素数さん
18/07/26 07:27:28.16 I0+BUJMx.net
自励系だけじゃないだろ。結局、現象は作れるけど『実は、説明はできません』とは
言えないことに起因しているんじゃないか。
強がっているが実は説明できないので時間だけ過ぎていく。
1018:１３２人目の素数さん
18/07/26 09:15:11.71 mDnJRg4J.net
>>985
頭の中を整理してから書き込みましょう。
1019:１３２人目の素数さん
18/07/26 23:26:52.03 O8MRNEGR.net
アホアホマンの意見を聞こうか
1020:１３２人目の素数さん
18/07/27 00:40:42.76 3VWQkbmG.net
自分のアプローチというか動機は物理に型概念を導入したいということなので、
ほぼすべてその観点から組み立てている。
ただ、まだ意見を言うには早いし正直内容的にわかってない。
1021:１３２人目の素数さん
18/07/27 06:04:55.45 DYdLHUOP.net
>>980
これだと、ラッセルの考え方と逆になるね。
命題関数や論理は、その概念上の中で自己完結できるというのがラッセルの
観点。つまり、現実的な対応物がなくても、数学的な記号操作だけで真偽を決定できる、
ということ。自分もこのラッセルの考え方を支持しているよ。
なぜなら、科学的な真理は、かつて天動説が信じられていた時代があったように
論理の真理値を完全に保障するものとはなり得ないから。つまり、客観的な物理学を
想定しなくても用いることが出来るのが論理や命題関数の本質じゃないかな、と考えられる。
だから「すべての人間は死ぬ」という命題も常に真、すなわち恒真命題だとはいえない。
なぜなら、バイオテクノロジーの発展で、今後、不老不死の人間が現れないとも限らないから。
あと、枚挙型の帰納的推論だと、人類誕生以来のすべての人間の死を確認した訳でもないので、
そこからも命題の真偽と現実の客観的対応は、完全である、と思い込まない方がいいだろう。
あくまでそれは蓋然性の度合いや高低の問題となる
1022:１３２人目の素数さん
18/07/27 07:29:12.00 LkakAqzC.net
ラッセルの時代は知られてなかったけど、
算術を入れた一階述語論理では命題関数を自分の中では扱えない
任意の論理式φに対して、φをゲーデル数化した項をt、(真であると解釈する)述語記号をTとしたときに
φ↔T(t)
とすると矛盾してしまう
1023:１３２人目の素数さん
18/07/27 08:43:18.64 DYdLHUOP.net
たとえば、「先日、オウム真理教の教祖、麻原彰晃に対して死刑執行が為された」
という命題を考えてみよう。この命題は真である、と考えられるけど、実際の
事実レベルでは、それとは違う事態が生じていた可能性はあり得ないだろうか。
執行以前に、刑務官の暴行で麻原が死んでいたり、病死していたり、自殺していた、
幽体離脱して消えていたという真実がある可能性もゼロではない。それがマスコミに
発覚すると刑務所の死刑囚管理体制に対してバッシングを受ける恐れがあるので、
それを隠密裏に処理した。そして、通常通りの死刑執行が麻原彰晃本人すでに死去の中、
形式的にのみ執り行われた、という真実もあり得る訳で、命題だけからでは、
決して本当の真理値を論理的に導出し得ないことが判る。あくまで、その命題が
真となる蓋然性や度合いのグラデーションがそこにある、という風にそれを解釈できる。
つまり、論理や命題論理式は世界や実在の完全な記述ではなく、矛盾許容論理、
多値論理�
1024:ﾈどを用いて真理値に幅を緩く持たせてあげたりするようにして整合 させようとするものがあることからも判る通り、論理というゲームの世界で なるべく斉合させていくというアプローチだろう。でも、そのような論理を 人工知能などに実装すれば、それは病理判定など専門的な挙動なり判断、推論も そこから得られるので、現実においても有効に活用できる。ただし、それでも 論理は完全ではない、ということだろう。 別に完全でなくても、論理は十分に役立つし有意義な道具や概念であると割り切って いれば、いいでしょう。
1025:１３２人目の素数さん
18/07/27 09:30:11.83 DYdLHUOP.net
現実との対応関係が曖昧なのは、論理だけでなく、数学でも事情は一緒。
たとえば、無限という数学的概念に対応している現実的な存在物を挙げて
みよ、と言われても誰も答えられないはず。人は実際に無限を見たことも
経験したこともない、常に有限を生きている。また、無限はその性質から
言って数え上げることもできない。無限を数え上げ終わる前に、人や人類は
寿命や終焉を迎えることだろうから。
つまり、あたかも無限や無限小なるものが概念上で実在しうるものとみなして、
数学というゲームをなるべく精密に構築して展開しよう、ということなので、
それを厳密に考えたら、数学と現実に写像的な対応関係がある訳ではない。
ただそうした抽象化をすることで多くの利点がもたらされるので、そうした
数学を活用しているということ。
1026:１３２人目の素数さん
18/07/27 12:09:58.75 i1Xq+Q3E.net
どっちがアホかは一目瞭然
1027:１３２人目の素数さん
18/07/27 20:48:15.71 3VWQkbmG.net
>>989
ラッセルが英墺系の哲学と論理学をイギリスをはじめとする英米系の文化圏にもって
来るときに、フレーゲの論理学もなにもだいぶ簡略化して紹介してしまったんだよ。
ラッセルの念頭には「形式論理学」としての論理主義があったので、フレーゲの真理
概念も誰にとっての真理なのかわからない真理関数として単純化された。
それはそれで時流に乗って成功しちゃったんだけど、やっぱ現実と合わないところが
出てきたので、同じイギリス人のダメットが回りくどいやり方で、もとの英墺系の
哲学論理学を復活させようという運動をしてくれた。
英墺系哲学論理学の観点から２０世紀科学をみると、納得いかないところが
いっぱいあるので、英墺系哲学論理学をベースに２０世紀科学をやり直そう、という
運動をしたらここまできた。
1028:１３２人目の素数さん
18/07/27 22:10:56.84 ZegudDuy.net
計算機の方が現実的なメソドロジカルな経験主義的な最重要な「手段」だからね
1029:１３２人目の素数さん
18/07/27 22:22:04.73 3VWQkbmG.net
自分としてはこういう理由。
１ 論理実証主義者が無意味な形而上学と退けたいくつかの現象が
計算機の発展によるインスタントメッセージの流通とその監視により
合理的に存在するもので無意味な形而上学とはいなくなった。
２ 女性活躍社会になったので心的現象を社会的に無視できなくなった。
1030:１３２人目の素数さん
18/07/27 22:22:52.53 3VWQkbmG.net
いなくなったじゃなくて、言えなくなった、ね。
1031:１３２人目の素数さん
18/07/27 22:26:51.45 OJRr2V2x.net
炭酸飲料
1032:１３２人目の素数さん
18/07/27 22:38:56.70 3VWQkbmG.net
我々は２０世紀論理実証主義者が定義した科学の範疇を逸脱しているのに
合理的であるとみなされる現象に振り回されている。
これは「科学」の範疇が時代にあっていないせいだ。だから、我々は合理的現象を
説明する枠組みとしての科学を２１世紀に合致するものとして再定義しなければ
ならない。言うなれば、２１世紀の新しいウィーン学団的論理実証主義を定義
することだ。。→いつの間にかアイコン的目標もできたよ。
1033:１３２人目の素数さん
18/07/27 23:33:22.84 DYdLHUOP.net
>>994
だから、ラッセルやオーストリア出身のゲーデルを出すまでもなく、
古典論理の運用は、日常言語の使用法とは幾分、解離しているよ。
命題をP,Qと置き、論理和は、P ∨ Q はP,Qが共に真(1)の場合でも、
真とみなされるけど、現実の日常生活でこの論理の法則を適用したら、
おかしくなるよ。
たとえば性別を問われた時には、PかQのいずれかが真でいずれかが偽となる
回答を求めているのに、「私は男(P(1))です」また同時に「私は女(Q(1))です」
という回答も真理関数の上では真(P(1)∨ Q(1) ⇒ 1)となる。
P⇒Qについても同じで、Pが偽の時は、Qがどんな命題でも真となる。
これは日常言語での言葉の扱いとはズレている。
「オウム真理教の教祖、麻原彰晃に対しては、まだ死刑執行が為されていない」
という命題Pは偽なので、任意の命題Q、
「だから、麻原彰晃は今も独房の中で生きている」
というP(0)⇒Q(0) は、真偽表の上では真(1)となる命題扱いになるから。
偽からはどんな帰結でも導けるというのは、論理の世界では有名でしょ。
それは、日常での言語運用感覚とは異なるもの。
1034:１３２人目の素数さん
18/07/27 23:40:27.96 DYdLHUOP.net
「オウム真理教の教祖、麻原彰晃に対しては、まだ死刑執行が為されていない」
という命題Pは現時点では偽なので、任意の命題Q、
「だから、麻原彰晃はすでに死んでいる」
という奇怪な文も、真理関数の概念の上では、真となる命題の関係となる。
1035:１３２人目の素数さん
18/07/27 23:57:03.13 DYdLHUOP.net
もっと簡単に言うと、OR文を日常言語の運用法で解釈すると、PかQのどちらか一方
となるのに、論理の真理関数上ではPとQが共に真の時も、真とされるというところに
日常世界と論理の世界との間にズレがあるということ。
なんで論理がそうなっているかはの理由簡単で、計算上の整合性がそこに求められているから。
P∧Q は、P*Q
P∨Qは、(P+Q)-(P*Q)
という計算で整合するように構成されている。
1036:１３２人目の素数さん
18/07/28 00:39:52.70 ftPB13dH.net
数学するぞ！数学するぞ！
1037:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 266日 23時間 45分 24秒
1038:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています