今現在、誰も証明できてな問題

どんなのあるの？

「この命題は証明できない」

>>2
その「この命題」が何かを聞いてるんだ。

ゴルトバハの問題

僕がいまだに童貞であるという問題。

>>3
この「その「この命題」」だよ

>>6
その「この「その「この命題」」」が何かを聞いてるんだ。

>>5
その「この「その
(以下略)

>>7
その「この
(以下略)

逝ってきます・・・

命題「あなたが今読んでいる命題は証明できない」でどうだ>>2,6,8,9>>3,7

その「今読んでいる命題」が何かを聞いてるんだ。

>>12
書いてあるじゃん。ちゃんと読めよ(笑)

どこに？

いつから、ここは、国語やってんの？

「いつから」って、３時間前に立ったばっかだろ（藁

>>14
＞命題「あなたが今読んでいる命題は証明できない」
これこそが「あなたが今読んでいる命題」。
この命題が真だとすると・・ってわけ。
まあ、単なる言葉遊びみたいなものだけどね。

>>11,>>13
マジレス君、ｲﾀ〜ｲ！（；´Д｀）

>>17
ｲﾀ〜ｲ！（；´Д｀）

>>18
マジレスくらいしたっていいじゃんよー(¬ε¬)

つーヵ、この程度でマジ扱いになっちゃうの？
このレベルで「遊んで」ちょーだいよ。

このスレのタイトルは
「できてな問題」よ
誤解しちゃダメ

>>21
単に「お前、ツマラン」と言われてるだけだと思われ

わかってんのかな
できてな

>>24
ｲﾀ〜ｲ！（；´Д｀）

＞＞25
あんた　できてな

「誰も証明できてェ（ウッフーン）」な問題ってことか？

出来！！って

な

今現在、誰もが証明できたりしてな問題が訛って
今現在、誰も証明できてな問題になった。

誰もが証明できそうな問題？
「今井塾塾長今井はバカ」証明：自明である
ってのはダメか？

もうそれで終わりにしよう．

>>30
ある意味「最終問題」だね（ｗ

できてな問題＝できてなあかん（関西弁）問題

ベタです

>>33
もう終わりたいけど．
できてな問題がある，ってことか
(できてなかったら問題が．．．)

>>1は関西人ってこと？

たこ焼きクセェぞ

あえて。

数学的に証明できない、ということが数学的に証明できるか、という問題。

すでにこれに対しては真ということが言われているけれども敢えて疑ってみて
ほしかったりして。

>>37
そういう質問って哲学板誘導…しちゃ駄目？

なんであげんだよ．せっかく自然死しかけたのに

39がこのスレに消えてほしいなんてちっとも思ってないのなら簡単に証明できそうだ

そうか

>>17
ｲﾀ〜ｲ！（；´Д｀）

アキレスは前方を歩く亀に追いつくことは出来ないとかなんとかいう話を聞いた事がある。

んなわけないじゃんアホｳが！

Aを証明可能な命題の集合とせよ、集合Aに含まれない命題 こそが
あなたの求めたいものの例である。

こんなのでも
ときどき浮かび上がってくるのは何故？
てな問題
できてな問題

>>37
それこそゲーデル読んで来なちい。

「人類が十進数の表現によって書き下した」という例がない自然数を
十進数の表現を用いて書き下せ。

>>43
なんだ、そんなのしらないのか。
アキレスが亀に追い付きそうになると、亀の臭いオナラをするから
アキレスはいつまでたっても追い付かないんだよ！

＞今現在、誰も証明できてない問題。
いまからずっと昔、アトランティス帝国の文明は非常に栄えていた。
応用や技術を前提とせず論理のみで追求できる学問の代表である
数論や論理学は高度に発達していたが、すべて海に没したのである。
わずかな記憶が伝承されて、、、

>>47
＞「人類が十進数の表現によって書き下した」
完了形になっている

命題に時系列の概念が入っているから、
パラドックスが成立していないよ。

ただし、この命題がとかれるたびに解が変化していくことになる。
おまけに後で検証すると必ず偽になる。

通常の数学の論理は静的である。つまり時間による論理状態の変化の
可能性を排除している。動的な論理を許すならば、命題は定常的に
真であるか、それとも定常的に偽であるか、あるいは真になったり偽に
なったりする（振動）かの３通りの状態を値として持ち得る。

Xという命題が、「命題Xは偽である」としたときには、命題Xは
真と偽の値を振動しているに過ぎない。

電子回路において、論理回路とよばれる種類の回路では、このような
ことはごくあたりまえである。
このような動的な拡張をおこなった数学から見た場合には、古典的な
静的論理の数学は、振動を含まない回路構造つまり振動しない論理の
連鎖になっている場合に相当する。振動を起こすような命題は、
それを認識して、加えることを認めない、予めそのような命題は
設問すること自体がルール違反であるとして排除するならば、
論理の閉ループによる矛盾は回避できるであろう。

　　　　 　,一-、
　　　　 /￣　l |　　　／￣￣￣￣￣￣￣￣￣￣
　　　　■■-っ　＜　>>そりゃーない。
　　　　´∀｀/ 　　　＼＿＿＿＿＿＿＿＿＿＿
　　 ＿_／|Ｙ/＼.
　Ё|＿_ 　| /　 　|
　 　　　|　У　 　 |

　

　

「できてな」も変だが「今現在」も変。「馬から落馬」みたい。

未解決の問題なんか各分野で腐るほどあるだろ
修士レベルで新しい問題を作る事もできるしね

>>59
いや、同じ意味の単語を組合わせる熟語でしょ

>>62
このスレには数える程しか無いので、その腐りそうな物をこっちに分けてくれ

日本に来日

命題が真であるか偽であるかを証明するのが数学である

>>64
同じ分野の研究者同士じゃないと問題自体を理解してもらえない罠
小学生にも問題自体が理解できる(元)未解決問題は「四色問題」とか
「フェルマーの最終定理」とか限られている

http://isweb43.infoseek.co.jp/play/ta-bo-z/

確か幾何学とかの未解決問題を載せてる本が有ったような気がする。
今度図書館で探して見ます。

定理: 2^2^n+1 のカタチの素数は有限個しかない.
証明: ランダムに選んだ自然数 m が素数である可能性は
素数定理により高々 C/log m, ここで C>0 は定数.
従って 2^2^n+1 のカタチの素数の個数の期待値は
高々 �農n C/log(2^2^n+1) < �農n C/2^n = C.

できてな〜