竹内 薫

丸山 篤史(構成)

量子力学の原理を使って複数の計算を同時に行い、スパコンを圧倒的に凌ぐ計算能力を持つ量子コンピューター。少し前まで「実現はするのは百年後」と目されていたが、2011年、カナダのD‐Wave社が突然、量子コンピューターの発売を発表。当初はその真偽が疑問視されていたが、2013年にGoogle,NASAが導入を決定。この快挙、実は日本人が開発した「量子アニーリング」方式の賜であった。暗号を軽々と解き、航空機のバグを即座に見つけ、今後社会をがらりと変えていく夢の計算機。量子コンピューターの凄さを、文系も楽しめるように基礎の基礎から解説する。

内容詳細

量子コンピューターが本当にすごい (PHP新書)

「智の限界」「科学の終焉」などと言われることがある「不完全性定理」。しかし、それは智の限界や終焉などではなく、「正しくても常に証明できるとは限らない」ということを、卓抜したアイディアでゲーデルが証明した定理です。同じことを、イギリスの数学者チューリングは、彼が築いたコンピュータの数学的基礎の中で示しました。ゲーデルとチューリングの証明の詳細は抽象的でたいへん高度ですが、定理の内容は、それほど神秘的なことを言っているわけではありません。そこで本書では、「不完全性定理」の内容を正確に理解するとともに、証明のための驚くべき二人のアイディアを、できるだけやさしく紹介します。

著者：竹内薫の検索結果

量子コンピューターが本当にすごい (PHP新書)

不完全性定理とはなにか (ブルーバックス)

著者：竹内 薫の検索結果

量子コンピューターが本当にすごい (PHP新書)

不完全性定理とはなにか (ブルーバックス)

著者：竹内薫の検索結果