Andrzej Ehrenfeucht
| Andrzej Ehrenfeucht | |
|---|---|
| Nascimento | 8 de agosto de 1932 (91 anos) Vilnius |
| Cidadania | Polónia, Estados Unidos |
| Alma mater | Universidade de Varsóvia |
| Ocupação | matemático, cientista de computação |
| Empregador(a) | Universidade do Colorado |
| Orientador(a)(es/s) | Andrzej Mostowski[1] |
| Orientado(a)(s) | David Haussler, Don Jensen, Eugene Myers |
| Instituições | Universidade do Colorado em Boulder |
| Campo(s) | matemática, ciência da computação |
| Página oficial | |
| http://www.cs.colorado.edu/~andrzej/ | |
Andrzej Ehrenfeucht (Vilnius, 8 de agosto de 1932) é um matemático e cientista da computação polonês-estadunidense. Trabalha principalmente nas áreas de lógica matemática e bioinformática.
Vida e obra[editar | editar código-fonte]
Ehrenfeucht estudou matemática na Universidade de Varsóvia e obteve um doutorado no Instituto de Matemática da Academia de Ciências da Polônia, orientado por Andrzej Mostowski.[1][2] Desde 1972 é professor de informática e Distinguished Professor da Universidade do Colorado em Boulder.[3]
É conhecido pela técnica do jogo de Ehrenfeucht–Fraïssé (com o francês Roland Fraïssé como resultado de sua tese de 1950), que possibilita mostrar a equivalência elementar, ou não equivalência, de estruturas na teoria dos modelos.[4]
Casou com Ina Tarski, filha de Alfred Tarski.
Obras[editar | editar código-fonte]
- Andrzej Ehrenfeucht, Tero Harju, Ion Petre, David M. Prescott, Grzegorz Rozenberg Computation in living cells: gene assembly in ciliates, Springer, 2004, ISBN 3540407952
- Patricia Baggett, Andrzej Ehrenfeucht Breaking Away from the Math Book: creative projects for grades K-6, ISBN 1566762995
- Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg: The Theory of 2-Structures: A Framework for Decomposition and Transformation of Graphs, World Scientific, 1999. ISBN 9810240422
Bibliografia[editar | editar código-fonte]
- Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa (Editores): Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht, Lecture Notes in Computer Science, Volume 1261, Springer Verlag 1997
Referências
- ↑ a b Andrzej Ehrenfeucht (em inglês) no Mathematics Genealogy Project
- ↑ Em 2008 foi coeditor de um volume comemorativo a Mostowski: Andrzej Mostowski and Foundational Studies (Editores A. Ehrenfeucht, V.W. Marek, M. Srebrny), IOS Press 2008
- ↑ Nomeação de Distinguished Professor
- ↑ Ehrenfeucht An application of games to the completeness problem for formalized theories, Fundamenta Mathematicae, Volume 49, 1961, p. 129–141
