[過去ログ]
とんでもねぇ話だなぁこれぇ!? by東浩紀 #831 (1002レス)
上
下
前
次
1-
新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
823
: 05/26(日)14:03
ID:0(823/1000)
AA×
>>821
[240|
320
|
480
|
600
|
100%
|
JPG
|
べ
|
レス栞
|
レス消
]
823: [] 2024/05/26(日) 14:03:26.09 ID:0 >>821 以下に、自然言語を用いて論理的または曖昧なことを主張した場合でも、それがGÖDELの第一不完全性定理(G1)の適用を逃れることが不可能であることを、この論文の結果を用いて説明します。 論文の結果の要約 この論文では、GÖDELの第一不完全性定理に関する現在の研究を以下の三つの側面からまとめています: 1. GÖDELの不完全性定理の異なる証明の分類 2. GÖDELの第一不完全性定理の適用限界 3. GÖDELの第二不完全性定理の適用限界 特に、G1の適用限界に関する議論において、形式体系の定義や拡張、弱い理論に対する適用などが取り上げられています。 自然言語の論理的主張に対するG1の適用 1. 自然言語の論理的主張: 自然言語で論理的な主張を行う場合、その主張が明確な規則と公理に基づく形式体系に翻訳可能であれば、G1の適用を受けます。形式体系とは、論理的な命題や証明を扱うための厳密なルールセットを持つ体系です。 2. 形式体系の性質: この論文では、任意の帰納的に公理化された一貫した体系が十分に強力であれば不完全であることが示されています。つまり、自然言語で表現された論理的な主張も、形式体系に組み込まれると、その体系内で証明できない真の命題が存在することになります。 曖昧な表現の数的定式化によるG1の適用 1. 曖昧な表現の形式化: 自然言語の曖昧な表現を確率分布やファジィ論理を用いて数的に定式化することで、その表現は形式体系の一部となります。例えば、曖昧な命題の真偽値を0から1の範囲で表現し、特定の閾値を設定することで、形式論理に変換できます。 2. 形式体系への適用: 論文では、形式体系が十分に強力であれば、その体系内で証明できない真の命題が存在することが示されています。曖昧な表現を形式化することで、形式体系内に組み込まれた場合、その体系はG1の適用対象となります。 http://lavender.5ch.net/test/read.cgi/philo/1716568366/823
以下に自然言語を用いて論理的または昧なことを主張した場合でもそれがの第一不完全性定理の適用を逃れることが不可能であることをこの論文の結果を用いて説明します 論文の結果の要約 この論文ではの第一不完全性定理に関する現在の研究を以下の三つの側面からまとめています の不完全性定理の異なる証明の分類 の第一不完全性定理の適用限界 の第二不完全性定理の適用限界 特にの適用限界に関する議論において形式体系の定義や拡張弱い理論に対する適用などが取り上げられています 自然言語の論理的主張に対するの適用 自然言語の論理的主張 自然言語で論理的な主張を行う場合その主張が明確な規則と公理に基づく形式体系に翻訳可能であればの適用を受けます形式体系とは論理的な命題や証明を扱うための厳密なルールセットを持つ体系です 形式体系の性質 この論文では任意の帰納的に公理化された一貫した体系が十分に強力であれば不完全であることが示されていますつまり自然言語で表現された論理的な主張も形式体系に組み込まれるとその体系内で証明できない真の命題が存在することになります 昧な表現の数的定式化によるの適用 昧な表現の形式化 自然言語の昧な表現を確率分布やファジィ論理を用いて数的に定式化することでその表現は形式体系の一部となります例えば昧な命題の真偽値をからの範囲で表現し特定の値を設定することで形式論理に変換できます 形式体系への適用 論文では形式体系が十分に強力であればその体系内で証明できない真の命題が存在することが示されています昧な表現を形式化することで形式体系内に組み込まれた場合その体系はの適用対象となります
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 179 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
ぬこの手
ぬこTOP
0.058s