Skordev, Dimitar

Dimitar Genchev Skordev ( bulgară: Dimitar Genchev Skordev , născut în 1936 la Sofia) este un matematician bulgar, lector de multă vreme la Departamentul de Logică Matematică și Aplicațiile sale de la Facultatea de Matematică și Informatică a Universității din Sofia .

Biografie

Educație și muncă

Născut în 1936 în familia arhitecților Gencho Skordev (Gencho Skordev a fost și una dintre figurile mișcării turistice din Bulgaria) [2] și Elena Varakadzhieva-Skordeva . A studiat la Universitatea din Sofia , apoi a efectuat un stagiu la Departamentul de Logică Matematică a Facultății de Mecanică și Matematică a Universității de Stat din Moscova . În 1972, a devenit șeful Sectorului de logică matematică al Academiei Bulgare de Științe și al Universității din Sofia , iar în 1989, șeful Departamentului de logică matematică și aplicații ale Universității din Sofia , lucrând în această funcție până în 2000. În 1989 a primit titlul de profesor. Este unul dintre pionierii logicii matematice din Bulgaria, autorul școlii științifice bulgare în domeniul teoriei computabilității (teoria algebrică a recursiunilor). Interesele sale de cercetare includ calculabilitatea și complexitatea în calcul, logica matematică, teoria recursiunii generalizate și teoria programelor și calculului.

Activitate științifică

Skordev are 50 de ani de experiență de predare în calcul, logică matematică, programare logică, matematică discretă și informatică. Este autorul a peste 100 de publicații științifice și pseudoștiințifice (inclusiv două monografii). Împreună cu Dimitar Dobrev, lector la Institutul de Matematică și Informatică al Academiei Bulgare de Științe , a fost autorul proiectului de standard național prBDS 5237:2006 „Dispozitive de tastatură și dispozitive pentru introducerea informațiilor în limba bulgară”, subiectul căruia a fost :

• tastaturi pentru dispozitive electronice cu 48 de taste alfanumerice care suportă sistemul Fonetic și sistemul OBD;
• tastaturi pentru dispozitive electronice cu 12 taste alfanumerice care suporta sistemul Alfabet si Fonetic;
• tastaturi cu 46 de taste alfanumerice pentru mașini de scris care acceptă sistemul OBD.

Legătura cu Rusia și URSS

Skordev vorbește engleză și rusă. Un număr dintre articolele sale au fost publicate în reviste științifice sovietice și ruse. Unul dintre profesorii lui Skordev a fost matematicianul A.A.Markov [3] , care la unul dintre seminarii a pus sarcina elevilor săi să învețe cum să rezolve „ecuații în cuvinte”. Condiția problemei Markov a fost următoarea, potrivit lui Blagovest Sendov , [4] colegul lui Skordev:

Să presupunem că aveți un alfabet de n litere diferite și să presupunem că aveți și o „ecuație”, să spunem abc = cde . Demonstrați că dacă această ecuație este netrivială, adică nu a = a , atunci alfabetul original poate fi exprimat în termenii unui alt alfabet, format deja din n - 1 litere diferite.

Dimitar însuși nu a putut rezolva problema, drept urmare a apelat la Sennov pentru ajutor, care într-o săptămână a reușit să compună o soluție scurtă a problemei „prin inducție”, presupunând că în primul alfabet erau doar două litere, si unul in al doilea. Skordev i-a prezentat lui Markov o soluție comună a problemei cu Sennov, care a fost mulțumit, iar ulterior a ajutat la publicarea rezultatului într-un articol într-unul dintre jurnalele germane despre logică: aceasta a fost singura publicație comună a lui Sennov și Skordev.

Publicații de Skordev în limba rusă

Din cele peste 100 de publicații ale lui Skordev, o parte semnificativă este scrisă în limba rusă [5] :

• Pe unele spații semi-ordonate. // DAN URSS, 138, Nr. 3, 1961, 553-555.
• Despre ecuații în cuvinte. // Logik und Grundlagen der Mathematik, 7, No. 4, 1961, 289-297 ( împreună cu Bl. Sendov ).
• Spații semi-ordonate cu un sistem de separare de operatori liniari. // Spisy přírodovědecké fakulty University JE Purkyně v Brně, A 28, nr.9, 1964, 489-490.
• Aproximativ o clasă de funcții recursive primitive. // Anul. pe Sof. univ., Mat. fak., 60 (1965/1966), 1967, 105-111.
• Câteva exemple simple de funcții generice. // DAN URSS, 190, Nr. 1, 1970, 45-46.
• Despre continuitatea unor functionali si inchiderea unor conuri. // Anul. pe Sof. univ., Mat. fak., 64 (1969/1970), 1971, 209-212.
• Despre elementele indecompuse în sensul lui J. Tagamlitsky. // Mathematica Balkanica, 2, 1972, 212-214.
• Câteva exemple de funcții universale definite recursiv folosind sisteme mici de egalități. // Cercetări privind teoria algoritmilor și logica matematică, vol. I, Moscova, Centrul de calcul al Academiei de Științe a URSS, 1973, 134-177.
• Completați recursiv operații pe cuvinte. // Rapoartele BAN, 27, Nr. 4, 1974, 449-452.
• O generalizare a teoriei funcțiilor recursive. // DAN URSS, 219, Nr. 5, 1974, 1079-1082.
• Pe funcții multivalorice ale mai multor variabile. // Rapoartele BAN, 28, Nr. 7, 1975, 885-888.
• Câteva exemple topologice de spații combinatorii iterative. // Rapoartele BAN, 28, Nr. 12, 1975, 1575-1578.
• Observații despre teoria integrării. // Anul. pe Sof. univ., FMM, 67 (1972/1973), 1976, 165-167.
• Cateva modele de logica combinatorie. // Note de matematică, 19, nr. 1, 1976, 149-154.
• Unele spații combinatorii asociate cu complexitatea prelucrării datelor. // Rapoartele BAN, 29, Nr. 1, 1976, 7-10.
• Despre ordonarea parțială a unei mulțimi în spații combinatorii. // Rapoartele BAN, 29, Nr. 2, 1976, 151-154.
• Conceptul de computabilitate de căutare din punctul de vedere al teoriei spațiilor combinatorii. // Serdika, 2, nr. 4, 1976, 343-349.
• Forma normală a termenilor în spații combinatorii iterative. // Matematică și educație matematică, Dokl. pe Petata conferinta de zbor pe BMD (Gabrovo, 8-10.IV.1976), Sofia, 1990, 130-137.
• Generalizarea algebrică a unui rezultat al lui Böhm și Jacopini. // Rapoartele BAN, 32, Nr. 2, 1979, 151-154.
• structuri combinatorii. // Serdika, 5, No. 2, 1979, 128-148 ( împreună cu V. Petrov )
• spații semicombinatorii. // Rapoartele BAN, 33, Nr. 6, 1980, 739-742.
• Spații combinatorii și recursivitate în ele. Sofia, Ed. la BAN, 1980, 455 p.
• Aplicarea teoriei abstracte a recursiunii pentru a explora posibilitățile sistemelor de programare funcțională. // Teoria și practica matematică a sistemelor software, Proceedings of the Soviet-Bulgarian meeting, Novosibirsk, Computing Center of the Siberian Branch of the URSS Academy of Sciences, 1982, 7-16.
• O metodă pentru calcularea valorilor funcțiilor definite recursiv. // Culegere de rapoarte, Sesiune științifică aniversară, dedicată aniversării a 1300 de ani de la dzharzhava bulgară și a 10 ani de la VPI (Shumen, 20-22.X.1981), Fizică, Matematică, Shumen, 1982, 176-187.
• Pe o imersiune a algebrelor Post iterative în semigrupuri. // Algebră și logică, 21, nr. 2, 1982, 228-241.
• Prima teoremă de recursivitate pentru spații iterative semi-combinatorii. // Logica matematică, Lucrările conferinței de logică matematică dedicată memoriei lui A. A. Markov (1903-1979), (Sofia, 22-23.IX.1980), Sofia, 1984, 89-111.
• Pe unele sisteme formale pentru teoria spațiilor semicombinatorii iterative. // Anul. pe Sof. univ., FMM, 79 (1985), carte. 1, 1989, 323-347.
• Câteva exemple noi de spații semicombinatorii iterative. // Anul. pe Sof. univ., FMI, 81 (1987), 1994, 225-236.

Note

1. ↑ Genealogia matematică  (engleză) - 1997.
2. ↑ Sofia ține minte. PARTSEL 7 Arhivat 4 martie 2016 la Wayback Machine  (bulgară)
3. ↑ Aventurile logicii în Rusia și în lume 1  (rusă)
4. ↑ Vasily Demidovich, Seven Arts, nr. 9. Interviu cu Blagovest Sendov Arhivat 8 august 2016 la Wayback Machine  (rusă)
5. ↑ Publicații despre prof. MD Dimitar Skordev Arhivat 10 iunie 2016 la Wayback Machine  (bulgară)

Link -uri

• Profil pe site-ul Universității din Sofia  (engleză)
•  Câteva note istorice scurte despre dezvoltarea logicii matematice la Sofia
• Pagina personală de pe site-ul All-Russian Mathematical Portal

Site-uri tematice	Genealogie matematică zbMATH Deschide
În cataloagele bibliografice BNF : 12366851r ISNI : 0000 0001 1610 9252 J9U : 987007441813905171 LCCN : n81108101 NTA : 073455806 NUKAT : n99011558 VIAF : 27144337 WorldCat VIAF : 27144337