「teratailもりあがっtail」におけるサイバーいじめ (843ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
177: yukkuri_marisa [] 2022/02/10(木)21:22:17.30
>>176
yukkuri_marisaはyukkuri_reimuを愛している。
182(1): 仕様書無しさん [sage] 2022/02/10(木)21:46:22.30
>>178
荒らし2
https://teratail.com/questions/1hudy96hexy2y0
yukkuri_marisaは最低だな
276: 仕様書無しさん [sage] 2022/02/13(日)22:50:24.30
この流れだとmtsが複数アカウント作って低評価可能であることを証明するために自分が複数アカウント作って実験したと宣言してるように見えるな
元のアカウントが消えてない時点で理由なんて関係なく複数アカウント所持だは
346(3): KEMONO_PANTSU [] 2022/02/21(月)20:40:15.30
>>345
なんで？
465(1): KEMONO_PANTSU ◆sRRjTYeJB. [] 2022/03/16(水)14:08:27.30
461KEMONO_PANTSU ◆sRRjTYeJB. 2022/03/16(水) 11:06:41.42
ゲーデルの不完全性定理
出典: フリー百科事典『ウィキペディア（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]。
「不完全性定理によるヒルベルト・プログラムの発展」も参照
602(2): 仕様書無しさん [sage] 2022/09/21(水)11:22:59.30
>>601
KP復活か
https://teratail.com/users/kisaragiST
https://teratail.com/questions/e4i0nmz74zg2z2
> これで初任給1000万円は可能か?AtCoder青Kaggle Expert paizaSランクProject Euler全問正解など
680(1): 仕様書無しさん [sage] 2022/10/23(日)10:07:50.30
>>679
無いぞ
686: 仕様書無しさん [sage] 2022/11/12(土)11:18:41.30
>>685
こっちでも修整依頼集めをしてるな
https://teratail.com/questions/6vvg88x36n1oxn
691: 仕様書無しさん [sage] 2022/11/13(日)12:49:15.30
またmtsのせいにしてる
741: KEMONO_PANTSU ◆sRRjTYeJB. [] 2023/01/16(月)12:58:52.30
死にたい。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s