Loading AI tools
Da Wikipédia, a enciclopédia livre
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.
Andrzej Ehrenfeucht | |
---|---|
Nascimento | 8 de agosto de 1932 (92 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/ | |
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.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.