|
ジョン・フォン・ノイマンは、ハンガリー出身のアメリカ合衆国の数学者である。20世紀科学史における最重要人物の一人とされ、数学・物理学・工学・計算機科学・経済学・気象学・心理学・政治学に多大な影響を与えた。第二次世界大戦中の原子爆弾開発や、その後の核政策への関与でも知られる。 |
|
数学基礎論ではゲーデルとは独立に、第二不完全性定理を発見している。公理的集合論における正則性公理を提唱した。モンテカルロ法を考案したうちの一人で、名付け親だとされている。 |
|
フォン・ノイマンの確たる功績は、計算機科学分野にある。初期のコンピュータ、EDVAC開発に参加した際、プログラム内蔵方式に関する論文を自分名義で発表したため、ストアードプログラム方式の考案者であるとされる。 |
|
EDVAC開発チームのジョン・エッカートとジョン・モークリーが技術面を担当し、ノイマンが理論面を担当したと言われている。ノーマン・マクレイはプログラム内蔵方式に関してクルト・ゲーデルが不完全性定理の証明で用いたゲーデル数化のアイデアを応用したものと説明している。 |
|
◆〔フォン・ノイマン〕のプロフィール。 |
〔フォン・ノイマン〕 （出典：ウイキペディア）
|
|
|