最近、海外のSF小説をよく読むのですが、その中に「メタ数学」「超数学」などと言う言葉をよく見ます。
(1)これって何の事なんでしょうか?
普通の数学とは違う、実際にある学問なんですか?
(2)これがわかる事で生活や学問にどんな変化が出てくるのでしょうか?
公理だの定理だのいう言葉もよく出てきて何がなんだかチンプンカンプンです。
読解力の低さも手伝って、話の内容が全然理解できず困っています。
すごくあやふやな質問で恐縮なのですが、ご存知の方がいらっしゃったらわかりやすく教えていただけないでしょうか。
あと、ここらへんを調べるのに参考になる本なども教えていただけると幸いです。
よろしくお願いします。
A 回答 (5件)
- 最新から表示
- 回答順に表示
No.5
- 回答日時:
ほじめまして、メタ数学に詳しいわけではありませんが、おすすめの本があるので紹介させて頂きます。
結城浩 「数学ガール ゲーデルの不完全性定理」
http://www.hyuki.com/girl/
この一冊で、ゲーデルの不完全性定理を理解するのは難しいでしょうが、数学を数学する(つまりメタ数学とは何か)がなんとなくわかるでしょう。きっと、その物語にもついて行けるはずです。
この本は高校生の私でも大学で習う数学を理解することができるほど、丁寧な解説がなされています。ゲーデルの不完全性定理のくだりが難解すぎるせいで、アマゾンのレビューはいまひとつですがね、、。
No.4
- 回答日時:
ちなみに。
ルーディー・ラッカーのSFなんかいかがですか?
SFとこの分野の数学両方の専門家が書いたものだけに、結構イケるものがありますが。
http://www.ltokyo.com/ohmori/rucker/
またゲーデルそのものについてはたとえば
http://www.shayashi.jp/history/
あたりがわかりやすいと思います。
参考URL:http://www.ltokyo.com/ohmori/rucker/
No.3
- 回答日時:
例えていいますと・・・
物理で、1メートルの定義ってありますよね。
1メートルを何によって定義するべきか。昔は「地球一周を4万キロメートルとして・・・」とかいろいろな定義が考えられてたらしいですが、現在では「光が1秒間に進む距離を30万キロ(正しくはもうちょっと違う数値だったと思いますが)として1メートルを定義する」というふうにしてるそうです。
しかしこれを聞くと「じゃあ1秒間の定義は何なんだ」ってことになりますよね。ここで「1秒間の定義は光が30万キロ進むのに要する時間」なんて言ってしまうと堂々巡り(循環論法)になってしまいます。
従って物事の定義の決め方には注意が必要です。こういう定義の仕方について決める学問がメタ物理(本当はそんな言葉ないですが)です。
数学でも似たような状況があります。
a+b=b+a
を証明しろって言われても、「何を前提として証明したらいいか」わからないでしょう。「そもそも足し算とは何か」をまず定義しなくちゃいけません。
「その足し算とは何か」を定義する際に、「足し算とは、ある一定の規則を持つ演算規則であり・・・」などと定義していくときに、「交換則」を前提として作ってしまえば、「a+b=b+aは定義だから証明の必要なし」ということになります。
しかし「足し算とは何か」を定義する際に「交換則を定義の中に組み込んでしまう」べきか、はたまた「足し算について別の定義をしておいて、交換則を証明する」ようにすればいいのか。
これまた議論が必要です。
こういった議論をするのがメタ数学です。
持っている本にこんな例えが載っていました。
野球で「両チームともバッターが下手くそだから、3アウトチェンジをやめて、6アウトチェンジにしよう、という議論になったとする。これがメタ野球である」
面白い例えだと思うのですが、いかがでしょう。
No.2
- 回答日時:
すでに回答が出ているとおり、メタ数学というのは数学自体を対象とする数学です。
一般に学問Xに対しメタXというのはその学問自体を対象とする学問ですね。しかしSFでメタ数学が出てくるとは知りませんでした。さてお勧め、というか印象に強く残っている本なのですが、Kleene の "Introduction to Metamathematics" です。大学院(情報科学)で読まされましたが、なにが introductionなんだというくらい、死ぬほど難しかった(笑)です。
メタ数学が分かっても実生活にはほとんど影響しないと思いますが、普段当たり前として見過ごしている、数学とか論理とか思考の非常に根本的な部分を改めて見直すことができるのと、ではその主体が人間でなくコンピュータとか人工物だったらどうなのか、ということでSFとかかわりがあるのかな、とちらっと思いました。
参考URL:http://www.amazon.co.jp/exec/obidos/ASIN/0720421 …
数学の根本を突き詰め、見つめ直す・・・っていう学問だったんですね。
「数学のルール」に対してミジンも疑問を感じた事のなかった自分には目から鱗の心境です。
すごい事を考える人がいるもんですね。
数学の物の考え方が、論理や思考と言った部分にまで展開していく事にはすごくドキドキします。
ちなみに読んでいた本はグレッグ・イーガンと言う人の「しあわせの理由」(早川書房)という本です。
教えていただいたURLや本の方、さっそく参考にさせて頂きます。
ありがとうございます。
No.1
- 回答日時:
数学は苦手なド素人なのですが・・・
http://c-faculty.chuo-u.ac.jp/~schmidt/Nyumon/20 …
ナーゲル・ニューマン『ゲーデルは何を証明したか』林 一訳,白揚社,1999年
第3章 数学から超数学へ
>【数学と超数学(メタ数学)】
>数学(意味のない記号の体系)と超数学(数学,計算に現れる記号と,その配列と関係についての意味のある言明)との区別
>
>ex 2+3=5 →数学
>
>‘2+3=5’は算術の式である.→超数学
http://ja.wikipedia.org/wiki/%E3%83%8E%E3%83%BC% …
>数学自体を対象としてある数学を展開することは超数学(メタ数学)と呼ばれる。
ということらしいです。
参考URL:http://c-faculty.chuo-u.ac.jp/~schmidt/Nyumon/20 …
この回答への補足
さっそくのご回答ありがとうございます。
超数学ってホントにある学問だったんですね。。。^^;
って事は
数学 =数値のやり取り
超数学=数学をやる上での作法
みたいなモノなんでしょうか?
提示していただいたURL、本など、さっそく参考にさせて頂きます。
ありがとうございました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
無限から無限を引いたら何にな...
-
「互いに素」の定義…「1と2は互...
-
1未満と1以下の違い
-
べき乗
-
5桁の整数nにおいて,万の位,...
-
eの0乗は1ってどういう原理です...
-
ACCESS VBAでインポート定義の場所
-
奇数と偶数はどちらが多いので...
-
0の階乗はなぜ1になるのですか?
-
複雑な家庭とは
-
数字の1とは何なのか?
-
なぜ、直角三角形ではないのにs...
-
エクセルで「”」インチの表示形...
-
助言と口出しの違い
-
e<3の証明を教えてください。
-
y=elogxからx=e^y/eってどうや...
-
数学の両辺2乗と√について教え...
-
P(A∩B)=PA(B)×P(A) に何故なる...
-
1階微分作用素の問題(逆作用素...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
無限から無限を引いたら何にな...
-
複雑な家庭とは
-
「互いに素」の定義…「1と2は互...
-
べき乗
-
日本語 ことば ひとまわり ふた...
-
1未満と1以下の違い
-
最大元と極大元の定義の違いが...
-
p⇒q=(¬p)∨qについて
-
「logx^2=2logx」が間違って...
-
eの0乗は1ってどういう原理です...
-
ACCESS VBAでインポート定義の場所
-
ヘシアンが0の場合どうやって極...
-
ACCESS IIF関数 複数条件の設...
-
画像の説明で一番最後の閉包作...
-
5桁の整数nにおいて,万の位,...
-
“半日”って何時間のことなんで...
-
0^1(0の1乗)はいくつでしょ...
-
√6=√(-2)(-3)=√(-...
-
lim n→0 =n=0となりますが lim ...
おすすめ情報