Skodev, Dimitar

Dimitar Genchev Skordev ( bulgariska: Dimitar Genchev Skordev , född 1936 i Sofia) är en bulgarisk matematiker, mångårig lektor vid institutionen för matematisk logik och dess tillämpningar vid fakulteten för matematik och informatik vid Sofias universitet .

Biografi

Utbildning och arbete

Född 1936 i familjen av arkitekterna Gencho Skordev (Gencho Skordev var också en av figurerna i turismrörelsen i Bulgarien) [2] och Elena Varakadzhieva-Skordeva . Han studerade vid Sofias universitet och avslutade sedan en praktik vid institutionen för matematisk logik vid fakulteten för mekanik och matematik vid Moskvas statliga universitet . 1972 blev han chef för den matematiska logiksektorn vid Bulgarian Academy of Sciences och Sofia University , och 1989 chef för Institutionen för matematisk logik och dess tillämpningar vid Sofia University , efter att ha arbetat i denna position fram till 2000. 1989 fick han titeln professor. Han är en av pionjärerna inom matematisk logik i Bulgarien, författaren till den bulgariska vetenskapsskolan inom området beräkningsteorin (den algebraiska teorin om rekursioner). Hans forskningsintressen inkluderar beräkningsbarhet och komplexitet i kalkyl, matematisk logik, generaliserad rekursionsteori och program- och kalkylteori.

Vetenskaplig verksamhet

Skordev har 50 års erfarenhet av undervisning inom kalkyl, matematisk logik, logikprogrammering, diskret matematik och datavetenskap. Han är författare till mer än 100 vetenskapliga och pseudovetenskapliga publikationer (inklusive två monografier). Tillsammans med Dimitar Dobrev, föreläsare vid Institutet för matematik och informatik vid Bulgarian Academy of Sciences , var han författaren till utkastet till nationell standard prBDS 5237:2006 "Tangentbordslayouter och enheter för inmatning av information på bulgariska", vars ämne var :

• tangentbord för elektroniska enheter med 48 alfanumeriska tangenter som stöder det fonetiska systemet och OBD-systemet;
• tangentbord för elektroniska enheter med 12 alfanumeriska tangenter som stöder alfabetet och det fonetiska systemet;
• tangentbord med 46 alfanumeriska tangenter för skrivmaskiner som stödjer OBD-systemet.

Förbindelse med Ryssland och Sovjetunionen

Skodev talar engelska och ryska. Ett antal av hans artiklar publicerades i sovjetiska och ryska vetenskapliga tidskrifter. En av Skodevs lärare var matematikern A.A.Markov [3] , som vid ett av seminarierna satte i uppgift för sina elever att lära sig att lösa ”ekvationer i ord”. Tillståndet för Markov-problemet var följande, enligt Blagovest Sendov , [4] Skodevs kollega:

Låt oss säga att du har ett alfabet med n olika bokstäver, och låt oss säga att du också har en "ekvation", låt oss säga abc = cde . Bevisa att om denna ekvation är icke-trivial, det vill säga inte a = a , så kan det ursprungliga alfabetet uttryckas i termer av ett annat alfabet, som redan består av n - 1 olika bokstäver.

Dimitar själv kunde inte lösa problemet, vilket ledde till att han vände sig till Sendov för hjälp, som på en vecka lyckades komponera en kort lösning på problemet "genom induktion", förutsatt att det bara fanns två bokstäver i det första alfabetet, och en i den andra. Skordev presenterade en gemensam lösning av problemet med Sendov för Markov, som var nöjd, och hjälpte senare till att publicera resultatet i en artikel i en av de tyska tidskrifterna om logik: detta var den enda gemensamma publikationen av Sendov och Skordev.

Publikationer av Skodev på ryska

Av mer än 100 publikationer av Skodev är en betydande del skriven på ryska [5] :

• På vissa halvordnade utrymmen. // DAN USSR, 138, nr 3, 1961, 553-555.
• Om ekvationer i ord. // Logik und Grundlagen der Mathematik, 7, nr 4, 1961, 289-297 ( tillsammans med Bl. Sendov ).
• Halvordnade utrymmen med ett separeringssystem av linjära operatorer. // Spisy přírodovědecké fakulty University JE Purkyně v Brně, A 28, nr 9, 1964, 489-490.
• Ungefär en klass av primitiva rekursiva funktioner. // År. på Sof. univ., Mat. fak., 60 (1965/1966), 1967, 105-111.
• Några enkla exempel på generiska funktioner. // DAN USSR, 190, nr 1, 1970, 45-46.
• Om kontinuiteten hos vissa funktioner och slutenheten hos vissa kottar. // År. på Sof. univ., Mat. fak., 64 (1969/1970), 1971, 209-212.
• Om oupplösliga element i J. Tagamlitskys mening. // Mathematica Balkanica, 2, 1972, 212-214.
• Några exempel på universella funktioner definierade rekursivt med hjälp av små system av likheter. // Forskning om teorin om algoritmer och matematisk logik, volym I, Moskva, Computing Center of the Academy of Sciences of the USSR, 1973, 134-177.
• Rekursivt genomför operationer på ord. // Reports of the BAN, 27, nr 4, 1974, 449-452.
• En generalisering av teorin om rekursiva funktioner. // DAN USSR, 219, nr 5, 1974, 1079-1082.
• På flervärdiga funktioner av flera variabler. // Reports of the BAN, 28, nr 7, 1975, 885-888.
• Några topologiska exempel på iterativa kombinatoriska rum. // Rapporter om BAN, 28, nr 12, 1975, 1575-1578.
• Anmärkningar om integrationsteorin. // År. på Sof. univ., FMM, 67 (1972/1973), 1976, 165-167.
• Några modeller av kombinatorisk logik. // Mathematical Notes, 19, nr 1, 1976, 149-154.
• Vissa kombinatoriska utrymmen förknippade med komplexiteten i databehandling. // Rapporter om BAN, 29, nr 1, 1976, 7-10.
• Om partiell ordning av en uppsättning i kombinatoriska utrymmen. // Rapporter om BAN, 29, nr 2, 1976, 151-154.
• Begreppet sökberäknarbarhet ur teorin om kombinatoriska utrymmen. // Serdika, 2, nr 4, 1976, 343-349.
• Normal form av termer i iterativa kombinatoriska rum. // Matematik och matematisk utbildning, Dokl. om Petata flygkonferens om BMD (Gabrovo, 8-10.IV.1976), Sofia, 1990, 130-137.
• Algebraisk generalisering av ett resultat av Böhm och Jacopini. // Rapporter om BAN, 32, nr 2, 1979, 151-154.
• kombinatoriska strukturer. // Serdika, 5, nr 2, 1979, 128-148 ( tillsammans med V. Petrov )
• semi-kombinatoriska utrymmen. // Rapporter om BAN, 33, nr 6, 1980, 739-742.
• Kombinatoriska rum och rekursivitet i dem. Sofia, Ed. vid BAN, 1980, 455 sid.
• Tillämpning av den abstrakta teorin om rekursion för att utforska möjligheterna med funktionella programmeringssystem. // Matematisk teori och praktik av mjukvarusystem, Proceedings of the sovjet-bulgarian meeting, Novosibirsk, Computing Center of the Siberian Branch of the USSR Academy of Sciences, 1982, 7-16.
• En metod för att beräkna värdena för rekursivt definierade funktioner. // Samling av rapporter, Jubileumsvetenskaplig session, tillägnad 1300-årsdagen av den bulgariska dzharzhava och 10-årsdagen av VPI (Shumen, 20-22.X.1981), Physics, Mathematics, Shumen, 1982-1876.
• På en nedsänkning av iterativa postalgebror i semigrupper. // Algebra and Logic, 21, nr 2, 1982, 228-241.
• Det första rekursionssatsen för iterativa semi-kombinatoriska rum. // Matematisk logik, Proceedings of the conference on matematisk logik tillägnad minnet av A. A. Markov (1903-1979), (Sofia, 22-23.IX.1980), Sofia, 1984, 89-111.
• Om några formella system för teorin om iterativa semikombinatoriska rum. // År. på Sof. univ., FMM, 79 (1985), bok. 1, 1989, 323-347.
• Några nya exempel på iterativa semikombinatoriska utrymmen. // År. på Sof. univ., FMI, 81 (1987), 1994, 225-236.

Anteckningar

1. ↑ Mathematical Genealogy  (engelska) - 1997.
2. ↑ Sofia minns. PARTSEL 7 Arkiverad 4 mars 2016 på Wayback Machine  (bulgariska)
3. ↑ Logikens äventyr i Ryssland och i världen 1  (ryska)
4. ↑ Vasily Demidovich, Seven Arts, nr 9. Intervju med Blagovest Sendov Arkiverad 8 augusti 2016 på Wayback Machine  (ryska)
5. ↑ Publikationer om prof. MD Dimitar Skodev Arkiverad 10 juni 2016 på Wayback Machine  (bulgariska)

Länkar

• Profil på Sofias universitets webbplats  (engelska)
•  Några korta historiska anteckningar om utveckling av matematisk logik i Sofia
• Personlig sida på webbplatsen All-Russian Mathematical Portal

Tematiska platser	Matematisk släktforskning zbMATH Öppna
I bibliografiska kataloger BNF : 12366851r ISNI : 0000 0001 1610 9252 J9U : 987007441813905171 LCCN : n81108101 NTA : 073455806 NUKAT : n99011558 VIAF : 27144337 WorldCat VIAF : 27144337