数理論理学(数学基礎論) その12
■ このスレッドは過去ログ倉庫に格納されています
数学基礎論は、数学の基礎づけを目的として誕生したが 現在では、数理論理学として、証明論、再帰的関数論、 構成的数学、モデル理論、公理的集合論など、 多くの分野 に分かれ、極めて高度な純粋数学として発展を続けています。 (「数学基礎論」という言葉の使い方には、専門家でも 若干の個人差があるようです。) 応用、ないし交流のある分野は、計算機科学の諸分野や、 代数幾何学、 英米系哲学の一部などを含み、多岐にわたります。 (数学セミナー98年6月号、「数学基礎論の学び方」 ttp://www.math.tohoku.ac.jp/~tanaka/intro.html 或いは 岩波文庫「不完全性定理」 6.4 数学基礎論の数学化 などを参照) 前スレ 数学基礎論・数理論理学 その11 http://rio2016.2ch.net/test/read.cgi/math/1325247440/ >>688 そういう事なのですね。有難うございます。私が読んでいるのはmillenium editionです。 最初の1/3について言えば、例えばChapter8のSilver's theoremの証明は論理の飛躍があるように思えました。 まー洋書はネットで……………だから皆…………なんだろうけど 荒らしがまず現れないこんな学術スレでレスが非表示だから何かと思ってウェブブラウザで見たら数学関係のスレで現れる荒らしだった 連投規制掛かって10レスほどで止まってるね 諸君は、(P⊃Q)v(Q⊃P)などと言った「奇怪な“定理”」をもつ 「現行の論理学理論」を正しいものと信じて疑いないのか? www 直観主義なら成り立たないって何回言えばわかるんですか そいつ宣伝しに来てるんだよ 俺の考えた理論を知ってくれー、ホームページ見てくれーってな >>706 これを称して、下種の勘繰りと言う。 燕雀安んぞ鴻鵠の志を知らんや 円弱、安いんぞ、広告の志を知らんや (大意) 米グーグルの持ち株会社アルファベットが発表した1〜3月期決算は、 純利益が94億0100万ドルだった。(前年同期比+73%) 四半期ベースで過去最高を更新した。 主力の広告事業が同24%の増収と好調だった。 売上高は311億4600万ドル(同+26%) うち86%を広告収入が占めている。 大会の結果です。 ドッジボールの島根県出雲市大会 1位 倉澤奏 クラザワカナデ 2位 屋喜陽磨 ヤギハルマ 3位 八尾井愛 ヤオイカナ 4位 立川目海音 タチカワメカオン 5位 鍬農喜太郎 クワノキタロウ 6位 竹嵜颯太 タケサキハヤタ 7位 蔵前束咲 クラマエタバサ 8位 箱嶋心露 ハコシマコロロ 9位 長田聖康 ナガタキヨヤス 10位 桑場策太郎 クワバサクタロウ 11位 八重木舜起 ヤエキシュンキ 12位 矢田川黄朝空 ヤタガワキアラ 13位 嶽森佳月 タケモリカヅキ 14位 羽冨香加 ハトミキョウカ 15位 陣副義一郎 ジンゾエギイチロウ 16位 黒河凪夏 クロコウナギカ 17位 立子山夏芳 タツコヤマナツハ 18位 黒政紀里 クロマサキリ 19位 栗藤クリス クリトウクリス 20位 拝高貴奈 ハイタカキナ 21位 八津川英鷹 ヤツカワヒデタカ 22位 竹根沢虹々菜 タケネザワココナ 23位 城村小手毬 シロムラコマリ 24位 多田出寿人 タダイデヒサヒト 25位 黒嵜琴那 クロザキコトナ 26位 黒礒夏恵 クロイソナツメ 27位 神結奏音 シンケツカノン 28位 馬醫澄 バイキヨム 29位 矢鍋愛美里 ヤナベエミリ 30位 竹川馨媛 タケカワカエン まったく数学素人なのですが、質問させてください(スレチかもしれませんが) 自分を起点とした先祖の、n世代前における人数は シンプルに考えると2のn乗で表せる気がしてしまいますが 計算していくと実際にはありえない人数になってしまうかと思います その人数と実際の「n世代前における先祖の人数」とのギャップの要因はたくさんの重婚や近親者、近い血縁者との婚姻関係にあると 思いますが、そのギャップを埋めた数式モデルなどは存在するでしょうか? また参考になりそうなサイトなどありましたらお教えください >>720 このスレのタイトルにある「数学基礎論」というのは「基礎的な(つまり基本的な、あるいは初歩的な)数学」とは全く違います 「数学基礎論」あるいは「数理論理学」というのは、数学の中の、それもかなり特殊で偏屈な分野の名前で普通の数学(代数とか幾何とか解析とか)をやっている人々の 大半からは胡散臭い目で見られている分野です というわけで、ご質問の件は、このスレでは答えは得られないと思います この数学板や生物学板にスレがあるか否かは知りませんが、ご質問は「数理生物学」に関する問題だと思いますので、数理生物学に関するスレッドで ご質問なさるか、あるいは、数学板で質問したり問題を提起したりするための以下のスレのどちらか(あるいは両方)で訊ねられては如何でしょうか 分からない問題はここに書いてね442 https://rio2016.5ch.net/test/read.cgi/math/1522418128/ 面白い問題おしえて〜な 26問目 https://rio2016.5ch.net/test/read.cgi/math/1518967270/ >>721 >>732さん そんな気はしていました。。 >>720 の質問は取り下げます 親切にありがとうごさいました また他のスレッドできいてみます >> 705132人目の素数さん2018/04/22(日) 03:11:11.98ID:XPQebsTa >直観主義なら成り立たないって何回言えばわかるんですか チミは、帰謬法の原理を否定するような Intuist の考えをまともなものと信じて疑わないのかね? >>734 少なくもチミの考えはマトモじゃないと信じるに足る 命題「AならばB」に対し、 対偶:「BでないならAでない」 逆:「BならばA」 裏:「AでないならBでない」 数学基礎論ならば初歩的な数学 初歩的な数学でないなら数学基礎論でない 直観主義論理はいろいろいい性質を持ってるので考慮に入れるのにやぶさかではない 帰謬法の原理を否定するような Intuist に、夢も希望も無い、 数学基礎論は初歩的な数学ではない。 よって、初歩的な数学ならば数学基礎論ではない。 ロジック・基礎論の入門的な教科書って、 書く人の専門によって 内容がかなり違うから面白いよね。 集合論のキューネンは、集合論を勉強していく上で 大事になって来そうな事ばかり書くいている。 田中先生は逆数学とか算術の超準モデルとか そういう分野(そういう分野としか言いようがないが 敢えて言うなら証明論)向けの事を中心に書く。 坪井先生は超準解析に触れてたり。 新井先生はやっぱり順序数解析関係に必要な分野が 詳しいし、van Dalenは直観主義論理を取り扱ってたり、 証明論の人だとカット除去がやたら重要視されてたり。 キューネンは、集合論をやる上で必要充分な内容なのかと 思ったら、超冪とか超フィルターとかには触れてないのが ちょっと意外。まあ割と必要充分に近いのだけど。 初等的な話ですみません complement law(補集合の法則)についての質問ですSchaum's outlines SET THORY AND RELATED TOPICS SECOND EDITIONのP8で 集合に関するいくつかの法則が載っており Aの補集合をA^c、全体集合をUと表記とし A^c={x:x∈U,¬(x∈A)}と定義されており (8a)A∪A^c=U (P8) が法則の一つとして載っているのですが、これを証明する際に 任意のxに対して x∈A∪A^c →x∈A∨(x∈U∧¬(x∈A)) (定義より) →(x∈A∨x∈U)∧(x∈A∨¬(x∈A)) (分配法則) とした際に∧の右側に現れる x∈A∨¬(x∈A) を x∈A∨¬(x∈A)=x∈Uとすれば (x∈A∨x∈U)∧x∈U とすることができるのですが、 x∈A∨¬(x∈A)=x∈U であることはこの前のページにも後にも載っていません こういう場合は自明なものとして x∈A∨¬(x∈A)=x∈U を利用するか自分で定義するしかないのでしょうか? もし定義するとしても求めたい帰結を利用することになるのではないかと思い、少しよくわからなくなってしまいました x∈A∨¬(x∈A) も x∈U もどっちもトートロジーですから置き換えても良いですね >>771 (8a)A∪A^c=U (P8) は正確には A∪A^c=A∪U あるいは A⊆U→A∪A^c=U なのではないでしょうか。 >>773 「A⊆U」は大前提じゃないの? 読み落としてない? Hundert Jahre sind notig, um eine Wahrheit zu begreifen, und wieder hundert, um sie zu verwirklichen. 強制法と相性がいいとは聞いた でもBGのほうがいいよね 先日亡くなったフィールズ賞な男の方の人は証明検証システムと相性がいいHoTTとかイうのを推奨していたらしい 数学歴ゼロに近いから分かるとこまではわかるのだろうか。理詰めで。誰か説明して。 数学基礎論の問題:ー 命題とはなにか? 数とはなにか? 量とはなにか? >>775 真理は、理解されるのに百年、実用化されるのに更に百年を要する。 >>773 原本を見たらp4で「A⊆U」が定理扱いされていたぞ propertyって定理なんですね 求める帰結を得るのに、その帰結を用いることって数学では許されてることなんでしょうか なんか再帰性みたいな感じで >>785 そこの「定理」っていうのはその前にある記述をまとめただけだ 「property」とは何を言ってるの? p4でthe following properties of sets should be notedと書かれていたことからです あまり数学のことをわかっていないのでpropertyと述べられたら定理なのかと思ってしまいました ■ このスレッドは過去ログ倉庫に格納されています
read.cgi ver 07.5.1 2024/04/28 Walang Kapalit ★ | Donguri System Team 5ちゃんねる