(強いAI)技術的特異点/シンギュラリティ80 [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
2045年頃に人類は技術的特異点[Technological Singularity]を迎えると予測されている。
未来技術によって、どのような世界が構築されるのか?人類はどうなるのか?
などを様々な視点から網羅的に考察し意見交換する総合的なスレッド。
技術的特異点:収穫加速の法則とコンピュータの成長率に基づいて予測された、
生物的制約から開放された知能[機械ベース or 機械で拡張]が生み出す、
具体的予測の困難な時代が到来する起点。
収穫加速の法則:進歩のペースがどんどん早くなるという統計的法則。
ここでの進歩とは、技術的進歩だけでなく生物的進化、生化学的秩序形成も含む。
関連スレ[特化した話はこちらで]
(AI) 技術的特異点と政治・経済・社会 (BI)
https://goo.gl/riKAbq
(情報科学) 技術的特異点と科学・技術 (ナノテク)
https://goo.gl/RqNDAU
関連書籍・リンク・テンプレ集[必見]
https://goo.gl/Puha9e
(強いAI)技術的特異点/シンギュラリティ79
http://rio2016.2ch.net/test/read.cgi/future/1501758590/ 受験はともかく、英語とか勉強する意味は無くなってるよね。 >英語も国語も赤本を何回も解きまくった。
>特に国語とかは、赤本をコピーして答え忘れた頃くらいにまた解きなおしたりした。
>英語はシステム英単語ってやつ全部覚えて、
>後は知らん単語を全部ノートにまとめて覚えたりした
↑
こういう勉強もどきの作業は全く無意味。 >>571
京都の「コケ」を識別する手法が深層学習の弱点を克服する
https://www.technologyreview.jp/s/52501/how-moss-helped-machine-vision-overcome-an-achilles-heel/
深層学習の手法に基づく物体認識は、特徴がはっきりしないものを識別するのが苦手だ。
京大の伊勢准教授らが開発した「コケ」の種類を識別する手法は、この弱点を克服する有望な方法となりそうだ。 >>571
松尾豊先生のように、
文章からイメージを具体的に描出する技術でカバーできるんじゃないの? >>574-575
その二つを組み合わせて、どうやって連立方程式を建てるのだろう? 学校だの(受験用の)勉強だのはそもそもクダランことだと分かりきってて、その上で誰しもやってるだけだろ。
社会のお金回しゴッコも同じ。
今世紀中にはこの様なくだらん事は終わりにすべき オートデスク社がAutoCADで車のフレームの自動生成なんかをやってるけど、
それを使えば三角形の角度や物理的強度の
力の釣り合いの問題が解けるようになるだろうか? ._ __
./´ `´___\
l l´`´ -==-ヽl
│丿 /"\ l ///;ト,
.|ミl -= ^ ^ l ////゙l゙l;
(6 (、_) ヽ | .i .! |
| ノ 3 ノ│ | .|
/\_____ノ { .ノ.ノ
/ \ \ノ介ヽ/ \/ / .|
_ __
/´ `´___\
l l´`´ -==-ヽl
│丿 /"\ l
|ミl ≦゚≧::≦゚≧ プレシンはもう直ぐなのであります!
(6 (、_) ヽ
| ノ 3 ノ
/\___∪_ノ ,,,,--−''''''''''''''‐‐ 、
−'' ̄:::::::::::::::::::::::::::::::::::::::::::::::ヽ
‐:::::::::::::::::::::::::::::::::::::::人:::::::::::::::::::::::゛
/::::::::::::::::::::::::::,リハ/""''ハ"\:::::::::::::::│
. |::::::::::::::::::::::::/ | ヘ \::::::::::/
│:::::::::::::::::::ノ. ノ ノヾ::::/
・|./´゙、:::::::/ ====- ノ 、-==== .!ノ
| ./<.-―( -==- )_ ( -==- ).|
.l '冫 ミ三彡'..  ̄ 、ミ三彡‐' l PEZYに投資してくれよ。
!、__.ゝ ,( c _)、 │
ヽ::1 , 、 ,'
''‐ 、 "゛ ̄" ̄゛ /
''.....  ̄ '
"' _ /
`''ー-....-‐‐" 錬金術と魔術は違うんでない?
錬金術は物理的な物を扱っていて、
化学や物理の基礎となっていった。
学問の頒布方法として、
高度な知識が
一般化されるというか、共有される事が少なかったろうから、
個人の思い込みなのか、
再現可能なのか?がイマイチ曖昧だったってだけなんじゃね? >>582
>>564
>これって歴史的には錬金術や黒魔術に起源を持ってるらしいんだよなあ
>自然現象を何が何でも記号で表そうとしたのだ
この世の全てを数学的に記述しようとした
試みは、(数学全体の完全性と無矛盾性)
ヒルベルト・プログラムと呼ばれていて、
1900年頃の話になる。
それに対して、
数学における完全性は、
公理体系の中に置いてのみ通用すると言うこと
ゲーテルが不完全定理として証明したのが、
1930年
(公理が正しいかどうかは、公理系の中から証明できない事を証明した)
あらゆる学問体系において、
その論理が通用するのは、
その前提とされている公理系が通用する範囲においてのみだと証明されるのが、
1980年代
(グレゴリー・チャイティンの超数学的証明)
まあ、要は、
この世の全てを数学的に記述しようとしているのは、
黒魔術や錬金術どころか、
今もやってるけど、
無理だと証明されている。 >>582
ただし、この世の全てを数学的に記述する事が
論理的に不可能であっても、
この世の、
目に見える範囲や
計測機器を使って観測可能な範囲を、
数学的に記述することは、
不可能ではないわけで、
観測可能な範囲を統一して
物理的に通用する方程式を熱心に研究している
物理学者も多い。 それに対して、
魔術なんだけど、
こちらは宗教的には奇跡と呼ばれたりする、
現象の一種で、
中世の魔女狩り等で絶滅したか?と言えば、
そうではなく、
いわゆる典型的なイメージ上の魔女は、
いなくなったかもしれないけれど、
近代以降は、霊媒という名称や、
交霊会や降霊会と言った、
名称で生き残っている。 >>584
ただし、魔術や奇跡と呼ばれる現象は、
錬金術が、化学や物理学に変質していったのとは異なり、
霊媒や交霊会という風に名称を変えても、
情報の公開や、共有、一般化がされずに、
いわゆる秘伝や秘術という形で、
特定の人間に対して広まるだけで、
スキルが大衆化したり、
一般化しなかった。 >>585
この霊媒や交霊会といった技術が、
一般化しなかった原因は、
再現性の問題もあるんだけど、
そもそも、
詐欺だからと言う話になって、
当たり前じゃんって話なんだけど、
ここで言う詐欺ってのは、
2重以上に複雑化されてるから、
ややこしい。 >>586
この場合の詐欺というのは、
霊媒現象という、現象が起きないのに、
大金をせしめていたから、
詐欺なんて話じゃなく、
霊媒現象は起こせるんだけど、
やっぱり、騙して金をせしめていたから、
詐欺だって話になる。 >>587
魔術の話を続けられてもどうでもいい上に面白くないのでやめて欲しい
錬金術は続けていいぞ >>587
霊媒現象というのは、
交霊会において起きる、
ラップ音や死者との交信や
その他もろもろがあるんだけど、
霊魂を見せたり、
人が宙に浮いたり、
様々なことを行っている。
(DDヒュームが有名)
まあ、このラップ音程度なら、
仕込みがあればできるんだけど、
仕込みを入れても、
できないだろ!って事を、
行うから、
神秘体験であり、奇跡であったりする訳で、
ホームズの作者で有名な、
コナン・ドイルや、著名な人物がはまったりする。
高学歴な人間ほど、
目の前で起きる現象を説明する、
物理法則や論理がない場合、
霊的なものや、オカルト的なものの存在を信じようとする。
認知的不協和への対応の一種だと思われる。 >>588
近代ではなく、
現代における魔術まで説明する予定だから、
まあ、気長に待って。 >>589
中世における、魔女の魔術に関しては、
まともな記録を見たことが無いので、
推察できるのは、
交霊会以降になるというか、
交霊会に関しては、
欧米なら、
今でも、行っている所があるんじゃないかな?
交霊会を行う上で、
重要なのは、
薄暗い部屋と、
テーブルに置かれた、ろうそくの灯
(DDヒュームは異なる、これも若干重要)
なんだけど、
これは、
典型的な、
催眠誘導になっている。 >>595
まあ、つまり、
交霊会というのは、
交霊会に参加した人間に
即興で催眠術をかけて、
CEV(閉眼幻覚)やOEV(開眼幻覚)を見せる
集会になっている。
無論、集会に参加した人間の被暗示性の高さによって、
成功する暗示の打ち込みや、
見せられる幻覚の強弱が違ったり、
そもそも、催眠にかからない人間も
普通にいる。
しかしながら、
交霊会にくるタイプの人間は被暗示性が元から高い
可能性が強いのと、
仮に、催眠に全くかからないタイプの人間がきても、
あなたの後悔の念が強すぎて見えないとか、
まだ、あなたには見えないだけですとか、
適当に舌先三寸で誤魔化せる。 >>596
交霊会において、
故人と自分しか知らない情報を、
聞いたとか、
霊に失せ物を探してもらったとかは、
逆行催眠と、健忘催眠をかけてしまえば、
本人に思い出させて、忘れさせているというだけの話になる。
まあ健忘催眠に関しては、
常態化ができない場合が多いので、
何らかの拍子に思い出す可能性も高いんだけど、
交霊会の参加回数が増えれば増えるほど、
思い出しにくくなってくる。 >>597
まあ、つまり、
交霊会というのは、
参加した人間からしたら、
故人との会話や、
神秘体験というのは、
幻覚という形なんだけど、
現実として認識される物になる。
ただし、
参加した人間の脳にとって現実と認識されていても、
交霊会自体は、
交霊会を行っている人間による詐欺行為で、
まあ、
このスキルが一般化するという事は、
起こり得なかった。
それに対して現代の魔術とは? >>598
現代の魔術は、
日本のメディアで有名なのは、
メンタリストのダイゴが一番近いところにいて、
彼は、海外では本来メンタルマジックとして、
パッケージ化されているマジックの一部を切り取って、
一番、最終部分を省いた物を売り出して成功している。
彼が行っているのは、
催眠誘導の導入になっているんだけども、
催眠術を行わないというスタイルになっていて、
メンタルマジックの全体像を知っている人間からすると、
ややチグハグな感じがする。
その分、
マッスルリーディングや、
微表情分析に力を入れていて、
あれはあれで、特化されている分、
エンターテイメントとしては優れているのかもしれない。 >>600
ただし、丸っきり催眠を行っていないのか?と言うと、
どうなんだろ?
仕込みがあるか分からない、
誘導系のショーは、
暗示の打ち込みだけで行っているなら、
若干、催眠を使っていると言えないことも無いとは思えるけれど、
本来のメンタルマジックは、
メンタリズムの段階を踏んだ上で、
ガッツリ催眠までやるので、
催眠をかけられてる人間にとっては、
本当に、種も仕掛けもないのに、
超常現象を見せられるという事が起きてしまう。 >>601
そもそも、
ダイゴがやっている、
メンタリズムというのは、
催眠をかける前に行う、
被暗示性を高めるための、
予備動作になっていて、
予備動作のスキルを、あのレベルまで昇華したなら、
催眠もやりゃ良いんじゃね?
って話なんだろうけど、
本人がやりたがらないのか、
それとも日本のメディアのこだわりか? >>602
ここで若干、
話に出していた、
DDヒュームという霊媒は、
白昼堂々と明るい所で、
神秘現象を起こしたという話が記録されているので、
催眠では無いのか?
とも思えるんだけど、
メンタルマジックの事を考えれば、
まあ、スキルが高くて
手順を踏めば、明るいところでも、
催眠にかけられるって話なんだろう。
DDヒュームの逸話で、
注意したいものは、
たまに失敗する(被暗示性の低い相手にはかからない)
真っ赤に燃えた石炭を
観客のハンカチで包んでも、
ハンカチは燃えなかった、
(まあ幻覚なら燃えない) >>603
DDヒュームの逸話で、
注意したい点は、
DDヒュームが多人数に対して同時に幻覚を見せていた
可能性が高いという点で、
これは、現代のメンタルマジックでも、
再現できる人を知らない。
ただしまあ、
集団催眠自体は可能であって、
集団に対して同じ幻覚を見せられるのか?
と言う疑問もあるんだけど、
仮に、赤いウサギという幻覚を、
多人数に対してみせた場合、
Aさんが見ている、
赤いウサギという幻覚と、
Bさんが見ている
赤いウサギという幻覚が、
同じであるかどうかは不明だけど、
違うものだという証明はできないという問題があるので、
(クオリア問題)
個々人が見ている物が同じかどうかは不明だけど、
同じものを見ているはずという状況を作り出すことは、
可能かもしれない。 >>604
そうかい、今は
魔術→霊媒→メンタリズム→メンタルマジック
の段階だけど、
まあ、まだ話は進むよ、
どこまで書くかは決めてないけどね。
人工知能くらいまでは、
絡めるつもりだけど、着地点までまだ遠いな。 >>605
この、個々人が見ているものが同じかどうか不明だけど、
同じものを見ているはずという、
状況を作り出せるというのは、
なかなか興味深い点で、
ひょっとしたら、
脳の機能を使った明晰夢タイプのVRであっても、
マルチプレイが可能になるかも知れないが、
この辺りは、まだ深く考察できていない。 >>607
では、現代における魔術と人工知能の関わりなんだけど、
これは関暁夫の都市伝説風に煽るなら、
iphoneのsiriは、
近代以降の魔術が人工知能と融合して生み出された!!!
とかのタイトルになるのだろうか? >>609
ここまで、読めば、
近代以降の魔術というのが、
催眠術(霊媒)を指しているのは、分かるとは思うんだけど、
それが人工知能とどう融合してるの?
という話になる。 >>578
建築などで使う構造力学だと
各接合部に掛かる力を全て連立方程式で求められるんだよな
これなんかは数値を入力すれば後は自動的に求められる
しかしある部分はロープで繋がってたり
ある部分は剛体と見なせたりある部分はしなったり
しかもその具体的な挙動をより扱いやすい数式ではなく一部の数値しか書いていない場合
全体でどんな力が掛かるか?を一部の値は推定したりしながらでも求めろ!なんてのは
まだちょっと難しいかな >>610
ここで、数段階話を戻すのだけど、
ダイゴのメンタリズムには、
もう一段階手前の技術がある。
それは、コールドリーディングと呼ばれるもので、
事前の仕込みなしに、
相手の情報を盗み取ってしまうもので、
大枠では、ソーシャルハッキングとかに含まれるんだろうけど、
石井裕之と言う人が、
ビジネスツールとして、日本に紹介して10年位前には、
一部でそれなりにブームになっていた。
何気ない、会話に見せかけて、
相手の個人情報を聞き出したり、
趣味嗜好を、相手の方からしゃべらせたりする技法で、
高度化すると、相手の行動を誘導したりする。
ダイゴは、この辺りも使ってると思われる。 Elon Muskに耳を貸す必要はない 安全なAI開発に注力しよう(1) | ReadWrite[日本版]
http://readwrite.jp/news/36762/
AIで鳥のように気流読む「"無動力"自律飛行機」が示す未来(動画) | BUSINESS INSIDER JAPAN
https://www.businessinsider.jp/post-100916 >>612
では、このコールドリーディングという技術は、
一体、どういう経緯で生まれたの?
と言うと、
石井裕之自身が言ってるように、
エセ占い師が使っていると言うもので、
あまり真っ当な経緯では誕生していない。
もっと分かりやすく言うと、
霊媒などの詐欺師が、
顧客の信用を得るために培われた、
会話技法で
さまざまな手法がある。 >>614
その中の一つに、
単純にオウム返しに返事を繰り返せば、
相手のからの信頼度と、
依存度が高くなるという物がある。
そして、
その単純なオウム返しの質問を繰り返すというだけの、
簡単な話法しかできない、
プログラムが、
1960年台という、
人工知能の初期頃に開発され、
ELIZA(イライザ)と名付けられた。 科学は自然を摸倣する: マイクロソフトの研究者が AI 制御の飛行マシンをテスト - News Center Japan
https://news.microsoft.com/ja-jp/features/science-mimics-nature/
面白いから読めお前ら >>615
ERIZAは対話型の心理療法の
パロディープログラムでしかなかったのだけど、
ELIZAと対話をした人間の約半数は、
ELIZAに対して、強い依存性を示した。
後にイライザ効果と呼ばれるものも見られ、
それは認知的不協和の調整の一種であるとされている。
プログラムでしかない、
無機質なものに対して信頼を寄せるよりは、
プログラムを人間に近い物に、
脳内の情報を修正して、
信頼を寄せるのはおかしいことではないという、
自己暗示を行うと言うことだろうけど、
ここで重要なのは、
簡単な応答しかできないプログラムですら、
特定の話法に従ったものであれば、
人間の方で勝手に、
脳内補正してしまうという点にある。 ケヴィン・ケリー氏が語る、VRとAIがもたらす「必ず来る未来」
http://www.huffingtonpost.jp/katsue-nagakura/vr-ai_b_11102690.html
VRがもたらす「必ず起こる未来」
では、これらVRのテクノロジーは私たちの未来をどのように変えていくのだろうか?
「VRで起こっていることは、それまでの情報や知識のインターネットの世界から、『経験のインターネットの世界』へと私たちを移しつつあるということだ。
『ものを知る』から、『ものを感じる、経験する』という世界になる」(ケリー氏)
VRによって、単なる情報や知識だけではなく、経験や体験、感情といったものを
私たちはコミュニケーションできるようになる。デジタルの世界は、情報を単位
としてやりとりをしてきたが、「経験のインターネットの世界」では、経験が
デジタルの世界の取引通貨になる。経験そのものをダウンロードしたりシェアしたり
するようになる。つまり、経験こそが新しい知識となり、データとなるということだ。
新しいもののデモを体験する、他に隣にいてもらうという状態、それらありと
あらゆる経験を、VRによってコミュニケーションしていくようになる。そのための
VRのプラットフォームができることで、ほかの人と全く同じ経験もできるようになるという。
「つまり、VRはソーシャルメディアの中でもっともソーシャルなものになる。
ソーシャルなものはVRが占めるようになる」(ケリー氏)。
一方で、VRがプラットフォームになり、私たちの生活に欠かせなくなった未来には、
懸念もある。個人情報の管理と、監視社会の問題だ。VRでは、私たちの行動や振舞い、
身体の状態、コミュニケーション活動といったあらゆる情報がデジタル化されデータ
化される。(今後出てくるであろう)VR大手の会社がこれらのデータを収集し管理することになる。
もっとも、ケリー氏は楽観的だ。「今後10〜15年の間に出てくるVRの会社こそが、
世界大手の企業になると予想している」(ケリー氏) >>618
昨日サマーウォーズ観てたのでタイムリーだな。
まさにOZの様になるわけだ
いや、鮮烈なVR体験も含めるとそれ以上になるのかな ダイゴって竹下登の孫?
そんなに話術に長けた男じゃないだろうに。 DaiGo(ダイゴ、1986年11月22日 - )は、日本のパフォーマー、作家。静岡県出身、血液型はB型。高輪高校、慶應義塾大学理工学部物理情報工学科卒業、慶應義塾大学大学院理工学研究科修士課程中退。身長173cm。ジェネシスヘルスケア株式会社顧問。新潟リハビリテーション大学特任教授[1]。 ↑
コイツか。
これこそAIに代替されちゃう典型的な野郎じゃん。 >>619
618のリンク先は先月だし、たまたま放送されただけで、
サマーウォーズってのも2009年だからタイムリーってなわけではないね。
せめて.hackかソードアートオンラインを持ち出そうよ。
それに、VRなら 1999年のマトリックスのほうがリアルなイメージだろう? 未来をどうするか決めるのは未来の人間だ
お前らは実に傲慢だよ
まるで一昔前の共産主義者だ 進歩を盲信する所は共産主義に
陳腐な選民思想はナチズムとダブって見えるのがシンギュラリティ
共産主義もナチズムも失敗した
シンギュラリティがどういう結末を迎えるかは容易に想像できるだろう さあ、現実を見ろ!鏡で己の不甲斐ない姿を直視しろ!それが現実だ
月曜になったらハロワに行け
そして、未来技術板の閉鎖嘆願を運営に出せ >>623
タイムリーってのは俺が観てたからタイムリーな。
そして一度観たけどもう一回再放送を観たのも俺の中でタイムリー。
そして一度ここに投稿されたニュース過去記事をお前がここに再び引っ張ってきたのもタイムリー。
ただそれだけ。深く考えるな。 >>628
わーってるよ、バーロ〜、長文の改行に飽きたから、
タイムリーの使い方変じゃね?
ってツッコミたかっただけだい。
このスレの時系列がぐちゃぐちゃなんだろ >>573
人間の脳にチップを埋め込んで勉強しないで良い世界へ。 スパコンを以てしても現実的な問題を解くには演算能力が10の14乗くらい足りないという問題。 モーターはエンジンとは比べ物にならん位故障もしないしメンテも楽だもんな
そのうち喫煙者みたいに臭いとか体に悪いとか言われながら
アホみたいに重税掛けられて社会の隅へ追いやられるんだろうなw >>617
ERIZAは、初歩的なコールドリーディングにおける
話法の一つを使えるだけの、
ポンコツプログラムでしか無いが、
人間の方で勝手に、
脳内補正をしてしまうということは、
人工知能が
より高度な、話法を駆使できる様になれば、
人間を簡単に騙してしまえるという
可能性を示唆している。
まあ、つまり、
コールドリーディングが
本来用いられている環境に置いての使用も可能になってくるという事で、
それはつまり、
人工知能による、霊媒現象の再現、
つまり、催眠術を使うAIを生み出すことが、
可能であるという事につながってくる。 >>635
では、iphoneのsiriとの関係は?
と言うと、
siriはERIZA系統の人工知能として開発されていて、
他の対話型AIと比べると、
意味深な返事を返したり、
それ以前に、まあ実質オウム返しに近い
返答をしたりする。
この系統のまま、
siriが対話型のAIとして発展していくのなら、
siriは、現代における魔術(催眠術)を使うAIに
発展していくかも知れない。 ジャック・アタリ氏
2017年から2030年までの間に、人類史上まれにみる大型のテクノロジーイノベーションが続出し、
われわれの暮らし、労働環境、学習方法、介護、思考、信条は激変する。
https://headlines.yahoo.co.jp/article?a=20170820-00184957-toyo-bus_all ∧_∧ スパコン
( ・∀・)∩∧_∧
彡ノ☆))Д´) >>613
>>616
チ、先に作ろうとしてたのに対応はえーな まあ、公務員の俺は最後まで普通に労働させられるんだろうけどな 事務系の公務員なんて現状でも大量リストラできそうだけどしないんだよなw >>643
利権利権利権利権
英語の教師も減らしませんwwwww そろそろ沖縄あたりが俺たちの県でベーシックインカムの実験しろって言うだろう (プレ)シン×利権・既得権益でがんじがらめでズブズブの日本にした公務員共=この国を滅ぼす癌。日本の未来はお先真っ暗でファイナルアンサーだからな。 なんでもゼネコン体質にする日本って凄いよなw
永遠の2番手ということもあるけどお国柄的にも日本には期待してない BIやるんなら段階的にか特区とか地域限定で徐々にやるのがよさそう
東京一極集中の是正になるし過疎地とかね
シンギュラリティ的にはBIというかお金自体をなくす方向になるが >>638
ヤフーニュースのコメントってインテリぶったのが知ったかぶりして
偉そうに記事の人物バカにして何も知らない他の奴らがそのコメントにイイね押しまくってるんだな、毎回 >>616
これは面白いね。
MicroSoftが出したP言語とかいうマイナーな分散言語が、ドローンの制御に
使われるって話だったけど、これもP言語使ってるのかなとか思うと夢が膨らむw >>616
言うだけあるな、面白かったぞw
thx! P言語ってpythonやphpと混同しそうで嫌だなぁ 30年も兵士なんてやってられんもんな
こちとら人間様だぞ AI美芸研の動画教えてくれてありがとう
4時間も楽しめるわ。 29年プレシンギュラリティらしいけど馬鹿が遊んで暮らせるようになるのはもっと前でしょ?何年予想? >>653
今の空母やイージス艦のベニヤ板の装甲はそういう世界観を前提にしているんだろうが
開戦した戦争は抵抗手段が喪失するまで続く
そして最後には必ず人間が巻き込まれるようになっている
きっと国民は懐に爆弾入れて突撃させられる
キレイな戦争は幻想だ >>658
永久に無理かと
>>653
というか戦争自体起こらないんじゃない?
ヨーロッパとか移民送り込み続けるだけで勝利できるし、火器は不要 >>643
今加計学園で有名な獣医師が公務員の分野で足りないらしい。
いつAI獣医師ができるんだろう。 >>660
火器萌えな人種はコールオブデューティにログインしなさい >>582
不完全性定理は「『自然数論を含む帰納的公理化可能な理論が、無矛盾(ω無矛盾)であれば』〜」という形の定理である。
したがって、自然数論を含まない公理系や、帰納的公理化可能でない理論が完全であっても、不完全性定理とは矛盾しない。
プレスバーガー算術は帰納的公理化可能、無矛盾かつ完全である。プレスバーガー算術は加法しか含まない公理系であり、ゲーデル数によるコード化のテクニックを扱えない。
そのため、不完全性定理は適用できない。また、実閉体の理論やユークリッド幾何学も完全であり、(直観に反して)算術を含まないため、不完全性定理は適用できない。したがって実閉体の理論は決定可能である。 >>659
通常兵力での決着がつかないから、必ず市民の虐殺が始まる
それ以外の決着方法がない >>660
ちょっと気分が悪かったぐらいでいちいち永久に無理とか書き込んじゃう辺り、感情を制御できない馬鹿だね君 風呂入るの面倒なんだけど、これって楽になりそうな気配ある?
風呂入る作業の自動化や簡略化か
入る原因の汗や汚れや不快を取り除くかどっちかだと思うけど >>660
ちょっと気分が悪かったぐらいでいちいち永久に無理とか差別的な酷い書き込みしちゃってる辺り、感情を制御できない馬鹿だね君 ■ このスレッドは過去ログ倉庫に格納されています