陈火旺院士
现在大家都知道数理逻辑的神通，电脑即由此而产生。但在五十年代，逻辑曾受到苏联的批判。毛泽东认为逻辑有用，但他只讲形式逻辑，不提数理逻辑，因此在当时是冷而又冷的冷门。陈火旺刚从复旦大学毕业，被选送北京大学进修数理逻辑，真是难得的机遇。1965年初，周恩来首次提出四个现代化，陈火旺不久即被派往英国进修物理学。他在国内没见过计算机，便从这里入手。刚学了一半，就因为“文革”爆发而被召回国，但他坚韧不拔，继续努力，后来竟成为银河一号巨型计算机的“软老总”，1987年又经中央军委任命为国防科技大学研究生院副院长，门下高材，济济一堂。赞曰：
万里迢迢为取经，半途而费岂甘心！
归来研制银河号，桃李门前倍有神。
〖三湘都市报〗1999.12.5 《三湘院士颂》栏目
哈蜊油录入