2ちゃんねる ■掲示板に戻る■ 全部 1- 最新50    

■ このスレッドは過去ログ倉庫に格納されています

数理論理学(数学基礎論) その14

532 ::2021/06/25(金) 01:18:24.72 ID:ForJpWq9.net
>>530
新装版って、初版年をすげ替えるのが慣例なんですか?どこかに初版 1967 年とか書いとかないといけないと思うのですけど‥‥

533 :132人目の素数さん:2021/06/25(金) 05:36:59.88 ID:mrejkr1j.net
>>532
出版関係詳しくないから分からないけど
Amazonの新装版の商品ページでは2005年表記

534 :132人目の素数さん:2021/06/25(金) 16:22:27.03 ID:XflGA9nQ.net
>>522のやるべき事は、重箱の隅に拘らずに
まず何が大事で何が些事かを
自分なりに分かろうとする事だと思う。

一般論としては、複数の著者が強調している事は
一般的に重要だとみなされている事が多いと思う。

それだけではないけどね。数学の世界には
folkloreと言って、どの本にも書いてないけど
専門家には常識みたいな事項も多いから。

535 :132人目の素数さん:2021/06/25(金) 16:27:43.70 ID:QqR/ZCDF.net
重箱の隅で自分を大きく見せようなんて腐った奴に言うだけ無駄

536 :132人目の素数さん:2021/06/25(金) 17:23:50.53 ID:GLKVNml/.net
これね
https://www.nippyo.co.jp/shop/book/2703.html

初版年月は必ずしも書くとは限らない

537 ::2021/06/26(土) 15:39:52.47 ID:Q9p0+UPN.net
>>534
>数学の世界にはfolkloreと言って、どの本にも書いてないけど

「山辺の方法」ですか?
そもそも山辺って誰?

538 :132人目の素数さん:2021/06/26(土) 17:05:51.01 ID:FOYkOaq1.net
「山辺の方法」って初耳だったけど
なるほどなー多項式は有限回微分で消えるからか

539 ::2021/06/26(土) 17:57:02.80 ID:Q9p0+UPN.net
>>538
それどころではないんですよ
無限項の多項式でも成立するんです、例えば
dy/dx + y = e^{ax}

x = e^{ay} / (p + 1), p = dy/dx
と置いて山辺の方法が使えます、お試しあれ

540 :132人目の素数さん:2021/06/26(土) 18:51:19.06 ID:BlXNtqL5.net
>>537
そんな名前で呼ばれているとは知らなかったけど
それはたいていの微分方程式の教科書に載っているから
ここでいうfolkloreではないよ

541 :132人目の素数さん:2021/06/26(土) 19:00:55.42 ID:BlXNtqL5.net
>>539
y'+y=e^xに使うと
y=(1-p+p^2-p^3+…)e^x=e^x-e^x+e^x-e^x+…
ですか
何とか和で考える?

542 ::2021/06/26(土) 20:19:35.48 ID:Q9p0+UPN.net
>>541
a = 1 と置いてしまうと残念ながらうまくいかないです‥‥ a を残した状態でやってみてください

543 :132人目の素数さん:2021/06/26(土) 20:53:35.49 ID:pL9qjowA.net
何言ってんだこいつ

544 :132人目の素数さん:2021/06/26(土) 21:43:12.64 ID:rL58TNW/.net
科学史の本とか物理学者の伝記とか読んでると
場の量子論関係の計算を半年かけてやったとか三日かけてやったとか
学会から大学に戻るまでの汽車の中で計算したとか
そういう話が出てくるけど
いったいなんの計算をしてるんだ?
数値積分?

場の量子論の勉強、その2 : 大栗博司のブログ
https://planck.exblog.jp/15464130/
最初の論文がすでにノーベル賞クラスだった南部陽一郎
http://jimnishimura.jp/tech_soc/chem_todaynambu/chem_today0903/09_03.html

545 :132人目の素数さん:2021/06/26(土) 21:43:53.96 ID:rL58TNW/.net
ありゃ、誤爆ごめんなさい

546 :132人目の素数さん:2021/06/28(月) 18:39:06.25 ID:QWOVITJN.net
論理の話だと決まってマウンターが現れるねw

547 :132人目の素数さん:2021/07/11(日) 22:06:26.25 ID:WIAIFFLn.net
わかみず会ってなんか素晴らしくネ?
http://www.ivis.co.jp/text/20190619.pdf
http://www.ivis.co.jp/wakamizu.html

548 :132人目の素数さん:2021/07/12(月) 00:39:23.21 ID:rVifxK0U.net
右翼かよ

549 :132人目の素数さん:2021/07/12(月) 00:54:56.21 ID:4hFd3MT0.net
そういう意図で付けた名前じゃ無いと思うが・・・・・

550 :132人目の素数さん:2021/07/12(月) 14:00:08.82 ID:W9Yjxxmv.net
IT小僧が知的ぶりたいだけの同好会w

551 :132人目の素数さん:2021/07/12(月) 14:50:40.67 ID:4hFd3MT0.net
>>550
よく理解して解説してあると思うよ
その取り組み姿勢が素晴らしい

552 :132人目の素数さん:2021/07/12(月) 16:35:31.04 ID:rVifxK0U.net
やたら範囲が広くて分からん

553 :132人目の素数さん:2021/07/15(木) 04:17:00.93 ID:/Q7LnOe8.net
質問
田中尚夫の公理的集合論p140のモスウトウスキー同型定理の証明
https://i.imgur.com/8NmMrnH.png

クラス関数Gの定義が不十分だと思う。

クラス関数Pr2を、x=<p,q>ならばPr2(x)=q, そうでないなら Pr2(x)=xと定義することによって、
<u,v>∈G :≡ v=Pr2(u)``Dom(Pr2(u))
と定義するのが正解なのでは?

なぜなら、後に、F`x=G`<x,F|Seg_R(x)>としてFを定める、つまり、Gの引数に2項組が入力されるて、その第2項目が使われるのだから。

554 :132人目の素数さん:2021/07/17(土) 20:22:52.84 ID:fZREC01i.net
一階述語論理の教科書の意味論の章で構造、モデルって言葉が出てくるし、
公理的集合論の絶対性の章でも構造、モデルって言葉が出てくる。

これらの相互関係ってなんかありますか、あるいは、それが述べられてる本なり論文なりありますか?

555 :132人目の素数さん:2021/07/17(土) 22:02:41.42 ID:y8Sg6VhU.net
>>554
はい、これ

Georg Kreisel and Jean-Louis Krivine, Elements of Mathematical Logic (Model Theory), North-Holland, 1967.

https://www.irif.fr/~krivine//articles/Elements_logic.pdf

556 :132人目の素数さん:2021/07/17(土) 22:55:56.62 ID:fZREC01i.net
>>555
該当章なりページなりキーワードなり教えてもらえると有り難いです

557 :132人目の素数さん:2021/07/18(日) 06:24:45.12 ID:u5PSE1Nv.net
読んで分からんのなら説明聞いても無駄だ

558 :132人目の素数さん:2021/07/24(土) 14:11:06.36 ID:t5qdrllK.net
Quora「不完全性定理とはなんですか?」

不完全性定理はヒルベルトの計画を破ったと言われる定理です。

ヒルベルトの時代においては述語論理は第一階述語論理、第二階述語論理と論理関数の階数建てに応じて別れていたのですが、ヒルベルトの計画としては述語論理は無矛盾であれば完全であることが示すことができると予想されていました。つまり第一階述語論理の完全性証明から初めて、第二階、第三階、‥と階数を上げて証明していき、数学的帰納法を使って第n階述語論理も完全という命題を証明して述語論理は完全という証明をしていこうという方針だったようです。

実際1929年にはゲーデルが第一階述語論理の完全性証明を提出して全部の階数の述語論理の完全性証明に第一歩が踏み出されたかと思われました。

ところが1931年に同じくゲーデルが形式体系が自然数論を含んでいると決定不可能性命題を構成できてしまうという不完全性定理を証明してしまいました。実は次に完全性を示すべき第二階述語論理は、第一階述語論理と違って、その自然数論を含んでいる形式体系だったのです。

つまり控えめなゲーデルはヒルベルトに気を使ってまわりくどく、

第二階述語論理は決定不可能性命題が作れる形式体系ですよ=第二階述語論理の完全性証明は不可能ですよ=第二階以上も当然無理=ヒルベルトの計画は破綻しましたよ

ということを不完全性定理を通して間接的に主張したのです。

ヒルベルトもそれを認めてアッケルマンとの共書の「記号論理学の基礎」の後の版で「ゲーデルは第二階述語論理が不完全であることを示した」と書いてヒルベルトの計画は打ち捨てられることになりました。結果、若い数学者のゲーデルが大数学者のヒルベルトを打ち倒すというセンセーショナルな結果をもたらした定理となりました。

つまり質問に回答すると「第二階以上の述語論理は、第一階述語論理と違って、不完全な形式体系であることを控えめに回りくどく主張した定理」です。


こんな話聞いたことない。

559 :132人目の素数さん:2021/07/25(日) 02:37:29.76 ID:XFSJMVT+.net
出典のリンク貼ってくれ

560 :132人目の素数さん:2021/07/25(日) 02:50:53.28 ID:mgXrJ18Y.net
Quora「不完全性定理とはなんですか?」
でググると最初に出てくる
https://jp.quora.com/%E4%B8%8D%E5%AE%8C%E5%85%A8%E6%80%A7%E5%AE%9A%E7%90%86%E3%81%A8%E3%81%AF%E3%81%AA%E3%82%93%E3%81%A7%E3%81%99%E3%81%8B

561 :132人目の素数さん:2021/07/25(日) 02:55:29.50 ID:XFSJMVT+.net
最初から貼っとけ

562 :132人目の素数さん:2021/07/25(日) 02:57:01.20 ID:myN7dHaI.net
基礎論とか数理論理、集合論でおすすめの洋書を教えてください

563 :132人目の素数さん:2021/07/25(日) 02:59:37.60 ID:XFSJMVT+.net
解答した人のプロフィールから過去の解答をみたら出鱈目ばっかり書いている
無視が正解

564 :132人目の素数さん:2021/07/25(日) 03:09:05.66 ID:27sSD0Eb.net
http://alg-d.com/
↑この人は若手の研究者っぽいが入門者でも触れられる話題が非常に詳しい

参考文献でよく見る書籍
Axiom of Choice(Horst Herrlich)
Set Theory -An Introduction to Independence Proofs-(Kenneth Kunen)
Set Theory(Thomas Jech)
The Axiom of Choice(Thomas J.Jech)

General Topology(John L.Kelley)
Topology(James R.Munkres)

[Bibliotheca Mathematica 01] Introduction to Metamathematics(Stephen Cole Kleene)
Introduction to Metamathematics(Stephen Cole Kleene)
Mathematical Logic(H.D.Ebbinghaus,J.Flum,W.Thomas)
Mathematical Logic(Joseph R.Shoenfield)

Theory of Recursive Functions and Effective Computability(Hartley Rogers Jr.)
Recursion Theory(Joseph R.Shoenfield)

565 :553:2021/07/25(日) 04:05:12.94 ID:8D2BnmTY.net
>>561
最初からったって俺は>>558じゃないしな
ググればすぐ見つかるんだから貼る「必要」はないだろうし

566 :132人目の素数さん:2021/07/25(日) 09:27:48.50 ID:X9sEL5Xn.net
質問する側が出典を明示しないのは駄目だと思う。
リンク先を見たら筆者がおかしな人だってすぐに分かるのに。

567 :132人目の素数さん:2021/07/25(日) 09:46:34.61 ID:pMx3Ql/8.net
>>566
別におかしな人には思えないけどなあ

568 :132人目の素数さん:2021/07/25(日) 10:11:38.42 ID:X9sEL5Xn.net
https://jp.quora.com/profile/IWAKI-Hidekazu
工学や電磁気の世界ではなぜ複素数を使っているのですか?そのメリットは何ですか?

の解答が、この人変?、と思えた。

569 :132人目の素数さん:2021/07/25(日) 10:23:05.09 ID:VgVa1qgU.net
林晋著『ゲーデル不完全性定理』は、長年の謎がつながるようになる著作。ようやく繋がったありがとうって感じになるね。

570 :132人目の素数さん:2021/07/25(日) 10:39:24.90 ID:X9sEL5Xn.net
新刊?
林によるゲーデルの原論文の翻訳のこと?

571 :132人目の素数さん:2021/07/25(日) 10:46:41.04 ID:NH5BCXVt.net
そうあの読み方が特殊な翻訳本

572 :132人目の素数さん:2021/07/25(日) 10:55:45.90 ID:NH5BCXVt.net
「ウソつきのパラドックス」ってそういう意味かよって納得できるようになる。

573 :132人目の素数さん:2021/07/25(日) 12:21:32.55 ID:W/Husazs.net
ある試験を受けた学生達は全員不合格だった
の否定は
全ての試験を受けた学生達の中には合格した者もいた
ですか?

574 :132人目の素数さん:2021/07/25(日) 12:25:34.37 ID:X9sEL5Xn.net
この場合、「ある試験」を固定して考えるのでは

575 :132人目の素数さん:2021/07/25(日) 14:22:07.87 ID:pRMst001.net
>>566
質問はしてないし、1行目の
"Quora「不完全性定理とはなんですか?」"でググればすぐ見つかる
筆者がどんな人か知りたければそれで足りるでしょ

576 :132人目の素数さん:2021/07/25(日) 14:43:23.49 ID:myN7dHaI.net
>>573
論理式で書いたらわかりやすいと思うよ

577 :132人目の素数さん:2021/07/25(日) 14:56:38.28 ID:X9sEL5Xn.net
>>575
黙ればいいと思うよ

578 :132人目の素数さん:2021/07/25(日) 23:35:06.60 ID:27sSD0Eb.net
>>573
exi t in Test, all s in Student [ Take(s,t) -> Fail(s,t) ]
を否定すると
all t in Test, exi s in Student [ Take(s,t) and not Fail(s,t) ]
=どのテストにも合格者は居た

579 :132人目の素数さん:2021/07/25(日) 23:40:57.10 ID:27sSD0Eb.net
ある試験を受けた学生達は全員不合格だった
よくよく考えたら2つの解釈がある

1 常識的に解釈したら、「とある試験では、受験者全員が不合格だった」
この解釈の否定が>>571

2 偏屈的に次のようにも解釈できる:「学生が、ある試験を受けてしまうと、全部の試験が不合格になってしまう」
 この解釈は社会通念に照らすとありえないが、文言解釈のみにとどまればこのように理解することも一応可能
この否定は演習問題として考えてみw

580 :132人目の素数さん:2021/07/25(日) 23:49:45.60 ID:27sSD0Eb.net
全ての試験を受けた学生達の中には合格した者もいた
は、
exi s in Student [ all t in Test Take(s,t) and exi t in Test not Fail(s,t) ]
となる。これを否定すると二重否定により原文に戻るのでやってみると、
all s in Student [ ( all t in Test Take(s,t) ) -> ( all t in Test Fail(s,t) ) ]
≡学生が全ての試験を受験していたならば、その学生は全てのテストに落ちていた。
≡全科目受験しておきながら1科目でも合格してるような学生は居なかった

まぁおかしな日本語になったが、結局は記号表現のほうが正しくかつ機械的に計算できるから、自然言語で考えるのは辞めたほうがいい

581 :132人目の素数さん:2021/07/26(月) 00:29:35.29 ID:ZY+g7c/X.net
>>579
「学生が、ある試験を受けてしまうと、全部の試験が不合格になってしまう」
学生が任意なのか特定なのか曖昧
偏屈じゃなくて知能が足りない

582 :132人目の素数さん:2021/07/26(月) 00:50:24.34 ID:JnL+zc4n.net
>>581
粗探しは、粗探ししてる奴の粗探しの仕方に知能のレベルが現れる
多分論理学を学び始めた学生なんだろうけど、今後もそうやって教科書の文章も目を光らせて粗探しのレベルを鍛えていったらいいと思うよ

583 :132人目の素数さん:2021/07/26(月) 01:00:36.37 ID:ZY+g7c/X.net
馬鹿が恥の上塗りをしている

584 :132人目の素数さん:2021/07/26(月) 01:03:31.10 ID:JnL+zc4n.net
>>583
要するにお前の読解力の問題
>>581で任意か特定かでどういう齟齬、違いが出るのか言ってみ

585 :132人目の素数さん:2021/07/26(月) 01:07:52.51 ID:XTJ0aNsT.net
ゲーデルの不完全性定理から数学的資源は無尽蔵であることが保証されている。
「ウソつき」のパラドックスの本質とはそういうことだ

586 :132人目の素数さん:2021/07/26(月) 01:14:08.58 ID:XTJ0aNsT.net
世の中にはハイゼンベルグの不確定性原理と不完全性定理を混同するという、もう一回科学史年表を書いて整理してみろと言いたくなるような人が実在するんだぜ。
全く動機が異なる、もっと言えばそもそも分野が違う。
ツイッターや5chでドヤ顔演じている前にそういう基本的な事をだななぞなぞするしかない

587 :132人目の素数さん:2021/07/26(月) 01:28:00.76 ID:JnL+zc4n.net
>>583
な?低次元な粗探ししか出来ないからお前は頭悪いんだよ
実際>>584に答えることすらできないのがお前の頭のだろ
くっそアホやわお前

低次元な粗探ししか出来ないくせに、ちょっと聞かれたらなぁ〜んも答えられない
これを世間一般的にアホという

588 :132人目の素数さん:2021/07/26(月) 01:35:34.79 ID:XTJ0aNsT.net
だったら、いちいち含みのある話を要所要所に突っ込んでくんなよ!
何も知らんいたいけな素人相手に唐突にSNS上でこんなところあるよ?どう?とかやって落ちたらそら気になるわ!

589 :132人目の素数さん:2021/07/26(月) 01:52:14.07 ID:XTJ0aNsT.net
あれは要するにやんわりとT芝に考え直させたかったんだろ。
そんなもん本気じゃないよって。わかるかよそんなもん

590 :132人目の素数さん:2021/07/26(月) 08:13:13.19 ID:tWdrJyRm.net
なぞなぞは続ける。文句行っても仕方なかった。スマヌ。

591 :132人目の素数さん:2021/07/26(月) 10:17:45.84 ID:+i1tNIIC.net
>>558
意味論的に一階述語論理は完全で
二階以上の高階述語論理は不完全で、
その理由は二階論理では単体でペアノ算術が
解釈できる事なので、一応内容的には正しい。
その旨の言及もあるので解答者がちゃんと理解している
可能性も結構ある。

ただこれ読んだ初学者は結構な確率で誤解しそうなので
その辺はアレではある。

592 :132人目の素数さん:2021/07/26(月) 15:05:20.25 ID:Bq8hSf20.net
>>591
551は数学的内容ではなくて
控えめにとかその辺のことを言ってるんだと思った

593 :132人目の素数さん:2021/07/26(月) 18:43:17.34 ID:+i1tNIIC.net
ああ、成る程。それは確かに。

真面目に読むとちょこちょこおかしいな。
まあ、物理の人っぽいから仕方ないけど。

ヒルベルトの時代には述語論理が
一階と高階に分かれていたとか(今は違うんかい)
ヒルベルトの計画は述語論理は無矛盾であれば
完全である事を示す事だとか
(ヒルベルト・プログラムは、信頼のおける
実在的な数学(≒算術)のみを用いて、
より広い概念的な数学の信頼性を確立する計画)、
n階述語論理の完全性をnに関する帰納法で
示そうとした、とかはこの人が捏ねたストーリーだね。

ヒルベルトに気を使って、は、
当時ゲーデルが無名の若手で
ヒルベルトは数学界の最高の権威で、
自分と異なる主義の学者を
政治的に排除とかもしてたから、
まあ常識的に考えてそれなりに配慮はするんじゃ
ないかなとは思う。

594 :132人目の素数さん:2021/07/26(月) 19:37:37.60 ID:Wo6j3jc1.net
ヒルベルトが果たして本当に大御所だったかなんてわかんなくない?
俺が思うにどうもヒルベルトは当時の時流からワンテンポ遅い。
大御所は大御所だろうけどすごい政治力があったかと言われるとそうは言えないんじゃないかと。
ブラウワーを排除したとも言われるけどあれもブラウワーと示し合わせただけで、黒幕は別にいるだろ。
ホワイトヘッドとか。

今もその系譜が一番政治力があるんだと思うんだが

595 :132人目の素数さん:2021/07/26(月) 21:39:38.76 ID:ZY+g7c/X.net
>>594
ヒルベルトは1961年生まれ
ゲーデルの不完全性定理発表が1931年でヒルベルトが70歳のとき

596 :132人目の素数さん:2021/07/26(月) 22:38:45.80 ID:XTJ0aNsT.net
ヒルベルト計画ってPM引きずってるよね。
不完全性定理の体系もPMの建て増しだし。

計画の基本コンセプトは広義の述語論理の完全性証明じゃない?
それが無理そうだっただからアッカーマンのイプシロン公理を突っ込んで、
広義の述語論理を狭い意味で完全性証明しようとしたってことじゃない?

ゲーデルはイプシロン関数を入れ子にしたらどうなるだろうって考えて不完全性定理に到達したと思う。

597 :132人目の素数さん:2021/07/27(火) 00:11:51.14 ID:urOCv5O3.net
日本の大学で数学基礎論や数理論理学か盛んなところってありますか?

598 :132人目の素数さん:2021/07/27(火) 02:19:44.61 ID:Vuzbeo0/.net
東北、名古屋、神戸か

599 :132人目の素数さん:2021/07/27(火) 16:17:12.34 ID:w01S8XFD.net
何故、数理論理学や数学基礎論の研究者が所属する院は情報科学みたいな場合が多いのでしょうか?
数学科では無いのでしょうか?

600 :132人目の素数さん:2021/07/27(火) 16:28:59.05 ID:joo85DAH.net
ゲーデルに微積や線形代数の授業をさせられる?

601 :132人目の素数さん:2021/07/27(火) 17:20:42.81 ID:w01S8XFD.net
>>600
そういう意味もあるんですね

602 :132人目の素数さん:2021/07/27(火) 17:23:31.36 ID:w01S8XFD.net
逆に数学科(学部)で数理論理学や数学基礎論の授業は無いのでしょうか?

603 :132人目の素数さん:2021/07/27(火) 17:30:34.01 ID:jIwcvUii.net
せいぜい集合と位相ぐらいが

604 :132人目の素数さん:2021/07/27(火) 17:48:57.39 ID:joo85DAH.net
順序数は数学科では教えない

総レス数 604
177 KB
掲示板に戻る 全部 前100 次100 最新50
read.cgi ver.24052200