検索結果
ナビゲーションに移動
検索に移動
- [[Category:自己言及のパラドックス]] …6キロバイト (238 語) - 2022年10月9日 (日) 13:52
- *[[自己言及のパラドックス]] …13キロバイト (861 語) - 2024年12月21日 (土) 07:35
- 停止性問題を解くプログラム''H''が存在すると仮定して矛盾を導く。証明は[[自己言及のパラドックス#嘘つきのパラドックスの論理構造|嘘つきのパラドックス]]に類似している。 …10キロバイト (296 語) - 2023年3月17日 (金) 22:20
- [[Category:自己言及のパラドックス]] …26キロバイト (1,155 語) - 2024年2月13日 (火) 10:47
- 11キロバイト (452 語) - 2024年7月18日 (木) 06:35
- 排中律についての推定的反例として、[[自己言及のパラドックス|嘘つきのパラドックス]]あるいは[[クワインのパラドックス]]がある。Graham Priest の [[:en:dialetheism|dialet …21キロバイト (985 語) - 2024年1月28日 (日) 06:09
- …も大きな[[コルモゴロフ複雑性]]を有することがその理論上では証明できないような、上限 <math>c</math> が存在する。ゲーデルの定理が[[自己言及のパラドックス|嘘つきのパラドックス]]と関係しているのに対し、チャイティンの結果は[[ベリーのパラドックス]]に関係している。 *[[自己言及のパラドックス]] …74キロバイト (2,025 語) - 2025年1月17日 (金) 20:00