本文首先说明了计算机硬件、软件在战略防御倡议(SDI)所要建立的防御系统中的重要地位。认为,SDI系统所需要的硬件是完全有可能研制出来的,但是软件的研制是困难的,其关键在于软件的正确性无法得到保证。文中详细地介绍了软件专家戴维·帕那斯教授对这个问题的看法,以及其他计算机科学家对帕那斯教授的观点的反应。 This article begins with an illustration of the importance of computer hardware and software in the defensive systems to be established by the Strategic Defense Initiative (SDI). It is considered that the hardware needed by SDI system is completely possible to be developed, but the software development is difficult. The key point is that the correctness of the software can not be guaranteed. The article gives a detailed account of the views of software expert Professor David Daphne on the subject and the reactions of other computer scientists to Professor Panas.