Skordev, Dimitar

Dimitar Genchev Skordev ( bulharsky: Dimitar Genchev Skordev , narozen v roce 1936 v Sofii) je bulharský matematik, dlouholetý přednášející na katedře matematické logiky a jejích aplikací na Fakultě matematiky a informatiky Sofijské univerzity .

Životopis

Vzdělání a práce

Narodil se v roce 1936 v rodině architektů Gencho Skordeva (Gencho Skordev byl také jednou z postav turistického hnutí v Bulharsku) [2] a Eleny Varakadzhieva-Skordeva . Studoval na Sofijské univerzitě a poté absolvoval stáž na katedře matematické logiky Fakulty mechaniky a matematiky Moskevské státní univerzity . V roce 1972 se stal vedoucím sektoru matematické logiky Bulharské akademie věd a Sofijské univerzity a v roce 1989 vedoucím katedry matematické logiky a jejích aplikací Sofijské univerzity , který v této pozici pracoval až do roku 2000. V roce 1989 získal titul profesor. Je jedním z průkopníků matematické logiky v Bulharsku, autor bulharské vědecké školy v oblasti teorie vyčíslitelnosti (algebraické teorie rekurze). Mezi jeho výzkumné zájmy patří vyčíslitelnost a složitost v kalkulu, matematická logika, zobecněná teorie rekurze a teorie programů a kalkulu.

Vědecká činnost

Skordev má 50 let zkušeností s výukou počtu, matematické logiky, logického programování, diskrétní matematiky a informatiky. Je autorem více než 100 vědeckých a pseudovědeckých publikací (včetně dvou monografií). Spolu s Dimitarem Dobrevem, lektorem Ústavu matematiky a informatiky Bulharské akademie věd , byl autorem návrhu národního standardu prBDS 5237:2006 „Rozvržení klávesnice a zařízení pro zadávání informací v bulharštině“, jehož předmětem byly :

• klávesnice pro elektronická zařízení se 48 alfanumerickými klávesami podporujícími fonetický systém a systém OBD;
• klávesnice pro elektronická zařízení s 12 alfanumerickými klávesami, které podporují abecední a fonetický systém;
• klávesnice se 46 alfanumerickými klávesami pro psací stroje, které podporují systém OBD.

Spojení s Ruskem a SSSR

Skordev mluví anglicky a rusky. Řada jeho článků byla publikována v sovětských a ruských vědeckých časopisech. Jedním ze Skordevových učitelů byl matematik A.A.Markov [3] , který na jednom ze seminářů zadal svým studentům úkol naučit se řešit „rovnice ve slovech“. Stav Markovova problému byl podle Blagovesta Sendova [ 4] Skordevova kolegy následující:

Řekněme, že máte abecedu o n různých písmenech a řekněme, že máte také jednu „rovnici“, řekněme abc = cde . Dokažte, že pokud je tato rovnice netriviální, tedy ne a = a , pak lze původní abecedu vyjádřit pomocí jiné abecedy, která se již skládá z n - 1 různých písmen.

Sám Dimitar nedokázal problém vyřešit, v důsledku čehož se obrátil o pomoc na Sendova, kterému se za týden podařilo sestavit stručné řešení problému „indukcí“, za předpokladu, že v první abecedě jsou pouze dvě písmena, a jeden ve druhém. Skordev předložil Markovovi společné řešení problému se Sendovem, který byl spokojen, a později pomohl výsledek publikovat v článku v jednom z německých časopisů o logice: toto byla jediná společná publikace Sendova a Skordeva.

Publikace Skordeva v ruštině

Z více než 100 publikací Skordeva je významná část napsána v ruštině [5] :

• Na některých částečně uspořádaných prostorech. // DAN SSSR, 138, č. 3, 1961, 553-555.
• O rovnicích ve slovech. // Logik und Grundlagen der Mathematik, 7, č. 4, 1961, 289-297 ( spolu s Bl. Sendovem ).
• Polouspořádané prostory s oddělovacím systémem lineárních operátorů. // Spisy přírodovědecké fakulty University JE Purkyně v Brně, A 28, č. 9, 1964, 489-490.
• O jedné třídě primitivních rekurzivních funkcí. // Rok. na Sof. univ., Mat. fak., 60 (1965/1966), 1967, 105-111.
• Několik jednoduchých příkladů generických funkcí. // DAN SSSR, 190, č. 1, 1970, 45-46.
• O návaznosti některých funkcionalit a uzavřenosti některých kuželů. // Rok. na Sof. univ., Mat. fak., 64 (1969/1970), 1971, 209-212.
• O nerozložitelných prvcích ve smyslu J. Tagamlitského. // Mathematica Balkanica, 2, 1972, 212-214.
• Některé příklady univerzálních funkcí definovaných rekurzivně pomocí malých systémů rovnosti. // Výzkum teorie algoritmů a matematické logiky, svazek I, Moskva, Výpočetní středisko Akademie věd SSSR, 1973, 134-177.
• Rekurzivně dokončete operace se slovy. // Zprávy BAN, 27, č. 4, 1974, 449-452.
• Jedno zobecnění teorie rekurzivních funkcí. // DAN SSSR, 219, č. 5, 1974, 1079-1082.
• O vícehodnotových funkcích několika proměnných. // Zprávy BAN, 28, č. 7, 1975, 885-888.
• Některé topologické příklady iterativních kombinatorických prostorů. // Zprávy BAN, 28, č. 12, 1975, 1575-1578.
• Poznámky k teorii integrace. // Rok. na Sof. univ., FMM, 67 (1972/1973), 1976, 165-167.
• Některé modely kombinatorické logiky. // Matematické poznámky, 19, č. 1, 1976, 149-154.
• Některé kombinatorické prostory spojené se složitostí zpracování dat. // Zprávy BAN, 29, č. 1, 1976, 7-10.
• O částečném uspořádání množiny v kombinatorických prostorech. // Zprávy BAN, 29, č. 2, 1976, 151-154.
• Pojem vyhledávací vyčíslitelnosti z pohledu teorie kombinatorických prostorů. // Serdika, 2, č. 4, 1976, 343-349.
• Normální forma termů v iterativních kombinatorických prostorech. // Matematika a matematická výchova, Dokl. o létání Petata konference o BMD (Gabrovo, 8.-10.IV.1976), Sofie, 1990, 130-137.
• Algebraické zobecnění jednoho výsledku Böhma a Jacopiniho. // Zprávy BAN, 32, č. 2, 1979, 151-154.
• kombinatorické struktury. // Serdika, 5, č. 2, 1979, 128-148 ( spolu s V. Petrovem )
• semi-kombinatorické prostory. // Zprávy BAN, 33, č. 6, 1980, 739-742.
• Kombinatorické prostory a rekurzivita v nich. Sofie, Ed. v BAN, 1980, 455 s.
• Aplikace abstraktní teorie rekurze k prozkoumání možností systémů funkcionálního programování. // Matematická teorie a praxe softwarových systémů, Sborník ze sovětsko-bulharského setkání, Novosibirsk, Výpočetní centrum sibiřské pobočky Akademie věd SSSR, 1982, 7.-16.
• Jedna metoda pro výpočet hodnot rekurzivně definovaných funkcí. // Sborník zpráv, Jubilejní vědecké zasedání, věnované 1300. výročí bulharské džaržavy a 10. výročí VPI (Šumen, 20.-22.X.1981), Fyzika, matematika, Šumen, 1982, 176-187.
• O ponoření iterativních Post algeber do pologrup. // Algebra a logika, 21, č. 2, 1982, 228-241.
• První věta o rekurzi pro iterativní semi-kombinatorické prostory. // Matematická logika, Sborník příspěvků z konference o matematické logice věnované památce A. A. Markova (1903-1979), (Sofie, 22.-23.IX.1980), Sofie, 1984, 89-111.
• O některých formálních systémech pro teorii iteračních semikombinatorických prostorů. // Rok. na Sof. univ., FMM, 79 (1985), kniha. 1, 1989, 323-347.
• Některé nové příklady iterativních semikombinatorických prostorů. // Rok. na Sof. univ., FMI, 81 (1987), 1994, 225-236.

Poznámky

1. ↑ Matematická genealogie  (anglicky) - 1997.
2. ↑ Sofie pamatuj. PARTSEL 7 Archivováno 4. března 2016 na Wayback Machine  (bulharština)
3. ↑ Dobrodružství logiky v Rusku a ve světě 1  (ruština)
4. ↑ Vasilij Demidovič, Sedm umění, č. 9. Rozhovor s Blagovest Sendov Archivováno 8. srpna 2016 na Wayback Machine  (ruština)
5. ↑ Publikace o prof. MUDr Dimitar Skordev Archivováno 10. června 2016 na Wayback Machine  (bulharština)

Odkazy

• Profil na webu Sofijské univerzity  (anglicky)
•  Několik krátkých historických poznámek o vývoji matematické logiky v Sofii
• Osobní stránka na webu All-Russian Mathematical Portal

Tematické stránky	Matematická genealogie zbMATH Otevřeno
V bibliografických katalozích BNF : 12366851r ISNI : 0000 0001 1610 9252 J9U : 987007441813905171 LCCN : n81108101 NTA : 073455806 NUKAT : n99011558 VIAF : 27144337 WorldCat VIAF : 27144337