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

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

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

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

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

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

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

かけ算, つらい.

追記

コメントを頂いたので.

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


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

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

関連記事

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

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

このサイトについて

はじめまして。相転移Pです。数学・物理の情報を中心にアカデミックな話題を発信しています。このサイトを見て興味があればぜひご連絡ください。 mail: phasetr@gmail.com LINE: oxg2753d
  • このエントリーをはてなブックマークに追加
  • LINEで送る

現代数学観光ツアー

神秘的な自然現象など冒険心をくすぐる数学世界を堪能してみませんか?
現代数学観光ツアーと称して無料の通信講座形式であなたを数学の名所に案内していきます.
ご興味のある方はぜひこちらからご登録ください!

YouTube チャンネル登録

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

メルマガ登録

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

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

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