- 1 名前：１３２人目の素数さん mailto:sage [2016/08/30(火) 19:43:58.39 ID:evqgj3ZF.net]
- 数学基礎論は、素朴集合論における逆理の解消などを一つの動機として、
19世紀末から20世紀半ばにかけて生まれ、発展した数学の一分野です。
現在では、証明論、再帰的関数論、構成的数学、モデル理論、公理的集合論など、
多くの分野に分かれ、極めて高度な純粋数学として発展を続けています。
（「数学基礎論」という言葉の使い方には、専門家でも若干の個人差があるようです。）
応用、ないし交流のある分野は、計算機科学の諸分野や、代数幾何学、
英米系哲学の一部などを含み、多岐にわたります。
（数学セミナー98年6月号、「数学基礎論の学び方」
ttp://www.math.tohoku.ac.jp/~tanaka/intro.html
或いは 岩波文庫「不完全性定理」 6.4 数学基礎論の数学化 などを参照）
従ってこのスレでは、基礎的な数学の質問はスレ違いとなります。
他のスレで御質問なさるようにお願いします。
前スレ
数学基礎論・数理論理学 その16
rio2016.2ch.net/test/read.cgi/math/1435492940/
- 876 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 09:33:58.38 ID:jSe92bp3.net]
- ￥
- 877 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 09:34:38.67 ID:Aroda5+w.net]
- >>844
その本読んだことないけど、完全性定理まで書いてあったっけ？
無難に勧められるのはEndertonかな。様相論理ならCUPの青いやつはそれなりに読みやすい。多少くどいが。
- 878 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 09:35:15.94 ID:jSe92bp3.net]
- ￥
- 879 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 09:35:35.04 ID:jSe92bp3.net]
- ￥
- 880 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 09:35:54.56 ID:jSe92bp3.net]
- ￥
- 881 名前：￥ ◆2VB8wsVUoo mailto:age [2016/09/20(火) 09:40:45.27 ID:jSe92bp3.net]
- ￥
- 882 名前：￥ ◆2VB8wsVUoo mailto:age [2016/09/20(火) 09:46:37.48 ID:jSe92bp3.net]
- ￥
- 883 名前：￥ ◆2VB8wsVUoo mailto:age [2016/09/20(火) 09:56:00.53 ID:jSe92bp3.net]
- ￥
- 884 名前：￥ ◆2VB8wsVUoo mailto:age [2016/09/20(火) 10:06:21.34 ID:jSe92bp3.net]
- ￥
- 885 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 10:14
]
- [ここ壊れてます]
- 886 名前：:24.41 ID:jSe92bp3.net mailto: ￥ []
- [ここ壊れてます]
- 887 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 10:14:43.08 ID:jSe92bp3.net]
- ￥
- 888 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 10:15:00.07 ID:jSe92bp3.net]
- ￥
- 889 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 11:45:41.34 ID:E0GPqyxb.net]
- 殴ったり蹴ったりしてやる
- 890 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/09/20(火) 11:49:20.81 ID:jSe92bp3.net]
- ￥
- 891 名前：１３２人目の素数さん [2016/09/20(火) 13:08:31.64 ID:JNe/5TIk.net]
- >>839
>>520
つまりこの低学歴ガイジは
「集合」という言葉を用いると、それは全て同一の対象を指し、区別する事は不可能だと考えているわけだ
集合Aとか集合Bという呼び分けを認めないって事だな？
これは新しいwwwwww
低学歴は常に「新発明」をするwwwww
車輪の再発明ですらない、墜落死イカロスを再現するという生き恥晒しの「新発明」だけどなw
- 892 名前：１３２人目の素数さん [2016/09/20(火) 13:09:22.56 ID:JNe/5TIk.net]
- >>833
>>829
要するに低知能低学歴ガイジは脳が人間レベルまで発達してないから
「モデルが存在するなら無矛盾であり、逆に無矛盾ならモデルが存在する」
という文章はAを「モデルが存在する」と定義し、Bを「無矛盾である」と定義すれば
「∃a∈A⇒∃b∈B ∩ ∃b∈B⇒∃a∈A」に過ぎないことを理解出来ないんだろうなwwww
理解出来ていれば ¬A ∩ B や A ∩ ¬B の存在を禁じていない自然言語表現である事を読み取れただろうになwwwww
低学歴ガイジは「モデルが存在するなら無矛盾であり、逆に無矛盾ならモデルが存在する」を
「∀a∈A⇒∀b∈B ∩ ∀b∈B⇒∃a∈A」であると妄想し、A=Bだと断定してしまったわけだ
この程度の論理を「言葉尻」なんて言い出す奴が基礎論ねえwwww
論理学も基礎論もバカにつける薬じゃねーのよ？低学歴ガイジクン？
むしろ低学歴ってのは国家認定バカの事だから絶対に何しても治らんからな？
¬A ∩ B や A ∩ ¬B の存在は禁じられて居ないから、幾何が入ってなくて位相のみが存在する系や、位相のみが入ってて幾何が存在しない系も当然ながら成立する
もちろん、モデル理論が成立しない無矛盾な論理学も存在出来る
- 893 名前：１３２人目の素数さん [2016/09/20(火) 13:12:12.16 ID:JNe/5TIk.net]
- >>839,841
>>520
こういう大学行けなかったガイジでなければ誰でも知ってる事だが
集合族は集合であり、当然ながらその集合族の元である集合とは異なる集合だから自己言及パラドックス自体がそもそもパラドックスではないという公理的集合論を知らないままに低学歴は死んで行くのだなwwwww
当然ながら、ZFCではラッセルのパラドックスの回避は公理として明示されない
しかしこれは公理的にパラドックスを回避していない事を意味していない
論理式の記法や集合の記法や記号の意味は、数学的には公理だがZFCの枠組みではそれは当たり前のものとしているから公理とは呼ばれない
なぜならばZFCとは公理的集合論は成立するとの前提の後に語られる公理系でしかなく、論理式や量化や集合・集合族の区別は明示されない公理として受け入れた後の議論だからだ
それ故厳密な基礎論の立場からはそれらの記号の用法をも公理として明示しなければならない
バカがググっても永久に理解出来ないのはこういう点
- 894 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 13:12:14.35 ID:E0GPqyxb.net]
- ＞ >>520に対して>>799を返す精神の異常さよ。
確かに訳わからんw
集合A、集合Bと呼び分けられたらどうだっていうんだろうな？
>>774の質問が鍵を握っていると思う。例のキチガイはとっとと答えるべきだ。
- 895 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 13:13:56.75 ID:E0GPqyxb.net]
- >>796
＞体系内部などという日本語は無い
これはwwwwwwww
- 896 名前：１３２人目の素数さん [2016/09/20(火) 13:14:09.88 ID:JNe/5TIk.net]
- >>839,841
>>791
>>776
当然ながら集合族は集合だよ？低学歴クン？
>>774,839,841
「実数R上で成り立つ」
死ねよ低学歴ガイジがwwwww
- 897 名前：１３２人目の素数さん [2016/09/20(火) 13:14:39.49 ID:JNe/5TIk.net]
- >>870
>>869
>>839,841
>>520
こういう大学行けなかったガイジでなければ誰でも知ってる事だが
集合族は集合であり、当然ながらその集合族の元である集合とは異なる集合だから自己言及パラドックス自体がそもそもパラドックスではないという公理的集合論を知らないままに低学歴は死んで行くのだなwwwww
当然ながら、ZFCではラッセルのパラドックスの回避は公理として明示されない
しかしこれは公理的にパラドックスを回避していない事を意味していない
論理式の記法や集合の記法や記号の意味は、数学的には公理だがZFCの枠組みではそれは当たり前のものとしているから公理とは呼ばれない
なぜならばZFCとは公理的集合論は成立するとの前提の後に語られる公理系でしかなく、論理式や量化や集合・集合族の区別は明示されない公理として受け入れた後の議論だからだ
それ故厳密な基礎論の立場からはそれらの記号の用法をも公理として明示しなければならない
バカがググっても永久に理解出来ないのはこういう点
- 898 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 13:14:40.68 ID:E0GPqyxb.net]
- >>796
＞体系内部などという日本語は無い
これはwwwwwwww
- 899 名前：１３２人目の素数さん [2016/09/20(火) 13:14:50.42 ID:JNe/5TIk.net]
- >>869
>>839,841
>>791
>>776
当然ながら集合族は集合だよ？低学歴クン？
>>774,839,841
「実数R上で成り立つ」
死ねよ低学歴ガイジがwwwww
- 900 名前：１３２人目の素数さん [2016/09/20(火) 13:15:02.12 ID:JNe/5TIk.net]
- >>873
無いよ
造語使うなよ低学歴
- 901 名前：１３２人目の素数さん [2016/09/20(火) 13:15:34.79 ID:JNe/5TIk.net]
- >>873
>>839,841
>>791
>>776
当然ながら集合族は集合だよ？低学歴クン？
>>774,839,841
「実数R上で成り立つ」
死ねよ低学歴ガイジがwwwww
- 902 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 13:16:02.61 ID:E0GPqyxb.net]
- 871 １３２人目の素数さん
「実数R上で成り立つ」
これはwwwwwwwwwww
- 903 名前：１３２人目の素数さん [2016/09/20(火) 13:17:05.31 ID:JNe/5TIk.net]
- >>869
>＞ >>520に対して>>799を返す精神の異常さよ。
>
>確かに訳わからんw
>集合A、集合Bと呼び分けられたらどうだっていうんだろうな？
>
>>>774の質問が鍵を握っていると思う。例のキチガイはとっとと答えるべきだ。
知能テスト受けたら？
「集合族は集合であり、当然ながらその集合族の元である集合とは異なる集合だから自己言及パラドックス自体がそもそもパラドックスではない」
ここまで抜粋しないとインプット不可能とかwwwww
- 904 名前：１３２人目の素数さん [2016/09/20(火) 13:17:16.94 ID:JNe/5TIk.net]
- >>877
>>869
>＞ >>520に対して>>799を返す精神の異常さよ。
>
>確かに訳わからんw
>集合A、集合Bと呼び分けられたらどうだっていうんだろうな？
>
>>>774の質問が鍵を握っていると思う。例のキチガイはとっとと答えるべきだ。
知能テスト受けたら？
「集合族は集合であり、当然ながらその集合族の元である集合とは異なる集合だから自己言及パラドックス自体がそもそもパラドックスではない」
ここまで抜粋しないとインプット不可能とかwwwww
- 905 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 13:17:23.95 ID:E0GPqyxb.net]
- 「実数R上で成り立つ」理論が矛盾してるんだってさ
wwwwwwwwwwwwwwwww
- 906 名前：１３２人目の素数さん [2016/09/20(火) 13:17:57.50 ID:JNe/5TIk.net]
- >>877
つまり公理が定義されている定義域を理解出来ないわけだ
これは中卒
- 907 名前：１３２人目の素数さん [2016/09/20(火) 13:18:12.11 ID:JNe/5TIk.net]
- >>880
どこに書いてある？
- 908 名前：１３２人目の素数さん [2016/09/20(火) 13:18:23.02 ID:JNe/5TIk.net]
- >>880
>>877
つまり公理が定義されている定義域を理解出来ないわけだ
これは中卒
- 909 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 13:18:58.42 ID:E0GPqyxb.net]
- 体系内部って日本語が存在しないんだってさ
wwwwwwwwwwww
- 910 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 13:19:28.15 ID:kpNKDZUG.net]
- >>883
「定義域」って何？
出典は？
- 911 名前：１３２人目の素数さん [2016/09/20(火) 13:19:48.66 ID:JNe/5TIk.net]
- >>880
>体系内部で自分自身の適用領域を指定するような公理を書けるの？
>>774,839,841
「実数R上で成り立つ」
死ねよ低学歴ガイジがwwwww
- 912 名前：１３２人目の素数さん [2016/09/20(火) 13:20:10.62 ID:JNe/5TIk.net]
- >>885
>>769
- 913 名前：１３２人目の素数さん [2016/09/20(火) 13:20:21.15 ID:JNe/5TIk.net]
- >>884
存在しないね
誰の定義？
- 914 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 13:20:32.77 ID:E0GPqyxb.net]
- 公理系が自分自身で定義域を指定するんだってさ
wwwwwwwwwwwwwwwww
- 915 名前：１３２人目の素数さん [2016/09/20(火) 13:20:46.55 ID:JNe/5TIk.net]
- >>889
>>880
>体系内部で自分自身の適用領域を指定するような公理を書けるの？
>>774,839,841
「実数R上で成り立つ」
死ねよ低学歴ガイジがwwwww
- 916 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 13:21:20.79 ID:kpNKDZUG.net]
- >>887
ページを指定してくれ
- 917 名前：１３２人目の素数さん [2016/09/20(火) 13:21:58.87 ID:JNe/5TIk.net]
- >>889
>公理系が自分自身で定義域を指定するんだってさ
>wwwwwwwwwwwwwwwww
これ物凄いこと言ってるよな？
この発言はユークリッド幾何学すら理解出来ないって明言してるわけでしょ？
ユークリッド幾何学では適用可能な空間を明示して定義域を示しているのに
- 918 名前：１３２人目の素数さん [2016/09/20(火) 13:24:10.84 ID:JNe/5TIk.net]
- >>891
i.imgur.com/IMGB9C9.jpg
大学くらい行けよ低学歴
- 919 名前：１３２人目の素数さん [2016/09/20(火) 13:24:23.82 ID:JNe/5TIk.net]
- >>889
>公理系が自分自身で定義域を指定するんだってさ
>wwwwwwwwwwwwwwwww
これ物凄いこと言ってるよな？
この発言はユークリッド幾何学すら理解出来ないって明言してるわけでしょ？
ユークリッド幾何学では適用可能な空間を明示して定義域を示しているのに
- 920 名前：１３２人目の素数さん [2016/09/20(火) 13:24:41.04 ID:JNe/5TIk.net]
- >>520
これ物凄いこと言ってるよな？
集合族知らないってことは大学の教養レベルの数学
- 921 名前：すら履修した事が無いって事だぞ？ []
- [ここ壊れてます]
- 922 名前：１３２人目の素数さん [2016/09/20(火) 13:25:06.24 ID:JNe/5TIk.net]
- >>520
これ物凄いこと言ってるよな？
集合族知らないってことは大学の教養レベルの数学すら履修した事が無いって事だぞ？
集合族は集合であり、当然ながらその集合族の元である集合とは異なる集合だから自己言及パラドックス自体がそもそもパラドックスではない
- 923 名前：１３２人目の素数さん [2016/09/20(火) 13:28:29.24 ID:JNe/5TIk.net]
- 知恵遅れ殴るのは最高に楽しいなwww
- 924 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 13:32:00.20 ID:kpNKDZUG.net]
- >>893
やっぱりあなたは勘違いしてるね
あなたの考える公理系というのは、集合論の枠組みの中での単なる定義のことだよ
「位相空間の公理系」「ベクトル空間の公理系」等
一方、論理学で公理系と呼ばれるものは形式言語で定義されており、
どの集合を定義域とするか指定しないどころか、集合自体が現れないし、定義域という概念もない
定義域という概念がないので、「禁止公理の追加による定義域の制限」という操作は不可能
公理系自身がモデルを指定することはできない
- 925 名前：１３２人目の素数さん [2016/09/20(火) 13:34:14.30 ID:JNe/5TIk.net]
- >>898
>>889
>公理系が自分自身で定義域を指定するんだってさ
>wwwwwwwwwwwwwwwww
これ物凄いこと言ってるよな？
この発言はユークリッド幾何学すら理解出来ないって明言してるわけでしょ？
ユークリッド幾何学では適用可能な空間を明示して定義域を示しているのに
- 926 名前：１３２人目の素数さん [2016/09/20(火) 13:34:49.56 ID:JNe/5TIk.net]
- >>898
ソース無し
つまり低学歴の願望に過ぎない
ユークリッド幾何学の存在すら否定するとか低学歴すぎんだろこいつ
- 927 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 13:35:23.76 ID:kpNKDZUG.net]
- >>894
念のため確認したい
ユークリッド幾何学で適用可能な空間とは何か、その定義域は何か
- 928 名前：１３２人目の素数さん [2016/09/20(火) 13:35:29.72 ID:JNe/5TIk.net]
- >>898
つまりユークリッド幾何学の公理において空間の性質を公理に書けないと主張するわけだ？
- 929 名前：１３２人目の素数さん [2016/09/20(火) 13:35:40.13 ID:JNe/5TIk.net]
- >>901
>>898
つまりユークリッド幾何学の公理において空間の性質を公理に書けないと主張するわけだ？
- 930 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 13:37:09.72 ID:kpNKDZUG.net]
- >>903
話を歪曲するな
ユークリッド幾何学の定義域は何か
- 931 名前：１３２人目の素数さん [2016/09/20(火) 13:37:34.80 ID:JNe/5TIk.net]
- >>901
つまりこの低学歴ガイジはユークリッド幾何学と非ユークリッド幾何学の違いすら理解してないわけ？
空間の曲率だよ低学歴
- 932 名前：１３２人目の素数さん [2016/09/20(火) 13:37:45.85 ID:JNe/5TIk.net]
- >>904
>>901
つまりこの低学歴ガイジはユークリッド幾何学と非ユークリッド幾何学の違いすら理解してないわけ？
空間の曲率だよ低学歴
- 933 名前：１３２人目の素数さん [2016/09/20(火) 13:37:58.81 ID:JNe/5TIk.net]
- >>904
さっさとソース出せよ低学歴
- 934 名前：１３２人目の素数さん [2016/09/20(火) 13:38:38.39 ID:JNe/5TIk.net]
- >>904
空間の曲率が0である空間がユークリッド幾何学の定義域
知恵遅れにも程がある
- 935 名前：１３２人目の素数さん [2016/09/20(火) 13:39:02.11 ID:JNe/5TIk.net]
- >>520
これ物凄いこと言ってるよな？
集合族知らないってことは大学の教養レベルの数学すら履修した事が無いって事だぞ？
集合族は集合であり、当然ながらその集合族の元である集合とは異なる集合だから自己言及パラドックス自体がそもそもパラドックスではない
- 936 名前：１３２人目の素数さん [2016/09/20(火) 13:40:32.30 ID:JNe/5TIk.net]
- >>898
そもそも低学歴すぎて全称命題と存在命題を区別してないから
i.imgur.com/IMGB9C9.jpg
ID:YkboklIMみたいな即死レベルの恥晒しを書けてしまうわけでしょ？
- 937 名前：１３２人目の素数さん [2016/09/20(火) 13:41:36.65 ID:JNe/5TIk.net]
- >>833
これ、「私は全称命題と存在命題の違いすら理解してないサンドバッグです」 と宣伝してるんだよね
- 938 名前：１３２人目の素数さん [2016/09/20(火) 13:42:14.01 ID:JNe/5TIk.net]
- >>904
空間の曲率が0である空間がユークリッド幾何学の定義域
知恵遅れにも程がある
- 939 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 13:42:29.91 ID:kpNKDZUG.net]
- >>906
なるほど、やはりあなたの考える公理系とは集合論の枠組みの中での単なる定義のことだよ
「位相空間の公理系」「ベクトル空間の公理系」等の言葉は普通に用いられるので勘違いは恥ずかしいことじゃない
このスレであなた以外の全員が想定している、論理学の術語としての公理系とは別物だということは覚えておこう
- 940 名前：１３２人目の素数さん [2016/09/20(火) 13:42:53.83 ID:JNe/5TIk.net]
- >>913
>>898
そもそも低学歴すぎて全称命題と存在命題を区別してないから
i.imgur.com/IMGB9C9.jpg
ID:YkboklIMみたいな即死レベルの恥晒しを書けてしまうわけでしょ？
- 941 名前：１３２人目の素数さん [2016/09/20(火) 13:43:30.82 ID:JNe/5TIk.net]
- >>913
要するに論理式や命題関数を今まで全く知らずに基礎論とか言い出してたわけでしょ？低学歴って
- 942 名前：１３２人目の素数さん [2016/09/20(火) 13:43:52.31 ID:JNe/5TIk.net]
- >>913
早くソース出せよ低学歴
- 943 名前：１３２人目の素数さん [2016/09/20(火) 13:44:56.52 ID:JNe/5TIk.net]
- >>913
要するに低知能低学歴だから述語論理という漢字すら読めないわけでしょ？
i.imgur.com/IMGB9C9.jpg
- 944 名前：１３２人目の素数さん [2016/09/20(火) 13:45:27.56 ID:JNe/5TIk.net]
- >>913
>>904
空間の曲率が0である空間がユークリッド幾何学の定義域
知恵遅れにも程がある
- 945 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 13:46:28.90 ID:kpNKDZUG.net]
- スレを流して話を流そうとしても無駄だよ
あなたのこの間違いは繰り返し指摘し続けるからね
- 946 名前：１３２人目の素数さん [2016/09/20(火) 13:46:41.75 ID:JNe/5TIk.net]
- こいつ数学の本を1冊も読んだことないんだろうな
R上とかC上なんて必ず書かれてるのになwwww
C1級とか聞いたこともないレベルなんでしょ？
大学くらい行けよ猿
- 947 名前：１３２人目の素数さん [2016/09/20(火) 13:47:05.40 ID:JNe/5TIk.net]
- >>919
早くソース出せよ低学歴
お前が誤っていてお前がソース出せずに逃げてんだよ
- 948 名前：１３２人目の素数さん [2016/09/20(火) 13:47:17.31 ID:JNe/5TIk.net]
- >>919
早くソース出せよ低学歴
お前が誤っていてお前がソース出せずに逃げてんだよ
- 949 名前：１３２人目の素数さん [2016/09/20(火) 13:47:36.38 ID:JNe/5TIk.net]
- >>898
ソース無し
- 950 名前：１３２人目の素数さん [2016/09/20(火) 13:48:50.47 ID:JNe/5TIk.net]
- >>919
>>913
>>898
そもそも低学歴すぎて全称命題と存在命題を区別してないから
i.imgur.com/IMGB9C9.jpg
ID:YkboklIMみたいな即死レベルの恥晒しを書けてしまうわけでしょ？
述語論理って漢字読めるぅ？ボクぅw
はよこのアホ妄想>>898のソース出さんかい低学歴
逃げるのか？
- 951 名前：１３２人目の素数さん [2016/09/20(火) 13:50:01.87 ID:JNe/5TIk.net]
- つまり定義域を理解してない低学歴って整数論の存在すら認めないわけでしょ？
はよこのアホ妄想>>898のソース出さんかい低学歴
逃げるのか？
- 952 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 13:52:23.47 ID:kpNKDZUG.net]
- >>920
そうだね、必ず書かれているね
（数理論理学以外の）数学の本は集合論の枠組みだけを考えており、公理系という言葉は「抽
- 953 名前：象的な定義」程度の意味合いで用いられる
論理学での用法とは異なる [] - [ここ壊れてます]
- 954 名前：１３２人目の素数さん [2016/09/20(火) 13:52:31.00 ID:JNe/5TIk.net]
- 未だに「集合論の枠組み」とか言ってんだもんなあwwwwww
対象を集合とし、集合と集合族を区別しなければ自己言及パラドックスは回避不可能と教えてやっても記憶できないのが低学歴の特徴
そもそも痴呆症レベルの記憶力しか無い
- 955 名前：１３２人目の素数さん [2016/09/20(火) 13:52:48.79 ID:JNe/5TIk.net]
- >>926
未だに「集合論の枠組み」とか言ってんだもんなあwwwwww
対象を集合とし、集合と集合族を区別しなければ自己言及パラドックスは回避不可能と教えてやっても記憶できないのが低学歴の特徴
そもそも痴呆症レベルの記憶力しか無い
- 956 名前：１３２人目の素数さん [2016/09/20(火) 13:53:24.55 ID:JNe/5TIk.net]
- >>926
さっさとソース出さんか低学歴
ほれソース
さっさとソース
お前の妄想だって事がどんどん確定していくな？
- 957 名前：１３２人目の素数さん [2016/09/20(火) 13:54:20.85 ID:JNe/5TIk.net]
- >>926
269 １３２人目の素数さん[sage] 2016/09/10(土) 09:38:00.57 ID:MG9nU05d
プリンキピア・マテマティカ(ラッセル, ホワイトヘッド)
「集合と集合族を区別するような数的構造の上にしか無矛盾な論理学は構成不可能」
これがラッセルのパラドックスの解決
この地点にすら達してないガイジが基礎論とか口にしてるのかwwwwww
- 958 名前：１３２人目の素数さん [2016/09/20(火) 13:55:03.23 ID:JNe/5TIk.net]
- 集合論を用いない論理学が可能だと言えてしまうのが低学歴の特徴
- 959 名前：１３２人目の素数さん [2016/09/20(火) 13:55:36.41 ID:JNe/5TIk.net]
- ラッセルのパラドックスと言われて初めてググり出すようなレベルだもんなあここwwww
- 960 名前：１３２人目の素数さん [2016/09/20(火) 13:56:59.41 ID:JNe/5TIk.net]
- こんな凄いことなかなか書けるもんじゃないwwww
ラッセルのパラドックスを初めて聞いたから今ググりましたって奴しかこんな事は書けないwwww
↓
57 １３２人目の素数さん[sage] 2016/09/04(日) 18:33:38.50 ID:o66IyOEe
ブリンキピア・マテマティカって歴史的意義以外に価値を持ってるのか？
そんなこと言ってるら基礎論と数学史が一緒に括られてしまうんんゃねーの？
- 961 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 13:57:36.83 ID:kpNKDZUG.net]
- あなたがいくら恫喝したところで、このスレのあなた以外の全員が既に知っていて理解していることなので、>>898の指摘だけで十分なのさ
話が流れてしまわないよう定期的に繰り返して、あなた以外の全員に周知するからね
- 962 名前：１３２人目の素数さん [2016/09/20(火) 13:59:52.91 ID:JNe/5TIk.net]
- >>934
https://www.sist.ac.jp/~suganuma/kougi/other_lecture/SE/math/logic/logic.htm
論理式と定義域
i.imgur.com/aeyDIm4.jpg
お前の妄想はソース無しw
- 963 名前：１３２人目の素数さん [2016/09/20(火) 14:01:29.20 ID:JNe/5TIk.net]
- つまり低知能低学歴は論理式も命題関数も知らないのに基礎論とかほざいてたwwww
- 964 名前：１３２人目の素数さん [2016/09/20(火) 14:01:51.48 ID:JNe/5TIk.net]
- こんな凄いことなかなか書けるもんじゃないwwww
ラッセルのパラドックスを初めて聞いたから今ググりましたって奴しかこんな事は書けないwwww
↓
57 １３２人目の素数さん[sage] 2016/09/04(日) 18:33:38.50 ID:o66IyOEe
ブリンキピア・マテマティカって歴史的意義以外に価値を持ってるのか？
そんなこと言ってるら基礎論と数学史が一緒に括られてしまうんんゃねーの？
- 965 名前：１３２人目の素数さん [2016/09/20(火) 14:02:52.80 ID:JNe/5TIk.net]
- >>934
>>926
未だに「集合論の枠組み」とか言ってんだもんなあwwwwww
対象を集合とし、集合と集合族を区別しなければ自己言及パラドックスは回避不可能と教えてやっても記憶できないのが低学歴の特徴
そもそも痴呆症レベルの記憶力しか無い
- 966 名前：１３２人目の素数さん mailto:sage [2016/09/20(火) 14:05:00.63 ID:kpNKDZUG.net]
- >>935
あなたが勘違いしているのは、
・定義域Dが初めから唯一つに定まっていると思い込んでいること
・モデルを一つ指定した後（＝集合論の枠組みに当てはめた後）の状況だけを見て、公理系というものを考えていること
- 967 名前：１３２人目の素数さん [2016/09/20(火) 14:09:43.52 ID:JNe/5TIk.net]
- >>939
全く反論になってねーよ低学歴
はよソース出せよ
逃げてんのか？
- 968 名前：１３２人目の素数さん [2016/09/20(火) 14:10:38.59 ID:JNe/5TIk.net]
- >>939
集合論の枠組みwwwwwwwwwwwww
wwww
w
www
w
w
w
w
- 969 名前：１３２人目の素数さん [2016/09/20(火) 14:11:15.04 ID:JNe/5TIk.net]
- >>939
この低学歴ってwwww
「集合論の枠組み」とか書いてて恥ずかしくならねーのかなwwwwwwwwwwwww
- 970 名前：１３２人目の素数さん [2016/09/20(火) 14:12:13.91 ID:JNe/5TIk.net]
- つまり低知能低学歴はこんな妄想を抱いているわけだ
「集合論を用いた論理学は集合論主義に毒された論理学に過ぎず真の論理学ではない！真の論理学では集合論は不要！」
とwwwwww
- 971 名前：１３２人目の素数さん [2016/09/20(火) 14:13:02.03 ID:JNe/5TIk.net]
- だからさ
証明も定理も書かれてない一般書読んで数学やったつもりになってる低学歴は巣に帰れよw
- 972 名前：１３２人目の素数さん [2016/09/20(火) 14:13:20.11 ID:JNe/5TIk.net]
- こんな凄いことなかなか書けるもんじゃないwwww
ラッセルのパラドックスを初めて聞いたから今ググりましたって奴しかこんな事は書けないwwww
↓
57 １３２人目の素数さん[sage] 2016/09/04(日) 18:33:38.50 ID:o66IyOEe
ブリンキピア・マテマティカって歴史的意義以外に価値を持ってるのか？
そんなこと言ってるら基礎論と数学史が一緒に括られてしまうんんゃねーの？
- 973 名前：１３２人目の素数さん [2016/09/20(火) 14:14:00.44 ID:JNe/5TIk.net]
- 集合論の枠組みwwwwwwwww
マジで腹いてえwwwww
www
w
- 974 名前：１３２人目の素数さん [2016/09/20(火) 14:15:02.09 ID:JNe/5TIk.net]
- 集合を用いない論理学は不可能である事に全ての数学者が合意するきっかけとなったのがラッセルらのプリンキピア・マテマティカなのになwwww
- 975 名前：１３２人目の素数さん [2016/09/20(火) 14:16:11.76 ID:JNe/5TIk.net]
- これ凄いよなあwwww
公理的集合論の意味を全く理解してない著者が居るのかwwww
↓
49 １３２人目の素数さん[] 2016/09/04(日) 09:48:49.17 ID:RGJAFy6F
>>25
横からだけど、たまたま読んでいる本に
「現代ではほとんどすべての数学の概念は集合によって記述されるという（あまり根拠のない）セントラルドグマにしたがって数学は議論されるのが普通である。」
（加藤文元「ガロア」中公新書、２３７ページ）
という一文があったよ。
- 976 名前：１３２人目の素数さん [2016/09/20(火) 14:18:36.35 ID:JNe/5TIk.net]
- 生物学科wwwww
そりゃラッセルのパラドックスすら知らないわけだwwww
https://mobile.twitter.com/FumiharuKato/status/684734961090334720?ref_src=twsrc%5Etfw
加藤文元
加藤文元 – ‏@FumiharuKato
生物学科の学生だった頃、形式的な無限m進展開で表される「数」で方程式論をするという暇なことを考え、とある数学の先生に見せたところ「これはヘンゼルの補題というものだよ」と教えてくれた。専門書のヘンゼルの補題を見てもチンプンカンプンだったので、とりあえずそれを解読することから始めた。
5:55 - 2016年1月6日
|
 |
