ポスト
かなり簡略化した説明です。本当は、命題Gのような自己言及性のある命題がそもそも命題として成立しているのか、という説明(対角化、ゲーデル数等)とか、証明可能である命題は必ず真なのか(健全性)に関する議論、などをしなければならないですが、ここでは省略しています)。
メニューを開くみんなのコメント
メニューを開く
ともかく命題のなかに、本質的に真理値を決定し得ないものがあるということは非直感的な事実で、数学者たちに衝撃を与えました。 一般的な命題は真か偽かの判定が可能なのですが、ゲーデル文や、ZFC公理系に対する一般連続体仮説のように、証明不可能な命題というのも、存在します。
人気ポスト
タツノコに行ったら貼ってあった
まって、天才かも ダイソー系列のTHREEPPYのアクセサリーケースが4×4のルースケースちょうど入る……… お気に入りのルースとかここへしまうと可愛いかも…めっちゃいい……500円やった………
スーパー来たら大学教員2体いてヤバい
恐れていたことが起こった、、、、 もう置き場所ない😭 親に置けないなら1部は手放すかばあちゃん家に置け言われる🥲🥲🥲
うだ痩せすぎじゃない? 写真でそう見えるだけならいいけど。 ちゃんと食べてる??
教室鬼暑いのに「30℃超えてないのでクーラーつけられません。」とか言われて授業中ずっとこれやった
ワロタ
なにがOKなのか
今どこですか? なんで家にいないんですか? 1週間前に今日のこと伝えましたよね?
トレンド22:03更新
- 1
エンタメ
愛し合いなさい
- 櫻坂
- Music
- Video
- 2
エンタメ
バックステージフォト
- withMUSIC
- なにわ男子
- なにわ男子の
- IMP.
- リアルタイム
- 3
エンタメ
BACKS LIVE
- BACKS
- 静寂の暴力
- 小池美波
- 石森璃花
- 4
グリーンランド
- ベニーランド
- ナガシマスパーランド
- ひらかたパーク
- 東京ドームシティ
- ホロライブ
- 5
スポーツ
岡本和真
- バルドナード
- 11号
- ヘルナンデス
- 阿部監督
- エスコンフィールド北海道
- プロ野球
- 4番
- 無失点
- 日本ハム
- 9回
- 6
スポーツ
ノーアウト満塁
- 無死満塁
- 2球で
- ダブルプレー
- 2球
- 点取れない
- ノーアウト
- 初球打ち
- 7
JAPANEWS
- 8
太陽のマーチ
- めいちゃん
- 本当にありがとうございました
- アリーナツアー
- 9
ニュース
ネコトモ
- サッカー
- 10
ぱるたん
- レギュラーモデル
- 世界で1番