『代数学は得意だけど，数学基礎論とかさっぱり分からない．論理とかマジイミフ』そんなアナタを対象に，ゲーデルの不完全性定理を解説してみよう！ のコーナーです． 論理学と代数学（可換環論）との対応については，檜山さんによる素晴らしい記事があります： 古典論理は可換環論なんだよ - 檜山正幸のキマイラ飼育記 ただ，『論理学といえばまずコレ！』とも言うべき『ゲーデルの不完全性定理』の代数学的表現については書かれていないようなので，ちょっぴり魔が差して，ここでゲーデルの不完全性定理の代数学的な表現を与えることにしました． だが，単にゲーデルの不完全性定理を代数学で表現するだけじゃあつまらない……倍プッシュだ……！というわけで，プラスアルファとして，その他色んな分野との関わりを含めて紹介します． 0. 理論は対応する代数を持つよ！： リンデンバウム代数 まず，論理学と代数学を対応させる第一の架け橋
プロのピアニストは、たいてい幼少のころからピアノを始める。 しかし、習い始めて最初の1,2年にやるバイエル〜ブルクミュラーあたりは、音楽的な感性を養うというよりは、譜面通りに指を動かして音が鳴らせるかの勝負である。いわば、譜面に書かれた音符をモグラに見立てて、そのモグラを叩く、モグラ叩きゲームである。 それは本人の音楽的才能や音楽的な素質とは何ら関係がない。モグラ叩きゲームがうまいか下手かというだけのことである。言うまでもなく頭の回転の速い子供や、ゲーム慣れしている子供はこういうゲームじみたことはすこぶる得意である。 そんな彼ら(彼女ら)は、たちまち、バイエル〜ブルクミュラーを終わらせるが、だからと言って、彼ら(彼女ら)が音楽家としての資質に恵まれているとは限らない。 逆に、バイエル〜ブルクミュラーを終わらせるのに時間がかかったからと言って、彼(彼女)に音楽家としての資質や才能が無いのかと
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
