225 :
ご冗談でしょう?名無しさん:
>>224 そんなもん受けるわけ無いだろ?
負け犬か?お前
226 :
ご冗談でしょう?名無しさん:2013/08/06(火) NY:AN:NY.AN ID:gPiR8vud
227 :
ご冗談でしょう?名無しさん:2013/08/06(火) NY:AN:NY.AN ID:pBpBlBRk
英語できないきゅむ
229 :
ご冗談でしょう?名無しさん:2013/08/06(火) NY:AN:NY.AN ID:pBpBlBRk
TOEICWWWWWW
TOEFLだろ普通WWWW
231 :
ご冗談でしょう?名無しさん:2013/08/06(火) NY:AN:NY.AN ID:pBpBlBRk
>>230 はぁ?
どこが?
お前やっぱ中卒だろ?
はよ晒せや
TOEICとかまじかよWWWW
ただの家庭教師フリーターじゃん
233 :
ご冗談でしょう?名無しさん:2013/08/06(火) NY:AN:NY.AN ID:pBpBlBRk
アメリカの大学院行きたかったらTOEFLでしょきゅむちゃん
235 :
ご冗談でしょう?名無しさん:2013/08/06(火) NY:AN:NY.AN ID:pBpBlBRk
>>234 はぁ?
言い訳してねーではよ貼れよ高卒
236 :
靖国参拝、皇族、国旗国歌、神社神道を異常に嫌うカルト教団:2013/08/06(火) NY:AN:NY.AN ID:95Psid2J
★マインドコントロールの手法★
・沢山の人が偏った意見を一貫して支持する
偏った意見でも、集団の中でその意見が信じられていれば、自分の考え方は間違っているのか、等と思わせる手法
・不利な質問をさせなくしたり、不利な質問には答えない、スルーする
誰にも質問や反論をさせないことにより、誰もが皆、疑いなど無いんだと信じ込ませる手法
↑マスコミや、カルトのネット工作員がやっていること
TVなどが、偏った思想や考え方に染まっているフリや常識が通じないフリをする人間をよく出演させるのは、
カルトよりキチガイに見える人たちを作ることで批判の矛先をカルトから逸らすことが目的。
リアルでもネットでも、偽装左翼は自分たちの主張に理がないことをわかっているのでまともに議論をしようとしないのが特徴。
きゅむっていろいろボロがでるから面白いw
貼ってくださいお願いしますだろ?
だから家庭教師フリーターなんだよ
ニートきゅむ敗北
242 :
ご冗談でしょう?名無しさん:2013/08/06(火) NY:AN:NY.AN ID:pBpBlBRk
243 :
ご冗談でしょう?名無しさん:2013/08/06(火) NY:AN:NY.AN ID:pBpBlBRk
>>240 ZFじゃないだろ?
「ZFから正則性公理を除いたもの」だろ?
知能指数低すぎWWWWWWW
244 :
ご冗談でしょう?名無しさん:2013/08/06(火) NY:AN:NY.AN ID:pBpBlBRk
>>240 やっぱお前低学歴だなWWWWWWW
基礎の公理とか書いてるのはまともな大学じゃない
245 :
ご冗談でしょう?名無しさん:2013/08/06(火) NY:AN:NY.AN ID:pBpBlBRk
>>240 >∀x(not x∈x) はZF集合論では定理だが型理論では文法違反
0点
ZF集合論では集合とみなされないので定理にならない
本当に本当に白痴だなお前WWWWWWW
>>243 本当に数学が出来ないね
基礎の公理FAを除いて反基礎の公理AFAを入れるとx={x}となる集合xの存在が言える
ZFC-FA+AFAのモデルがZFC内に作れる
(これに載ってるそうだ P. Aczel. Non-well-founded Sets. CSLI lecture notes Number 14. CSLI Publications,Stanford University, 1988.)
したがって、ZFCが無矛盾である仮定の下で
ZF-FA+(∃x(x∈x))は矛盾しない
つまり、ZF-FAから∀x(not x∈x)は証明出来ない
247 :
ご冗談でしょう?名無しさん:2013/08/06(火) NY:AN:NY.AN ID:sfilj+mj
>>246 だから除いたものはZFじゃねーっの
知能指数50無いだろ?
248 :
ご冗談でしょう?名無しさん:2013/08/06(火) NY:AN:NY.AN ID:sfilj+mj
>>246 >つまり、ZF-FAから∀x(not x∈x)は証明出来ない
だからどうした?
なんか意味あるか?それ
反論できなくなってごまかしてどうする?ん?
249 :
ご冗談でしょう?名無しさん:2013/08/06(火) NY:AN:NY.AN ID:sfilj+mj
>>240 >∀x(not x∈x) はZF集合論では定理だが型理論では文法違反
0点
ZF集合論では集合とみなされないので定理にならない
本当に本当に白痴だなお前WWWWWWW
250 :
ご冗談でしょう?名無しさん:2013/08/06(火) NY:AN:NY.AN ID:sfilj+mj
>>246 >つまり、ZF-FAから∀x(not x∈x)は証明出来ない
そりゃそんなことする必要全くないからなバカなのか?ん?
251 :
ご冗談でしょう?名無しさん:2013/08/06(火) NY:AN:NY.AN ID:sfilj+mj
>>240 ZFじゃないだろ?
「ZFから正則性公理を除いたもの」だろ?
知能指数低すぎWWWWWWW
252 :
ご冗談でしょう?名無しさん:2013/08/06(火) NY:AN:NY.AN ID:sfilj+mj
>>128 >>108 は?
完全にお前論破されてるぞ?
>> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
>> めに制限し、ラッセル集合が定義出来ないようにする(公理的集合論)
>> (b) 言語の文法を変更して高階の言語を採用し、ラッセル集合が文法違反になるようにする(型理論)
これは数学的に同値
だからすべての公理的集合論は型理論を内包してる
253 :
ご冗談でしょう?名無しさん:2013/08/06(火) NY:AN:NY.AN ID:sfilj+mj
逃げるなよ
>>240 >∀x(not x∈x) はZF集合論では定理だが型理論では文法違反
0点
ZF集合論では集合とみなされないので定理にならない
本当に本当に白痴だなお前WWWWWWW
なんかだんだんきゅむが二人いるように見えてきたw
証明も参考文献も挙げずにコピペで論破連呼してるだけの白痴未満と同じに見られてるのか
>>247>>248 > ZFじゃないだろ?
> 「ZFから正則性公理を除いたもの」だろ?
とか言われたから
∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが
∀x(not x∈x)のZFでの証明
x∈xとなるxが存在したとすると
対の公理からy={x}が存在する
基礎の公理から、あるu∈yが存在してu∩yが空
ところがu∈yからu=xでありx∈uかつx∈yであるから矛盾
したがって任意のxについてnot x∈x
>>253 > ZF集合論では集合とみなされないので定理にならない
意味が分からん
君の脳内ZF集合論など知らんよ
そんな議論してる文献があるなら見せてくれ
256 :
ご冗談でしょう?名無しさん:2013/08/07(水) NY:AN:NY.AN ID:4NfkZ753
>>255 >∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが
だから?
お前が論破されてる件に全く関係ないんだが?ん?
257 :
ご冗談でしょう?名無しさん:2013/08/07(水) NY:AN:NY.AN ID:4NfkZ753
>>255 >意味が分からん
>君の脳内ZF集合論など知らんよ
>そんな議論してる文献があるなら見せてくれ
>>252 >>> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
>>> めに制限し、ラッセル集合が定義出来ないようにする(公理的集合論)
>>252 >>> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
>>> めに制限し、ラッセル集合が定義出来ないようにする(公理的集合論)
>>252 >>> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
>>> めに制限し、ラッセル集合が定義出来ないようにする(公理的集合論)
>>252 >>> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
>>> めに制限し、ラッセル集合が定義出来ないようにする(公理的集合論)
>>252 >>> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
>>> めに制限し、ラッセル集合が定義出来ないようにする(公理的集合論)
>>252 >>> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
>>> めに制限し、ラッセル集合が定義出来ないようにする(公理的集合論)
>>252 >>> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
>>> めに制限し、ラッセル集合が定義出来ないようにする(公理的集合論)
258 :
ご冗談でしょう?名無しさん:2013/08/07(水) NY:AN:NY.AN ID:4NfkZ753
>>255 >∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが
正則性公理を除いたら公理的集合論にならない
バカなのか?ん?
ラッセルのパラドックスを認めるものを公理的集合論とは呼ばない
259 :
ご冗談でしょう?名無しさん:2013/08/07(水) NY:AN:NY.AN ID:4NfkZ753
そんなんで誤魔化せるとでも思ったのか?ん?
専門分野で教養に負けるとかWWWWWW
260 :
ご冗談でしょう?名無しさん:2013/08/07(水) NY:AN:NY.AN ID:4NfkZ753
>>255 >∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが
正則性公理を除いたら公理的集合論にならない
バカなのか?ん?
ラッセルのパラドックスを認めるものを公理的集合論とは呼ばない
>>139 低脳みたいな厳しいことは言わないので
条件
>>131-133 あと、2chで議論する上での常識として
・文献や資料はWeb上にあり制限なく全て読めること
・言語は日本語か英語
が満たされてればいいかな
>>135 一人でほざいてるだけじゃ狂人の戯言と一緒だからね
あれだけ、自説に自信を持ってるのなら文献や資料の提示
なんて簡単でしょ?
一週間近く時間もあるし低脳は毎日書き込めるほど暇みたいだし
なので、粛々とカウントダウンするのみ
低脳敗北まで残り4日
262 :
ご冗談でしょう?名無しさん:2013/08/07(水) NY:AN:NY.AN ID:0XsiKsfS
263 :
ご冗談でしょう?名無しさん:2013/08/07(水) NY:AN:NY.AN ID:0XsiKsfS
>>255 >∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが
正則性公理を除いたら公理的集合論にならない
バカなのか?ん?
ラッセルのパラドックスを認めるものを公理的集合論とは呼ばない
264 :
ご冗談でしょう?名無しさん:2013/08/07(水) NY:AN:NY.AN ID:0XsiKsfS
まさか査読論文無しとか?WWWWWW
265 :
261:2013/08/07(水) NY:AN:NY.AN ID:???
266 :
ご冗談でしょう?名無しさん:2013/08/07(水) NY:AN:NY.AN ID:S6GGV4D3
>>265 お前とっくに敗北確定だよ
次のレスで査読論文貼れなかったからな
267 :
ご冗談でしょう?名無しさん:2013/08/07(水) NY:AN:NY.AN ID:S6GGV4D3
>>131 >>77 >と矛盾するんだよな
0点
十分性が示されてない
逃げたのか?ん?
はよ査読論文もってこいゴミ
268 :
ご冗談でしょう?名無しさん:2013/08/07(水) NY:AN:NY.AN ID:S6GGV4D3
CFL条件を満たさない全ての系で
精度が全く落ちない事を証明出来ない限り
十分性が示されてないので主張とは認められない
キモヲタきゅむ
270 :
ご冗談でしょう?名無しさん:2013/08/07(水) NY:AN:NY.AN ID:S6GGV4D3
>>269 人生の負け犬=低学歴だなWWWWWWW
271 :
ご冗談でしょう?名無しさん:2013/08/07(水) NY:AN:NY.AN ID:zi/YmfOA
272 :
ご冗談でしょう?名無しさん:2013/08/07(水) NY:AN:NY.AN ID:topIKP2x
>>271 根本的にわかってないのはお前だよ
十分性を理解してない
273 :
ご冗談でしょう?名無しさん:2013/08/08(木) NY:AN:NY.AN ID:r/izt0mj
>>255 >意味が分からん
>君の脳内ZF集合論など知らんよ
>そんな議論してる文献があるなら見せてくれ
>>252 >>> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
>>> めに制限し、ラッセル集合が定義出来ないようにする(公理的集合論)
>>252 >>> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
>>> めに制限し、ラッセル集合が定義出来ないようにする(公理的集合論)
>>252 >>> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
>>> めに制限し、ラッセル集合が定義出来ないようにする(公理的集合論)
>>252 >>> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
>>> めに制限し、ラッセル集合が定義出来ないようにする(公理的集合論)
>>252 >>> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
>>> めに制限し、ラッセル集合が定義出来ないようにする(公理的集合論)
>>252 >>> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
>>> めに制限し、ラッセル集合が定義出来ないようにする(公理的集合論)
>>252 >>> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
>>> めに制限し、ラッセル集合が定義出来ないようにする(公理的集合論)
274 :
ご冗談でしょう?名無しさん:2013/08/08(木) NY:AN:NY.AN ID:r/izt0mj
>>255 >∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが
正則性公理を除いたら公理的集合論にならない
バカなのか?ん?
ラッセルのパラドックスを認めるものを公理的集合論とは呼ばない
メコスジ伝
知らんがな
>>274 ラッセルのパラドックスは{x| not x∈x}なる集合が存在すると起きる
x∈xである集合xが存在するかどうかとは関係ない
そもそも公理を減らしたら証明可能な論理式が減るだけ
新たに矛盾が導かれるわけが無い
>>278 >ラッセルのパラドックスは{x| not x∈x}なる集合が存在すると起きる
死亡確定だよお前WWWWWWWW
ラッセル集合は{x|x∈x}
{x| not x∈x}はその否定
つまりラッセルのパラドックスが成り立たないことWWWWWW
>x∈xである集合xが存在するかどうかとは関係ない
0点