Kari, Jarkko

Den aktuelle version af siden er endnu ikke blevet gennemgået af erfarne bidragydere og kan afvige væsentligt fra den version , der blev gennemgået den 19. oktober 2021; verifikation kræver 1 redigering .
Jarkko Kari
fin. Jarkko Kari
Fødselsdato 23. juni 1964( 23-06-1964 ) [1] (58 år)
Fødselssted
Land
Videnskabelig sfære matematik , programmering
Arbejdsplads
Alma Mater Universitetet i Turku
Akademisk grad Doktor i Filosofi (PhD)
videnskabelig rådgiver Arto Salomaa
Internet side users.utu.fi/jkari/

Jarkko Kari er en finsk matematiker og programmør, kendt for sine bidrag til udviklingen af ​​Domino Van og den cellulære automat . Kari er i øjeblikket professor ved Institut for Matematik ved Universitetet i Turku .

Biografi

Kari modtog sin ph.d. i 1990 fra universitetet i Turku. Hans afhandlingsarbejde blev overvåget af Arto Salomaa.

Han var gift med Lila Kari, som på et tidspunkt studerede i Turku. Efter sin skilsmisse blev Leela Kari professor i datalogi ved University of Western Ontario i Canada .

Forskning

Wangs dominobrikker er et sæt enhedsfirkanter, hvis sider er farvet forskelligt. Fra dem kan du lægge en hel mosaik ud, dog på en sådan måde, at kun kanter af samme farve støder op til hinanden. Du kan ikke rotere og vende firkanter for at udføre denne opgave. Wangs problem er relateret til problemet med uafgørelighed i matematisk logik. Wang foreslog, at flisebelægningen, lagt ud med forskellige firkanter, til sidst ville tage form af en periodisk flisebelægning. For at løse Wang-problemet i 1964 brugte Robert Berger 20426 forskellige kvadrater. Til gengæld brugte Kari et sæt på kun 14 firkanter, hvilket gjorde det muligt for ham at finde et sæt, der replikerede Beatty Sequence-processen på Mealy automata . Efterfølgende har denne tilgang gjort det muligt at udlægge en aperiodisk mosaik fra et sæt bestående af 13 kvadrater, som i dag er det sæt med minimum antal kvadrater i dag. Kari demonstrerede også, at Wangs problem forbliver uløseligt for det hyperbolske plan, mens han opdagede Wang-elementer med yderligere matematiske egenskaber.

Kari beviste også, med udgangspunkt i Wangs problem, at der er en række algoritmiske problemer i cellulær automatteori, som kan betragtes som uløselige. Kari viste især, at det er umuligt at afgøre, om et givet cellulært apparat er reversibelt i to eller flere dimensioner eller ej. For 1D cellulære automater antages reversibilitet at være afgørbar, og Kari har sat snævre grænser for størrelsen af ​​området til et punkt, der er nødvendigt for at simulere den omvendte dynamik af reversible 1D automater.

Noter

  1. 1 2 Suomen professorit 1640–2007 - Unionen af ​​finske universitetsprofessorer , 2008. - ISBN 978-952-99281-1-8 , 978-952-99281-2-5

Links