！！！矛盾した命題から導き出せ！！！
345 ：１３２人目の素数さん：03/10/11 23:11
しまった 十分性が甘い
346 ：１３２人目の素数さん：03/10/18 10:34
【学生】
任意の関数が連続だと仮定して
1≠1を証明してください。
任意の関数が連続だと仮定して
1≠1を証明してください。
347 ：１３２人目の素数さん：03/10/18 11:15
[0,1]上の関数でf(1)=3、それ以外では0となる物を考える。
この関数は連続なのでf(x)=2となるx∈[0,1]がある。
f(1)=3≠1よりx≠1の筈である。よってf(x)=0も導かれる。
0=f(x)=2>1より0>1。よって1>0より1>1、1≠1が導かれる。
スマートじゃないので【ラッセル】は名乗らない
この関数は連続なのでf(x)=2となるx∈[0,1]がある。
f(1)=3≠1よりx≠1の筈である。よってf(x)=0も導かれる。
0=f(x)=2>1より0>1。よって1>0より1>1、1≠1が導かれる。
スマートじゃないので【ラッセル】は名乗らない
348 ：１３２人目の素数さん：03/10/23 08:29
【学生】 10は素数であると仮定して、男は必ずhageている事を証明してください。
349 ：１３２人目の素数さん：03/10/24 22:37
10は素数である。つまり2で割り切れない。
ならば10+1=11は2で割り切れる
11/2>10より11/2-10は正の整数なので1以上である。
ならば10+1=11は2で割り切れる
11/2>10より11/2-10は正の整数なので1以上である。
350 ：１３２人目の素数さん：03/10/29 18:18
【ラッセル】
それは簡単だ。
ゲーデル数2^1+5^1(x^yはxのy乗)を1=1を表すもとのと定義する。
一方10^1を男は必ずhageているという命題を表すものと定義する。
すると2^1+5^1=10^1より1=1と男は必ずhageているという命題が同値であることが証明され、10が素数ならば男は必ずhageていることが証明された。
【学生】
ある文が英語の文法に沿っているならば日本語の文法にも沿っている、そしてその逆も成り立つと仮定して
アメリカ人はだれひとり日本語を読めないことを証明してください。
それは簡単だ。
ゲーデル数2^1+5^1(x^yはxのy乗)を1=1を表すもとのと定義する。
一方10^1を男は必ずhageているという命題を表すものと定義する。
すると2^1+5^1=10^1より1=1と男は必ずhageているという命題が同値であることが証明され、10が素数ならば男は必ずhageていることが証明された。
【学生】
ある文が英語の文法に沿っているならば日本語の文法にも沿っている、そしてその逆も成り立つと仮定して
アメリカ人はだれひとり日本語を読めないことを証明してください。
351 ：１３２人目の素数さん：03/10/30 23:52
おまいら、揃いも揃って、レヴェル低いな（爆笑
# 偽と矛盾との違いさえ分からんだろ？
# 偽と矛盾との違いさえ分からんだろ？
352 ：１３２人目の素数さん：03/11/02 21:54
【学生】
偽と矛盾が同じものであると仮定して、
偽と矛盾が違うものであることを証明して下さい
偽と矛盾が同じものであると仮定して、
偽と矛盾が違うものであることを証明して下さい
353 ：１３２人目の素数さん：03/11/03 13:21
偽と矛盾の違い？
真、偽ってのは意味論の話であってNKには矛盾(⊥)はあるけど偽というのは無い。
NKには「矛盾からはどんな命題でも導くことができる」という推論法則はあるが偽に関しては何も定義していない。
このスレにある「矛盾した命題」というのは公理と矛盾した命題という意味なのでなんらおかしいものではない。
>>352
【ラッセル】
それは簡単だ。
偽と矛盾が違うものであることは明らかだ。
真、偽ってのは意味論の話であってNKには矛盾(⊥)はあるけど偽というのは無い。
NKには「矛盾からはどんな命題でも導くことができる」という推論法則はあるが偽に関しては何も定義していない。
このスレにある「矛盾した命題」というのは公理と矛盾した命題という意味なのでなんらおかしいものではない。
>>352
【ラッセル】
それは簡単だ。
偽と矛盾が違うものであることは明らかだ。
354 ：１３２人目の素数さん：03/11/05 00:05
おまいら、揃いも揃って、レヴェル低いな（爆笑
# 偽と矛盾との違いさえ分からんだろ？
# 偽と矛盾との違いさえ分からんだろ？
355 ：１３２人目の素数さん：03/11/05 23:03
【学生】
任意の異なる2つの点を通る円がただ1つ存在すると仮定して
正方形と同じ面積の円を作図する方法があることを証明してください。
任意の異なる2つの点を通る円がただ1つ存在すると仮定して
正方形と同じ面積の円を作図する方法があることを証明してください。
356 ：床屋 ◆liU/3VsUIo ：03/11/22 00:14
＞３２６
おまえ嫌い
おまえ嫌い
357 ：１３２人目の素数さん：03/11/22 22:11
そもそもこのスレが偽なんだよ。
↑
の命題の真偽を考えろよ。
↑
の命題の真偽を考えろよ。
358 ：１３２人目の素数さん：03/11/22 22:13
【学生】
１+１＝２だと仮定して、色んなこと証明して下さい。
１+１＝２だと仮定して、色んなこと証明して下さい。
359 ：１３２人目の素数さん：03/11/22 22:14
【学生】
１+１＝２だとか勝手に仮定しないで下さい。
１+１＝２だとか勝手に仮定しないで下さい。
360 ：１３２人目の素数さん：03/11/22 22:56
１+１＝２ならば２＝１＋１である
361 ：１３２人目の素数さん：03/11/23 00:12
１+１＝２ならば桶屋がもうかる。
362 ：１３２人目の素数さん：03/11/23 04:28
363 ：１３２人目の素数さん：03/11/23 14:42
364 ：１３２人目の素数さん：03/11/24 12:50
矛盾したスレだなぁ
365 ：１３２人目の素数さん：03/12/01 18:01
桶屋には偽者がいる。
366 ：１３２人目の素数さん：03/12/12 05:14
20
367 ：１３２人目の素数さん：03/12/12 23:29
【学生】ラッセル先生、
このスレが存在しないと仮定して、
シュワちゃんは日本の大統領であることを証明してください
このスレが存在しないと仮定して、
シュワちゃんは日本の大統領であることを証明してください
368 ：１３２人目の素数さん：03/12/14 19:50
>>367
それは簡単だ。
「シュワちゃんは日本の大統領である」という命題の証明に対する全ての反証をXとする。
このスレは無いのでXは無い。
よって「シュワちゃんは日本の大統領である」という命題の証明には反証は無いためシュワちゃんは日本の大統領である。
【学生】
任意の集合の大きさが有限だと仮定して
全ての日本人の朝食は御飯と味噌汁であることを証明してください。
それは簡単だ。
「シュワちゃんは日本の大統領である」という命題の証明に対する全ての反証をXとする。
このスレは無いのでXは無い。
よって「シュワちゃんは日本の大統領である」という命題の証明には反証は無いためシュワちゃんは日本の大統領である。
【学生】
任意の集合の大きさが有限だと仮定して
全ての日本人の朝食は御飯と味噌汁であることを証明してください。
369 ：１３２人目の素数さん：03/12/14 20:09
１＋１＝２って仮定しなくても、、
370 ：１３２人目の素数さん：03/12/14 20:12
仮定しないと桶屋がもうからんだろ？
371 ：１３２人目の素数さん：03/12/14 21:58
今更だけどスレタイは（事実と）矛盾した命題って事だよな？
372 ：１３２人目の素数さん：03/12/15 21:25
事実って何だ？
373 ：１３２人目の素数さん：03/12/16 00:23
偽を真とすることから、あらゆる命題は関連なく正当化できる。
よってこのスレは終了とする。
よってこのスレは終了とする。
374 ：１３２人目の素数さん：03/12/16 01:03
桶屋ももうかる？
375 ：１３２人目の素数さん：03/12/17 04:42
もまいら、揃いも揃って、レヴェル低いな（爆笑
# 偽と矛盾との違いさえ分からんだろ？
376 ：１３２人目の素数さん：03/12/17 22:27
【学生】
不動点関数が存在しないと仮定して
線路がループせずにどこまでも続くことを証明してください。
不動点関数が存在しないと仮定して
線路がループせずにどこまでも続くことを証明してください。
377 ：１３２人目の素数さん：04/01/05 06:48
4
378 ：１３２人目の素数さん：04/01/06 23:34
【ラッセル】
それは簡単だ。
不動点関数が存在しないと仮定する。
すると野を超え山越え谷超えなければならない。
ランランララーンラ♪
それは簡単だ。
不動点関数が存在しないと仮定する。
すると野を超え山越え谷超えなければならない。
ランランララーンラ♪
379 ：１３２人目の素数さん：04/01/13 08:19
528
380 ：１３２人目の素数さん：04/01/14 20:52
【学生】
1より小さい最大の数があると仮定して、
宇宙人が存在することを証明してください
1より小さい最大の数があると仮定して、
宇宙人が存在することを証明してください
381 ：１３２人目の素数さん：04/01/16 20:56
保守
382 ：１３２人目の素数さん：04/01/24 17:20
>>380
【ラッセル】
それは簡単だ。その数をx、宇宙人のいない確率をpとする。
xは1より小さく、pは1以下なので、任意のε(0<ε<1)について、x+(1-x)*(p-ε)<1が成り立つ。
一方xは1より小さい数の中で最大なのでx+(1-x)*(p-ε)<=x
よって(1-x)*(p-ε)<=0、(1-x)>0より(p-ε)<=0。
ここでε→0とするとpは正なので0となる。
よって宇宙人は存在する。
【学生】
全ての集合の濃度が高々加算無限であると仮定して
あなたとローマ法王が同一人物であることを証明してください。
【ラッセル】
それは簡単だ。その数をx、宇宙人のいない確率をpとする。
xは1より小さく、pは1以下なので、任意のε(0<ε<1)について、x+(1-x)*(p-ε)<1が成り立つ。
一方xは1より小さい数の中で最大なのでx+(1-x)*(p-ε)<=x
よって(1-x)*(p-ε)<=0、(1-x)>0より(p-ε)<=0。
ここでε→0とするとpは正なので0となる。
よって宇宙人は存在する。
【学生】
全ての集合の濃度が高々加算無限であると仮定して
あなたとローマ法王が同一人物であることを証明してください。
383 ：１３２人目の素数さん：04/02/01 04:41
735
384 ：１３２人目の素数さん：04/02/06 21:19
【学生】
三角形の内角の和が二度であると仮定して、
バンドエイド(ウォーターブロック)で火山の噴火を防げることを証明しなさい。
三角形の内角の和が二度であると仮定して、
バンドエイド(ウォーターブロック)で火山の噴火を防げることを証明しなさい。
385 ：１３２人目の素数さん：04/02/06 22:02
多角形の内角の和の公式
180*（n-2）より、180*（3-2）＝2
よって、90＝1
これより、火山の火口の面積､溶岩の温度､
流出する速度及び圧力は元の90分の1
バンドエイド(ウォーターブロック)の面積、質量、粘着力
耐久温度､枚数は元の90倍
とみなすことができる。
よって、バンドエイド(ウォーターブロック)で火山の噴火を防げる。
180*（n-2）より、180*（3-2）＝2
よって、90＝1
これより、火山の火口の面積､溶岩の温度､
流出する速度及び圧力は元の90分の1
バンドエイド(ウォーターブロック)の面積、質量、粘着力
耐久温度､枚数は元の90倍
とみなすことができる。
よって、バンドエイド(ウォーターブロック)で火山の噴火を防げる。
386 ：１３２人目の素数さん：04/02/06 22:22
387 ：１３２人目の素数さん：04/02/07 01:08
>>386 ﾜﾗﾀ
388 ：１３２人目の素数さん：04/02/17 17:59
>>1
＞学生：２＝１ というのはあきらかに矛盾ですね
＞ラッセル：そうだよ
２＝１ というのは、矛盾ではなくて、単なる「偽」である。
# かくの如く、ラッセルは「偽と矛盾」とを混同していたのであった（ｗ
＞学生：２＝１ というのはあきらかに矛盾ですね
＞ラッセル：そうだよ
２＝１ というのは、矛盾ではなくて、単なる「偽」である。
# かくの如く、ラッセルは「偽と矛盾」とを混同していたのであった（ｗ
389 ：１３２人目の素数さん：04/02/19 21:56
390 ：１３２人目の素数さん：04/02/20 02:09
391 ：１３２人目の素数さん：04/03/07 03:59
345
392 ：１３２人目の素数さん：04/04/02 07:39
245
393 ：１３２人目の素数さん：04/04/25 18:05
797
246