アフィリエイト広告を利用しています

2014年06月30日

メモ (自然数の定義を思い出す)

寝た切りですが、勉強したいと思い、この二日間ほど寝ながら数学・コンピューターのことを考えていました。

考える、というか、以前勉強したことを思い出すというか、そんな感じです。

ちょっと自分の頭の整理のために書きくだしてみます。記憶だけに頼って書いているのでもしかしたら間違っているかもしれません。すみません。

大学の数学の授業で、自然数 0、1、2、・・・ を構築するという手順を学んだことがあり、それを思い出していました。
一日かかりましたが・・・

まず、空集合を 0 と定義します。
注: 空集合は要素を持たない集合で、数学では記号 'φ' で表わします。ですからここでは 0 = φ と定義しています。

次に 0、つまり空集合 φ を要素とする集合 {0} = {φ} を 1 と定義します。
1 = {0} = {φ} です。

さらにこの 0 と 1 を要素に持つ集合 {0、1} を 2 と定義します。

大雑把ですが、このようにして自然数

0、1、2、3、4・・・



0 = φ、つまり空集合、
1 = {0} = {φ}、
2 = {0、1} = {0、{0}} = {φ、{φ}}、
3 = {0、1、2} = {0、1、{0、1}} = {φ、{φ}、{φ、{φ}}}
・・・・

と順番に作っていきます。

その後さらに、負の整数 (-1、-2、-3・・・) や有理数 (いわゆる分数 1/2、1/3、2/3・・・です) を定義し、実数を定義し、複素数を定義し、と進めていくのですが、私はこの論理の展開が好きで、よくできてるなあ、と感心しました。

特に有理数から実数を定義する手順の発見は 19 世紀の数学でとても重要な進歩の一つだったことを後で知りました。

そのこともあってか、コンピューターの勉強を始めて出会ったλ計算という分野で、上とは別のやり方で自然数を定義していく方法を知り、非常に面白いと思いました。
私がプログラミングを好きになったきっかけの一つだったと思います。

でも現在の私の場合、上のような論理展開を思い出すだけでも頭の中が混乱してしまいます。
論理の展開を追いかけるのがとても難しく、苦しいです。
すぐに疲れてしまいます。
時間もかかります。

頭の中に常に灰色の靄 (もや) がかかっているような感覚があり、考えていることがすぐにこの靄の中に消えていってしまうような気がします。

この靄をはらしたいのです。とても苦しいからです。
悪夢を見ます。恐怖で飛び起きたことがあります。

話が逸れました。
明日も寝た切りかもしれませんが、また別のことを勉強します。英語の勉強とか、試しにやってみたいです。
できるかどうか、まだわかりませんが・・・

フレンズ 〈シーズン1-10〉コンプリート ブルーレイ BOX[初回限定生産] [Blu-ray]

中古価格
¥20,500から
(2014/6/30 01:13時点)



The Little Schemer

中古価格
¥1,955から
(2014/6/30 01:14時点)



タグ:数学
posted by 底彦 at 00:24 | Comment(0) | TrackBack(0) | 勉強
この記事へのコメント
コメントを書く

お名前:

メールアドレス:


ホームページアドレス:

コメント:

この記事へのトラックバックURL
https://fanblogs.jp/tb/2541280

この記事へのトラックバック
ファン
検索
<< 2024年12月 >>
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        
最新記事
最新コメント
眼科の定期検査 〜 散歩 by コトタマ (02/15)
眼科の定期検査 by 三文字寄れば文殊のヒフミヨ (09/21)
本を読んで過ごす by 底彦 (12/13)
本を読んで過ごす by ねこ (12/12)
数学の計算をする by 底彦 (12/04)
タグクラウド
カテゴリアーカイブ
仕事(59)
社会復帰(22)
(44)
コンピューター(211)
(1463)
借金(8)
勉強(13)
(13)
数学(97)
運動(8)
日常生活(1407)
(204)
健康(38)
読書(21)
プロフィール

ブログランキング・にほんブログ村へ
にほんブログ村
にほんブログ村 メンタルヘルスブログ うつ病(鬱病)へ
にほんブログ村
にほんブログ村 科学ブログ 数学へ
にほんブログ村
にほんブログ村 IT技術ブログ プログラム・プログラマーへ
にほんブログ村