词条 | Andrzej Ehrenfeucht |
释义 |
| name = Andrzej Ehrenfeucht | image = | image_size = | caption = | birth_date = {{birth date and age|1932|08|08|mf=y}} | birth_place = Wilno, Poland | death_date = | death_place = | nationality = Polish American | fields = Mathematics | workplaces = University of Colorado at Boulder | alma_mater = University of Warsaw | doctoral_advisor = Andrzej Mostowski | doctoral_students = David Haussler Eugene Myers Ross McConnell | known_for = | awards = }} Andrzej Ehrenfeucht ({{IPA-pol|ˈand.ʐɛj ˈɛrɛnfɔjxt|lang}}, born August 8, 1932) is a Polish American mathematician and computer scientist. He formulated the Ehrenfeucht–Fraïssé game, using the back-and-forth method given by Roland Fraïssé in his thesis. The Ehrenfeucht–Mycielski sequence is also named after him. Ehrenfeucht married Alfred Tarski's daughter Ina Tarski.[1] In 1971 he was a founding member of the Department of Computer Science at the University of Colorado. Ehrenfeucht is currently teaching and doing research at the University of Colorado, where he runs the project "breaking away" together with Patricia Baggett. The project aims at raising high school students' interest in mathematics and technology with hands-on projects. Two of his students, Eugene Myers and David Haussler, were contributors to the sequencing of the human genome. Haussler and Myers, along with Harold Gabow, Ross McConnell and Grzegorz Rozenberg spoke at a two-day symposium in honor of his 80th birthday, which was organized at the University of Colorado in 2012.[2] Two journal issues have come out in his honor, one at his 65th birthday in Lecture Notes in Computer Science,[3] and one at his 80th in Theoretical Computer Science.[4] BibliographyBooks authored or co-authored by Ehrenfeucht include:
Ehrenfeucht's papers published in Fundamenta Mathematicae. Access through Wirtualna Biblioteka Nauki.
References1. ^Anita B. Feferman and Solomon Feferman, Alfred Tarski: Life and Logic, Cambridge University Press, 2004. {{ISBN|0-521-80240-7}}, pp. 239–242. 2. ^{{cite web | url=http://events.colorado.edu/EventList.aspx?fromdate=8/18/2012&todate=9/16/2012&display=Month&type=public&eventidn=11648&view=EventDetails&information_id=58565 | title=The 80th Birthday Symposium for Andrzej Ehrenfeucht, Distinguished Professor of Computer Science | work=University of Colorado Boulder | accessdate=2012-08-19 }} 3. ^Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa (Eds.): Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht. Lecture Notes in Computer Science 1261 Springer 1997, {{ISBN|3-540-63246-8}}, pages I-X available for download. Accessed 04-29-2009 4. ^{{cite journal | journal = Theoretical Computer Science | volume = 457 | pages = 1–180 | date = 5 October 2012 | doi = 10.1016/j.tcs.2012.07.015 | url = http://www.sciencedirect.com/science/journal/03043975/454 | title = Formal and Natural Computing: Honoring the 80th Birthday of Andrzej Ehrenfeucht (Special Issue)| accessdate=2012-09-14 | last1 = Rozenberg | first1 = G. }} External links
8 : 1932 births|Living people|American mathematicians|American computer scientists|Polish emigrants to the United States|Polish computer scientists|University of Warsaw alumni|University of Colorado faculty |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。