Skordev, Dimitar

Dimitar Genchev Skordev ( búlgaro: Dimitar Genchev Skordev , nacido en 1936 en Sofía) es un matemático búlgaro, profesor desde hace mucho tiempo en el Departamento de Lógica Matemática y sus Aplicaciones en la Facultad de Matemáticas e Informática de la Universidad de Sofía .

Biografía

Educación y trabajo

Nacido en 1936 en la familia de los arquitectos Gencho Skordev (Gencho Skordev también fue una de las figuras del movimiento turístico en Bulgaria) [2] y Elena Varakadzhieva-Skordeva . Estudió en la Universidad de Sofía y luego completó una pasantía en el Departamento de Lógica Matemática de la Facultad de Mecánica y Matemáticas de la Universidad Estatal de Moscú . En 1972, se convirtió en el jefe del Sector de Lógica Matemática de la Academia de Ciencias de Bulgaria y la Universidad de Sofía , y en 1989, en el jefe del Departamento de Lógica Matemática y sus Aplicaciones de la Universidad de Sofía , cargo que ocupó hasta el año 2000. En 1989 recibió el título de profesor. Es uno de los pioneros de la lógica matemática en Bulgaria, autor de la escuela científica búlgara en el campo de la teoría de la computabilidad (la teoría algebraica de las recurrencias). Sus intereses de investigación incluyen computabilidad y complejidad en cálculo, lógica matemática, teoría de recursividad generalizada y teoría de programas y cálculo.

Actividad científica

Skordev tiene 50 años de experiencia docente en cálculo, lógica matemática, programación lógica, matemáticas discretas e informática. Es autor de más de 100 publicaciones científicas y pseudocientíficas (incluidas dos monografías). Junto con Dimitar Dobrev, profesor del Instituto de Matemáticas e Informática de la Academia de Ciencias de Bulgaria , fue el autor del borrador de la norma nacional prBDS 5237:2006 "Diseños de teclado y dispositivos para ingresar información en búlgaro", cuyo tema era :

• teclados para dispositivos electrónicos con 48 teclas alfanuméricas que soportan el sistema Fonético y el sistema OBD;
• teclados para dispositivos electrónicos con 12 teclas alfanuméricas que soportan el sistema Alfabético y Fonético;
• teclados de 46 teclas alfanuméricas para máquinas de escribir que soporten el sistema OBD.

Conexión con Rusia y la URSS

Skordev habla inglés y ruso. Varios de sus artículos fueron publicados en revistas científicas soviéticas y rusas. Uno de los maestros de Skordev fue el matemático A.A.Markov [3] , quien en uno de los seminarios planteó a sus alumnos la tarea de aprender a resolver "ecuaciones en palabras". La condición del problema de Markov era la siguiente, según Blagovest Sendov , [4] colega de Skordev:

Digamos que tiene un alfabeto de n letras diferentes y también tiene una "ecuación", digamos abc = cde . Demuestre que si esta ecuación no es trivial, es decir, no a = a , entonces el alfabeto original puede expresarse en términos de otro alfabeto, que ya consta de n - 1 letras diferentes.

El propio Dimitar no pudo resolver el problema, por lo que recurrió a Sendov en busca de ayuda, quien en una semana logró componer una breve solución al problema "por inducción", asumiendo que solo había dos letras en el primer alfabeto, y uno en el segundo. Skordev presentó una solución conjunta del problema con Sendov a Markov, quien quedó satisfecho y luego ayudó a publicar el resultado en un artículo en una de las revistas alemanas sobre lógica: esta fue la única publicación conjunta de Sendov y Skordev.

Publicaciones de Skordev en ruso

De más de 100 publicaciones de Skordev, una parte significativa está escrita en ruso [5] :

• En algunos espacios semi-ordenados. // DAN URSS, 138, No. 3, 1961, 553-555.
• Sobre ecuaciones en palabras. // Logik und Grundlagen der Mathematik, 7, No. 4, 1961, 289-297 ( junto con Bl. Sendov ).
• Espacios semiordenados con sistema separador de operadores lineales. // Spisy přírodovědecké fakulty University JE Purkyně v Brně, A 28, nº 9, 1964, 489-490.
• Acerca de una clase de funciones recursivas primitivas. // Año. en Sof. univ., Mat. fak., 60 (1965/1966), 1967, 105-111.
• Algunos ejemplos simples de funciones genéricas. // DAN URSS, 190, No. 1, 1970, 45-46.
• Sobre la continuidad de algunos funcionales y la clausura de algunos conos. // Año. en Sof. univ., Mat. fak., 64 (1969/1970), 1971, 209-212.
• Sobre elementos indescomponibles en el sentido de J. Tagamlitsky. // Mathematica Balkanica, 2, 1972, 212-214.
• Algunos ejemplos de funciones universales definidas recursivamente usando pequeños sistemas de igualdades. // Investigación sobre la teoría de los algoritmos y la lógica matemática, volumen I, Moscú, Centro de Computación de la Academia de Ciencias de la URSS, 1973, 134-177.
• Operaciones completas recursivas con palabras. // Informes de la BAN, 27, No. 4, 1974, 449-452.
• Una generalización de la teoría de funciones recursivas. // DAN URSS, 219, No. 5, 1974, 1079-1082.
• Sobre funciones multivaluadas de varias variables. // Informes de la BAN, 28, No. 7, 1975, 885-888.
• Algunos ejemplos topológicos de espacios combinatorios iterativos. // Informes de la BAN, 28, No. 12, 1975, 1575-1578.
• Comentarios sobre la teoría de la integración. // Año. en Sof. univ., FMM, 67 (1972/1973), 1976, 165-167.
• Algunos modelos de lógica combinatoria. // Notas Matemáticas, 19, No. 1, 1976, 149-154.
• Algunos espacios combinatorios asociados a la complejidad del procesamiento de datos. // Informes de BAN, 29, No. 1, 1976, 7-10.
• Sobre la ordenación parcial de un conjunto en espacios combinatorios. // Informes de la BAN, 29, No. 2, 1976, 151-154.
• El concepto de computabilidad de búsqueda desde el punto de vista de la teoría de espacios combinatorios. // Serdika, 2, nº 4, 1976, 343-349.
• Forma normal de términos en espacios combinatorios iterativos. // Matemáticas y educación matemática, Dokl. sobre la conferencia de vuelo de Petata sobre BMD (Gabrovo, 8-10.IV.1976), Sofia, 1990, 130-137.
• Generalización algebraica de un resultado de Böhm y Jacopini. // Informes de BAN, 32, No. 2, 1979, 151-154.
• estructuras combinatorias. // Serdika, 5, No. 2, 1979, 128-148 ( junto con V. Petrov )
• espacios semicombinatorios. // Informes de BAN, 33, No. 6, 1980, 739-742.
• Espacios combinatorios y recursividad en ellos. Sofía, Ed. en BAN, 1980, 455 p.
• Aplicación de la teoría abstracta de la recursividad para explorar las posibilidades de los sistemas de programación funcional. // Teoría matemática y práctica de sistemas de software, Actas de la reunión soviético-búlgara, Novosibirsk, Centro de Computación de la Rama Siberiana de la Academia de Ciencias de la URSS, 1982, 7-16.
• Un método para calcular los valores de funciones definidas recursivamente. // Colección de informes, Sesión científica de aniversario, dedicada al 1300 aniversario del dzharzhava búlgaro y al 10 aniversario del VPI (Shumen, 20-22.X.1981), Física, Matemáticas, Shumen, 1982, 176-187.
• Sobre una inmersión de post-álgebras iterativas en semigrupos. // Álgebra y Lógica, 21, No. 2, 1982, 228-241.
• El primer teorema de recursión para espacios semicombinatorios iterativos. // Lógica matemática, Actas de la conferencia sobre lógica matemática dedicada a la memoria de A. A. Markov (1903-1979), (Sofia, 22-23.IX.1980), Sofia, 1984, 89-111.
• Sobre algunos sistemas formales para la teoría de espacios semicombinatorios iterativos. // Año. en Sof. univ., FMM, 79 (1985), libro. 1, 1989, 323-347.
• Algunos nuevos ejemplos de espacios semicombinatorios iterativos. // Año. en Sof. univ., FMI, 81 (1987), 1994, 225-236.

Notas

1. ↑ Genealogía matemática  (inglés) - 1997.
2. ↑ Sofía recuerda. PARTSEL 7 Archivado el 4 de marzo de 2016 en Wayback Machine  (búlgaro)
3. ↑ Aventuras de la lógica en Rusia y en el mundo 1  (ruso)
4. ↑ Vasily Demidovich, Seven Arts, n.º 9. Entrevista con Blagovest Sendov Archivado el 8 de agosto de 2016 en Wayback Machine  (ruso)
5. ↑ Publicaciones sobre el prof. Maryland Dimitar Skordev Archivado el 10 de junio de 2016 en Wayback Machine  (búlgaro)

Enlaces

• Perfil en el sitio web de la Universidad de Sofía  (inglés)
•  Algunas breves notas históricas sobre el desarrollo de la lógica matemática en Sofía
• Página personal en el sitio Portal matemático de toda Rusia

sitios temáticos	genealogía matemática zbMATH Abierto
En catálogos bibliográficos BNF : 12366851r ISNI : 0000 0001 1610 9252 J9U : 987007441813905171 LCCN : n81108101 NTA : 073455806 NUKAT : n99011558 VIAF : 27144337 WorldCat VIAF : 27144337