論文の概要: From G\"odel's Incompleteness Theorem to the completeness of bot beliefs (Extended abstract)

• arxiv url: http://arxiv.org/abs/2303.14338v2
• Date: Tue, 20 Jun 2023 05:46:17 GMT
• ステータス: 処理完了
• システム内更新日: 2023-06-22 03:11:03.957902
• Title: From G\"odel's Incompleteness Theorem to the completeness of bot beliefs (Extended abstract)
• Title（参考訳）: g\"odelの不完全性定理からボット信念の完全性(拡張抽象)へ
• Authors: Dusko Pavlovic and Temra Pavlovic
• Abstract要約: G"odel" は本質的には、自身のステートメントとそれらの証明をエンコードできる理論は、真だが証明不可能なステートメントを含むことを証明した。 基礎となる論理過程を考察し、検証不可能な理論へと導く軌道を記述する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Hilbert and Ackermann asked for a method to consistently extend incomplete theories to complete theories. G\"odel essentially proved that any theory capable of encoding its own statements and their proofs contains statements that are true but not provable. Hilbert did not accept that G\"odel's construction answered his question, and in his late writings and lectures, G\"odel agreed that it did not, since theories can be completed incrementally, by adding axioms to prove ever more true statements, as science normally does, with completeness as the vanishing point. This pragmatic view of validity is familiar not only to scientists who conjecture test hypotheses but also to real estate agents and other dealers, who conjure claims, albeit invalid, as necessary to close a deal, confident that they will be able to conjure other claims, albeit invalid, sufficient to make the first claims valid. We study the underlying logical process and describe the trajectories leading to testable but unfalsifiable theories to which bots and other automated learners are likely to converge.
• Abstract（参考訳）: ヒルベルトとアッカーマンは不完全理論を完備理論に一貫して拡張する方法を求めた。 g\"odel は本質的に、自身の言明とその証明を符号化できる理論が真であるが証明できない言明を含むことを証明した。 ヒルベルトは、g\"odel の構成が彼の質問に答えることを受け入れず、彼の後期の著作や講義の中で、g\"odel は、理論は漸進的に完成できるので、科学が通常行うように、より真のステートメントを証明する公理を追加することによって、完備性が消滅点として加えることは不可能であると同意した。 この現実的な妥当性の見解は、仮説を推測する科学者だけでなく、不動産業者や他のディーラーにも親しみがあり、契約を締結するために必要であれば無効であるとして、最初の主張を有効にするためには、他の主張を無効にすることができると確信する。 本稿では,その基礎となる論理過程を考察し,ボットや他の自動学習者が収束しそうな検証不可能な理論へと導く軌道について述べる。

関連論文リスト

• What Does '(Non)-Absoluteness of Observed Events' Mean? [0.0]
  ウィグナーの友人パラドックス、ボン・エ・アルの定理、ローレンス・エ・アルの定理は、量子力学が普遍的であることを示すものとしてよく理解されている。 また、これらの定理は、観測された事象が絶対的である間に動的状態が相対化される異なる種類の関係性アプローチに対して興味深い可能性を示唆している。
  論文  参考訳（メタデータ） (2023-09-06T17:13:31Z)
• Connecting classical finite exchangeability to quantum theory [69.62715388742298]
  交換性は確率論と統計学の基本的な概念である。 有限交換可能な列に対するデ・フィネッティのような表現定理は、量子論と正式に等価な数学的表現を必要とすることを示す。
  論文  参考訳（メタデータ） (2023-06-06T17:15:19Z)
• TheoremQA: A Theorem-driven Question Answering dataset [100.39878559382694]
  GPT-4のこれらの問題を解決する能力は非並列であり、Program-of-Thoughts Promptingの精度は51%である。 TheoremQAは、350の定理をカバーする800の高品質な質問を含むドメインの専門家によってキュレートされる。
  論文  参考訳（メタデータ） (2023-05-21T17:51:35Z)
• A Measure-Theoretic Axiomatisation of Causality [55.6970314129444]
  我々は、コルモゴロフの確率の測度理論的公理化を因果関係の公理化への出発点とすることを好んで論じる。 提案するフレームワークは測度理論に厳格に根ざしているが,既存のフレームワークの長期的制限にも光を当てている。
  論文  参考訳（メタデータ） (2023-05-19T13:15:48Z)
• Comment on 'The operational foundations of PT-symmetric and quasi-Hermitian quantum theory' [0.0]
  著者の主な発見(つまり、QHQTが標準量子論を拡張しない)は、新しいものではないことを指摘した。 数学的に一貫した GPT のような理論は、すでに文献で利用可能である。
  論文  参考訳（メタデータ） (2023-01-03T17:06:31Z)
• Reassessing the strength of a class of Wigner's friend no-go theorems [0.0]
  最近の2つの定理は、物理的現実の可能な性質に新しい非自明な制約を課そうとする。 私はこれらの定理を徹底的に分析し、それらがそれらの妥当性を疑問視し、その強さを制限する欠点のリストに悩まされていることを示す。 観察者に依存しない事実に対するノーゴー定理」と「ローカルフレンドリーなノーゴー定理」は、物理的な現実の性質に重大な制約を課すことができないと結論づける。
  論文  参考訳（メタデータ） (2022-04-26T00:56:36Z)
• Incompatibility of observables, channels and instruments in information theories [68.8204255655161]
  運用確率論におけるテストの整合性の概念について検討する。 ある理論が不整合性テストを認めていることは、ある情報が障害なく抽出できない場合に限る。
  論文  参考訳（メタデータ） (2022-04-17T08:44:29Z)
• Observers of quantum systems cannot agree to disagree [55.41644538483948]
  我々は、オブザーバー間の合意が、世界のあらゆる理論を守らなければならない物理的な原則として機能するかを問う。 我々は、観測者が意見の相違に同意できる無署名箱の例を構築した。
  論文  参考訳（メタデータ） (2021-02-17T19:00:04Z)
• General Probabilistic Theories with a Gleason-type Theorem [0.0]
  量子論のグリーソン型定理は、量子状態空間を復元することを可能にする。 グリーソン型定理も含む一般確率論のクラスを同定する。
  論文  参考訳（メタデータ） (2020-05-28T17:29:29Z)
• Learning to Prove Theorems by Learning to Generate Theorems [71.46963489866596]
  我々は、定理証明器を訓練するために、定理と証明を自動的に合成するニューラルジェネレータを学習する。 実世界の課題に関する実験は、我々の手法による合成データが定理証明器を改善することを示した。
  論文  参考訳（メタデータ） (2020-02-17T16:06:02Z)
• Incompleteness for stably consistent formal systems [0.0]
  まず、人間の実際の一貫性性を反映した安定な一貫性の数学的概念を部分的に展開する。 次に、第1および第2のG"odel不完全性定理を安定に1,2$一貫性のある形式系に一般化する。
  論文  参考訳（メタデータ） (2020-01-21T15:04:15Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。