エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
[FOM] inconsistency of P
Edward Nelson nelson at math.Princeton.EDU Mon Sep 26 09:33:24 EDT 2011 Previous message: [FOM] S... Edward Nelson nelson at math.Princeton.EDU Mon Sep 26 09:33:24 EDT 2011 Previous message: [FOM] Second Call for Papers, Jean van Heijenoort Centenary Next message: [FOM] inconsistency of P Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] I am writing up a proof that Peano arithmetic (P), and even a small fragment of primitive-recursive arithmetic (PRA), are inconsistent. This is post