エレクトロニクスでロジックを実行できることを人々はどのように認識しましたか?最初の実現の逸話や記録はありますか?私は最初の「交響詩 "エウレカセ」の瞬間について疑問に思っています。
エレクトロニクスでロジックを実行できることを人々はどのように認識しましたか?最初の実現の逸話や記録はありますか?私は最初の「交響詩 "エウレカセ」の瞬間について疑問に思っています。
回答:
ウィキペディアの記事、ブール代数から:
1930年代、スイッチング回路の研究中に、クロードシャノンはこの設定でブールの代数の規則を適用できることを観察し、論理ゲートの観点から代数的手段で回路を分析および設計する方法としてスイッチング代数を導入しました。シャノンはすでに抽象的な数学的装置を自由に使用していたため、スイッチング代数を2要素ブール代数としてキャストしました。
クロードシャノンに関する記事には、さらに詳細が記載されています。
1936年、シャノンはMITで電気工学の卒業研究を開始し、初期のアナログコンピューターであるVannevar Bushの差動アナライザーに取り組みました。このアナライザーの複雑なアドホック回路を研究しながら、シャノンはブールの概念に基づいてスイッチング回路を設計しました。1937年に、彼は修士論文「リレーとスイッチング回路の記号解析」を書きました。この論文の論文は1938年に出版されました。それは、電話のコールルーティングスイッチで使用されていました。次に、彼はこの概念を拡張し、これらの回路がブール代数が解決できるすべての問題を解決できることを証明しました。最後の章では、4ビット全加算器を含むいくつかの回路の図を示します。
この電気スイッチの特性を使用してロジックを実装することは、すべての電子デジタルコンピューターの根底にある基本概念です。シャノンの仕事は、第二次世界大戦中および第二次世界大戦後の電気工学コミュニティで広く知られるようになったため、デジタル回路設計の基礎となりました。シャノンの研究の理論的厳密性は、以前に広まったアドホックな方法に取って代わりました。ハワード・ガードナーはシャノンの論文を「おそらく最も重要な、そして最も注目される世紀の修士論文」と呼んだ。
ロジックとコンピューターサイエンスにおける他の多くの重要な開発と同様に、数学者であり哲学者でもあるCharles Sanders Peirceがほぼ間違いなくその仕事をシャノンの何十年も前に進めました。
もちろん、それが理解され評価されるずっと前にアイデアを持つことは天才の現れです。Peirceのもう1つの偉大な独創性の論理的アイデア、つまり50年先の汎用リレーコンピューターのアイデアの背景を概説して締めくくりましょう。イベントのシーケンスは次のとおりです。
- パースは、アラン・マーカンドを刺激して、ウィリアム・スタンレー・ジェボンズの機械論理機械よりも優れた機械論理機械を発明し、構築した。このマシンについては、Peirceの論理マシン、vol。III、pt。1、pp。625–632。
- このマシンは1880年代初期に製造されました。ほぼ同時に、パースは、トートロジーの決定手順としての真理値表の使用とともに、「否定」と「否定」の十分性を考えた。
- 1886年のMarquandへの手紙の中で、パースはMarquandのマシンにリレーを使用することを提案し、リレーで「and」および「or」を達成する方法を示しました。「...それは決して絶望的ではありません...本当に非常に難しい数学的問題のための機械を作ることです(同上、632)。
- その後、マーカンドは、機械式ロジックマシンのリレーバージョンの配線図を作成しました。
(出典:アーサーW.バークス[[数学の新しい要素](書評)p。917、アメリカ数学会の会報、vol 84、第5号(1978年9月)。太字の強調は私のものです。)
パースの1886年のマーカンド宛の手紙からの引用:
…本当に非常に難しい数学的問題のための機械を作ることを期待することは決して絶望的ではありません。しかし、あなたは一歩一歩進めなければなりません。私は、電気に頼るのが最善だと思います。 A、B、Cを3つのキーまたは他のポイントとし、回路を開いたり閉じたりすることができます。図1のように、すべてが閉じている場合にのみ回路があります。図2では、いずれかが閉じている場合、回路があります。これは、ロジックの[論理および&論理OR]に似ています。
(出典:Charles S. Peirceの著作:A Chronological Edition、vol。5(1884–1886)p。422. Indiana University Press、1993. Christian JW Kloesel et al。、editors。
パースは、彼の作品が同時代の人々に認められないほどにはるかに先を行っていた誰かの驚くべき事例でした。彼は生涯でほとんど無視されていましたが、彼は非常に多くの重要な論理的および数学的発展を予想することができました。例えば、彼は19世紀に格子理論を発明しましたが、1935年にギャレット・バーコフがそれを再発明するまで、誰も本当に注意を払いませんでした。 23年後に発見したヘンリーシェファーに通常与えられます。パースについてのスタンフォード哲学百科事典の記事。
「交響詩 "エウレカ」の瞬間に関する限り、ブール論理の電子工学への応用はThe Mathematical Analysis of Logic
、1847年にブール代数がジョージブールによって公式化された瞬間に避けられなくなったと思います。ウィキペディア
また、チャールズ・バベッジは、彼の建設しようとしたとき、これは「ユリイカ」前ブール論理の形式化に十年に発生したと主張することができ1837年に解析エンジンを、デバイスが含ま
算術論理ユニット、条件分岐とループの形の制御フロー、および統合メモリ。
ここでの議論は、計算の観点から、機械的論理ゲートと電子的論理ゲートの両方が同等であると考える場合、強力です。機械コンポーネントをより安価で信頼性の高い電子コンポーネントに置き換えることは、論理コンポーネントに限定されず、すべての業界で広まりました。Babbageが基本的な電子コンポーネントを利用できた場合、機械的なものとまったく同じ方法で、この種のロジックにそれらを利用したと想像できます。
3番目の可能性のある「交響詩 "」は、1862年のグレートロンドン博覧会でのバベッジとブールの会議です。
二人は、この「思考エンジン」について話し合ったと言われていますが、バベッジは決して完成しませんでした。しかし、それは現代のコンピューティングのビルディングブロックになりました。
さらにもう1つの「エウレカ」マイルストーンは、1937年にハーバードにあるハワードエイケンの機能的な電磁気自動シーケンス制御計算機の完成によるバベッジの分析エンジンの夢の実現です。
最後に、1938年のMITでの電子部品を使用したブールロジックの大規模化に関するクロードシャノンの公式化で(@ the-photonの回答で述べたように)遅くとも確実に停止することができます。
この素晴らしい大西洋の記事は、あなたの質問に長々と答えます。ユーレカの瞬間に最も近いものは次のとおりです。
今日、Booleの名前はコンピューター科学者によく知られています(多くのプログラミング言語にはブールと呼ばれる基本的なデータ型があります)が、1938年に哲学部以外で読まれることはめったにありませんでした。シャノン自身が学部の哲学の授業でブールの仕事に出会いました。「たまたま両方の分野を同時に知っている人は誰もいなかった」と彼は後でコメントした。
Strowgerの1889年の自動電話交換は、電気機械的手段を介したデジタルロジックの実用的かつ現実的な使用でした。リレーや他の電気機械部品で他のパルス/状態ロジックの問題を解決することは、この時点以降、遅くともまったく新しい概念ではありませんでした。
「リレーは遅くてうるさい」という事実と「ガス放電および/または真空管とその技術的後継機はより速く、同じ仕事をすることができる」と「デジタルロジックに文字通りの電子機器を使用しよう」という事実を組み合わせると、ほとんど些細なことです。
サイラトロンのような「ガス放電管」、またはプレーンネオンランプ(これらは放電開始電圧と消弧電圧の間に強いヒステリシスを持っているため、記憶素子として機能します)、またはデカトロン計数管などのより複雑なサイラトロン由来のデバイス。初期の生産設計の真空管(1940年代まで-ENIAC設計はその世代を使用し、それに深刻な問題がありました:)実際にハードオン/オフスイッチング素子として使用されることを嫌っていました(全電圧が印加されたままにされますが、徐々にハードオフされます)キーワードは「カソードインターフェース」、またはドイツ文学では「zwischenschichtbildung」です*)。その機能で信頼できる真空管は、50年代/ 60年代の産業用制御機器に導入されました...
*データシートはこれらのタイプの一部については英語、ドイツ語、オランダ語、またはフランス語でしか存在しない可能性があるため、言及しています...