弗里德里希·鲍尔 (Friedrich Ludwig Bauer),数学家,计算机学家。
鲍尔为著名德国计算机科学家,慕尼黑工业大学教授。这人写过一本讲古典密码学, 叫做Decrypted Secrets: Methods and Maxims of Cryptology的书, 所以我以前一直认为他是个密码学史专家, 而且似乎只是个密码学史专家。今天偶然逛到维基百科一看, 发现是一杂家。密码学史和古典密码学不说了,“软件工程”这个词是他发明的,数值分析里面有一Bauer-Fike定理。搞编译器, 在Algol 58和Algol 60委员会工作过, 写过一篇编译器领域著名的文章etc… 上世纪后半叶那段时间计算科学作为一个新发展的学科, 培养了多少牛人呀!
慕尼黑工业大学,也曾被译作慕尼黑技术大学,2008年学校规定正式中文译名为慕尼黑工业大学(英文:Technical University of Munich, 德文:Technische Universit?t München, 缩写:TUM)坐落于德国南部巴伐利亚州首府慕尼黑,是该城市众多高等学府(大约10所)之一。慕尼黑的著名大学还有慕尼黑-路德维希-马克西米连大学(Ludwig-Maximilians-Universit?t München,在国际上一般被称为慕尼黑大学)。慕尼黑工业大学于2006年10月被选为德国首批三所精英大学之一。
鲍尔基本资料编辑本段回目录
Born June 10, 1924 (1924-06-10) (age 84) Regensburg
Nationality German
Fields Computer Science
Institutions Technical University of Munich
Alma mater Ludwig-Maximilians-Universität
Known for Stack (data structure),
Sequential Formula Translation,ALGOL
Notable awards Iron Cross 2nd Class,
Bundesverdienstkreuz 1st Class,
IEEE Computer Pioneer Award
Bauer earned his Abitur in 1942 and served in the Wehrmacht (German armed forces) from 1943 to 1945. In 1946 he started studying mathematics and theoretical physics at Ludwig-Maximilians-Universität, Munich (until 1950). Since 1963, he worked as a professor for mathematics and (since 1972) computer science at Technical University of Munich. He retired in 1989.
Bauer's early work involved the construction of computing machinery (e.g. the logical relay computer Stanislaus in 1951). In this context, he was the first to propose the widely used stack method of expression evaluation. Bauer also worked in the committees that developed the imperative computer programming languages ALGOL 58 and its successor ALGOL 60, important predecessors to all modern imperative programming languages. In 1968, Bauer coined the term Software Engineering which has been in widespread use since.
Bauer was an influential figure in establishing computer science as an independent subject in German universities.
His scientific contributions spread from numerical analysis (Bauer-Fike theorem) and fundamentals of interpretation and translation of programming languages, to his later works on systematics of program development, especially program transformation methods and systems (CIP-S) and the associated wide-spectrum language system CIP-L. He also wrote a well-respected book on cryptology, Decrypted secrets, now in its fourth edition.
Friedrich Bauer is married to Dr. Hildegard Bauer-Vogg. He is the father of three sons and two daughters.
弗里德里希·鲍尔——“堆栈”概念的首创者编辑本段回目录
弗里德里希·鲍尔(Friedrich Ludwig Bauer)是继祖泽(K.Zuse)之后第二位获得计算机先驱奖的德国计算机科学家。由于他长期在德国著名的慕尼黑技术大学(Technical University of Munich)担任计算机科学教授,又是20世纪50年代末美国和欧洲联合开发算法语言Algol的最主要的倡议者和组织者之一,因此在德国、欧洲乃至世界都是知名学者。
鲍尔1924年6月10日诞生于德国巴伐利亚州的莱根斯伯格(Regensburg,Bavaria)。高中毕业时正值希特勒发动二次世界大战,鲍尔应征入伍,在陆军服役。战后,他进入慕尼黑大学学习数学、物理、天文学和逻辑学等多个专业,因此具有较宽的知识面。
1949年他通过国家教师资格考试(State Teacher Examination,德国对中小学教师的要求很严,凡想当中小学教师者必须通过这一考试)后,一面在慕尼黑的一所高级中学当教师,一面继续在慕尼黑大学深造,1952年取得博土学位。
这期间他为命题公式演算设计了一台名为STANISLAUS的并行计算机。所谓命题公式(prepositional formula)是命题逻辑中由命题变元和逻辑联结词(┐、∧、∨、→、 )按一定规则所组成的各种合式公式(well-formed formula)的统称。命题演算在开关理论和计算机逻辑设计等领域都有十分重要的应用。在STANISLAUS的开发中,鲍尔和沙默尔松(Klaus Samelson)一起为命题表达式的演算发明了“堆栈法”(stack method)。
鲍尔正是因为这一发明而被IEEE授予计算机先驱奖的。关于堆栈的概念,我们前面介绍罗伯特·巴登(R.S.Barton)时已经提过了,巴登是因为将堆栈用做存储结构,在20世纪50年代末、60年代初设计与开发了堆栈式计算机B5000而获得计算机先驱奖的。
而作为一般的“先进后出”(FILO)这一原则和方法的体现的“堆栈”,则正是的尔在解决表达式演算中在20世纪50年代初首先提出来的,而后成为计算机科学中的一个十分基本的概念而获得广泛应用的。因此,IEEE授给鲍尔计算机先驱奖的决定中指明的理由就是因为他“为计算机堆栈”(for computer stacks)所作出的贡献。
有趣的是,鲍尔当初所用的词不是“堆栈”而是“地窖”(在德文中是Keller,相当于英文中的cellar)。显然,放到地窖中去的物品也是“先进后出”的。
鲍尔其后除1958~1962年在美因茨大学(Mainz University)应用数学系任教外,其他时间都在慕尼黑技术大学任教,1972年从数学系主任岗位上调任新建的计算机科学系主任(在德国,“计算机科学”通常叫做“信息学"informatics)。
他的兴趣开始转向软件工程,尤其是软件自动化。他主持的CIP项目,即计算机辅助、直觉指导的程序设计,在世界上有很大影响。
CIP的目标是开发可形式保证程序正确性的程序开发系统。其目标有三个:第一,设计并定义一广谱语言CIP-L;第二,开发一交互系统;第三,建立一套完整的能指导程序开发中形式推理过程的方法学。
CIP的特点一是各步之间的转换的实现只借助能“保证正确性”的转换规则,二是开发过程完全由程序人员指导,亦即由程序人员选定转换规则。关于CIP,鲍尔有两卷本的专著The Munich Project CIP(Springer,1985和1987),有兴趣的读者可以参阅。
鲍尔在获得计算机先驱奖的同年,即从慕尼黑技术大学退休,但他仍继续活跃在学术界,人们经常能在专业学术刊物上看到他写的论文,在专业学术会议上听到他的报告。退休以后,他还出版过多部有关密码学的学术专著,如:
Kryptologie:Methoden and Maximen(Springer,1993;英译本书名为Decoded Secrets)
Entzifferte Geheimnisse:Methodem and Maximen der Kryptologic(Springer,1995;英译本书名为Decrypted Secrets:Methods and Maxims of Cryptology)
此外,鲍尔还有一本有关《逻辑、代数和计算》(Logic,Algebra and Computation,Springer,1991)的书,也很值得一读。
参考文献编辑本段回目录
http://en.wikipedia.org/wiki/Friedrich_L._Bauer
IEEE计算机先驱奖(1980-2000计算机科学与技术中的发明史) 编者:崔林
http://9.douban.com/site/entry/81494900/