Joos Ulrich Heintz

De Wikipedia, la enciclopedia libre
Joos Ulrich

Joos Ulrich Heintz en 2017
Información personal
Nombre de nacimiento Joos Ulrich Heintz
Nacimiento 27 de octubre de 1945 Ver y modificar los datos en Wikidata (78 años)
Zúrich (Suiza) Ver y modificar los datos en Wikidata
Nacionalidad suizo
Educación
Educado en Universidad de Zúrich
Supervisor doctoral Volker Strassen Ver y modificar los datos en Wikidata
Información profesional
Ocupación Matemático, filósofo y antropólogo Ver y modificar los datos en Wikidata
Alumnos Juan Sabia (matemático) Ver y modificar los datos en Wikidata
[editar datos en Wikidata]

Joos Ulrich Heintz (27 de octubre de 1945, Zúrich, Suiza) es matemático y doctor en Filosofía por la Universidad de Zúrich. Además se formó como antropólogo cultural en la misma casa de estudios y como especialista en lenguas turcas y cultura Sefaradí en Alemania. Es reconocido por la creación y dirección en Buenos Aires (Argentina) del grupo de trabajo “Noaï Fitchas”, cuyos aportes en álgebra conmutativa y geometría algebraica impulsaron una corriente internacional de investigación en cuestiones de complejidad de cálculo simbólico. En el campo de la computación teórica Heintz fue pionero en el uso de circuitos como estructuras de datos y es reconocido como una autoridad en técnicas de cotas inferiores de complejidad para la evaluación de polinomios.[1]​

En Argentina, donde reside desde mediados de la década del ochenta, llegó a la categoría de Investigador Superior en el Consejo Nacional de Investigaciones Científicas y Técnicas (Conicet). Desde 2014 se desempeña como profesor emérito de la Facultad de Ciencias Exactas y Naturales de Universidad de Buenos Aires.[2]​

Biografía[editar]

Luego de vivir en diversas ciudades de Suiza, en Zagreb (Yugoslavia) y en Frankfurt (Alemania), se instaló en la Argentina en 1987 junto a su mujer, la artista plástica Ana Godel. Desde entonces y hasta 2012 dividió su tarea académica entre Buenos Aires y Santander (España), en donde fue catedrático de la Universidad de Cantabria. Además realizó estadías esporádicas en Francia, Italia, Alemania Oriental, Unión Soviética y Marruecos, a donde concurrió como docente o investigador invitado.

En 2002 comenzó a trabajar junto a Lidia Quinteros, quien en su momento lideró a los/as cartoneros/as del Tren Blanco.[3]​ Con ella llevó adelante una escuela para hijos/as de cartoneros en la localidad bonaerense José León Suárez[4]​ y en 2008 se hicieron cargo de una de las plantas recicladoras de residuos sólidos urbanos que funcionan en la Coordinación Ecológica Área Metropolitana Sociedad del Estado (Ceamse), donde trabajan alrededor de sesenta personas. Fue cartonero acreditado por el gobierno de la ciudad de Buenos Aires hasta 2007.

Formación[editar]

Realizó la licenciatura en Matemáticas en la Facultad de Filosofía II de (Ciencias Exactas) de la Universidad de Zúrich. En la misma casa de estudios hizo un doctorado en Filosofía con orientación matemática, cuya tesis estuvo dirigida por Volker Strassen.[5]​ Posteriormente alcanzó una Habilitación con Venia Lengendi en Ciencias Matemáticas en la Facultad de Matemáticas de la Universidad J.W. von Goethe, Frankfurt/Main.[6]​

También estudió Filosofía y Antropología Cultural en la Universidad de Zürich, y Turcología y Cultura Sefardí en la Universidad de Frankfurt.

Además aprendió más de una decena de idiomas: alemán, castellano, francés, inglés, italiano, ruso, croata, turco, tártaro, azerbaiyano, chino mandarín, latín y griego.[7]​

Trayectoria profesional[editar]

Su obra científica contiene contribuciones en los siguientes campos de la matemática pura y aplicada, de la informática teórica y práctica, de la filología (lingüística) y de la antropología cultural: geometría algebraica clásica, geometría semialgebraica, geometría y aproximación diofántica, álgebra conmutativa y no conmutativa (álgebras asociativas y de Lie), lógica, optimización continua y discreta, computación simbólica y seminumérica, teoría de bases de datos continuas (constraint databases), complejidad algebraica, ingeniería de software, lingüística comparativa de los idiomas turcos y antropología social de estructuras sociales y valores en general y del pauperismo en particular.[8]​

Heintz trabajó principalmente en teoría de complejidad algebraica y en geometría algebraica y semialgebraica computacionales. Para este fin desarrolló con sus colaboradores instrumentos matemáticos varios como por ejemplo la Desigualdad de Bezout[9]​ o el primer Teorema de Ceros Efectivo en característica arbitraria.[10]​ Este tipo de resultados le permitían a él y a sus colaboradores de adaptar la teoría de eliminación de Kronecker[11]​ a las exigencias de complejidad de la álgebra computacional moderna y de demostrar que todos problemas geométricos (no algebraicos) computacionales razonables pueden ser resueltos en espacio de memoria polinomial (PSPACE). Más tarde extendió estos resultados de complejidad a sistemas polinomiales de entrada dados por circuitos aritméticos. El resultado final era un algoritmo de eliminación probabilístico que era óptimo en el peor de los casos y que tenía la propiedad adicional de poder reconocer sistemas de entrada “fáciles de resolver”. Este algoritmo fue implementado más tarde por Grégoire Lecerf.[12]​ Finalmente, Heintz y sus colaboradores han probado bajo hipótesis débiles y naturales que la complejidad computacional de los problemas de eliminación es inevitablemente exponencial en el peor caso, independientemente de la estructura de datos elegida.[13]​

Heintz aplicó sus resultados y métodos a optimización polinomial entera[14]​ y a los fundamentos de la ingeniería de software.[15]​

En 1987 creó el grupo de trabajo Noaï Fitchas, cuyos aportes en álgebra conmutativa y geometría algebraica computacional impulsaron una corriente internacional de investigación en cuestiones de complejidad de cálculo simbólico.[16]​ Luego el grupo creó el proyecto internacional TERA (Turbo Evaluation and Rapid Algorithms) con colaboradores en varios universidades e instituciones científicas como la Universidad de Buenos Aires, el Consejo Nacional de Investigaciones Científicas y Técnicas de Argentina, la Universidad de Niza, la Escuela Politécnica de París, la Universidad de Cantabria (España) y la Universidad Humboldt en Berlín. En ese contexto desarrolló “Kronecker” un software basado en los resultados matemáticos innovadores del grupo, que sirve para resolver ecuaciones polinomiales de manera eficiente. La aplicación de esta tecnología sirve, por ejemplo, para optimizar el manejo de imágenes digitales. Se espera que este tipo de aplicaciones se pueda utilizar en robótica, diseño asistido por computadoras, telecomunicaciones y criptografía.[17]​

Investigación en Filología y Ciencias Sociales[editar]

Desarrolló una semántica no modal (libre de antinomias) para la lógica deóntica como herramienta para el estudio de sistemas de valores en antropología cultural.[18]​[19]​

Fue colaborador científico del “Arbeitsgruppe Soziale Infrastruktur" (Grupo de Trabajo de Infraestructura Social), en la Fakultät für Gesellschaftswissenschaften de la J. W. von Goethe Universität (Frankfurt/Main).[20]​

Por otra parte, realizó investigación en el campo de la otomanística, lingüística social y comparativa de los idiomas turcos.[21]​[22]​[23]​[24]​ El resultado principal del trabajo en lingüística comparativa fue un modelo simple y exacto para la descripción de la estructura de superficie de la fonología y morfología de idiomas turcos, respetando criterios diacrónicos de su desarrollo lingüístico. El resultado principal identifica la morfología y fonología de idiomas turcos como lenguajes regulares.[24]​ Para la misma época en que Heintz desarrollaba estas investigaciones, el lingüista finlandés Kimmo Koskenniemi trabajaba en una teoría equivalente que hoy en día se llama “Two Level Morphology”.[25]​

En 2004 retoma sus investigaciones en antropología cultural y realiza investigación comparativa (cross - cultural análisis) de mentalizaciones del pauperismo, enfocando en sistemas de valores y generación de tradiciones.[26]​[27]​

Premios y reconocimientos[editar]

  • 1982: Premio Auszeichnung (summa cum laude) por la tesis de doctorado.
  • 1988: Best Paper Award AAECC-6 (junto con L. Caniglia y A. Galligo).
  • 1991: Premio Subsidio a la Investigación Fundación Antorchas.
  • 1997: Journal of Complexity Best Paper Award (junto con B. Bank, M. Giusti y G. Mbakop).
  • 2003: Diploma al Mérito en Ciencia y Tecnología de la Fundación Konex en el área de Ingeniería Electrónica, Comunicación e Informática.[28]​
  • 2013: Journal of Complexity Best Paper Award (junto B. Kuijpers y A. Rojas Paredes).

Referencias[editar]

  1. ↑ «Departamento de computación.UBA». 
  2. ↑ «El Consejo Superior de la Universidad de Buenos Aires designa al doctor Joos Ulrich HEINTZ como Profesor Emérito.». 
  3. ↑ Engler, Verónica (octubre de 2005). «El matemático cartonero». Revista NEO (Editorial Perfil). 
  4. ↑ Bär, Nora (11 de octubre de 2007). «Insólito encuentro científico en la villa La Cárcova». Diario La Nación. 
  5. ↑ «Joos Ulrich Heintz at the Mathematics Genealogy Project». Archivado desde el original el 10 de mayo de 2019. Consultado el 9 de abril de 2020. 
  6. ↑ «W. Schwarz, J. Wolfart. Zur Geschichte des Mathematischen Seminars der Universtät Frankfurt am Main von 1914 bis 1970 (2002)». 
  7. ↑ Engler, Verónica (28 de mayo de 2012). «“Para hacer tecnología, antes hay que superar las obstrucciones ideológicas de los investigadores”». Diario Página 12. 
  8. ↑ Heintz, Joos (junio 2021). «La complejidad es el momento de la verdad». Ciencia e Investigación. Reseñas (Asociación Argentina para el Progreso de las Ciencias) 9 (2): 43-55. Consultado el 10 de julio de 2021. 
  9. ↑ Heintz, Joos (1983). «Definability and fast quantifier elimination in algebraically closed fields». Theoretical Computer Science (24): 239-277. doi:10.1016/0304-3975(83)90002-6. 
  10. ↑ Caniglia, L.; Heintz, Joos; Galligo, A. (1988). «Borne simple exponentielle pour les degrés dans le téorème des zéros sur un corps de caractéristique quelconque». Comptes rendus de l'Académie des Sciences (307): 255-258. 
  11. ↑ Kronecker, Leopold (1882). «Grundzüge einer algebraischen Theorie der arithmetischen Grössen». Journal für die reine und angewandte Mathematik (92): 1-122. 
  12. ↑ Giusti, M.; Lecerf, G.; Salvy, B. (2001). «A Gröbner free alternative for polynomial system solving». Journal of Complexity (17): 154-211. doi:10.1016/j.jco.2015.11.005. 
  13. ↑ Bank, B.; Heintz, J.; Matera, G.; Montaña, J.L.; Pardo, L.M.; Rojas Paredes, A. (2016). «Quiz games as a model for information hiding». Journal of Complexity (34): 1-29. doi:10.1016/j.jco.2015.11.005. 
  14. ↑ Bank, B.; Heintz, J.; Krick, T.; Mandel, R.; Solernó, P. (1993). «Une borne optimale pour la programmation entière quasi-convexe». Bulletin de la Société Mathématique de France (121): 299-314. doi:10.24033/bsmf.2210. 
  15. ↑ Heintz, J.; Kuijpers, B.; Rojas Paredes, A. (2013). «Software Engineering and complexity in effective Algebraic Geometry». Journal of Complexity (29): 92-138. doi:10.1016/j.jco.2012.04.005. 
  16. ↑ Berenstein, C.A.; Struppa, D.C. (1991). «Recent improvements in the complexity of the effective Nullstellensatz». Linear Algebra and its Applications (157): 203-215. doi:10.1016/0024-3795(91)90115-D. 
  17. ↑ Engler, Verónica (3 de abril de 2004). «Teoría práctica». Diario Página 12. 
  18. ↑ Heintz, Joos (1970). «Logische Analyse empirischer Forschung». Schweizerisches Archiv für Volkskunde 66 (Heft 1 / 2). 
  19. ↑ Heintz, Joos (1971). «Ländliche Gesellschaft und Urbanisation». Preprint Seminar für Volkskunde der Universität Zürich. 
  20. ↑ Schöneberg, U. (1981). «Bestimmungsgründe der Integration und Assimilation ausländischer Arbeitnehmer in der Bundesrepublik und der Schweiz». En H.-J. Hoffmann-Nowotny, K.-O. Hondrich, ed. Ausländer in der Bundesrepublik Deutschland und in der Schweiz (en alemán). Campus Verlag. pp. 449-568. 
  21. ↑ Heintz, Joos (1979). «Einige Ueberlegungen zu Sprachbarrieren und Sprachdefiziten bei Fremdarbeiterkindern». Ponencia. Seminario ¨Fremdarbeiterkinder¨, organizado por el Municipio Frankfurt/Main. 
  22. ↑ Heintz, Joos (1983). «Die Aydin Ogullari». Manuscrito.Türkologisches Seminar, J. W. von Goethe Universität, Frankfurt/Main. 
  23. ↑ Heintz, Joos (1989). «Grenzen und Möglichkeiten einer strukturalistischen Morphologie moderner Turksprachen». Ponencia. Csóma Society of Oriental Studies (Hungarian Academy of Sciences), Budapest. 
  24. ↑ a b Heintz, Joos; Schönig, Claus (1991). «Turcic Morphology as Regular Language». Central Asiatic Journal 35 (N°1 - 2): 96-122. 
  25. ↑ Karttunen, J. L.; Beesley, K. R. «http://www.ling.helsinki.fi/~koskenni/esslli-2001-karttunen/». 
  26. ↑ Heintz, J.; Quinteros, L; Tiscornia, A. (octubre de 2005). «Pre-industrial weavers and post-industrial rag pickers: A comparative study». Third International Workshop on (Semi)numerical Techniques in Polynomial Equation Solving (TERA´05) (Buenos Aires, Argentina). 
  27. ↑ Heintz, J.; Quinteros, L. (2007). «De cartoneros y cirujas: Postales del subproletariado porteño». Libre pensamiento. 
  28. ↑ «Premio Konex 2003: Ingeniería Electrónica, Comunicación e Informática». 
Obtenido de «https://es.wikipedia.org/w/index.php?title=Joos_Ulrich_Heintz&oldid=156679812»