お金の計算の様に、記号を使っで計算を行う計算機は「デジタル計算機」といいますが、デジタル計算機を使って数表を簡単に作ろう、というチャレンジもされていました。それがチャールズ・バベジによる「階差機関」「解析機関」です。
続きを読む マンガ 13.h コンピュータの歴史8 階差機関・解析機関「まんが/ラビリンス」カテゴリーアーカイブ
マンガ 13.g コンピュータの歴史7 アナログ計算機・デジタル計算機
対数の計算がもともと物の量と結びついたアイデアだったこともあり、ものの量の関係を使った計算機「計算尺」を生み出すことになります。この様に、物の量の関係を使った計算機は「アナログ計算機」といいます。
続きを読む マンガ 13.g コンピュータの歴史7 アナログ計算機・デジタル計算機マンガ 13.f コンピュータの歴史6 ヨーロッパの解析
掛け算が手早く出来る「対数」はヨーロッパに広まったようですが、「数学」として認められるには時間がかかったようです。
続きを読む マンガ 13.f コンピュータの歴史6 ヨーロッパの解析マンガ 13.e コンピュータの歴史5 対数
科学のための計算では、たくさんの桁の計算が必要になりましたが、計算はとても大変でした。
そこで、イギリスのネイピアによって掛け算を簡単にするために考え出されたのが、「対数」とその表「対数表」でした。
続きを読む マンガ 13.e コンピュータの歴史5 対数マンガ 13.d コンピュータの歴史4 占星術と対数表
占星術を目的とした「科学の計算」のために、まずは物の測定量を小数で表現する方法がヨーロッパで使われ出します。そこから、どこまでも細かい数が作れる「実数」と、逆に全ての実数に対応する点がある「数直線」が、考え出されたようです。
マンガ 13.C コンピュータの歴史3 機械式計算機/科学の計算
ヨーロッパの機械式の計算機には「パスカリーヌ」に始まり、「アリスモメー
ター」などがありますが、これらの多くはお金の計算を目的としたものだった
ようです。
マンガ 13.B コンピュータの歴史2 ギリシア→アラビア→ヨーロッパ
計算機の歴史の前段階の「数学と計算の歴史」をざっくり見てみました。
続きを読む マンガ 13.B コンピュータの歴史2 ギリシア→アラビア→ヨーロッパマンガ 13.a コンピュータの歴史1
今回から「コンピュータの歴史」を扱おうと思っています。
続きを読む マンガ 13.a コンピュータの歴史1
マンガ 12.k 命題論理学11 演繹定理
「構文論的推論」を容易にするワザに、「演繹定理」というものがあります。
証明したい推論が「⊃」で繋がれている場合、の左側の論理式を前提(「|-」
の左側)にしてしまうことが出来る、という定理です。
これを使うと、「⊃」でつながった命題を、小さく分割できるので、証明の見通しがつきやすくなるようです。
ところで、演繹定理もそうなのですが、「⊃」と、推論記号である「|-」 や「|=」は、その働きがよく似ています。そのため、違いが分からず、私はよく混乱していました。
これらの記号は、結果として同じ操作ができたとしても、使っている意味が違
違います。
構文論的に証明したい「|-」のか、意味論的に証明をしたい「|=」のか、
あくまで命題としてA ならば「⊃」 Bなのか、はそれぞれ違うことで、それをきちんとかき分けている、ということです。
今回で命題論理は終了となります。
マンガ 12.j 命題論理-10 構文論的推論
推論には、「意味論的な推論」の他に「構文論的な推論」があります。
「構文論的な推論」では、フレーゲの論理主義にルーツを持つもので、
数学の証明のように、正しい命題を次々と作り出しながら、目的の命題を
作り出すことで、証明をします。