「teratailもりあがっtail」におけるサイバーいじめ (843ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
17: yukkuri_reimu [] 2022/01/31(月)03:41:21.34
私を尊重しろ！
241(1): HAKUREI_REIMU [] 2022/02/12(土)02:41:34.34
大文字
252: 仕様書無しさん [sage] 2022/02/13(日)16:18:07.34
>>251
「周りが俺に暴言を吐くのは許さないが俺が周りに暴言を吐くのはいい」という自己中心的な考え方してるからでしょ
低評価の理由は幾らでもある
mts程度と話まともにできんなら誰とも話しできんわ
267: 仕様書無しさん [sage] 2022/02/13(日)20:25:00.34
>>266
ん？自分の愚行を見てもらうってことだな
よしよし客観的に判断できる第三者が入ってくれるわけだな
よかったじゃん これで追い出してもらえる
家からもネットからも
300(2): 仕様書無しさん [sage] 2022/02/14(月)22:01:04.34
>>299
すぐ好き嫌いの話にすり替える
論理的思考が欠片もないね
382(1): KEMONO_PANTSU [] 2022/03/07(月)17:40:41.34
fse 09w9e00ie9 0iw irw0eir w09riw903kio r rjoq weoiwienqwnqwe2c2 ej w jq qj2jqv evq veqvq2vq v qqq qv q qqqq
481: KEMONO_PANTSU ◆sRRjTYeJB. [] 2022/03/17(木)17:32:28.34
>>478
ゲーデルの不完全性定理
出典: フリー百科事典『ウィキペディア（Wikipedia）』
ナビゲーションに移動検索に移動
ゲーデルの不完全性定理（ゲーデルのふかんぜんせいていり、英: Gödel's incompleteness theorems、独: Gödelscher Unvollständigkeitssatz）または不完全性定理とは、数学基礎論の重要な定理[1]（数学基礎論は数理論理学や超数学とほぼ同義な分野で、計算機科学〔コンピュータ科学〕と密接に関連している[2]）。クルト・ゲーデルが1931年の論文で証明した定理であり[3]、有限の立場（形式主義）では自然数論の無矛盾性の証明が成立しないことを示す[2][3]。なお、少し拡張された有限の立場では不完全性定理は成立せず、自然数論の無矛盾性の証明が成立する（ゲンツェンの無矛盾性証明）[2]。
計算機科学者（コンピュータ科学者）・論理学者のトルケル・フランセーン[4]および数学者・論理学者の田中一之[4]によると、不完全性定理が示したものは数学用語の意味での「特定の形式体系Pにおいて決定不能な命題の存在」であり、一般的な意味での「不完全性」とは無関係である[5]。すなわち不完全性定理以降の時代にも、数学上の意味で「完全」な理論は存在し続けているが[5]、“不完全性定理は数学や理論の「不完全性」を証明した”というような誤解が一般社会・哲学・宗教・神学等によって広まり、誤用されている[6]。
「不完全性定理が成立しない体系」および「ゲーデルの完全性定理」も参照
数学の「無矛盾性」を証明することを目指したヒルベルト・プログラムに関して「不完全性定理がヒルベルトのプログラムを破壊した」という類の哲学的発言はよくあるが、これは実際の不完全性定理やゲーデルの見解とは異なる、とフランセーン達は解説している[7]。正確には、ゲーデルはヒルベルトと同様の見解を持っており、彼が不完全性定理を証明して示したのは、ヒルベルトの目的（「無矛盾性証明」）を実現するためには手段（ヒルベルト・プログラム）を拡張する必要がある、ということだった[7]。日本数学会が言うには「彼〔ゲーデル〕の結果はヒルベルトの企図を直接否定するものではなく，実際この定理の発見後に無矛盾性証明のための様々な方法論が開発されている」[3]。
「不完全性定理によるヒルベルト・プログラムの発展」も参照
675(1): 仕様書無しさん [sage] 2022/10/18(火)20:05:33.34
mts乙
761: 仕様書無しさん [sage] 2023/02/05(日)11:19:12.34
>>760
自己解決も正誤判断もできない人は、マルチポストして多数決で正解を決めようとする
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s