Kari, Jarkko
Az oldal jelenlegi verzióját még nem ellenőrizték tapasztalt közreműködők, és jelentősen eltérhet a 2021. október 19-én felülvizsgált verziótól ; az ellenőrzéshez 1 szerkesztés szükséges .| Jarkko Kari | |
|---|---|
| uszony. Jarkko Kari | |
| Születési dátum | 1964. június 23. [1] (58 évesen) |
| Születési hely | |
| Ország | |
| Tudományos szféra | matematika , programozás |
| Munkavégzés helye | |
| alma Mater | Turku Egyetem |
| Akadémiai fokozat | A filozófia doktora (PhD) |
| tudományos tanácsadója | Arto Salomaa |
| Weboldal | users.utu.fi/jkari/ |
Jarkko Kari finn matematikus és programozó, aki a Domino Van és a sejtautomata fejlesztésében való közreműködéséről ismert . Kari jelenleg a Turkui Egyetem Matematika Tanszékének professzora .
Életrajz
Kari 1990-ben szerzett PhD fokozatot a Turkui Egyetemen. Szakdolgozatát Arto Salomaa irányította.
Felesége Lila Kari volt, aki egy időben Turkuban tanult. Válása után Leela Kari informatika professzor lett a kanadai Nyugat-Ontario Egyetemen .
Kutatás
Wang dominója egységnégyzetek halmaza, amelyek oldalai eltérő színűek. Ezekből egy egész mozaikot rakhat ki úgy, hogy csak az azonos színű élek csatlakozzanak egymáshoz. A feladat végrehajtásához nem lehet négyzeteket elforgatni és átfordítani. Wang problémája a matematikai logika eldönthetetlenségének problémájához kapcsolódik. Wang azt javasolta, hogy a különböző négyzetekkel kirakott burkolólapok idővel időszakos burkolóanyagot öltsenek. A Wang probléma megoldására 1964-ben Robert Berger 20426 különböző négyzetet használt. Kari viszont egy mindössze 14 négyzetből álló készletet használt, ami lehetővé tette számára, hogy találjon egy olyan halmazt, amely megismétli a Beatty Sequence folyamatot a Mealy automatákon . Később ez a megközelítés lehetővé tette, hogy egy 13 négyzetből álló halmazból aperiodikus mozaik kerüljön kihelyezésre, ami jelenleg a minimális négyzetszámú halmaz. Kari azt is bemutatta, hogy Wang problémája továbbra is megoldhatatlan a hiperbolikus síkon, miközben további matematikai tulajdonságokkal rendelkező Wang-elemeket fedezett fel.
Kari Wang problémájára támaszkodva bebizonyította, hogy számos olyan algoritmikus probléma van a sejtautomata elméletben, amelyek megoldhatatlannak tekinthetők. Kari különösen azt mutatta be, hogy lehetetlen meghatározni, hogy egy adott sejtes berendezés két vagy több dimenzióban reverzibilis-e vagy sem. Az 1D cellás automaták esetében a reverzibilitásról azt feltételezzük, hogy eldönthető, és Kari szigorú korlátokat szabott a reverzibilis 1D automaták fordított dinamikájának szimulálásához szükséges pontok környezetének méretére.
Jegyzetek
- ↑ 1 2 Suomen professorit 1640–2007 - Finn Egyetemi Professzorok Szövetsége , 2008. - ISBN 978-952-99281-1-8 , 978-952-99281-2-5
Linkek
 Tematikus oldalak | ||||
|---|---|---|---|---|
| ||||