0952a4 ◆L1L.Ef50zuAv 2018/11/07(水) 11:40:21.48ID:6Y/7TLC2
>>950
>P2P、1から作るのですか・・・大変だと思いますよ?
確かに既存のものを使わないと安定しないかもですね。考えておきます。
>ただ単に1階述語論理の定義だけ基盤として採用すれば良いです。
リーマン予想とかだとどうなんでしょうね?Wikipediaで2階述語論理について検索
すると、「空でなく上に有界な実数の集合があるとき常にその集合には上限が存在
するという命題を表すには、二階述語論理が必要となる。」と出てきました。だと
すると、解析学の基礎と関係するリーマン予想には、高階述語論理が必要かもしれ
ません。僕は専攻は数学になれなかったので、今はきちんと理解してませんが。
でも、「T」は一応、独自の手法で近いことをやっていると考えています。
>たとえば、有限単純群の分類定理の証明は1万5000ページ以上の規模ですが、
これは面白い情報ですね。覚えます。 0953a4 ◆L1L.Ef50zuAv 2018/11/07(水) 11:40:58.76ID:6Y/7TLC2
>>950
>私は量子計算についてはあまり詳しくないのですが、
僕は大学生の頃、実際に量子コンピュータを開発している研究室に在籍し、
自動定理証明などに関する論文のようなものを書きました。結果としては、
既存の有名な理論を使うだけでは、シュレディンガーの猫の実験をしたとき、
生きた猫のいる世界から、死んだ猫のいる世界の映像などを見ることはできず、
確かに使い方によっては高速なんですが、使い勝手が悪く、自動定理証明には
あまり使えないというものでした。ところが、その後も独自に研究を進めると、
ナマズが地震予知できるので、その神経についている特異点上の量子の複製という
物理法則を使って、その生きた猫と死んだ猫の世界をくっつけて並列計算して
しまおうと、考えるようになりました。成功するかはよくわかりませんが、僕の
妄想です。
>しかも、Tarski[1948]による簡単な幾何学の体系をコンピュータ上に実装して
>自動定理証明しようとすると非常に非効率なことが分かっています(使い物にならないレベル)。
初等幾何学とか僕、高校時代くらいは苦手だったんですよ。でも、あれの解法の
一般化は面白そうなので、「T」とかでやってみたいですが、やはり古くから研究
されてるんですね。 0954a4 ◆L1L.Ef50zuAv 2018/11/07(水) 12:02:06.25ID:6Y/7TLC2
0957a4 ◆L1L.Ef50zuAv 2018/11/09(金) 02:06:47.26ID:xR8D+OLW
>>955
なるほど。僕も格子の人工生命をP2Pで作ってた頃は同期の問題で訳がわからなく
なってしまいました。しかも、せっかくできたのに、実験してくれる人数が集まらない
というところで止まってしまいました。
数理論理学とか詳しそうですね。僕も昔はそっちの専門家になりたかったのですが、
今は、無職に近い状態で、ここで人工知能を売りながら、30歳ながらも特異点技術
などを追って、海外への大学院進学を目指してます。
>>956
僕は高度な技術はタイムマシンによる歴史改変と関わってると信じてる人なんですよ。
だから、公に出てくる技術はそこで制限されるのではないかと。5chというのは、
「うそはうそであると見抜ける人でないと(掲示板を使うのは)難しい」ということで
こういう情報も書くんですけどね。 0961a4 ◆L1L.Ef50zuAv 2018/11/10(土) 04:21:02.25ID:u2fgR3JY
>>960
僕は大学にいた頃は、量子コンピュータによる自動定理証明と、格子の人工生命を
用いた人工知能で、論文を書いて提出しました。 0968a4 ◆L1L.Ef50zuAv 2018/11/11(日) 18:15:58.83ID:J6xiMdhf
>>967
pdfをdownloadしました。僕はリーマン予想などを解こうと思っていることもあり、
どこかで見たような内容ですね。僕が覚えているのは、完全性定理とか、集合論的
な観点からしても、この演繹があってるとかって。
そういえば、P2Pのテストを一緒にしていただけるのであれば、メールかskype
あたりでやり取りしませんか?今、考えているのは、オープンソースの簡易な
暗号化通信によるチャットとファイル送受信システムです。これで「T」の
コードを共有します。需要はあるみたいですが、人数がそこまでは集まらない、
というあたりで止まるかもしれませんけどね。 >とりあえずメール送りました。
ありがとうございます。メール返信しました。これからもよろしくおねがいします。
0971デフォルトの名無しさん2018/11/12(月) 17:00:47.31ID:tl7KhuZQ
自演して楽しい?
0972a4 ◆L1L.Ef50zuAv 2018/11/12(月) 17:02:48.05ID:3Upq4nSe
>>971
自演はしてませんよ。名古屋の宇宙人からのテレパシーは裏技術です。表向きには
統合失調症ということになっています。 0973デフォルトの名無しさん2018/12/08(土) 21:25:06.05ID:tBodI9MC
ホモ相手するのはやめたほうがいいぞ
それともオマエ、ホモなの
0974デフォルトの名無しさん2018/12/09(日) 17:04:16.75ID:eG4pDpqu
オネエだったりして(笑)
0976leicaq2019/01/12(土) 21:54:45.85ID:vWYwoD6J
0979デフォルトの名無しさん2019/01/17(木) 20:55:07.89ID:wpB3GBZ5
-🍓-
0988デフォルトの名無しさん2019/01/19(土) 20:13:56.30ID:kigMn1Sy
うお
0994デフォルトの名無しさん2019/01/24(木) 01:17:18.41ID:/yAzIJE+
埋める
0995デフォルトの名無しさん2019/01/24(木) 23:36:47.09ID:/yAzIJE+
埋め
0996デフォルトの名無しさん2019/01/24(木) 23:37:12.22ID:/yAzIJE+
あとちょっと
0999デフォルトの名無しさん2019/01/25(金) 08:58:42.25ID:qZsFlcCU
埋め
1000デフォルトの名無しさん2019/01/25(金) 08:58:57.82ID:qZsFlcCU
1000
10011001Over 1000Thread
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 145日 7時間 1分 22秒