Dimiter Skordev
Dimiter Skordev ( búlgaro : Димитър Скордев ) (nacido en 1936 en Sofía ) es profesor en el Departamento de Lógica y Aplicaciones Matemáticas de la Facultad de Matemáticas e Informática de la Universidad de Sofía . Presidente del departamento en 1972-2000. Doyen y pionero de la investigación de la lógica matemática en Bulgaria que desarrolló una escuela búlgara en la teoría de la computabilidad, a saber, la teoría de la recursividad algebraica (o axiomática). Fue el ganador de Acad en 1981 . El premio Nikola Obreshkov , el premio búlgaro más importante en matemáticas, otorgado por su monografía Combinatory Spaces and Recursiveness in Them . [1]
El campo de interés científico de Skordev incluye computabilidad y complejidad en análisis , lógica matemática , teoría de recursividad generalizada y teoría de programas y computación .
Skordev tiene más de 45 años de experiencia en conferencias en cálculo , lógica matemática , programación lógica , matemáticas discretas e informática . Es autor de unas 90 publicaciones científicas, incluidas dos monografías, y fue uno de los autores del nuevo diseño de teclado fonético búlgaro propuesto (pero rechazado) para convertirse en estándar estatal en 2006.
