数学基礎論・数理論理学 その19 (606ﾚｽ)
数学基礎論・数理論理学 その19 http://rio2016.5ch.net/test/read.cgi/math/1696599483/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
1: １３２人目の素数さん [sage] 2023/10/06(金) 22:38:03.74 ID:tsskr+sA 数学基礎論は、素朴集合論における逆理の解消などを一つの動機として、 19世紀末から20世紀半ばにかけて生まれ、発展した数学の一分野です。 現在では、証明論、再帰的関数論、構成的数学、モデル理論、公理的集合論など、 多くの分野に分かれ、極めて高度な純粋数学として発展を続けています。 （「数学基礎論」という言葉の使い方には、専門家でも若干の個人差があるようです。） 応用、ないし交流のある分野は、計算機科学の諸分野や、代数幾何学、 英米系哲学の一部などを含み、多岐にわたります。 （数学セミナー98年6月号、「数学基礎論の学び方」 ttp://www.math.tohoku.ac.jp/~tanaka/intro.html 或いは 岩波文庫「不完全性定理」 6.4 数学基礎論の数学化 などを参照） 従ってこのスレでは、基礎的な数学の質問はスレ違いとなります。 他のスレで御質問なさるようにお願いします。 前スレ 数学基礎論・数理論理学 その18 https://rio2016.5ch.net/test/read.cgi/math/1474357543/ http://rio2016.5ch.net/test/read.cgi/math/1696599483/1
47: １３２人目の素数さん [sage] 2023/11/25(土) 02:18:28.76 ID:y7ObLjnm 数学基礎論が何かなんて>>1に書いてあるだろ 書いてある項目は全部数学を使って論理学を記述する話じゃねーか それ以外のことは哲学板でやれよ http://rio2016.5ch.net/test/read.cgi/math/1696599483/47
197: １３２人目の素数さん [] 2024/05/08(水) 18:15:34.62 ID:c0TH2Ddg 今日見つけた怪しい書き込み >1.ラッセルのパラドックスの発見（1902年） >1902年、哲学者のバートランド・ラッセルが論理学における矛盾を発見しました。 >このパラドックスは、通常の論理学では回避できないことが判明し、 >哲学に大きな衝撃を与えました。 >2.ラッセルによる新しい論理学の構築（1903年〜） >1903年以降、ラッセルはパラドックスの原因が論理学の仕組みにあると見抜きました。 >自己と自己言及を明確に区別して混同しないルールを導入し、 >パラドックスが起こらない新しい論理学の仕組みを構築しました。 >4.ゲーデルの不完全性定理（1931年） >1931年、クルト・ゲーデルもラッセルの論理学に影響を受け、 >「論理学によって仮定そのものの正しさをその仮定から証明できるか？」を考察しました。 >ゲーデルは、それが不可能であることを証明しました（ゲーデルの第一不完全性定理）。 >この定理は、当初ペアノ算術におけるω無矛盾性が証明不可能として確立されましたが、 >後にロッサーの証明ではペアノ算術における単純無矛盾性、 >シェファードソンの表現定理により任意のΣ1集合で構成される任意の論理式に対して >無矛盾性の証明が不可能であることまで拡張されました。 http://rio2016.5ch.net/test/read.cgi/math/1696599483/197
332: １３２人目の素数さん [] 2024/05/19(日) 09:44:26.86 ID:MeSZkcgn >>324 >1）シーケント計算で最小論理はどういうもの？ 自然演繹なら矛盾律人→Pと排中律P∨¬Pおよび 二重否定の除去¬¬P→Pを公理や推論規則から外すだけだけど 明示的に矛盾律を含めないLJから矛盾律を外すには どうしたらいいんだろ http://rio2016.5ch.net/test/read.cgi/math/1696599483/332
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.021s