数学基礎論は、素朴集合論における逆理の解消などを一つの動機として、
19世紀末から20世紀半ばにかけて生まれ、発展した数学の一分野です。
現在では、証明論、再帰的関数論、構成的数学、モデル理論、公理的集合論など、
多くの分野に分かれ、極めて高度な純粋数学として発展を続けています。
(「数学基礎論」という言葉の使い方には、専門家でも若干の個人差があるようです。)
応用、ないし交流のある分野は、計算機科学の諸分野や、代数幾何学、
英米系哲学の一部などを含み、多岐にわたります。
(数学セミナー98年6月号、「数学基礎論の学び方」
ttp://www.math.tohoku.ac.jp/~tanaka/intro.html
或いは 岩波文庫「不完全性定理」 6.4 数学基礎論の数学化 などを参照)
従ってこのスレでは、基礎的な数学の質問はスレ違いとなります。
他のスレで御質問なさるようにお願いします。
前スレ
数学基礎論・数理論理学 その17
http://rio2016.2ch.net/test/read.cgi/math/1472553838/
数学基礎論・数理論理学 その18 [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
1132人目の素数さん
2016/09/20(火) 16:45:43.11ID:rqV1hckS2016/09/20(火) 19:35:42.70ID:E0GPqyxb
>>61
お前wwwwww
ユークリッド幾何学の解釈がひとつしかないって
wwwwww
可算無限個の点集合上のユークリッド幾何学
連続体濃度の点集合上のユークリッド幾何学
そのまた巾集合濃度の点集合上のユークリッド幾何学
・・・
これらが同じってか?
wwwwwwwwwwww
お前wwwwww
ユークリッド幾何学の解釈がひとつしかないって
wwwwww
可算無限個の点集合上のユークリッド幾何学
連続体濃度の点集合上のユークリッド幾何学
そのまた巾集合濃度の点集合上のユークリッド幾何学
・・・
これらが同じってか?
wwwwwwwwwwww
2016/09/20(火) 19:37:43.54ID:E0GPqyxb
69132人目の素数さん
2016/09/20(火) 19:40:22.51ID:JNe/5TIk71132人目の素数さん
2016/09/20(火) 19:41:22.99ID:JNe/5TIk2016/09/20(火) 19:51:12.97ID:E0GPqyxb
2016/09/20(火) 19:52:14.86ID:E0GPqyxb
74¥ ◆2VB8wsVUoo
2016/09/20(火) 19:53:00.61ID:jSe92bp3 ¥
>75 :132人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも?
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やw
>
>76 :132人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやw
>
>75 :132人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも?
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やw
>
>76 :132人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやw
>
75¥ ◆2VB8wsVUoo
2016/09/20(火) 19:53:20.50ID:jSe92bp3 ¥
>75 :132人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも?
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やw
>
>76 :132人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやw
>
>75 :132人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも?
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やw
>
>76 :132人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやw
>
76¥ ◆2VB8wsVUoo
2016/09/20(火) 19:53:37.64ID:jSe92bp3 ¥
>75 :132人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも?
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やw
>
>76 :132人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやw
>
>75 :132人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも?
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やw
>
>76 :132人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやw
>
2016/09/20(火) 19:53:50.80ID:E0GPqyxb
集合Gの上に二項演算子が定義されており、以下四つの性質を満たすとき集合Gを群と呼ぶ
(以下略)
↑
クルクルパーが考えている公理系のイメージ
wwwwwwwwwwww
(以下略)
↑
クルクルパーが考えている公理系のイメージ
wwwwwwwwwwww
78¥ ◆2VB8wsVUoo
2016/09/20(火) 19:53:56.17ID:jSe92bp3 ¥
>75 :132人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも?
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やw
>
>76 :132人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやw
>
>75 :132人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも?
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やw
>
>76 :132人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやw
>
79¥ ◆2VB8wsVUoo
2016/09/20(火) 19:54:14.49ID:jSe92bp3 ¥
>75 :132人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも?
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やw
>
>76 :132人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやw
>
>75 :132人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも?
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やw
>
>76 :132人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやw
>
80¥ ◆2VB8wsVUoo
2016/09/20(火) 19:54:31.31ID:jSe92bp3 ¥
>75 :132人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも?
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やw
>
>76 :132人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやw
>
>75 :132人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも?
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やw
>
>76 :132人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやw
>
81¥ ◆2VB8wsVUoo
2016/09/20(火) 19:54:50.33ID:jSe92bp3 ¥
>75 :132人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも?
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やw
>
>76 :132人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやw
>
>75 :132人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも?
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やw
>
>76 :132人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやw
>
82¥ ◆2VB8wsVUoo
2016/09/20(火) 19:55:09.97ID:jSe92bp3 ¥
>75 :132人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも?
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やw
>
>76 :132人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやw
>
>75 :132人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも?
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やw
>
>76 :132人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやw
>
2016/09/20(火) 19:56:42.53ID:E0GPqyxb
84¥ ◆2VB8wsVUoo
2016/09/20(火) 19:56:50.23ID:jSe92bp3 ¥
>75 :132人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも?
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やw
>
>76 :132人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやw
>
>75 :132人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも?
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やw
>
>76 :132人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやw
>
2016/09/20(火) 19:59:13.16ID:E0GPqyxb
一階述語論理なのにわざわざプリンキピアの体系wwwwww
いいかげんにしろwwwwww
いいかげんにしろwwwwww
87132人目の素数さん
2016/09/20(火) 19:59:25.65ID:JNe/5TIk88¥ ◆2VB8wsVUoo
2016/09/20(火) 19:59:32.03ID:jSe92bp3 ¥
>75 :132人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも?
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やw
>
>76 :132人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやw
>
>75 :132人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも?
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やw
>
>76 :132人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやw
>
89¥ ◆2VB8wsVUoo
2016/09/20(火) 19:59:53.33ID:jSe92bp3 ¥
>75 :132人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも?
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やw
>
>76 :132人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやw
>
>75 :132人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも?
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やw
>
>76 :132人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやw
>
90132人目の素数さん
2016/09/20(火) 20:00:07.82ID:JNe/5TIk91¥ ◆2VB8wsVUoo
2016/09/20(火) 20:00:13.02ID:jSe92bp3 ¥
>75 :132人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも?
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やw
>
>76 :132人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやw
>
>75 :132人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも?
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やw
>
>76 :132人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやw
>
2016/09/20(火) 20:00:57.92ID:kpNKDZUG
>>87
何度も言っているように、「定義域を変える公理」なんてあり得ないんだよ
何度も言っているように、「定義域を変える公理」なんてあり得ないんだよ
93132人目の素数さん
2016/09/20(火) 20:00:58.56ID:JNe/5TIk94132人目の素数さん
2016/09/20(火) 20:01:20.01ID:JNe/5TIk2016/09/20(火) 20:01:39.78ID:E0GPqyxb
96132人目の素数さん
2016/09/20(火) 20:01:52.98ID:JNe/5TIk97132人目の素数さん
2016/09/20(火) 20:02:08.58ID:JNe/5TIk98132人目の素数さん
2016/09/20(火) 20:02:55.03ID:JNe/5TIk >>51
「集合論の枠組み」なんて言ってる時点で論理学を理解してない証拠
集合を対象としない論理学は存在不可能
なぜならラッセルのパラドックスにより破綻する
集合論を対象としない論理学は想像上でさえ一瞬たりとも存在不可能
ラッセルのパラドックスを回避していない瞬間は論理学が破綻している瞬間でもある
「集合論の枠組み」なんて言ってる時点で論理学を理解してない証拠
集合を対象としない論理学は存在不可能
なぜならラッセルのパラドックスにより破綻する
集合論を対象としない論理学は想像上でさえ一瞬たりとも存在不可能
ラッセルのパラドックスを回避していない瞬間は論理学が破綻している瞬間でもある
99¥ ◆2VB8wsVUoo
2016/09/20(火) 20:04:57.77ID:jSe92bp3 ¥
>75 :132人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも?
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やw
>
>76 :132人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやw
>
>75 :132人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも?
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やw
>
>76 :132人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやw
>
100132人目の素数さん
2016/09/20(火) 20:05:51.85ID:E0GPqyxb だいたい公理的集合論の導入によってラッセルのパラドックスを解消したって言ってる同じ口で
「 集合族と集合の区別によるラッセルのパラドックスの解消」とか言ってるの?
白痴ですね?クルクルパーですね?
wwwwwwwwwwww
「 集合族と集合の区別によるラッセルのパラドックスの解消」とか言ってるの?
白痴ですね?クルクルパーですね?
wwwwwwwwwwww
101132人目の素数さん
2016/09/20(火) 20:06:45.75ID:JNe/5TIk102132人目の素数さん
2016/09/20(火) 20:06:50.97ID:kpNKDZUG103132人目の素数さん
2016/09/20(火) 20:07:21.96ID:JNe/5TIk >>102
バカは相手にしない
バカは相手にしない
104132人目の素数さん
2016/09/20(火) 20:07:35.01ID:Aroda5+w クラスと集合族を取り違えてる気がする
105132人目の素数さん
2016/09/20(火) 20:07:36.24ID:JNe/5TIk106132人目の素数さん
2016/09/20(火) 20:10:13.94ID:E0GPqyxb ユークリッド幾何なんてデカルト座標上でも成り立つしコップと机と椅子(だったっけ?)でも成り立つし、
解釈はひとつだけとかどんだけ愚なんだよ
解釈はひとつだけとかどんだけ愚なんだよ
107132人目の素数さん
2016/09/20(火) 20:11:24.73ID:kpNKDZUG やはり効果覿面だったな
訳の分からん言い逃れをしおってからに
訳の分からん言い逃れをしおってからに
108132人目の素数さん
2016/09/20(火) 20:13:40.90ID:JNe/5TIk >>104
ラッセルの型理論すら知らずに基礎論とか口にしてんのかお前
ラッセルの型理論すら知らずに基礎論とか口にしてんのかお前
109132人目の素数さん
2016/09/20(火) 20:14:50.54ID:JNe/5TIk110132人目の素数さん
2016/09/20(火) 20:16:11.02ID:kpNKDZUG >>109
教授にも同じことを言ってやりなさい
教授にも同じことを言ってやりなさい
111132人目の素数さん
2016/09/20(火) 20:20:14.38ID:JNe/5TIk >>110
所詮は数学を専攻してない門外漢だろ
所詮は数学を専攻してない門外漢だろ
112132人目の素数さん
2016/09/20(火) 20:20:41.15ID:JNe/5TIk >>110
個人の妄想エッセイは要らねーから論文貼れよ論文をよ
個人の妄想エッセイは要らねーから論文貼れよ論文をよ
113132人目の素数さん
2016/09/20(火) 20:21:29.21ID:JNe/5TIk >>106
空間を定義する公理を追加したらそれは最早ユークリッド幾何学ではない
空間を定義する公理を追加したらそれは最早ユークリッド幾何学ではない
114132人目の素数さん
2016/09/20(火) 20:24:34.64ID:JNe/5TIk やっぱり低学歴って位相幾何学は位相と同じ!とか思ってんだな
115132人目の素数さん
2016/09/20(火) 20:25:32.51ID:JNe/5TIk116132人目の素数さん
2016/09/20(火) 20:45:41.81ID:0pT/IJjW 純粋計算可能性学(名前はまだない)と数学とは切り離して考えた方がよい
たとえば数学の命題∀n∊N,
3≦n ⇒ ¬(∃x,y,z)∊Z+; x^n+y^n=z^n
の対偶
x^n+y^n=z^n ⇒ ∃n∊N;3>n
を示す
�@ n=0,n=1のときZ+の加法性より成立
�A n=2のときピュタゴラスの定理より成立
�B ゆえに∀n∊N,3≦n ⇒ ¬(∃x,y,z)∊Z+; x^n+y^n=z^n が成立する
これが数学か?w
たとえば数学の命題∀n∊N,
3≦n ⇒ ¬(∃x,y,z)∊Z+; x^n+y^n=z^n
の対偶
x^n+y^n=z^n ⇒ ∃n∊N;3>n
を示す
�@ n=0,n=1のときZ+の加法性より成立
�A n=2のときピュタゴラスの定理より成立
�B ゆえに∀n∊N,3≦n ⇒ ¬(∃x,y,z)∊Z+; x^n+y^n=z^n が成立する
これが数学か?w
117132人目の素数さん
2016/09/20(火) 21:00:21.19ID:E0GPqyxb >>115
指定した上で「成り立つ」とかクルクルパーだなwwwwww
理論は理論で勝手に成り立ってるよwwwwww
モデルはモデルで勝手にそんざいしてるよwwwwww
理論にモデルが適用可能だからって、理論がそれに依存してると考えるなんてさすがクルクルパー
wwwwwwwwwwww
指定した上で「成り立つ」とかクルクルパーだなwwwwww
理論は理論で勝手に成り立ってるよwwwwww
モデルはモデルで勝手にそんざいしてるよwwwwww
理論にモデルが適用可能だからって、理論がそれに依存してると考えるなんてさすがクルクルパー
wwwwwwwwwwww
118132人目の素数さん
2016/09/20(火) 21:19:50.62ID:B1U8xatQ 公理じゃなくて推論規則だってならまだわかるがのう
119132人目の素数さん
2016/09/20(火) 21:25:34.33ID:kpNKDZUG >>116
そのような意味での論理学的命題と数学的命題の区別なんて、今まで誰も話題にしていないよ、君以外はね
そのような意味での論理学的命題と数学的命題の区別なんて、今まで誰も話題にしていないよ、君以外はね
120¥ ◆2VB8wsVUoo
2016/09/20(火) 21:35:33.30ID:jSe92bp3 ¥
>75 :132人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも?
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やw
>
>76 :132人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやw
>
>75 :132人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも?
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やw
>
>76 :132人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやw
>
121132人目の素数さん
2016/09/20(火) 21:38:39.57ID:JNe/5TIk >>117
お前が勝手にユークリッド幾何学に更に公理を追加したんだろ?ん?
お前が勝手にユークリッド幾何学に更に公理を追加したんだろ?ん?
122132人目の素数さん
2016/09/20(火) 21:42:24.47ID:JNe/5TIk123132人目の素数さん
2016/09/20(火) 21:44:35.87ID:E0GPqyxb124132人目の素数さん
2016/09/20(火) 21:46:37.52ID:E0GPqyxb ユークリッド幾何学の公理群をみて、
「この理論はデカルト座標空間に適用可能である」
と表現したらそのような公理を追加したことになるのか?
クルクルパーだなwwwwwwwwwwww
「この理論はデカルト座標空間に適用可能である」
と表現したらそのような公理を追加したことになるのか?
クルクルパーだなwwwwwwwwwwww
125132人目の素数さん
2016/09/20(火) 21:55:27.64ID:E0GPqyxb126132人目の素数さん
2016/09/20(火) 23:14:32.98ID:E0GPqyxb くそ、前スレで出した話題にこのクソ野郎がトンチンカンな絡み方をしてきたせいで1000レス以上も損した!
まだムカつく!
まだムカつく!
127132人目の素数さん
2016/09/21(水) 00:27:46.38ID:UMgWOdpV こういう勘違いバカが発生する時点で
基礎論っていい加減な教科書しかないんだなって思った
こういう勘違いバカが発生する時点で一瞬で黙るような
ハッキリしたソースが提示できない時点で
基礎論っていい加減な教科書しかないんだなって思った 👀
Rock54: Caution(BBR-MD5:0be15ced7fbdb9fdb4d0ce1929c1b82f)
基礎論っていい加減な教科書しかないんだなって思った
こういう勘違いバカが発生する時点で一瞬で黙るような
ハッキリしたソースが提示できない時点で
基礎論っていい加減な教科書しかないんだなって思った 👀
Rock54: Caution(BBR-MD5:0be15ced7fbdb9fdb4d0ce1929c1b82f)
128132人目の素数さん
2016/09/21(水) 00:37:49.06ID:iCFknaAl ソースなんてそれこそどんな数理論理学の入門書でも事足りるさ
あまりにも基本的なことで躓いているのだから
問題なのは、奴はどんな数理論理学の入門書でも理解する能力も意思もないということだ
あまりにも基本的なことで躓いているのだから
問題なのは、奴はどんな数理論理学の入門書でも理解する能力も意思もないということだ
129132人目の素数さん
2016/09/21(水) 02:05:34.76ID:a/bWcby+ >>123
定義域を制限する公理
定義域を制限する公理
130132人目の素数さん
2016/09/21(水) 02:06:10.13ID:a/bWcby+131132人目の素数さん
2016/09/21(水) 02:07:13.97ID:a/bWcby+132132人目の素数さん
2016/09/21(水) 02:07:39.73ID:a/bWcby+ >>128
バカペディア以外に何一つソースがない低学歴文系ガイジwwww
バカペディア以外に何一つソースがない低学歴文系ガイジwwww
133132人目の素数さん
2016/09/21(水) 03:00:37.52ID:gsNbGJQA 煽りとかじゃなく、あんたは大学どこなの?
134¥ ◆2VB8wsVUoo
2016/09/21(水) 03:08:56.25ID:9DYTpCUE ¥
>75 :132人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも?
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やw
>
>76 :132人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやw
>
>75 :132人目の素数さん 2016/09/18(日) 23:36:44.58 ID:ol2qzlaN
>正直
>ネットでみっともないこと一生懸命続けてたらパパが裏で旧関係者とかへのツテ全開で土下座してアカデミックな居場所工面して僕珍にプレゼントしてくれるかも?
>っていう甘ったれた感じしか感じられないんだな
>
>文科省植民地大出身おフランス留学親が教授の毛並みの良さしかアカポスに入りこめた理由がなかった低実績低実力数学愛皆無の見苦しい関西お受験坊やw
>
>76 :132人目の素数さん 2016/09/18(日) 23:41:47.41 ID:ol2qzlaN
>常磐線でカップ酒で酔っぱらってる茨城土民の低学歴の農家のおっさん並みに
>四国のローカル線でみっともなく酔っぱらって四国の女子専門学校生にしつっこく絡んで
>身を滅ぼした関西お受験ぼうやw
>
135132人目の素数さん
2016/09/21(水) 08:54:53.78ID:H9RxoFXr 「Haskellは、JavaやSwift、Goのように大企業がバックについているわけでない。ぜひ、皆さんに助けてほしい。」
http://itpro.nikkeibp.co.jp/atcl/news/16/092002726/?ST=spleaf&P=2
http://itpro.nikkeibp.co.jp/atcl/news/16/092002726/?ST=spleaf&P=2
136132人目の素数さん
2016/09/22(木) 00:21:19.45ID:2vRyLpeQ メタレベルの議論に限ってですが、自然数を変数化できない(自然数を値に取る変数という概念がない)
というのは強い制約といえるでしょうか?
というのは強い制約といえるでしょうか?
137132人目の素数さん
2016/09/23(金) 03:28:53.53ID:ZGT+lCeg138132人目の素数さん
2016/09/23(金) 03:30:57.50ID:ZGT+lCeg139132人目の素数さん
2016/09/23(金) 03:32:11.21ID:ZGT+lCeg140¥ ◆2VB8wsVUoo
2016/09/23(金) 08:24:04.58ID:bmRyKeCd ¥
141¥ ◆2VB8wsVUoo
2016/09/23(金) 08:30:34.47ID:bmRyKeCd ¥
142¥ ◆2VB8wsVUoo
2016/09/23(金) 08:30:52.51ID:bmRyKeCd ¥
143¥ ◆2VB8wsVUoo
2016/09/23(金) 08:31:08.80ID:bmRyKeCd ¥
144¥ ◆2VB8wsVUoo
2016/09/23(金) 08:31:25.16ID:bmRyKeCd ¥
145¥ ◆2VB8wsVUoo
2016/09/23(金) 08:31:43.85ID:bmRyKeCd ¥
146¥ ◆2VB8wsVUoo
2016/09/23(金) 08:32:00.74ID:bmRyKeCd ¥
147¥ ◆2VB8wsVUoo
2016/09/23(金) 08:32:18.34ID:bmRyKeCd ¥
148¥ ◆2VB8wsVUoo
2016/09/23(金) 08:32:34.50ID:bmRyKeCd ¥
149¥ ◆2VB8wsVUoo
2016/09/23(金) 08:32:52.39ID:bmRyKeCd ¥
150132人目の素数さん
2016/09/23(金) 10:11:01.99ID:lVLNCMcW151¥ ◆2VB8wsVUoo
2016/09/23(金) 10:19:49.86ID:bmRyKeCd ¥
152132人目の素数さん
2016/09/23(金) 11:27:24.76ID:lVLNCMcW153132人目の素数さん
2016/09/23(金) 11:56:28.22ID:HIbuL2MJ154132人目の素数さん
2016/09/23(金) 11:57:58.43ID:HIbuL2MJ155132人目の素数さん
2016/09/23(金) 11:58:44.06ID:HIbuL2MJ156132人目の素数さん
2016/09/23(金) 12:05:41.38ID:HIbuL2MJ 自分が考えた学問ではないのに自分の思いつきメモやバカペデイア以外に一切ソースがないってのがねwwwwwwwww
157¥ ◆2VB8wsVUoo
2016/09/23(金) 12:12:36.22ID:bmRyKeCd ¥
158¥ ◆2VB8wsVUoo
2016/09/23(金) 12:14:48.39ID:bmRyKeCd ¥
159¥ ◆2VB8wsVUoo
2016/09/23(金) 12:17:20.60ID:bmRyKeCd ¥
160132人目の素数さん
2016/09/23(金) 12:17:35.14ID:HIbuL2MJ161¥ ◆2VB8wsVUoo
2016/09/23(金) 12:17:37.25ID:bmRyKeCd ¥
162¥ ◆2VB8wsVUoo
2016/09/23(金) 12:17:53.85ID:bmRyKeCd ¥
163¥ ◆2VB8wsVUoo
2016/09/23(金) 12:18:09.53ID:bmRyKeCd ¥
164¥ ◆2VB8wsVUoo
2016/09/23(金) 12:18:24.68ID:bmRyKeCd ¥
165¥ ◆2VB8wsVUoo
2016/09/23(金) 12:18:39.78ID:bmRyKeCd ¥
166¥ ◆2VB8wsVUoo
2016/09/23(金) 12:18:54.83ID:bmRyKeCd ¥
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- ご飯はフォークの背に乗せるのがマナー? レストランで知らない女性からの指摘…食べ方に賛否 [少考さん★]
- 「Google Gemini、終了へ👋」――無料ユーザーのFlashモデル、10月9日からFlash-Liteのみに [パンナ・コッタ★]
- 【科学大】👨📢「女子枠!」とキャンパスで揶揄され体が固まった……正当な入試なのに「なぜこんなに批判されるのか」 [パンナ・コッタ★]
- 【サッカー】今夜 キリンカップ決勝「日本対NZ」テレビ朝日が全国生中継! 解説は松木安太郎&内田篤人&柿谷曜一朗 ゲスト 影山優佳 [阿弥陀ヶ峰★]
- 【沖縄】「許せない」「基地を返せ」 強盗殺人事件、沖縄に怒りの声 ★3 [ぐれ★]
- 【神奈川】駐車場でバックしていた乗用車が10歳と2歳を含む親子3人に衝突 父親は重傷 大和市 [ぐれ★]
- 【急募】みい山作者の亜月ねね(馬場悠)が東京都文京区本駒込5丁目8-2で飼育してる猫を殺害する方法
- 高市早苗、G7欠席。各国「理由は?」官房長官「明言避ける」😲 [518915984]
- 【高市悲報】海外「日本の"菊の紋"って尻穴にしか見えんのだがw」 [165981677]
- 高市早苗、個人情報の第三者への提供について事前報告を義務化…病歴・指紋・位置など [245325974]
- 【高市朗報!】まだ辞任しない簗農相。夕方記者会見を実施する!と、通告 [219241683]
- 【悲報】コロコロコミック『子供たちへ、"冷笑"してるとこんな人生になるから気をつけようね!』 [839150984]