論文の概要: Mathematical Explanations
- arxiv url: http://arxiv.org/abs/2402.09413v1
- Date: Sun, 31 Dec 2023 17:07:28 GMT
- ステータス: 処理完了
- システム内更新日: 2024-02-18 13:15:20.270930
- Title: Mathematical Explanations
- Title(参考訳): 数学的説明
- Authors: Joseph Y. Halpern
- Abstract要約: すべての数学的事実はすべての因果モデルで真でなければならないので、数学的事実は説明の一部にはならない。
この問題は不可能な世界によって解決される。
- 参考スコア(独自算出の注目度): 13.461575553902023
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: A definition of what counts as an explanation of mathematical statement, and
when one explanation is better than another, is given. Since all mathematical
facts must be true in all causal models, and hence known by an agent,
mathematical facts cannot be part of an explanation (under the standard notion
of explanation). This problem is solved using impossible possible worlds.
- Abstract(参考訳): 数学的ステートメントの説明として数えられるものの定義があり、ある説明が他の説明より優れている場合は与えられる。
すべての数学的事実はすべての因果モデルにおいて真でなければならず、従ってエージェントによって知られているので、数学的事実は(説明の標準的な概念の下で)説明の一部にはならない。
この問題は不可能可能な世界を使って解決される。
関連論文リスト
- Machine learning and information theory concepts towards an AI
Mathematician [77.63761356203105]
人工知能の現在の最先端技術は、特に言語習得の点で印象的だが、数学的推論の点ではあまり重要ではない。
このエッセイは、現在のディープラーニングが主にシステム1の能力で成功するという考えに基づいている。
興味深い数学的ステートメントを構成するものについて質問するために、情報理論的な姿勢を取る。
論文 参考訳(メタデータ) (2024-03-07T15:12:06Z) - MathScale: Scaling Instruction Tuning for Mathematical Reasoning [70.89605383298331]
大規模言語モデル(LLM)は問題解決において顕著な能力を示した。
しかし、数学的な問題を解く能力は依然として不十分である。
高品質な数学的推論データを作成するためのシンプルでスケーラブルな方法であるMathScaleを提案する。
論文 参考訳(メタデータ) (2024-03-05T11:42:59Z) - Llemma: An Open Language Model For Mathematics [48.30865186388188]
数学のための大きな言語モデルであるLlemmaを紹介します。
MATHベンチマークでは、Llemmaはすべての既知のオープンベースモデルより優れている。
レムマは道具の使用と公式な定理を証明することができるが、それ以上の微調整は行わない。
論文 参考訳(メタデータ) (2023-10-16T17:54:07Z) - MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure [129.8481568648651]
複雑な実生活シナリオにおけるモデルの論理的推論能力を調べるためのベンチマークを提案する。
推論のマルチホップ連鎖に基づいて、説明形式は3つの主成分を含む。
この新たな説明形式を用いて,現在のベストモデルの性能を評価した。
論文 参考訳(メタデータ) (2022-10-22T16:01:13Z) - Connes implies Tsirelson: a simple proof [91.3755431537592]
コンヌ埋め込み問題は同期的ツィレルソン予想を意味することを示す。
また、コンネスの代数 $mathcalRomega$ の異なる構成もコンネス埋め込み問題に現れる。
論文 参考訳(メタデータ) (2022-09-16T13:59:42Z) - Eliminating The Impossible, Whatever Remains Must Be True [46.39428193548396]
より簡潔な「なぜ」形式的な説明をするために背景知識を適用する方法を示す。
また,既存のルール誘導手法を用いて,データセットから背景情報を効率的に抽出する方法を示す。
論文 参考訳(メタデータ) (2022-06-20T03:18:14Z) - Overturning negative construal of quantum superposition [0.0]
観測可能な事実や事象の矛盾は、物理現象の合理的な説明として示唆される理論の数学的公式に基づいている。
点のケースは量子重ね合わせの負の矛盾であり、明確な結果の問題を生じさせる。
定結果問題に対する通常のアプローチは、いくつかの余剰な仮定を加えることで量子数学的形式論を変更することである。
論文 参考訳(メタデータ) (2021-07-16T16:06:23Z) - On Relating 'Why?' and 'Why Not?' Explanations [28.87208020322193]
機械学習(ML)モデルの説明は、しばしば「なぜ」に対処する。
質問だ
最近の研究は「なぜそうでないのか」という説明を調査している。
質問だ
本稿では,「なぜ」の厳密な関係を確立する。
と「なぜないのですか?
説明だ
論文 参考訳(メタデータ) (2020-12-21T01:07:13Z) - Noisy Deductive Reasoning: How Humans Construct Math, and How Math
Constructs Universes [0.5874142059884521]
本稿では,数学が基本的な過程である数学的推論の計算モデルを提案する。
この枠組みが数学的実践のいくつかの側面について説得力のある説明を与えることを示す。
論文 参考訳(メタデータ) (2020-10-28T19:43:14Z) - A Finitist's Manifesto: Do we need to Reformulate the Foundations of
Mathematics? [1.384477926572109]
このエッセイは、無限の楽園で睡眠ウォーキングをしている数学者のヒードを練習するためのものです。
数学の多くの分野は、(i)無限個の要素を含む対象の「存在」、(ii)任意の精度で計算する能力、「理論」、または(iii)任意の数の時間ステップを計算する能力「理論」に依存している。
論文 参考訳(メタデータ) (2020-09-14T14:44:08Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。