【不完全性定理のキモは帰納法でも自己言及でもなく「掛け算」なんだ!】

この記事は1分で読めます

このサイトは学部では早稲田で物理を, 修士では東大で数学を専攻し, 今も非アカデミックの立場で数学や物理と向き合っている一市民の奮闘の記録です. 運営者情報および運営理念についてはこちらをご覧ください.

中高の数学の復習から専門的な数学・物理までいろいろな情報を発信しています.
中高数学に関しては中高数学駆け込み寺,
大学数学に関しては現代数学観光ツアーという無料の通信講座があります.
ご興味のある方はぜひお気軽にご登録ください!


な, なんだってー!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!.

某不完全性定理に関するエッセイ読んだけど, ところどころもにょもにょする.
妙に背理法強調してたり (関係あるのか?),
「ペアノの公理系に不完全性定理があてはまる理由は数学的帰納法を含んでいるから」とか (ロンビンソン算術の立場は…)

あああぁ, ロンビンソン算術ってなんだよいったい. ロビンソン算術だよ.

足し算と掛け算をもつロビンソン算術は不完全定理が適用できて,
足し算のみのプレスバーガー算術には適用できず実際完全.
ということは不完全性定理のキモは帰納法でも自己言及でもなく「掛け算」なんだ! と言ってみるテスト.

かけ算, つらい.

追記

コメントを頂いたので.

何はともあれメモをする.


中高の数学の復習から専門的な数学・物理までいろいろな情報を発信しています.
中高数学に関しては中高数学駆け込み寺,
大学数学に関しては現代数学観光ツアーという無料の通信講座があります.
ご興味のある方はぜひお気軽にご登録ください!

  • このエントリーをはてなブックマークに追加
  • LINEで送る

関連記事

  1. この記事へのコメントはありません。

  1. この記事へのトラックバックはありません。

このサイトについて

数学・物理の情報を中心にアカデミックな話題を発信しています。詳しいプロフィールはこちらから。通信講座を中心に数学や物理を独学しやすい環境づくりを目指して日々活動しています。
  • このエントリーをはてなブックマークに追加
  • LINEで送る

YouTube チャンネル登録

講義など動画を使った形式の方が良いコンテンツは動画にしています。ぜひチャンネル登録を!

メルマガ登録

メルマガ登録ページからご登録ください。 数学・物理の専門的な情報と大学受験向けのメルマガの 2 種類があります。

役に立つ・面白い記事があればクリックを!

記事の編集ページから「おすすめ記事」を複数選択してください。