【新数学】偽と示せない命題は真【新公理】
■ このスレッドは過去ログ倉庫に格納されています
00011
05/03/02 13:17:23公理：『偽と示せない命題は真』
これでも矛盾はおきない！
俺はこれで論文を書くことにした．
0002BlackLightOfStar ◆ifsBJ/KedU
05/03/02 13:23:1700031
05/03/02 13:27:32命題の【主張主】が俺(1)の場合は真．
00041
05/03/02 13:28:22>>2
2005年3月3日13:28に於いて、命題の【主張主】が俺(1)の場合は真．
00051
05/03/02 13:29:20>>2
2005年3月3日13:28(太陽系第三惑星地球の日本時刻)に於いて、命題の【主張主】が俺(1)の場合は真．
0006１３２人目の素数さん
05/03/02 13:30:180007１３２人目の素数さん
05/03/02 13:31:080008１３２人目の素数さん
05/03/02 13:36:010009BlackLightOfStar ◆ifsBJ/KedU
05/03/02 13:43:1000101
05/03/02 13:47:56【連続体仮説(の命題)】は真．
∴
2005年3月3日13:47(太陽系第三惑星地球の日本時刻)に於いて、【主張主】が俺(1)の場合、
【連続体仮説(の命題)の否定】は偽
//証明終
0011BlackLightOfStar ◆ifsBJ/KedU
05/03/02 14:09:360012BlackLightOfStar ◆ifsBJ/KedU
05/03/02 16:59:080013BlackLightOfStar ◆ifsBJhJOKE
05/03/02 17:18:130014BlackLightOfStar ◆ifsBJ/KedU
05/03/02 17:22:020015BlackLightOfStar ◆ifsBJ/KedU
05/03/02 17:23:020016BlackLightOfStar ◆ifsBJhJOKE
05/03/02 17:38:520017１３２人目の素数さん
05/03/02 17:43:31確かに。論理学の本に良く出てくるネタだものな。
0018１３２人目の素数さん
05/03/02 17:57:570019BlackLightOfStar ◆ifsBJ/KedU
05/03/02 18:04:34Re:>18 [>16]が偽者だからな。
00201
05/03/02 18:21:38【主張主】がある時刻で今まで偽と示せなかった命題を偽と示せるようになった場合、
その【主張主】のその【主張時刻】でのその命題は当然偽となる．
(上記追加公理は『偽と示せない命題は真』 である為、否定が示せたことで偽を示せたことになり、
真とはなり得ない)
それに伴い当然の事ながらその命題の否定は真となる．(というか今回の場合、こちらが先)
>>結局、演繹の仕方によって異なる体系ができるということではないか？
そんなことは無い．【主張主】と【主張時刻】等の前提条件によって体系(というか命題の真偽)が変わるだけ．
00211
05/03/02 18:24:27【主張時刻】が2005年3月3日13:47(太陽系第三惑星地球の日本時刻)
【主張主】が俺(1)
の場合、
どのように演繹しても【連続体仮説(の命題)の否定】は偽 ．
00221
05/03/02 18:27:08既存の数学でいうとそうともとれるが、概念の問題．
0023BlackLightOfStar ◆ifsBJ/KedU
05/03/02 18:42:4200241
05/03/02 18:51:07「連続体仮説」が真とはなり得ない．)
それに伴い当然の事ながら「連続体仮説」の否定は真となる．(というか今回の場合、こちらが先)
確かに分かりにくかったｽﾏｿ．
0025１３２人目の素数さん
05/03/02 19:21:03なるほど！！！
これでNP≠Pが証明できたぜ！！！！！！！！！！！！！！
00261
05/03/02 19:55:34それを真として議論を進めてよいところにある．
進めていく上で矛盾が発生した場合、その事実がその時点までで「真」とした命題のうちの
いずれかが「偽」であることの証明になり、今度はその命題を「偽」として
議論を進めればよい．
応用化する現代社会に適した公理と言える．
この公理の適応に際して新しい概念や用語の定義が必要になるが、
詳しい話は論文に書くとする．
まぁ保守派の愚民どもは非難してればいいさ．
0027１３２人目の素数さん
05/03/02 21:46:380028BlackLightOfStar ◆ifsBJ/KedU
05/03/02 22:05:070029１３２人目の素数さん
05/03/02 22:56:02>>1は新しいものを発明したのか？
0030１３２人目の素数さん
05/03/02 23:11:10「kingがフィールズ賞をとったら、その後に国民栄誉賞を貰う」は真でしょうね
0031１３２人目の素数さん
2005/03/22(火) 02:30:370032BlackLightOfStar ◆27QTQsYmvQ
2005/03/22(火) 07:13:25何で人の名前真似してるんだよ？
0033BlackLightOfStar ◆27QTQsYmvQ
2005/03/22(火) 09:10:520034BlackLightOfStar ◆27QTQsYmvQ
2005/03/22(火) 09:57:46①②③④⑤⑥⑦⑧⑨⑩⑪⑫⑬⑭⑮⑯⑰⑱⑲⑳
①②③④⑤⑥⑦⑧⑨⑩⑪⑫⑬⑭⑮⑯⑰⑱⑲⑳
①②③④⑤⑥⑦⑧⑨⑩⑪⑫⑬⑭⑮⑯⑰⑱⑲⑳
①②③④⑤⑥⑦⑧⑨⑩⑪⑫⑬⑭⑮⑯⑰⑱⑲⑳
①②③④⑤⑥⑦⑧⑨⑩⑪⑫⑬⑭⑮⑯⑰⑱⑲⑳
①②③④⑤⑥⑦⑧⑨⑩⑪⑫⑬⑭⑮⑯⑰⑱⑲⑳
①②③④⑤⑥⑦⑧⑨⑩⑪⑫⑬⑭⑮⑯⑰⑱⑲⑳
①②③④⑤⑥⑦⑧⑨⑩⑪⑫⑬⑭⑮⑯⑰⑱⑲⑳
①②③④⑤⑥⑦⑧⑨⑩⑪⑫⑬⑭⑮⑯⑰⑱⑲⑳
0035１３２人目の素数さん
2005/03/22(火) 10:14:570036BlackLightOfStar ◆ifsBJ/KedU
2005/03/22(火) 21:13:15Re:>32-33 お前に何が分かるというのか？
Re:>34 お前誰だよ？
0037１３２人目の素数さん
皇紀2665/04/01(金) 00:34:14命題２「Ａは偽である」
命題１と２がいずれも示せないときはどうなるの？
0038BlackLightOfStar ◆ifsBJ/KedU
皇紀2665/04/01(金) 14:31:420039BlackLightOfStar ◆IncekhOu7E
皇紀2665/04/01(金) 14:34:46いいからその名前使うのやめろ
0040BlackLightOfStar ◆ifsBJ/KedU
皇紀2665/04/01(金) 14:53:560041１３２人目の素数さん
2005/04/07(木) 01:10:530042１３２人目の素数さん
2005/04/07(木) 22:48:36エムシラ、お疲れｗ
0043１３２人目の素数さん
2005/04/27(水) 18:25:520044１３２人目の素数さん
2005/06/26(日) 01:17:150045１３２人目の素数さん
2005/07/02(土) 13:03:42┃┌╋──╋┐┃
└╋┘ └╋┘
┃ ・ ・ ┃ ┌━━┐
●━╋┐ ┌╂━━━━╂┐ ┃
└━┷┴━━╂┘ └╋━┘
同じｽﾚにはｺﾋﾟﾍﾟ ┌╋┐ ┌╋┐
できるけど、違う ┃└╋╋━━╋╋┘┃
ｽﾚにはｺﾋﾟﾍﾟでき ┃ ┃┃ ┃┃ ┃
ない不思議ｺﾋﾟﾍﾟ ┃ ┃┃ ┃┃ ┃
└━┘┘ └└━┘
と書いてあったので一番古スレでテスト
0046１３２人目の素数さん
2005/07/02(土) 13:04:260047１３２人目の素数さん
2005/07/03(日) 03:32:360048１３２人目の素数さん
2005/08/04(木) 13:39:580049１３２人目の素数さん
2005/09/06(火) 15:03:47実はマスメディアの全てが>>1の公理を採用しているという事実について。
0050１３２人目の素数さん
2005/09/06(火) 20:20:290051１３２人目の素数さん
2005/09/07(水) 20:33:28数学的に証明不可能というのとは違って、
マスコミの人間の能力では偽と証明出来ない⇒真である
だとするとより悪質だな。
0052１３２人目の素数さん
2005/10/08(土) 12:17:310053１３２人目の素数さん
2005/10/20(木) 20:08:150054１３２人目の素数さん
2005/10/20(木) 21:07:580055１３２人目の素数さん
2005/11/18(金) 10:26:140056１３２人目の素数さん
2005/12/17(土) 06:46:300057１３２人目の素数さん
2005/12/17(土) 09:48:280058実験
2005/12/21(水) 12:39:490059１３２人目の素数さん
2005/12/21(水) 14:52:510060GiantLeaves ◆6fN.Sojv5w
2005/12/21(水) 19:01:540061１３２人目の素数さん
2006/01/02(月) 04:04:080062１３２人目の素数さん
2006/02/05(日) 04:55:370063１３２人目の素数さん
2006/02/22(水) 21:13:11君が書いてる日は3月2日だよ
0064 株価【---】
2006/02/22(水) 21:17:320065１３２人目の素数さん
2006/03/02(木) 18:33:450066１３２人目の素数さん
2006/03/26(日) 13:54:370067１３２人目の素数さん
2006/04/15(土) 19:49:220068１３２人目の素数さん
2006/05/11(木) 06:52:20真性馬鹿。
その論法だと公理不要になる。そんで、今までの公理は全て真。
おまけに、その公理の否定を先に考えれば、その否定が真。
開始そうそう、矛盾を含む体系を構築しようとしている。
0069１３２人目の素数さん
2006/05/13(土) 06:27:510070１３２人目の素数さん
2006/05/13(土) 08:27:120071１３２人目の素数さん
2006/05/26(金) 14:22:120072１３２人目の素数さん
2006/06/16(金) 01:10:110073非周期秩序系
2006/06/25(日) 23:45:03この命題Aが偽であると仮定すると、この仮定内容は命題Aと一致するので
命題Aは真となり、仮定と矛盾する。
此処で、『偽と示せない命題は真』が真であると仮定すれば
命題Aは偽と示せない命題であったので、仮定より命題Aは真である。
しかし、命題Aが真であるならば、「この命題は偽である」が真であるので、
命題Aは偽となり命題Aが真であることに矛盾する。
従って『偽と示せない命題は真』を含む公理系は矛盾する。
0074１３２人目の素数さん
2006/06/26(月) 00:00:070075非周期秩序系
2006/06/26(月) 00:05:03上記の文「この命題は偽である」に於ける「命題」
についての質問ならば「この命題」とは命題Aのことです。
0076１３２人目の素数さん
2006/06/26(月) 00:11:370077非周期秩序系
2006/06/26(月) 00:15:38>命題（めいだい、Proposition）とは、意味に不明瞭なところがない文章の事。 論理学の用語である。
とされています。
0078１３２人目の素数さん
2006/06/26(月) 01:08:35x+y=1は命題かね？
0079１３２人目の素数さん
2006/06/26(月) 09:19:48命題の定義すら理解していない者は論外。
自分で調べて来い
0080１３２人目の素数さん
2006/06/26(月) 09:22:42説明できないからと言って逃げるのは論外ｗ
ちゃんと調べ直してから書きに来い
0081１３２人目の素数さん
2006/06/26(月) 09:31:27xとyが定義されてないから，意味が不明瞭なんじゃない？
0082１３２人目の素数さん
2006/06/26(月) 09:32:560083１３２人目の素数さん
2006/06/26(月) 11:16:38ぐぐれ
0084１３２人目の素数さん
2006/06/26(月) 11:20:580085１３２人目の素数さん
2006/06/26(月) 21:47:130086１３２人目の素数さん
2006/06/26(月) 21:55:45偽だと証明できなければ真で良いんじゃないの？
0087１３２人目の素数さん
2006/06/26(月) 21:59:050088１３２人目の素数さん
2006/06/28(水) 17:43:27反例･･･x,y=0
0089１３２人目の素数さん
2006/06/30(金) 17:58:170090１３２人目の素数さん
2006/07/01(土) 23:15:560091非周期秩序系
2006/07/02(日) 14:28:25実は必ずしも命題そのものに真偽が定まっているわけではありません。
具体的なセッティングを定めたときに初めてそのセッティングでの命題の真偽が定まります。
x+y=1という命題の場合、x=1,y=0というセッティングに於いては真であり、また
x=y=0というセッティングに於いては偽になるのです。
なお、如何なるセッティングに於いても恒等的に真となる命題を恒真命題、或いはトートロジー
といい、逆に必ず偽となる命題を恒偽命題といいます。
0092非周期秩序系
2006/07/02(日) 14:29:13例えば「このスライムを倒しても経験値は１０以下だ」という文章は意味に不明瞭な点がないので命題であるといえるが、
「スライムは弱い」という文章は「弱い」という言葉の定義が不明瞭なので、命題とはいえないのです。
そのような意味で、一般に「命題とは真偽を判定することのできる文」とされることがありますが、
厳密には自然数論に於いては真とも偽とも判定できない命題も存在することが、ゲーデルの不完全性定理の中で証明されています。
0093１３２人目の素数さん
2006/07/02(日) 17:23:580094１３２人目の素数さん
2006/07/28(金) 16:41:070095１３２人目の素数さん
2006/08/30(水) 15:27:010096１３２人目の素数さん
2006/10/02(月) 23:53:100097１３２人目の素数さん
2006/11/12(日) 23:33:100174１３２人目の素数さん
2006/11/26(日) 17:39:050193KingOfUniverse ◆667la1PjK2
2006/11/26(日) 21:01:090194１３２人目の素数さん
2007/01/27(土) 10:35:010195KingOfUniverse ◆667la1PjK2
2007/01/28(日) 00:17:060196１３２人目の素数さん
2007/01/28(日) 11:33:480197１３２人目の素数さん
2007/01/28(日) 11:51:25ゲーデルの不完全性定理により数学敗北
http://science5.2ch.net/test/read.cgi/math/1169247917/139
わしゃ知らんがな(´･ω･｀)
0198１３２人目の素数さん
2007/01/28(日) 17:42:06偽と示せないことを示す必要がある
0199にょにょ ◆yxpks8XH5Y
2007/01/28(日) 19:36:27今だ！200ｹﾞｯﾄｫｵ
￣￣￣￣￣∨￣￣￣ (´´
∧∧ ) (´⌒(´
⊂（ﾟДﾟ⊂⌒｀つ≡≡≡(´⌒;;;≡≡≡
￣￣ (´⌒(´⌒;;
ｽﾞｻﾞｰｰｰｰｰｯ
0200１３２人目の素数さん
2007/01/28(日) 20:45:560201１３２人目の素数さん
2007/02/05(月) 17:50:020202１３２人目の素数さん
2007/03/02(金) 21:17:240203１３２人目の素数さん
2007/03/11(日) 19:02:160204１３２人目の素数さん
2007/03/11(日) 20:00:530205１３２人目の素数さん
2007/06/25(月) 07:43:000206１３２人目の素数さん
2007/08/29(水) 20:25:410207１３２人目の素数さん
2007/10/30(火) 09:19:14■ このスレッドは過去ログ倉庫に格納されています