António Aniceto Ribeiro Monteiro (Moçâmedes, 31 de mayo de 1907 - Bahía Blanca, 29 de octubre de 1980), citado también como António A. R. Monteiro, fue un matemático y lógico portugués. Desarrolló su carrera en Portugal, Brasil y Argentina; teniendo un papel central en la organización institucional dedicada a la investigación matemática en esos países. Su obra matemática abarcó el análisis funcional, la topología general, la teoría de retículos, los conjuntos ordenados, las álgebras de Boole, las álgebras de Heyting, las álgebras de Nelson, las álgebras monádicas y las estructuras algebraicas asociadas a lógicas no clásicas. Biografía
Primeros años y formación Monteiro nació el 31 de mayo de 1907 en Moçâmedes, entonces parte de la Angola portuguesa. Tras la muerte de su padre, cuando tenía siete años, su familia regresó a Portugal. Estudió en el Colégio Militar entre 1917 y 1925 y posteriormente ingresó en la Facultad de Ciencias de la Universidad de Lisboa, donde obtuvo la licenciatura en Ciencias Matemáticas en 1930.
En 1931 obtuvo una beca del Instituto para a Alta Cultura, dependiente del Ministerio de Educación portugués, que le permitió estudiar en París, en el Instituto Henri Poincaré. En 1936 recibió el grado de Docteur ès Sciences por la Universidad de París con la tesis Sur l’additivité des noyaux de Fredholm, dirigida por Maurice Fréchet.
Actividad en Portugal Después de regresar a Portugal en 1936, Monteiro quedó excluido de la vida universitaria oficial por negarse a firmar una declaración de adhesión al orden político establecido por la Constitución portuguesa de 1933. Durante esos años, se sostuvo mediante clases particulares y trabajos de catalogación bibliográfica, al mismo tiempo que impulsaba la organización moderna de la investigación matemática portuguesa. Entre 1939 y 1945 participó en la creación y consolidación de seminarios, centros de investigación, publicaciones y sociedades matemáticas. Entre sus iniciativas se cuentan el Seminário de Análise Geral de Lisboa, la Junta de Investigação Matemática, la revista Portugaliae Mathematica, la Gazeta de Matemática y la Sociedad Portuguesa de Matemática, de la cual fue primer secretario.
Durante esa etapa formó o influyó en matemáticos portugueses como Hugo Ribeiro y José Sebastião e Silva, y publicó trabajos sobre análisis general, topología, espacios abstractos y estructuras algebraicas vinculadas a la lógica.
Brasil En diciembre de 1945 Monteiro fue contratado como profesor en la Universidad del Brasil, actual Universidad Federal de Río de Janeiro. En Brasil tuvo contacto con matemáticos como Leopoldo Nachbin, Maurício Peixoto y otros jóvenes investigadores que recibieron su influencia directa. Durante su permanencia en Río de Janeiro, trabajó en la Facultad Nacional de Filosofía, colaboró con la Fundación Getulio Vargas y participó en la organización del Centro Brasileiro de Pesquisas Físicas. También impulsó la serie Notas de Matemática, cuyo primer volumen fue publicado en 1948. Según el testimonio de Nachbin, Monteiro enfatizaba en su enseñanza e investigación la unidad de la matemática, relacionando topología general, análisis funcional, conjuntos ordenados, retículos y álgebras de Boole.
En 1949, su contrato en Brasil no fue renovado. Esta decisión se ha atribuido históricamente a ciertas presiones vinculadas con su oposición al régimen portugués de António de Oliveira Salazar. Como consecuencia, Monteiro y su familia se trasladaron a Argentina.
Argentina Monteiro llegó a Argentina en 1950, contratado por la Universidad Nacional de Cuyo. Su primer destino fue la Facultad de Ingeniería de San Juan, por recomendación de Julio Rey Pastor. Allí contribuyó a modernizar la enseñanza matemática y participó en la creación del Departamento de Investigaciones Científicas y del Instituto de Matemática, que llegó a ser uno de los principales centros matemáticos argentinos de la época.
En 1955 fue coeditor de la Revista Matemática Cuyana, junto con Mischa Cotlar y Eduardo Zarantonello. En 1956 se trasladó a Bahía Blanca, donde se incorporó a la recién creada Universidad Nacional del Sur. Allí organizó el Instituto de Matemática y colaboró con Oscar Varsavsky en el diseño de la licenciatura en Matemática. La biblioteca del Instituto de Matemática de la Universidad Nacional del Sur lleva su nombre y ha sido destacada como una de las mejores bibliotecas matemáticas de América Latina.
Entre los visitantes invitados al Instituto durante su gestión se encontraban Helena Rasiowa, Roman Sikorski, Makoto Itoh, Paulo Ribenboim, Jean Porte, Mischa Cotlar y Kiyoshi Iseki. Monteiro dirigió el Instituto durante varios periodos breves entre 1957 y 1964, aunque evitaba ocupar cargos directivos prolongados para concentrarse en la investigación, la organización científica y la dirección de discípulos.
Últimos años En 1970 fue nombrado profesor emérito de la Universidad Nacional del Sur. En 1974, durante el periodo de intervención política de las universidades argentinas, fue separado de su cargo e incluso se le prohibió ingresar al edificio universitario y consultar la biblioteca que él mismo había contribuido a formar.
En 1977 regresó temporalmente a Portugal, invitado por el Instituto Nacional de Investigação Científica. Allí abrió una línea de investigación en lógica algebraica en el Centro de Matemática y Aplicaciones Fundamentales de la Universidad de Lisboa. En 1978 recibió el Premio Gulbenkian de Ciencia y Tecnología por la memoria "Sur les algèbres de Heyting symétriques [Sobre álgebras de Heyting simétricas]", publicada posteriormente en Portugaliae Mathematica. Volvió a Bahía Blanca en 1979 y murió allí el 29 de octubre de 1980.
Obra matemática La producción matemática de Monteiro se desarrolló inicialmente, a través de su tesis doctoral, en torno al análisis funcional, la teoría de núcleos integrales y la topología general.
A partir de la década de 1940, sus investigaciones se orientaron progresivamente hacia estructuras algebraicas vinculadas a la topología y a la lógica. Estudió filtros, ideales, espacios topológicos, conjuntos parcialmente ordenados, retículos, álgebras de Boole, álgebras de Brouwer, álgebras de Heyting y álgebras monádicas.
En Bahía Blanca desarrolló una escuela de lógica algebraica. Su contacto con Roman Sikorski y Helena Rasiowa en 1958 estimuló su interés por los aspectos algebraicos de la lógica. Monteiro investigó sistemas algebraicos asociados a lógicas no clásicas y defendió el uso de métodos finitistas y combinatorios para estudiar clases de álgebras relacionadas con la lógica.
Entre sus resultados se encuentran trabajos sobre álgebras monádicas de Heyting, álgebras de Nelson, álgebras de Łukasiewicz trivalentes, álgebras de De Morgan y representaciones algebraicas de lógicas no clásicas. Monteiro mostró, entre otros resultados, que la clase de las álgebras de Nelson semisimples coincide con la clase de álgebras correspondientes a la lógica trivalente de Jan Łukasiewicz, y que cada álgebra trivalente de Łukasiewicz puede representarse como una adecuada álgebra booleana monádica. También obtuvo fórmulas para contar los elementos de álgebras libres en clases asociadas a cálculos proposicionales de Łukasiewicz de valores finitos. Concretamente, en 1969, Monteiro obtuvo la fórmula
para calcular el número de elementos del álgebra libre con generadores correspondiente al cálculo proposicional -valuado de Łukasiewicz, resolviendo un problema abierto desde 1930 relativo al conteo de las fórmulas proposicionales no equivalentes de dicho cálculo.Cignoli, Roberto (1985). «Antonio Monteiro, 1907-1980». Revista Colombiana de Matemáticas 19: 4-5.
Computación teórica Monteiro tuvo un papel temprano en el desarrollo de los estudios teóricos de computación en Argentina, siendo pionero de los estudios computacionales teóricos en el país. Desde finales de la década de 1950 manifestó un interés activo por la computación, especialmente por sus fundamentos teóricos y por sus vínculos con la lógica algebraica. En la Universidad Nacional del Sur apoyó el proyecto CEUNS, orientado a construir una computadora electrónica universitaria. Monteiro entendía la computación como un nuevo campo de investigación ligado a la matemática, lo que le llevó a notar la necesidad de formar especialistas con una base teórica sólida. De ahí que promoviera cursos y contactos internacionales vinculados a teoría de la computación, la lógica modal y a los fundamentos matemáticos de la informática.
Reconocimientos En 1978 recibió el Premio Gulbenkian de Ciencia y Tecnología por su trabajo sobre álgebras de Heyting simétricas. En 2000, el gobierno portugués le concedió póstumamente la Gran Cruz de la Orden Militar de Santiago de la Espada.
La Sociedad Portuguesa de Matemática dedicó un volumen de Portugaliae Mathematica a su memoria, y el Congreso Internacional de Matemáticos celebrado en Madrid en 2006 dedicó una sesión a la conmemoración de su centenario.
Sus obras completas fueron publicadas en ocho volúmenes bajo el título The Works of António A. Monteiro, editadas por Eduardo L. Ortiz y Alfredo Pereira Gomes, con apoyo de la Fundación Calouste Gulbenkian, la Humboldt Press de Londres y las academias científicas de Francia, Portugal, Brasil y Argentina.
La Universidad Nacional del Sur y el Instituto de Matemática de Bahía Blanca organizan periódicamente el Congreso Dr. Antonio A. R. Monteiro. Después de cada edición se publica un volumen de la serie Actas del Congreso Antonio Monteiro, que incluye trabajos aceptados por referato, notas de cursos, conferencias y resúmenes de comunicaciones.
Obras seleccionadas
Véase también
Lógica matemática Lógica algebraica Lógica no clásica Álgebra de Boole Álgebra de Heyting Lógica polivalente Universidad Nacional del Sur Universidad Nacional de Cuyo Universidad de Lisboa Maurice Fréchet Leopoldo Nachbin Oscar Varsavsky Roberto Cignoli Mario Tourasse Teixeira
Referencias
Bibliografía
Enlaces externos
António A. Monteiro en el Complete Dictionary of Scientific Biography Roberto Cignoli, "The Mathematics of António Aniceto Monteiro"
Categoría:Hombres Categoría:Nacidos en 1907 Categoría:Fallecidos en 1980 Categoría:Matemáticos de Portugal Categoría:Matemáticos del siglo XX Categoría:Lógicos Categoría:Alumnado de la Universidad de Lisboa Categoría:Profesores de la Universidad Nacional del Sur