数理論理学（数学基礎論）　その11

数理論理学（数学基礎論）　その11at MATH

数理論理学（数学基礎論）　その11 - 暇つぶし2ch■コピペモード
□スレを通常表示
□オプションモード
□このｽﾚｯﾄﾞのURL
■項目テキスト

207:１３２人目の素数さん
 13/02/14 23:39:22.15 
第二不完全性定理によると 
 
「１＝０は証明できない」ことは証明できない 
 
となるらしいが、どうもよくわからん。「１≠０」は公理から簡単に出る気がするのだが・・・

208:１３２人目の素数さん
 13/02/15 02:33:33.24 
K(新記号)=3.87/4.83 
@=nK=ZK 
"KIRISE Invariable." 
1=0.801242236024845 
TWO arithmetic operations. 
"Fade in/out"

209:１３２人目の素数さん
 13/02/15 09:01:32.77 
φが証明できることと 
not φが証明できないことは別のことだよ

210:１３２人目の素数さん
 13/02/15 17:33:20.99 
　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_ 
　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、 
　　　　　　／　　 ／:::::; -‐''"　　　　　 　 `ｰノ 
　　　　　/　　　／:::::／　　　　　　　　　　　＼ 
　　　　 /　 　 /::::::/　　　　　　　　　 |　|　|　 | 
　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 | 
　 　 　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ| 
　 　 　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　 
　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　 
.　　　 　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　 
　　　　 | 　　　　l＾,人| 　` `-' 　 　 ゝ　 |　　　　　　　　このスレは馬と鹿と豚さんばかりね。 
　 　 　 | 　　　　 ` -'＼　　　 　 　ｰ' 　人　　　　　　　　　　　　 
　　　　|　　　　　　　 /(l 　　 　＿＿／　 ヽ、　　　　　　　　　　 
　　 　 |　　　　　　　（:::::`‐-､__ 　|::::`､ 　 　 ﾋﾆﾆヽ、　　　　　　　　　 
　 　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼　　　　　　　　　　　　 
　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　 ﾋﾆ二、　＼ 
.　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ 　 |　'､　　 ＼ 
　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 | 
　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ 　/:＼__/‐､ 
　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣| 
　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿| 
　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/ 
　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/

次ページ