Name名無し21/06/23(水)12:10:52 IP:110.5.*(asahi-net.or.jp)No.643499+
10月11日頃消えます 計算機構に無限の計算時間と記憶容量を与えれば計算可能な全ての問題の解は求まる。
そして計算機構は計算速度と記憶容量以外の個性を持たない。
これを計算の万能性と呼ぶ。

おバカなギャルでも無限の時間を与えればポアンカレ予想とか証明できるのかな。 削除された記事が2件あります.見る

…No.643500+ アルゴリズムとは、ある特定の問題を解く手順を、単純な計算や操作の組み合わせとして明確に定義したもの。数学の解法や計算手順 アルゴリズムは学んでもらうとして。

…No.643501+無限の時間と記憶容量があっても、おバカなギャル状態では無理っぽい まずは、無限の時間を使って上位存在に進化しないと

…No.643502+この人AV嬢らしいが、 ピクリともこない(笑) 汚ギャルっていたけど すげー臭そうだもんね

…No.643504+円周率の計算とか？

…No.643510+書き込みをした人によって削除されました

…No.643511+ポアンカレ予想って普通の数学者が考えつかない 別の理論を応用して解いたわけで 計算が出来るだけで解けるとは思えんわな

…No.643513+https://www.youtube.com/watch?v=hQ58nsMaXlY

…No.643514+無限の時間が存在せず定義できないから終了 なんでasahi-netって馬鹿ばっかなんだろ

…No.643515+> おバカなギャルでも無限の時間を与えれば > ポアンカレ予想とか証明できるのかな。 そりゃできるでしょ。 時間は無限にあるんでしょ? 証明できるまでかえれま10ってやればいい > 無限の時間を使って上位存在に進化しないと 無限の時間を使って上位存在に進化したうえで、 さらに無限の時間を使って証明すればいいわけだ

…No.643516+> 無限の時間が存在せず 時間って有限だったっけ? 最大値っていくつなの? 65535?

…No.643517+>無限の時間が存在せず 時間が有限であることを証明せよ

…No.643518+>おバカなギャルでも無限の時間を与えれば やる気0に幾ら加算乗算しても0じゃないかな…

…No.643520+>No.643518 加算したら0じゃなくなるだろ

…No.643521+悪魔の証明になってるがな

…No.643522+数字など無意味

…No.643523+>数字など無意味 そのまえにこういう議論そのものが... まあ、大抵の人はチューリングマシンの部品くらいにはなれるんじゃないかな 分類問題にどういう手続きを適用するんだかわからないが

…No.643527+ギャルに500000000年ボタン押させて 小学校から高校までの数学の教科書だけ渡したら １億年あたりで全て読破し理解してるでしょ ４億年超えた頃にはポアンカレ解くらい証明してる 人類の歴史より長いんだぞ

…No.643529そうだねx2ポアンカレ予想って単語を覚えたての中学生スレ主

…No.643531+たまにいるよね 覚えたての単語を使いたくて仕方ない奴 倍返し ジェジェ そんなの関係ネェ ぐーぐぐーぐーぐー ヘドが出るぜ

…No.643532+なにが議論されていたのかよくわからなくなってしまったがまずは”多様体”の教科書を読むといいよ ポアンカレ予想についての本当の難しいところは私もわからないけど、すべての場合を尽くす、というのはプログラム作るのにも大切なことだから考え方の勉強にはなる

…No.643533+>計算可能な全ての問題 問題は新たに生産可能なのでこれは無限にある >おバカなギャル 三人寄れば文殊の知恵、というがバカをいくら集めてもやっぱりバカ

…No.643539+>三人寄れば文殊の知恵、というがバカをいくら集めてもやっぱりバカ 手元に数学の書籍しかなく無限の時間を与えられたら流石に読んで理解するだろ

…No.643540+スレ画みたいなのは気持ち悪いので今後は避けてほしい car,cdr,consのどれかの作業くらいしかできないんじゃないかなぁ

…No.643542そうだねx2>>スレ画みたいなのは気持ち悪いので今後は避けてほしい オマンコ見せてくれて ヤラせてあげるってさ それでもキモイ言うか？ 断言しよう オマンコの誘惑には勝てんよ

…No.643544そうだねx3そんなの童貞だけだろ

…No.643546+>おバカなギャルでも無限の時間を与えればポアンカレ予想とか証明できるのかな。 正しく数学を遂行するには 停止性問題を解ける必要があるから機械には㍉ とする立場もある コンピューターおばあちゃんの得意科目に数学は含まれていない

…No.643548+書き込みをした人によって削除されました

…No.643549そうだねx1つまり数学する行為自体は計算可能関数の範疇ではないのではないか という疑いが微ﾚ存、 実際矛盾していなさげな公理を打ち立てるところから始めねば始まらないが 互いに独立な公理とか互いに演繹し合うことができないのだから この作業は明らかに計算可能でない、 と個人的には考えてゐる

…No.643623+でなんで数学する行為が停止性問題と関係あるのか明らかにされねばならない ぶっちゃけ証明自体にループは無いにしても、証明を導くまでの行為にはプログラム同然の複雑さが大量に関わるんじゃわ；；； 公理と推論規則が与えられたら妥当な命題の証明を得ることは 組み合わせ爆発はするが有限ステップで解けることに変わりは無いから計算可能だが じゃあ妥当な命題と言うのをだれがどのように与えるのか？を考えたら 公理を打ち立てるのと同じ困難に毎度直面することがﾜｶﾙ、 現実世界は因果的で莫大な状態と無限の記憶を有する機械同然なので チューリングマシンより簡単ということは有り得ないにもかかわらず、 そこから円や直線や距離と角度（計量）や数といった数学的に取り扱い可能な 概念をうまいぐあいに救い上げて有限ステップで証明可能な領域に持ち込み、 そうならないﾌﾞﾂはうまいぐあいに避けたり有限の時間内に誤りを正したりしているから これｈあ停止性問題を解いているのに他ならない

…No.643653+ギャルは停止性問題を解決するのは得意そう

…No.643687+ 主婦も得意でっせ

…No.643766+テレビくらいドラえもんに出してもらえばいいと思うんだがなぁ・・