数学基礎論・数理論理学 その17 [無断転載禁止]©2ch.net
レス数が1000を超えています。これ以上書き込みはできません。
数学基礎論は、素朴集合論における逆理の解消などを一つの動機として、
19世紀末から20世紀半ばにかけて生まれ、発展した数学の一分野です。
現在では、証明論、再帰的関数論、構成的数学、モデル理論、公理的集合論など、
多くの分野に分かれ、極めて高度な純粋数学として発展を続けています。
（「数学基礎論」という言葉の使い方には、専門家でも若干の個人差があるようです。）
応用、ないし交流のある分野は、計算機科学の諸分野や、代数幾何学、
英米系哲学の一部などを含み、多岐にわたります。
（数学セミナー98年6月号、「数学基礎論の学び方」
ttp://www.math.tohoku.ac.jp/~tanaka/intro.html
或いは 岩波文庫「不完全性定理」 6.4 数学基礎論の数学化 などを参照）
従ってこのスレでは、基礎的な数学の質問はスレ違いとなります。
他のスレで御質問なさるようにお願いします。
前スレ
数学基礎論・数理論理学 その16
http://rio2016.2ch.net/test/read.cgi/math/1435492940/ やっぱり最低レベルの数学基礎論は全学科で必修にすべきじゃないのか
無知だからトンデモ拡散する奴が後をたたない >>939
つまり低知能低学歴はこんな妄想を抱いているわけだ
「集合論を用いた論理学は集合論主義に毒された論理学に過ぎず真の論理学ではない！真の論理学では集合論は不要！」
とwwwwww 当然ながら、ZFCではラッセルのパラドックスの回避は公理として明示されない
しかしこれは公理的にパラドックスを回避していない事を意味していない
論理式の記法や集合の記法や記号の意味は、数学的には公理だがZFCの枠組みではそれは当たり前のものとしているから公理とは呼ばれない
なぜならばZFCとは公理的集合論は成立するとの前提の後に語られる公理系でしかなく、論理式や量化や集合・集合族の区別は明示されない公理として受け入れた後の議論だからだ
それ故厳密な基礎論の立場からはそれらの記号の用法をも公理として明示しなければならない
バカがググっても永久に理解出来ないのはこういう点 集合Gの上に二項演算子が定義されており、以下四つの性質を満たすとき集合Gを群と呼ぶ
（以下略）
↑
馬鹿が考えている公理系のイメージ
wwwwwwwwwwww
wwwwwwwwwwww
腹いてぇwwwwwwwwwwww この公理系の対象領域を実数体Rに制限する
↑
馬鹿が考える「公理の追加」
wwwwwwwwwwww
wwwwwwwwwwww
腹いてぇwwwwwwwwwwww >>935
公理系がwwwwww 自分自身でwwwwww
解釈と定義域をwwwwww を
wwwwwwwwwwww
定める、とwwwwwwwwwwww
wwwwwwwwwwww
腹いてぇwwwwww 書けば書くほど己の無知・無恥・痴識を天下に広める天才ならぬ天災 ID:JNe/5TI
天災的痴識人 ID:JNe/5TI の華麗なレスの歴史（レス数958までの途中結果）
09/03 ID:QjzTPZOQ [5/5]・・・前半
09/03 ID:pW//3Bcc [12/12]・・・後半
09/04 ID:uD7gdHTl [20/20]
09/08 ID:t1QP12oT [7/7]
09/09 ID:NtXrnPwv [22/22]・・・前半
09/09 ID:1aR7KHUe [7/7]・・・後半
09/10 ID:MG9nU05d [55/55]
09/13 ID:RhNEBU+C [8/8]・・・前半
09/13 ID:LiNlJN9q [9/9]・・・後半
09/14 ID:62yXwHfn [23/23]
09/15 ID:T0IT8mdY [34/34]
09/18 ID:Fax2mcbH [9/9]
09/19 ID:/sxrDCjm [22/22]
09/20 ID:JNe/5TIk [99/99]・・・暫定
＞205 名前：１３２人目の素数さん[sage] 投稿日：2016/09/09(金) 21:25:09.48 ID:ldcXxrQT [8/8]
＞脳味噌可哀想な ID:1aR7KHUe のレス数は幾つまで伸びるだろうか。
あなたの疑問の途中結果は以上の通りだ
全958レスの時点で322レスを一人で書いてる 前レスの結果から判断するに次スレはワッチョイ付きにしたほうが良さそうだな
スレ立て者はこの点を考慮して立ててくれると助かる >>959への訂正
(1) 冒頭の３行中に２回出現している 誤：「ID:JNe/5TI」 → 正：「ID:JNe/5TIk」
(2) 最後の行 誤：「322レス」 → 正：「332レス」
それにしても959の一覧表、IDの表示幅の違いを空白挟んで揃えたつもりだったのに
投稿したらぐちゃぐちゃの不揃いな形で表示されてガックリ
投稿ウィンドウではほぼ完全に整列されてるように見えたのになあ >>963
半角スペースを連続させると一回分としてカウントされる仕様 >>958
>>934
https://www.sist.ac.jp/~suganuma/kougi/other_lecture/SE/math/logic/logic.htm
論理式と定義域
http://i.imgur.com/aeyDIm4.jpg
お前の妄想はソース無しw >>958
つまり低知能低学歴だから「解釈」という言葉を見て
複数の解釈が可能だと感涙もの妄想したわけかwwwwww
低学歴ヤバすぎるwwwww >>956,957
>>939
つまり低知能低学歴はこんな妄想を抱いているわけだ
「集合論を用いた論理学は集合論主義に毒された論理学に過ぎず真の論理学ではない！真の論理学では集合論は不要！」
とwwwwww >>958
定義域は公理に明記されてんだよ
低知能低学歴クン？ 低知能低学歴は定義域が存在しない論理式が公理になれると妄想してんのかwwwww
文系バカは帰れよwwwwww 基礎論や論理学は数学じゃねぇーだろｗ 何がモデル理論だよｗ >>853
スレが荒れてる中答えてくれてありがとう。哲学者が書いた本だけど、完全性定理、不完全性定理の照明の導入、ブール代数までは載ってる。
やはりEndertonは定評あるみたいだね。Enderton→Shoenfieldって流れでも良いかな？
オススメしてくれた本、読んでみます。ありがとう。 >>974
こいつ三平方の定理の証明も出来なさそう
文系は死ね >>966
複数の解釈wwwwww
ふくすうwwwwのwwww解釈wwww
私が>>966のバカなレスを追い出しますから、皆さんは的確な指摘で叩いてやって下さい。
はい、レーヴェンハイムさん早かった！ >>977
解釈ってのは1つしかないんだよ？低学歴ガイジクン？ >>977
低知能低学歴は定義域が存在しない論理式が公理になれると妄想してんのかwwwww
文系バカは帰れよwwwwww >>977
低学歴「ユークリッド幾何学には定義域が存在しない！」 >>975
そりゃあんたに比べたら俺はアホかもしれんが、あんまイジメないでくれ。好学の士が下品な物言いをするのは良くないぞ。 >>983
とりまセンター試験数学95%取れるまで書き込まなくていいよ このスレッドは１０００を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。
life time: 20日 21時間 36分 35秒 ２ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《プレミアム会員の主な特典》
★ ２ちゃんねる専用ブラウザからの広告除去
★ ２ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────
会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。
▼ プレミアム会員登録はこちら ▼
http://premium.2ch.net/
http://pink-chan-store.myshopify.com/
レス数が1000を超えています。これ以上書き込みはできません。
