5ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

【新数学】偽と示せない命題は真【新公理】

1 :1:05/03/02 13:17:23
現在する全ての公理系に以下公理を付け加える.

公理:『偽と示せない命題は真』

これでも矛盾はおきない!
俺はこれで論文を書くことにした.

2 :BlackLightOfStar ◆ifsBJ/KedU :05/03/02 13:23:17
Re:>1 連続体仮説ってどう?

3 :1:05/03/02 13:27:32
>>2
命題の【主張主】が俺(1)の場合は真.

4 :1:05/03/02 13:28:22
訂正

>>2
2005年3月3日13:28に於いて、命題の【主張主】が俺(1)の場合は真.

5 :1:05/03/02 13:29:20
再訂正

>>2
2005年3月3日13:28(太陽系第三惑星地球の日本時刻)に於いて、命題の【主張主】が俺(1)の場合は真.

6 :132人目の素数さん:05/03/02 13:30:18
ほうここはなかなかこうばしいいんたーねっつだな

7 :132人目の素数さん:05/03/02 13:31:08
1の言っていることがよくわからない

8 :132人目の素数さん:05/03/02 13:36:01
>>7 貴方はこの板のIQ制限に引っかかりました。

9 :BlackLightOfStar ◆ifsBJ/KedU :05/03/02 13:43:10
Re:>5 じゃあ連続体仮説の否定はどう?

10 :1:05/03/02 13:47:56
2005年3月3日13:47(太陽系第三惑星地球の日本時刻)に於いて、【主張主】が俺(1)の場合、
【連続体仮説(の命題)】は真.


2005年3月3日13:47(太陽系第三惑星地球の日本時刻)に於いて、【主張主】が俺(1)の場合、
【連続体仮説(の命題)の否定】は偽

//証明終

11 :BlackLightOfStar ◆ifsBJ/KedU :05/03/02 14:09:36
Re:>10 連続体仮説が真であることを知らない状態で連続体仮説の否定が出てきたらどうするのだろう?

12 :BlackLightOfStar ◆ifsBJ/KedU :05/03/02 16:59:08
結局、演繹の仕方によって異なる体系ができるということではないか?

13 :BlackLightOfStar ◆ifsBJhJOKE :05/03/02 17:18:13
Re:>11,12 お前何者だよ?

14 :BlackLightOfStar ◆ifsBJ/KedU :05/03/02 17:22:02
Re:>13 お前に何が分かるというのか?

15 :BlackLightOfStar ◆ifsBJ/KedU :05/03/02 17:23:02
よく考えてみたら、[>1]の文は自己言及的だ。

16 :BlackLightOfStar ◆ifsBJhJOKE :05/03/02 17:38:52
Re:>15 いまさら何を言ってるんだよ、程度低いな。

17 :132人目の素数さん:05/03/02 17:43:31
>>16
確かに。論理学の本に良く出てくるネタだものな。

18 :132人目の素数さん:05/03/02 17:57:57
偽者のレベルじゃしょうがあるまい。

19 :BlackLightOfStar ◆ifsBJ/KedU :05/03/02 18:04:34
Re:>17 どの本に出てくる?
Re:>18 [>16]が偽者だからな。

20 :1:05/03/02 18:21:38
>>Re:>10 連続体仮説が真であることを知らない状態で連続体仮説の否定が出てきたらどうするのだろう?
【主張主】がある時刻で今まで偽と示せなかった命題を偽と示せるようになった場合、
その【主張主】のその【主張時刻】でのその命題は当然偽となる.
(上記追加公理は『偽と示せない命題は真』 である為、否定が示せたことで偽を示せたことになり、
真とはなり得ない)
それに伴い当然の事ながらその命題の否定は真となる.(というか今回の場合、こちらが先)

>>結局、演繹の仕方によって異なる体系ができるということではないか?
そんなことは無い.【主張主】と【主張時刻】等の前提条件によって体系(というか命題の真偽)が変わるだけ.

21 :1:05/03/02 18:24:27
例えば、
【主張時刻】が2005年3月3日13:47(太陽系第三惑星地球の日本時刻)
【主張主】が俺(1)
の場合、
どのように演繹しても【連続体仮説(の命題)の否定】は偽 .

22 :1:05/03/02 18:27:08
>>12
既存の数学でいうとそうともとれるが、概念の問題.

23 :BlackLightOfStar ◆ifsBJ/KedU :05/03/02 18:42:42
Re:>20 4行目の否定とは何の否定なのか、六行目の「その命題」とは何なのか書いてくれ。

24 :1:05/03/02 18:51:07
(上記追加公理は『偽と示せない命題は真』 である為、「連続体仮説の否定」が示せたことで「連続体仮説」が偽であることを示せたことになり、
「連続体仮説」が真とはなり得ない.)

それに伴い当然の事ながら「連続体仮説」の否定は真となる.(というか今回の場合、こちらが先)

確かに分かりにくかったスマソ.

25 :132人目の素数さん:05/03/02 19:21:03
>>1
なるほど!!!
これでNP≠Pが証明できたぜ!!!!!!!!!!!!!!

26 :1:05/03/02 19:55:34
この体系のよいところは、この公理を使わずに証明できない命題でも、
それを真として議論を進めてよいところにある.
進めていく上で矛盾が発生した場合、その事実がその時点までで「真」とした命題のうちの
いずれかが「偽」であることの証明になり、今度はその命題を「偽」として
議論を進めればよい.

応用化する現代社会に適した公理と言える.
この公理の適応に際して新しい概念や用語の定義が必要になるが、
詳しい話は論文に書くとする.

まぁ保守派の愚民どもは非難してればいいさ.

27 :132人目の素数さん:05/03/02 21:46:38
証明不能な問題は、反例すらだせない。数学的対象ではない。

28 :BlackLightOfStar ◆ifsBJ/KedU :05/03/02 22:05:07
Re:>26 だから演繹の仕方によって異なる結果が出ると言っただろうが。話の分からない奴だな。

29 :132人目の素数さん:05/03/02 22:56:02
なんかよくわからんが、
>>1は新しいものを発明したのか?

30 :132人目の素数さん:05/03/02 23:11:10
「kingが結婚したら、その後3人子供が生まれる」や
「kingがフィールズ賞をとったら、その後に国民栄誉賞を貰う」は真でしょうね

31 :132人目の素数さん:2005/03/22(火) 02:30:37
323

32 :BlackLightOfStar ◆27QTQsYmvQ :2005/03/22(火) 07:13:25
>>28
何で人の名前真似してるんだよ?

33 :BlackLightOfStar ◆27QTQsYmvQ :2005/03/22(火) 09:10:52
>>23モナー

34 :BlackLightOfStar ◆27QTQsYmvQ :2005/03/22(火) 09:57:46
@ABCDEFGHIJKLMNOPQRS
@ABCDEFGHIJKLMNOPQRS
@ABCDEFGHIJKLMNOPQRS
@ABCDEFGHIJKLMNOPQRS
@ABCDEFGHIJKLMNOPQRS
@ABCDEFGHIJKLMNOPQRS
@ABCDEFGHIJKLMNOPQRS
@ABCDEFGHIJKLMNOPQRS
@ABCDEFGHIJKLMNOPQRS
@ABCDEFGHIJKLMNOPQRS



35 :132人目の素数さん:2005/03/22(火) 10:14:57
1は今論文執筆中なのだろうか?

36 :BlackLightOfStar ◆ifsBJ/KedU :2005/03/22(火) 21:13:15
Re:>30 いいから私に女を紹介してくれ。
Re:>32-33 お前に何が分かるというのか?
Re:>34 お前誰だよ?

37 :132人目の素数さん:皇紀2665/04/01(金) 00:34:14
命題1「Aは真である」
命題2「Aは偽である」

命題1と2がいずれも示せないときはどうなるの?



38 :BlackLightOfStar ◆ifsBJ/KedU :皇紀2665/04/01(金) 14:31:42
Re:>37 とりあえず36レスぐらい全部読んでくれ。

39 :BlackLightOfStar ◆IncekhOu7E :皇紀2665/04/01(金) 14:34:46
>>38
いいからその名前使うのやめろ

40 :BlackLightOfStar ◆ifsBJ/KedU :皇紀2665/04/01(金) 14:53:56
Re:>39 お前誰だよ?

41 :132人目の素数さん:2005/04/07(木) 01:10:53
ねむい

42 :132人目の素数さん:2005/04/07(木) 22:48:36
>>1
エムシラ、お疲れw

43 :132人目の素数さん:2005/04/27(水) 18:25:52
533

44 :132人目の素数さん:2005/06/26(日) 01:17:15
440

45 :132人目の素数さん:2005/07/02(土) 13:03:42
     .┌━┐    ┌━┐
      ┃┌╋──╋┐┃
      └╋┘    └╋┘
        ┃ ・   ・  ┃        ┌━━┐
    ●━╋┐    ┌╂━━━━╂┐  ┃
    └━┷┴━━╂┘        └╋━┘
同じスレにはコピペ ┌╋┐        ┌╋┐
できるけど、違う  ┃└╋╋━━╋╋┘┃
スレにはコピペでき ┃  ┃┃    ┃┃  ┃
ない不思議コピペ ┃  ┃┃    ┃┃  ┃
           └━┘┘   └└━┘

と書いてあったので一番古スレでテスト

46 :132人目の素数さん:2005/07/02(土) 13:04:26
コピペできるじゃん、ファック!!

47 :132人目の素数さん:2005/07/03(日) 03:32:36
age

48 :132人目の素数さん:2005/08/04(木) 13:39:58
209

49 :132人目の素数さん:2005/09/06(火) 15:03:47

実はマスメディアの全てが>>1の公理を採用しているという事実について。


50 :132人目の素数さん:2005/09/06(火) 20:20:29
コピペできるじゃん、ファック!!

51 :132人目の素数さん:2005/09/07(水) 20:33:28
>>49
数学的に証明不可能というのとは違って、
マスコミの人間の能力では偽と証明出来ない⇒真である
だとするとより悪質だな。


52 :132人目の素数さん:2005/10/08(土) 12:17:31
617

53 :132人目の素数さん:2005/10/20(木) 20:08:15
age

54 :132人目の素数さん:2005/10/20(木) 21:07:58
他の公理と公理の次数(order)が違うのでそれを導入するとメタ論理となってしまう。

55 :132人目の素数さん:2005/11/18(金) 10:26:14
855

56 :132人目の素数さん:2005/12/17(土) 06:46:30
457

57 :132人目の素数さん:2005/12/17(土) 09:48:28
1はどうしたー


58 :実験:2005/12/21(水) 12:39:49
king氏ね

59 :132人目の素数さん:2005/12/21(水) 14:52:51
age

60 :GiantLeaves ◆6fN.Sojv5w :2005/12/21(水) 19:01:54
talk:>>58 お前に何が分かるというのか?

61 :132人目の素数さん:2006/01/02(月) 04:04:08
824

62 :132人目の素数さん:2006/02/05(日) 04:55:37
256

63 :132人目の素数さん:2006/02/22(水) 21:13:11
>>5
君が書いてる日は3月2日だよ

64 : 株価【---】 :2006/02/22(水) 21:17:32
てs

65 :132人目の素数さん:2006/03/02(木) 18:33:45
234

66 :132人目の素数さん:2006/03/26(日) 13:54:37


67 :132人目の素数さん:2006/04/15(土) 19:49:22
709

68 :132人目の素数さん:2006/05/11(木) 06:52:20
>>1
真性馬鹿。
その論法だと公理不要になる。そんで、今までの公理は全て真。
おまけに、その公理の否定を先に考えれば、その否定が真。
開始そうそう、矛盾を含む体系を構築しようとしている。

69 :132人目の素数さん:2006/05/13(土) 06:27:51
age

70 :132人目の素数さん:2006/05/13(土) 08:27:12
こんなカスのようなスレをあげるな

71 :132人目の素数さん:2006/05/26(金) 14:22:12
870

72 :132人目の素数さん:2006/06/16(金) 01:10:11
346

73 :非周期秩序系:2006/06/25(日) 23:45:03
次の命題「この命題は偽である」(=以下命題Aとする)を考える。
この命題Aが偽であると仮定すると、この仮定内容は命題Aと一致するので
命題Aは真となり、仮定と矛盾する。
此処で、『偽と示せない命題は真』が真であると仮定すれば
命題Aは偽と示せない命題であったので、仮定より命題Aは真である。
しかし、命題Aが真であるならば、「この命題は偽である」が真であるので、
命題Aは偽となり命題Aが真であることに矛盾する。
従って『偽と示せない命題は真』を含む公理系は矛盾する。




74 :132人目の素数さん:2006/06/26(月) 00:00:07
命題とは?

75 :非周期秩序系:2006/06/26(月) 00:05:03
>>74
上記の文「この命題は偽である」に於ける「命題」
についての質問ならば「この命題」とは命題Aのことです。


76 :132人目の素数さん:2006/06/26(月) 00:11:37
その「命題」とやらの定義をお聞かせ願いたいぞな

77 :非周期秩序系:2006/06/26(月) 00:15:38
Wikipediaでは、
>命題(めいだい、Proposition)とは、意味に不明瞭なところがない文章の事。 論理学の用語である。
とされています。

78 :132人目の素数さん:2006/06/26(月) 01:08:35
意味に不明瞭なところがないという言葉の意味が不明瞭

x+y=1は命題かね? 

79 :132人目の素数さん:2006/06/26(月) 09:19:48
>>78
命題の定義すら理解していない者は論外。

自分で調べて来い

80 :132人目の素数さん:2006/06/26(月) 09:22:42
>>79
説明できないからと言って逃げるのは論外w

ちゃんと調べ直してから書きに来い

81 :132人目の素数さん:2006/06/26(月) 09:31:27
>>78
xとyが定義されてないから,意味が不明瞭なんじゃない?

82 :132人目の素数さん:2006/06/26(月) 09:32:56
真偽が不明瞭でも意味は明確かと。

83 :132人目の素数さん:2006/06/26(月) 11:16:38
>>78
ぐぐれ

84 :132人目の素数さん:2006/06/26(月) 11:20:58
>>78は知ってて突っ込んでるんだろう

85 :132人目の素数さん:2006/06/26(月) 21:47:13
http://search.yahoo.co.jp/search?p=%C9%D4%B4%B0%C1%B4%C0%AD%C4%EA%CD%FD&fr=top_v2&tid=top_v2&search.x=1&x=0&y=0

86 :132人目の素数さん:2006/06/26(月) 21:55:45
>>1 で言ってることは矛盾を含む」って命題を考えて、
偽だと証明できなければ真で良いんじゃないの?

87 :132人目の素数さん:2006/06/26(月) 21:59:05
意味不明、というよりもバカ

88 :132人目の素数さん:2006/06/28(水) 17:43:27

反例・・・x,y=0

89 :132人目の素数さん:2006/06/30(金) 17:58:17
x+y=1は偽だから命題ね

90 :132人目の素数さん:2006/07/01(土) 23:15:56
残念でした

91 :非周期秩序系:2006/07/02(日) 14:28:25
>>89
実は必ずしも命題そのものに真偽が定まっているわけではありません。
具体的なセッティングを定めたときに初めてそのセッティングでの命題の真偽が定まります。
x+y=1という命題の場合、x=1,y=0というセッティングに於いては真であり、また
x=y=0というセッティングに於いては偽になるのです。

なお、如何なるセッティングに於いても恒等的に真となる命題を恒真命題、或いはトートロジー
といい、逆に必ず偽となる命題を恒偽命題といいます。

92 :非周期秩序系:2006/07/02(日) 14:29:13
>>78
例えば「このスライムを倒しても経験値は10以下だ」という文章は意味に不明瞭な点がないので命題であるといえるが、
「スライムは弱い」という文章は「弱い」という言葉の定義が不明瞭なので、命題とはいえないのです。
そのような意味で、一般に「命題とは真偽を判定することのできる文」とされることがありますが、
厳密には自然数論に於いては真とも偽とも判定できない命題も存在することが、ゲーデルの不完全性定理の中で証明されています。

93 :132人目の素数さん:2006/07/02(日) 17:23:58
んな-ことはみんな知ってるって

94 :132人目の素数さん:2006/07/28(金) 16:41:07
538

95 :132人目の素数さん:2006/08/30(水) 15:27:01
659

96 :132人目の素数さん:2006/10/02(月) 23:53:10
815

97 :132人目の素数さん:2006/11/12(日) 23:33:10
887

98 : ◆KLJ8nRRFIM :2006/11/26(日) 15:17:31
k


99 : ◆lMNBMA5ASI :2006/11/26(日) 15:18:58
o

100 : ◆BKnbV12y96 :2006/11/26(日) 15:20:20


101 : ◆HTgh./1cI6 :2006/11/26(日) 15:21:54


102 : ◆u54qMXHOJY :2006/11/26(日) 15:22:58


103 : ◆/YtGGDkqCY :2006/11/26(日) 15:25:19


104 : ◆pSxtiq5lMg :2006/11/26(日) 15:27:03


105 : ◆rWFzJ8wUKo :2006/11/26(日) 15:27:50


106 : ◆gOoFe8l8TU :2006/11/26(日) 15:28:47


107 : ◆dMBUQH9NtY :2006/11/26(日) 15:30:18


108 : ◆uhRe.EkHDM :2006/11/26(日) 15:32:07


109 : ◆9WnP8W33MM :2006/11/26(日) 15:32:54


110 : ◆QoeosLiXlk :2006/11/26(日) 15:34:18


111 : ◆rWXv4a4rM2 :2006/11/26(日) 15:36:37


112 : ◆KKM1KO8Jx6 :2006/11/26(日) 15:37:50


113 : ◆D6lZmbrGgE :2006/11/26(日) 15:38:52


114 : ◆YDILyDvd46 :2006/11/26(日) 15:40:51


115 : ◆RXsdkInna. :2006/11/26(日) 15:41:35


116 : ◆XtyjUgvcdU :2006/11/26(日) 15:43:47


117 : ◆QQdHwUk3Hc :2006/11/26(日) 15:45:45


118 : ◆TIdDu5KMTQ :2006/11/26(日) 15:46:53


119 : ◆TIdDu5KMTQ :2006/11/26(日) 15:47:40


120 : ◆rYUx2hxrPs :2006/11/26(日) 15:49:10


121 : ◆KPXegu1BUU :2006/11/26(日) 15:50:23


122 : ◆/shKgIOrCA :2006/11/26(日) 15:51:01


123 : ◆/shKgIOrCA :2006/11/26(日) 15:52:16


124 : ◆59p1NFKbwU :2006/11/26(日) 15:54:18


125 : ◆ebINqNY0S. :2006/11/26(日) 15:55:16


126 : ◆3DF.F/qxR6 :2006/11/26(日) 15:57:23


127 : ◆Xpp7UYmlS. :2006/11/26(日) 15:58:39


128 : ◆kcIIt3pvKw :2006/11/26(日) 15:59:58


129 : ◆aU7h.H8GPw :2006/11/26(日) 16:01:36


130 : ◆aU7h.H8GPw :2006/11/26(日) 16:02:10


131 : ◆Xl8Xw.lOxE :2006/11/26(日) 16:02:42


132 : ◆C9zaa5Mr2w :2006/11/26(日) 16:03:44


133 : ◆zheSxk1bB6 :2006/11/26(日) 16:05:08


134 : ◆zheSxk1bB6 :2006/11/26(日) 16:06:25


135 : ◆lF/dH9fVlY :2006/11/26(日) 16:06:55


136 : ◆lF/dH9fVlY :2006/11/26(日) 16:09:42


137 : ◆ddVj9wCf4s :2006/11/26(日) 16:13:20


138 : ◆rpsw58p.qw :2006/11/26(日) 16:17:32


139 : ◆C7ncSn30.w :2006/11/26(日) 16:18:28


140 : ◆t3sUGAqKlo :2006/11/26(日) 16:19:57


141 : ◆N4LWXyibhw :2006/11/26(日) 16:21:53


142 : ◆xwkTn0E/Is :2006/11/26(日) 16:23:29


143 : ◆loShEWxB2k :2006/11/26(日) 16:24:48


144 : ◆PiQWImNpW2 :2006/11/26(日) 16:25:44


145 : ◆rSf7qpNckg :2006/11/26(日) 16:27:18


146 : ◆7phnJhhzVo :2006/11/26(日) 16:28:41


147 : ◆mAdSW5EmG2 :2006/11/26(日) 16:30:02


148 : ◆9ZuKBx7dis :2006/11/26(日) 16:32:05


149 : ◆qaV4lPuzC6 :2006/11/26(日) 16:37:31


150 : ◆du5/LgFeOM :2006/11/26(日) 16:42:07
BOWL

151 : ◆Bckyb14G/A :2006/11/26(日) 16:47:18
redballon

152 : ◆S33YHU9gV2 :2006/11/26(日) 16:49:12
redballon

153 : ◆M.4bpKiswU :2006/11/26(日) 16:52:54
redballon

154 : ◆dS5itSDYiI :2006/11/26(日) 16:55:26
redballon

155 : ◆waQH2WpsX2 :2006/11/26(日) 16:56:36
redballon

156 : ◆VAauZAuTlU :2006/11/26(日) 16:58:15
redballon

157 : ◆qgFhHdC2q6 :2006/11/26(日) 17:00:14
edballon

158 : ◆Ksi1TzhNps :2006/11/26(日) 17:01:46
edballon

159 : ◆84S.npau3w :2006/11/26(日) 17:02:28
edballon

160 : ◆K294dGsE/A :2006/11/26(日) 17:03:53
edballon

161 : ◆5fShoNtJWQ :2006/11/26(日) 17:04:35
edballon

162 : ◆IWWM/dP03s :2006/11/26(日) 17:05:34
edballon

163 : ◆5QJS1SEoHA :2006/11/26(日) 17:06:45
edballon

164 : ◆lZ6AkqVlGw :2006/11/26(日) 17:07:19
edballon

165 : ◆5r96Rxvpug :2006/11/26(日) 17:11:19
edballon

166 : ◆TvhVEpJEy2 :2006/11/26(日) 17:14:49
edballon

167 : ◆x2Vu57f4Go :2006/11/26(日) 17:18:28
edballon

168 : ◆pj1Rhckiqc :2006/11/26(日) 17:26:40
edballon

169 : ◆n8AsL7h202 :2006/11/26(日) 17:33:10
お願いご主人様

170 : ◆7XzEomvO42 :2006/11/26(日) 17:34:43
お願いご主人様

171 : ◆kIpGRavvsc :2006/11/26(日) 17:35:41
お願いご主人様

172 : ◆nN87NhSpFs :2006/11/26(日) 17:37:33
おねがい♪ご主人様っ!

173 : ◆r4xQJtjFTM :2006/11/26(日) 17:38:32
おねがい♪ご主人様っ!

174 :132人目の素数さん:2006/11/26(日) 17:39:05
king

175 : ◆b26Yt5nSLI :2006/11/26(日) 17:39:43
3億PV

176 : ◆48hGD4GuPo :2006/11/26(日) 17:40:57
4億PV

177 : ◆1rc/ds6b9g :2006/11/26(日) 17:41:49
5億PV

178 : ◆WmkwoDDQuM :2006/11/26(日) 17:42:28
6億PV

179 : ◆6AQAhOtv/Y :2006/11/26(日) 17:43:07
7億PV

180 : ◆M9WDzWFhcg :2006/11/26(日) 17:44:16
8億PV

181 : ◆NcLkoYA2FY :2006/11/26(日) 17:44:48
9億PV

182 : ◆yGj6mDTQPI :2006/11/26(日) 17:45:40
10億AV

183 : ◆RBs10xgpmQ :2006/11/26(日) 17:47:04
アウストラロピピピピテクス

184 : ◆VJBCy0akmc :2006/11/26(日) 17:48:59
ffれ

185 : ◆ej3P.54FBA :2006/11/26(日) 17:49:48
yyふ

186 : ◆ilzHzOLQ2. :2006/11/26(日) 17:51:02
ここk

187 : ◆FyWNjgPDnU :2006/11/26(日) 17:52:14


188 : ◆FyWNjgPDnU :2006/11/26(日) 17:53:14


189 : ◆iVZqNN59kY :2006/11/26(日) 17:53:55


190 : ◆ouWQPn6IEk :2006/11/26(日) 17:54:58


191 : ◆dlgf3W2grc :2006/11/26(日) 18:05:32


192 : ◆K2fdIJy/N2 :2006/11/26(日) 18:20:05


193 :KingOfUniverse ◆667la1PjK2 :2006/11/26(日) 21:01:09
talk:>>174 私を呼んでないか?

194 :132人目の素数さん:2007/01/27(土) 10:35:01
kin玉g

195 :KingOfUniverse ◆667la1PjK2 :2007/01/28(日) 00:17:06
talk:>>194 何やってんだよ?

196 :132人目の素数さん:2007/01/28(日) 11:33:48
「偽と示せない」ことをどうやって示すのか?

197 :132人目の素数さん:2007/01/28(日) 11:51:25
つ【真かつ偽なる命題】

ゲーデルの不完全性定理により数学敗北
http://science5.2ch.net/test/read.cgi/math/1169247917/139

わしゃ知らんがな(´・ω・`)

198 :132人目の素数さん:2007/01/28(日) 17:42:06
>>1
偽と示せないことを示す必要がある

199 :にょにょ ◆yxpks8XH5Y :2007/01/28(日) 19:36:27

 今だ!200ゲットォオ
 ̄ ̄ ̄ ̄ ̄∨ ̄ ̄ ̄       (´´
     ∧∧   )      (´⌒(´
  ⊂(゚Д゚⊂⌒`つ≡≡≡(´⌒;;;≡≡≡
        ̄ ̄  (´⌒(´⌒;;
      ズザーーーーーッ

200 :132人目の素数さん:2007/01/28(日) 20:45:56
うむ

201 :132人目の素数さん:2007/02/05(月) 17:50:02
982

23 KB
■ このスレッドは過去ログ倉庫に格納されています

★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.04.00 2017/10/04 Walang Kapalit ★
FOX ★ DSO(Dynamic Shared Object)