論文の概要: A Finitist's Manifesto: Do we need to Reformulate the Foundations of
Mathematics?
- arxiv url: http://arxiv.org/abs/2009.06485v1
- Date: Mon, 14 Sep 2020 14:44:08 GMT
- ステータス: 処理完了
- システム内更新日: 2022-10-18 12:53:27.759795
- Title: A Finitist's Manifesto: Do we need to Reformulate the Foundations of
Mathematics?
- Title(参考訳): A Finitist's Manifesto:我々は数学の基礎を改革する必要があるか?
- Authors: Jonathan Lenchner
- Abstract要約: このエッセイは、無限の楽園で睡眠ウォーキングをしている数学者のヒードを練習するためのものです。
数学の多くの分野は、(i)無限個の要素を含む対象の「存在」、(ii)任意の精度で計算する能力、「理論」、または(iii)任意の数の時間ステップを計算する能力「理論」に依存している。
- 参考スコア(独自算出の注目度): 1.384477926572109
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: There is a problem with the foundations of classical mathematics, and
potentially even with the foundations of computer science, that mathematicians
have by-and-large ignored. This essay is a call for practicing mathematicians
who have been sleep-walking in their infinitary mathematical paradise to take
heed. Much of mathematics relies upon either (i) the "existence'" of objects
that contain an infinite number of elements, (ii) our ability, "in theory", to
compute with an arbitrary level of precision, or (iii) our ability, "in
theory", to compute for an arbitrarily large number of time steps. All of
calculus relies on the notion of a limit. The monumental results of real and
complex analysis rely on a seamless notion of the "continuum" of real numbers,
which extends in the plane to the complex numbers and gives us, among other
things, "rigorous" definitions of continuity, the derivative, various different
integrals, as well as the fundamental theorems of calculus and of algebra --
the former of which says that the derivative and integral can be viewed as
inverse operations, and the latter of which says that every polynomial over
$\mathbb{C}$ has a complex root. This essay is an inquiry into whether there is
any way to assign meaning to the notions of "existence" and "in theory'" in (i)
to (iii) above.
- Abstract(参考訳): 古典数学の基礎や、計算機科学の基礎でさえも、数学者が無視している問題がある。
このエッセイは、不定形数学の楽園で睡眠中だった数学者に注意を払わせるための呼びかけである。
数学の多くはどちらに依存している。
(i)無限個の要素を含む対象の「共存」
(二)任意の精度で計算する「理論上」の能力、又は
(三)任意に多くの時間ステップを計算できる「理論上」の能力。
すべての計算は極限の概念に依存している。
The monumental results of real and complex analysis rely on a seamless notion of the "continuum" of real numbers, which extends in the plane to the complex numbers and gives us, among other things, "rigorous" definitions of continuity, the derivative, various different integrals, as well as the fundamental theorems of calculus and of algebra -the former of which says that the derivative and integral can be viewed as inverse operations, and the latter of which says that every polynomial over $\mathbb{C}$ has a complex root.
このエッセイは、「存在」と「理論」の概念に意味を割り当てる方法があるかどうかを問うものである。
(i)
(iii)以上。
関連論文リスト
- FineMath: A Fine-Grained Mathematical Evaluation Benchmark for Chinese
Large Language Models [47.560637703675816]
FineMathは、中国語大言語モデル(LLM)を評価するための詳細な数学的評価ベンチマークデータセットである。
FineMathは、小学校数学で教えられる主要な数学的概念をカバーし、数学用語の問題の17のカテゴリに分けられる。
数学の単語問題のうち17のカテゴリは、これらの問題を解決するために必要な推論ステップの数に応じて、難易度を手動でアノテートする。
論文 参考訳(メタデータ) (2024-03-12T15:32:39Z) - 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) - Algorithm-assisted discovery of an intrinsic order among mathematical
constants [3.7689882895317037]
基礎数学的定数に対する連続的な分数式を前例のない数で発見するコンピュータアルゴリズムを開発した。
多数の公式は、保守行列場と呼ばれる新しい数学的構造を明らかにする。
そのような行列場は数千の既存の公式を統一し、無限に多くの新しい公式を生成し、異なる数学的定数間の予期せぬ関係をもたらす。
論文 参考訳(メタデータ) (2023-08-22T23:27:47Z) - A Survey of Deep Learning for Mathematical Reasoning [71.88150173381153]
我々は過去10年間の数学的推論とディープラーニングの交差点における重要なタスク、データセット、方法についてレビューする。
大規模ニューラルネットワークモデルの最近の進歩は、新しいベンチマークと、数学的推論にディープラーニングを使用する機会を開放している。
論文 参考訳(メタデータ) (2022-12-20T18:46:16Z) - Peano: Learning Formal Mathematical Reasoning [35.086032962873226]
一般的な数学的推論は計算不可能であるが、人間は新しい問題を常に解決している。
両パズルの中心は、数学の基礎となる手続き的抽象の構造であると仮定する。
カーン・アカデミー・プラットフォーム上の始点代数の5つの部分に関するケーススタディにおいて、このアイデアを探求する。
論文 参考訳(メタデータ) (2022-11-29T01:42:26Z) - Discussion of Foundation of Mathematics and Quantum Theory [0.0]
古典数学と有限数学の異なる側面について論じる。
特性$p$の有限環に基づく量子論は、標準量子論よりも一般的である。
論文 参考訳(メタデータ) (2022-03-09T18:46:57Z) - NaturalProofs: Mathematical Theorem Proving in Natural Language [132.99913141409968]
数学的ステートメントの多領域コーパスであるNaturalProofsとその証明を開発した。
NaturalProofsは広範なカバレッジ、深いカバレッジ、低リソースの数学的ソースを統一する。
数式参照検索と生成タスクに関する強力なニューラルネットワーク手法をベンチマークする。
論文 参考訳(メタデータ) (2021-03-24T03:14:48Z) - Noisy Deductive Reasoning: How Humans Construct Math, and How Math
Constructs Universes [0.5874142059884521]
本稿では,数学が基本的な過程である数学的推論の計算モデルを提案する。
この枠組みが数学的実践のいくつかの側面について説得力のある説明を与えることを示す。
論文 参考訳(メタデータ) (2020-10-28T19:43:14Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。