Freeman Dyson. Disturbing the Universe. Harper and Row, 1979. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Parallel Beta Reduction is Not Elementary Recursive - Asperti, Mairson (1998) (5 citations) (Correct)
....draw one that isn t. Hoa85] But as Richard Feynman and Julian Schwinger showed in the history of quantum electrodynamics, a picture can indeed be worth ten thousand equations: Feynman was able to diagramatically work out calculations that seemed interminable by more formal means (see, e.g. [Dys79, Sch94]) Lamping s graphs give a similarly important insight into the inherent process of optimal reduction that transcends the particularities of his implementation technology. From a logical and proof theoretical perspective, the main result shows that in implementation of optimal evaluation, almost ....
Freeman Dyson. Disturbing the Universe. Harper and Row, 1979.
Parallel Beta Reduction is Not Elementary Recursive - Asperti, Mairson (1998) (5 citations) (Correct)
....draw one that isn t. Hoa85] But as Richard Feynman and Julian Schwinger showed in the history of quantum electrodynamics, a picture can indeed be worth ten thousand equations: Feynman was able to diagramatically work out calculations that seemed interminable by more formal means (see, e.g. [Dys79, Sch94]) Lamping s graphs give insight into the inherent process of optimal reduction that transcends the particularities of his implementation technology. A reinterpretation of the main theorem gives bounds on the complexity of cut elimination in multiplicativeexponential linear logic (mell) and in ....
Freeman Dyson. Disturbing the Universe. Harper and Row, 1979.
Parallel Beta Reduction is Not Elementary Recursive - Asperti, Mairson (1998) (5 citations) (Correct)
....draw one that isn t. Hoa85] But as Richard Feynman and Julian Schwinger showed in the history of quantum electrodynamics, a picture can indeed be worth ten thousand equations: Feynman was able to diagramatically work out calculations that seemed interminable by more formal means (see, e.g. [Dys79, Sch94]) Lamping s graphs give an similarly important insight into the inherent process of optimal reduction that transcends the particularities of his implementation technology. From a logical and proof theoretical perspective, the main result shows that in implementation of optimal evaluation, almost ....
Freeman Dyson. Disturbing the Universe. Harper and Row, 1979.
A Survey of Artificial Life and Evolutionary Robotics - Walker, Oliver (1997) (Correct)
....time, expand to fully utilize any resource capable of supporting it. An example of this is the fresh water system also known as Artificial Living Plants [48] The concept uses self replicating ships afloat on the oceans of the world which reproduce and create an extra by product: fresh water[19](p.197 198) Dyson provided a great deal of vision and spoke of the promise of these systems. He was also aware of the potential hazards of self replicators and always included words of caution in any discussion about them. The systems seem to yield unbounded payoff for finite investment, by ....
....but once the cork is pulled the genie may be impossible to put away. Technology is like the genie, resistant to discovery but stubbornly persistent to remain in use once developed. Some of the greatest thinkers in A Life, when considering the lessons of the atomic bomb, the warnings of Dyson [19], or the predictions of Levy[42] speak of caution. Computer viruses are annoying, but they have no power to affect the physical world outside their computer (once it is switched off or isolated) One can only imagine the detrimental effects of self producing robots gone awry or of self ....
F. Dyson. Disturbing the Universe. Harper and Row, New York, NY, 1979.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC