Victor Witold Marek , anteriormente Wiktor Witold Marek conocido como Witek Marek (nacido el 22 de marzo de 1943), es un matemático y científico informático polaco que trabaja en los campos de la informática teórica y la lógica matemática .
Victor Witold Marek estudió matemáticas en la Facultad de Matemáticas y Física de la Universidad de Varsovia . Bajo la supervisión de Andrzej Mostowski , recibió el título de magíster en matemáticas en 1964 y el de doctor en matemáticas en 1968. Completó su habilitación en matemáticas en 1972.
En 1970-1971, Marek fue investigador postdoctoral en la Universidad de Utrecht , Países Bajos, donde trabajó con Dirk van Dalen . En 1967-1968, así como en 1973-1975, fue investigador en el Instituto de Matemáticas de la Academia Polaca de Ciencias , Varsovia, Polonia. En 1979-1980 y 1982-1983 trabajó en el Instituto Venezolano de Investigaciones Científicas. En 1976, fue nombrado profesor asistente de matemáticas en la Universidad de Varsovia .
En 1983 fue nombrado profesor de informática en la Universidad de Kentucky . Entre 1989 y 1990 fue profesor visitante de matemáticas en la Universidad de Cornell , Ithaca, Nueva York . Entre 2001 y 2002 fue profesor visitante en el Departamento de Matemáticas de la Universidad de California, San Diego .
En 2013, el profesor Marek fue presidente del Comité del programa de la conferencia científica en conmemoración del centenario de Andrzej Mostowski.
Ha supervisado numerosas tesis y proyectos de posgrado. Fue asesor de 16 candidatos a doctorado tanto en matemáticas como en informática. En particular, asesoró disertaciones en matemáticas de Małgorzata Dubiel-Lachlan, Roman Kossak, Adam Krawczyk, Tadeusz Kreid, Roman Murawski, Andrzej Pelc, Zygmunt Ratajczyk, Marian Srebrny y Zygmunt Vetulani. En informática, sus alumnos fueron VK Cody Bumgardner, Waldemar W. Koczkodaj , Witold Lipski , Joseph Oldham, Inna Pivkina, Michał Sobolewski [1], Paweł Traczyk y Zygmunt Vetulani. Estas personas han trabajado en diversas instituciones de educación superior en Canadá, Francia, Polonia y Estados Unidos.
Investigó varias áreas en los fundamentos de las matemáticas , por ejemplo, la combinatoria infinitaria ( grandes cardinales ), la metamatemática de la teoría de conjuntos , la jerarquía de conjuntos construibles , [1] modelos de aritmética de segundo orden , [2] la teoría impredicativa de las clases de Kelley-Morse . [3] Demostró que la llamada conjetura de Fraïssé ( las teorías de segundo orden de los ordinales contables son todas diferentes ) está implicada en el axioma de constructibilidad de Gödel . Junto con Marian Srebrny, investigó las propiedades de los huecos en un universo construible.
Estudió los fundamentos lógicos de la informática. A principios de la década de 1970, en colaboración con Zdzisław Pawlak , [4] [5] investigó los sistemas de almacenamiento y recuperación de información de Pawlak, [6] que entonces era un concepto ampliamente estudiado, especialmente en Europa del Este. Estos sistemas eran esencialmente bases de datos relacionales de una sola tabla , pero a diferencia de las bases de datos relacionales de Codd eran bolsas en lugar de conjuntos de registros . Estas investigaciones, a su vez, llevaron a Pawlak al concepto de conjunto aproximado , [5] estudiado por Marek y Pawlak en 1981. [7] El concepto de conjunto aproximado, en informática, estadística , topología , álgebra universal , combinatoria y lógica modal , resultó ser un lenguaje expresivo para describir, y especialmente manipular, una información incompleta.
En el área de lógicas no monótonas , un grupo de lógicas relacionadas con la inteligencia artificial , se centró en investigaciones de la lógica por defecto de Reiter , [8] y la lógica autoepistémica de R. Moore. Estas investigaciones condujeron a una forma de programación lógica llamada programación de conjuntos de respuestas [9], un formalismo de representación del conocimiento computacional , estudiado tanto en Europa como en los Estados Unidos. Junto con Mirosław Truszczynski, demostró que el problema de existencia de modelos estables de programas lógicos es NP-completo . En un formalismo más fuerte que admite símbolos de función, junto con Nerode y Remmel demostró que el problema análogo es Σ1
1-completo.
VW Marek es autor de más de 180 artículos científicos en el área de los fundamentos de las matemáticas y la informática. También fue editor de numerosas actas de reuniones científicas. Además, fue autor o coautor de varios libros. Entre ellos se incluyen: