Kari, Jarkko
Den aktuella versionen av sidan har ännu inte granskats av erfarna bidragsgivare och kan skilja sig väsentligt från versionen som granskades den 19 oktober 2021; verifiering kräver 1 redigering .| Jarkko Kari | |
|---|---|
| fena. Jarkko Kari | |
| Födelsedatum | 23 juni 1964 [1] (58 år) |
| Födelseort | |
| Land | |
| Vetenskaplig sfär | matematik , programmering |
| Arbetsplats | |
| Alma mater | Åbo universitet |
| Akademisk examen | Filosofie doktor (PhD) |
| vetenskaplig rådgivare | Arto Salomaa |
| Hemsida | users.utu.fi/jkari/ |
Jarkko Kari är en finländsk matematiker och programmerare, känd för sina bidrag till utvecklingen av Domino Van och den cellulära automaten . Kari är idag professor vid Matematiska institutionen vid Åbo universitet .
Biografi
Kari disputerade 1990 vid Åbo universitet. Hans avhandlingsarbete leddes av Arto Salomaa.
Han var gift med Lila Kari, som en gång studerade i Åbo. Efter sin skilsmässa blev Leela Kari professor i datavetenskap vid University of Western Ontario i Kanada .
Forskning
Wangs dominobrickor är en uppsättning enhetsrutor, vars sidor är olika färgade. Från dem kan du lägga ut en hel mosaik, dock på ett sådant sätt att endast kanter av samma färg gränsar till varandra. Du kan inte rotera och vända rutor för att utföra denna uppgift. Wangs problem är relaterat till problemet med oavgörbarhet i matematisk logik. Wang föreslog att plattsättningen, utlagd med olika rutor, så småningom skulle ta formen av en periodisk plattsättning. För att lösa Wang-problemet 1964 använde Robert Berger 20426 olika rutor. I sin tur använde Kari en uppsättning med endast 14 rutor, vilket gjorde att han kunde hitta en uppsättning som replikerade Beatty Sequence-processen på Mealy automata . Därefter gjorde detta tillvägagångssätt det möjligt att lägga ut en aperiodisk mosaik från en uppsättning bestående av 13 rutor, vilket för närvarande är uppsättningen med minsta antal rutor idag. Kari visade också att Wangs problem förblir olösligt för det hyperboliska planet, samtidigt som han upptäckte Wang-element med ytterligare matematiska egenskaper.
Kari har också, med utgångspunkt i Wangs problem, bevisat att det finns ett antal algoritmiska problem inom cellulär automatteorin som kan anses olösliga. Kari visade framför allt att det är omöjligt att avgöra om en given cellulär apparat är reversibel i två eller flera dimensioner eller inte. För 1D-cellulära automater antas reversibiliteten vara avgörbar, och Kari har satt snäva gränser för storleken på grannskapet till en punkt som behövs för att simulera den omvända dynamiken hos reversibla 1D-automater.
Anteckningar
- ↑ 1 2 Suomen professorit 1640–2007 - Förbundet för finska universitetsprofessorer , 2008. - ISBN 978-952-99281-1-8 , 978-952-99281-2-5
Länkar
 Tematiska platser | ||||
|---|---|---|---|---|
| ||||