アカウント名:
パスワード:
わりと有名な話だったと思うのですが, ゲーデルによる不完全性定理の論文の査読は最初 だれも理解できずに宙に浮いていたそうです. ノイマンが一言,通せと言ったので掲載されたとか. ノイマンがいなかったらゲーデルの登場は無かったのかも知れませんね.
と言うか,ノイマンがいなかったら計算(機)業界は どうなっていたんでしょうかね?
と言うか,ノイマンがいなかったら計算(機)業界はどうなっていたんでしょうかね?
また、ノイマン型のコンピュータがあまりにも発展してしまったため、非ノイマン型の研究開発が遅れているという面もあるかもしれません。 ノイマンが活躍していた頃はさておき、集積度がこれだけ上がってきた現在でも、相変わらずノイマン型の「唯一のIP(インストラクションポインタ)を頑張っていかに早く進めるか」という方向だけに血道を上げているのは如何なものかと・・・ # もちろん、現在でも非ノイマン型の研究をされている方が(少なからず)いる事は知っています # ただ、ちょっと報われてないなぁ。というか、これだけ「ノイマン型」が普及してしまうと、その波を押しのけて他のアーキテクチャを進める、あるいは主流にするためにはかなり大きなブレークスルーが必要かなぁと・・・
いなくても、必ず必要なものは開発されていたと思うからです。
XXXXがいなかったらというのは変だと思います。
というのはちょっと的外れでしょう。
例えば、ニュートンがいなくとも、ライプニッツが微分法を考えついたであろう事は確かですが、力学方面への応用は一世紀遅れたかも知れません。
あるいは、シュレーディンガーなしでも量子力学は成立しえたでしょうが、世の物理学者に量子論が受け入れられるには相当の時間を要したでしょう。
「誰某がいなかったら」と問うのは無意味ではありません。 自然科学的には、確かに自然法則は不変ですから、いつかは誰かが発見 (計算方法であれば発明) するでしょう (但し、文明が無限に長い期間継続すると仮定して)。 しかし、定式化や方法論が異なったり (シュヴィンガー・朝永・ファインマン・ダイソン etc) 実現時期が遅れたり (ガウスが平行線公理の「実験」なんぞせずに素直に幾何学化していれば...) するのです。
それが、論理というものだと信じています!!
この一節は (少なくとも私には) 意味不明です。 論理とは全く無関係だと思います (logic という意味で「論理」を用いていないのであれば、予想もしない別解があるのかも知れませんが)。
いなくても、必ず必要なものは開発されていたと思うからです
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
ナニゲにアレゲなのは、ナニゲなアレゲ -- アレゲ研究家
彼がいなかったらどんな世界なんだろう... (スコア:4, 参考になる)
# 個人的にはすごくタイムリー...うれしいことではないけれど
「彼の考案したことはたくさんあって、ネットで検索したらヒットしすぎてたいへん」とかって話してたんですが、ほんといろんなことを残してくれた方ですよね。
セマフォや構造化プログラミングにもお世話になってますが、ガベージコレクタ作ってたときがいちばんお世話になったかな。
ところで、こういういろんなアイディアを残した人って、もしその人がいなかったらどんな世界になってたんかなとかって思いませんか。他の誰かがその穴を埋めてくれてたのかとか、そのアイディアがなかったら、実はもっと幸せな世界になってたんじゃないか、とか。
彼がいなくてもGNUみたいなものは存在したのか?とか、彼がいなくてもLinuxみたいなものが存在したのか?とか。
ひとまず、感謝感謝。
Re:彼がいなかったらどんな世界なんだろう... (スコア:2, 興味深い)
自伝『学者人生のモデル』(岩波書店) [bk1.co.jp]で、
構造化プログラミングはわしのほうがほんとは先に考えついて
おったのぢゃ、みたいなことを語っていました。割と冷静な記述が
多い中での話だったんで、ちょっとびっくりもの。
本当のところはどうだったんでしょうね。
世界人類が平和ボケでありますように
フォンノイマン (スコア:2, 参考になる)
わりと有名な話だったと思うのですが, ゲーデルによる不完全性定理の論文の査読は最初 だれも理解できずに宙に浮いていたそうです. ノイマンが一言,通せと言ったので掲載されたとか. ノイマンがいなかったらゲーデルの登場は無かったのかも知れませんね.
と言うか,ノイマンがいなかったら計算(機)業界は どうなっていたんでしょうかね?
Koichi
Re:フォンノイマン (スコア:1)
# せめてハーバードアーキテクチャーが主流になっていれば・・・
また、ノイマン型のコンピュータがあまりにも発展してしまったため、非ノイマン型の研究開発が遅れているという面もあるかもしれません。
ノイマンが活躍していた頃はさておき、集積度がこれだけ上がってきた現在でも、相変わらずノイマン型の「唯一のIP(インストラクションポインタ)を頑張っていかに早く進めるか」という方向だけに血道を上げているのは如何なものかと・・・
# もちろん、現在でも非ノイマン型の研究をされている方が(少なからず)いる事は知っています
# ただ、ちょっと報われてないなぁ。というか、これだけ「ノイマン型」が普及してしまうと、その波を押しのけて他のアーキテクチャを進める、あるいは主流にするためにはかなり大きなブレークスルーが必要かなぁと・・・
Re:フォンノイマン (スコア:1, 興味深い)
メモリ単価の高い時代なら、誰が作ってもバスを1本にまとめて
そこにメモリを置くと思います。
> 相変わらずノイマン型の
> 「唯一のIP(インストラクションポインタ)を頑張っていかに早く進めるか」という方向だけに血道を上げている
> のは如何なものかと・・・
人間は、ある瞬間には1つのことしか考えられないようになっているの
でしょう。そのため、プログラムも「命令をもってきて、必要なデータを
取って来て、演算をして、結果を書き戻す」のくり返しになってしまう
のだと思います。
それに、これは人間が何かするときの基本動作です。
道具を手に取る → 材料を手に取る → 加工する
専用マシンではなく、プログラマブルなマシンを作ろうとしたら
誰でも同じ方式を考えるのではないでしょうか?
逆に、これがノイマン型の呪縛から逃れられない理由だと思います。
ノイマンのいなかった世界 (スコア:0)
Re:彼がいなかったらどんな世界なんだろう... (スコア:1)
米国に留学して最初に聴講して授業で、計算理論の先生が
「構造化プログラミングの根本的な利点は、プログラムの情報量だ。
構造化されていないプログラムに対して、構造化されているプログラムは情報量を大幅に節約できる。
n個のノードを持つDAGの数と、n個のノードを持つ木の数を比べてみなさい。」
とおっしゃってたのを思い出した。
合掌。
Re:彼がいなかったらどんな世界なんだろう... (スコア:0)
XXXXがいなかったらというのは変だと思います。
いなくても、必ず必要なものは開発されていたと思うからです。
それが、論理というものだと信じています!!
Re:彼がいなかったらどんな世界なんだろう... (スコア:3, すばらしい洞察)
というのはちょっと的外れでしょう。
例えば、ニュートンがいなくとも、ライプニッツが微分法を考えついたであろう事は確かですが、力学方面への応用は一世紀遅れたかも知れません。
あるいは、シュレーディンガーなしでも量子力学は成立しえたでしょうが、世の物理学者に量子論が受け入れられるには相当の時間を要したでしょう。
「誰某がいなかったら」と問うのは無意味ではありません。 自然科学的には、確かに自然法則は不変ですから、いつかは誰かが発見 (計算方法であれば発明) するでしょう (但し、文明が無限に長い期間継続すると仮定して)。 しかし、定式化や方法論が異なったり (シュヴィンガー・朝永・ファインマン・ダイソン etc) 実現時期が遅れたり (ガウスが平行線公理の「実験」なんぞせずに素直に幾何学化していれば...) するのです。
この一節は (少なくとも私には) 意味不明です。 論理とは全く無関係だと思います (logic という意味で「論理」を用いていないのであれば、予想もしない別解があるのかも知れませんが)。
Re:彼がいなかったらどんな世界なんだろう... (スコア:2, 興味深い)
Re:彼がいなかったらどんな世界なんだろう... (スコア:1)
Re:彼がいなかったらどんな世界なんだろう... (スコア:1)
>のであれば、予想もしない別解があるのかも知れませんが)。
AならばBである、みたいな、AとBとの間の繋がり具合、つまり「線」が、論理っすね。
で、論理自体は、AやBみたいな「点」そのものについては、何も語らない(^^;
AやBの内側に更に細かい構造が存在するならば、その構造要素間の線を語るために論理の出番が有りますが。
「いつかは誰かが必ず見つける」のは、線ではなく、AやBみたいな点のほう、ですよね。
で、たしかこの点のほうは、論理ではなく「理論」と呼ばれるもののほうであったと、記憶しています。
Re:彼がいなかったらどんな世界なんだろう... (スコア:1)
多くの人が“必要なもの”と認識していれば,それは必ずいつかは開発される鴨.
でも,開発されるまで人々が必要と気付かなかったものも,この世には
多くあるのではないですかね.
それを気付かせることが出来た故の天才なのであって.
#もちろん,気付いた後は,“論理”の出番ですけどね.
Re:彼がいなかったらどんな世界なんだろう... (スコア:0)
「より優れた人がいてあることを発見するはずだったが、
今の世界はその人は死んでしまっていて発見されていない。
そのことは誰か別の人が発見するんだろうか」
とか妄想したりします。
お約束ですが (スコア:0)
Re:お約束ですが (スコア:1)