Kari, Jarkko
Versiunea actuală a paginii nu a fost încă examinată de colaboratori experimentați și poate diferi semnificativ de versiunea revizuită la 19 octombrie 2021; verificarea necesită 1 editare .| Jarkko Kari | |
|---|---|
| fin. Jarkko Kari | |
| Data nașterii | 23 iunie 1964 [1] (58 de ani) |
| Locul nașterii | |
| Țară | |
| Sfera științifică | matematică , programare |
| Loc de munca | |
| Alma Mater | Universitatea din Turku |
| Grad academic | doctor în filozofie (doctorat) |
| consilier științific | Arto Salomaa |
| Site-ul web | users.utu.fi/jkari/ |
Jarkko Kari este un matematician și programator finlandez, cunoscut pentru contribuțiile sale la dezvoltarea lui Domino Van și a automatului celular . Kari este în prezent profesor la Departamentul de Matematică de la Universitatea din Turku .
Biografie
Kari și-a luat doctoratul în 1990 la Universitatea din Turku. Lucrarea sa de disertație a fost supervizată de Arto Salomaa.
A fost căsătorit cu Lila Kari, care la un moment dat a studiat la Turku. După divorțul ei, Leela Kari a devenit profesor de informatică la Universitatea Western Ontario din Canada .
Cercetare
Piesele de domino ale lui Wang sunt un set de pătrate unitare, ale căror laturi sunt colorate diferit. Din ele, puteți așeza un întreg mozaic, totuși, în așa fel încât doar marginile de aceeași culoare să se învețe unele cu altele. Nu puteți roti și răsturna pătratele pentru a îndeplini această sarcină. Problema lui Wang este legată de problema indecidibilității în logica matematică. Wang a sugerat că placarea, așezată cu diferite pătrate, va lua în cele din urmă forma unei plăci periodice. Pentru a rezolva problema Wang în 1964, Robert Berger a folosit 20426 de pătrate diferite. La rândul său, Kari a folosit un set de doar 14 pătrate, permițându-i să găsească un set care a replicat procesul Beatty Sequence pe automatele Mealy . Ulterior, această abordare a făcut posibilă așezarea unui mozaic aperiodic dintr-un set format din 13 pătrate, care este în prezent setul cu numărul minim de pătrate de astăzi. Kari a demonstrat, de asemenea, că problema lui Wang rămâne de nerezolvat pentru planul hiperbolic, în timp ce a descoperit elemente Wang cu proprietăți matematice suplimentare.
Kari, de asemenea, bazându-se pe problema lui Wang, a demonstrat că există o serie de probleme algoritmice în teoria automatelor celulare care pot fi considerate de nerezolvat. În special, Kari a arătat că este imposibil să se determine dacă un anumit aparat celular este reversibil în două sau mai multe dimensiuni sau nu. Pentru automatele celulare 1D, se presupune că reversibilitatea este decidabilă, iar Kari a stabilit limite strânse cu privire la dimensiunea vecinătății unui punct necesar pentru a simula dinamica inversă a automatelor 1D reversibile.
Note
- ↑ 1 2 Suomen profesorit 1640–2007 - Uniunea Profesorilor Universitari Finlandezi , 2008. - ISBN 978-952-99281-1-8 , 978-952-99281-2-5
Link -uri
 Site-uri tematice | ||||
|---|---|---|---|---|
| ||||