けものフレンズBBS NEO

けものフレンズBBS NEO

学生フレンズ集まれ！～ジャパリ学園～ / 1819
1819
たべないでください⁽˙³˙⁾◟( ˘•ω•˘ )◞⁽˙³˙⁾ 2018/04/01 (日) 12:10:27 >> 1813

中高生御用達と信じているわかりやすいサイト。
嘘つきのパラドックス、または自己言及のパラドックスは数学においても成り立ちうる。
ゲーデルの不完全性定理という厨二心くすぐる名前である。
数学至上主義ともいえるヒルベルトプログラムを打ち破ったというのも厨二心くすぐられるのである。

不完全性定理 - 哲学的な何か、あと科学とか
noexit

通報 ...
  • 1830
    むさし 2018/04/01 (日) 14:10:01 >> 1819

    >> 1819
    このサイトの補足のところに完全に同意です。
    そもそも、不完全性定理は完全性定理の前提になりたっています。つまり、論理学は無矛盾です。
    無矛盾な論理学を使って、数学というものをメタ的に見たときに、無矛盾な体系は作れないというのがいわゆる不完全性定理です。
    その前提なしで話を進めるので、わけわからない事になるのです。

    こちらの書籍がお勧めです。
    不完全性定理以外の話が多いですか、それ含めて面白いです。
    良ければどうぞ。

    無限論の教室 (講談社現代新書 1420) | 野矢 茂樹 |本 | 通販 | Amazon
    Amazonで野矢 茂樹の無限論の教室 (講談社現代新書 1420)。アマゾンならポイント還元本が多数。野矢 茂樹作品ほか、お急ぎ便対象商品は当日お届けも可能。また無限論の教室 (講談社現代新書 1420)もアマゾン配送商品なら通常配送無料。
    Amazon

  • 1844
    名無しのフレンズ 2018/04/01 (日) 15:47:39 df5cd@cb22a >> 1819

    ［無恥の知］
    恥ずかしいという概念を捨て去ることを知っていれば、
    どんなことでも出来る。