arithmetization
|ar-ith-me-ti-za-tion|
/əˌrɪθmətaɪˈzeɪʃən/
(arithmetize)
turn into numbers
数にする
語源
「arithmetization」はギリシャ語を経由した現代の造語で、具体的には『arithmos』（「数」を意味する）に英語の動詞化・名詞化接辞が結びついたものです。
「arithmetization」は英語の動詞『arithmetize』（ギリシャ語『arithmos』を起源とする現代の形成）から派生し、名詞化接尾辞『-ation』を付けて作られました。
元々は「何かを数的な形にする」という意味でしたが、次第に論理学や基礎づけの分野で「数で符号化する」という技術的な意味合いを持つようになりました。
品詞ごとの意味
名詞 1
the act or process of converting something into arithmetic form or representing it using numbers; making a subject expressible in numerical or arithmetic terms.
何かを数や算術的な形式に変換する行為・過程（数で表すこと）
The arithmetization of measurement data allowed the researchers to apply statistical tests.
測定データの算術化により、研究者たちは統計的検定を適用できるようになった。
同意語
反意語
名詞 2
in mathematical logic and foundations, the process of encoding objects, formulas, or proofs as natural numbers (e.g., via Gödel numbering) so they can be manipulated arithmetically.
数学的論理学で、オブジェクト・公式・証明などを自然数として符号化する過程（例：ゲーデル符号化）
Gödel's arithmetization of syntax was a key step in his incompleteness theorems.
ゲーデルの構文の算術化は、不完全性定理における重要なステップだった。
同意語
最終更新時刻: 2025/10/15 06:24