Jarkko J. Kariเป็นนักคณิตศาสตร์และนักวิทยาศาสตร์คอมพิวเตอร์ชาวฟินแลนด์ เป็นที่รู้จักจากผลงานของเขาในทฤษฎีของWang tilesและcellular automataปัจจุบัน Kari เป็นศาสตราจารย์ประจำภาควิชาคณิตศาสตร์มหาวิทยาลัย Turku ^{[ 1 ]}

Kari ได้รับปริญญาเอกในปี 1990 จากมหาวิทยาลัย Turku โดยมีArto Salomaa เป็น อาจารย์ ที่ปรึกษาวิทยานิพนธ์ ^{[ 2 ]}

เขาแต่งงานกับLila Kari ^ซึ่งเป็นนักศึกษาคณิตศาสตร์ที่ Turku ในเวลาต่อมา ทั้งคู่หย่าร้างกัน และต่อมา Lila Kari ก็ได้เป็นศาสตราจารย์ด้านวิทยาการคอมพิวเตอร์ที่มหาวิทยาลัย Western Ontarioในแคนาดา [ ^{3 ]}

กระเบื้อง Wangคือสี่เหลี่ยมจัตุรัสหน่วยที่มีเครื่องหมายสีอยู่แต่ละด้าน สามารถใช้ปูพื้นผิวระนาบได้แต่ต้องใช้กระเบื้องที่มีสีตรงกันบนขอบที่อยู่ติดกันเท่านั้น ปัญหาในการพิจารณาว่าชุดกระเบื้อง Wang สร้างการปูพื้นผิวที่ถูกต้องหรือไม่นั้นไม่สามารถตัดสินได้และความไม่สามารถตัดสินได้นั้นขึ้นอยู่กับการค้นหาชุดกระเบื้อง Wang ที่สามารถปูพื้นผิวระนาบได้แบบไม่เป็นคาบเท่านั้น ในลักษณะที่ไม่มีการเลื่อนระนาบใด ๆ ที่เป็นสมมาตรของการปูพื้นผิว ชุดกระเบื้อง Wang แบบไม่เป็นคาบชุดแรกที่ค้นพบโดย Robert Berger มีกระเบื้องที่แตกต่างกันมากกว่า 20,000 ชิ้น Kari ลดขนาดของชุดนี้เหลือเพียง 14 ชิ้น โดยการค้นหาชุดกระเบื้องที่ (เมื่อใช้ปูพื้นผิวระนาบ) จำลองการสร้างลำดับBeattyโดยเครื่องจักร Mealy [ ^{4 ] ต่อ}มาได้แสดงให้เห็นว่าวิธีการเดียวกันนี้นำไปสู่ชุดกระเบื้องแบบไม่เป็นคาบจำนวน 13 ชิ้น ซึ่งเป็นจำนวนขั้นต่ำที่ทราบ^{[ 5 ]} Kari ยังแสดงให้เห็นว่าปัญหาการปูพื้น Wang ยังคงไม่สามารถตัดสินได้ใน^{ระนาบ}ไฮเปอร์โบลิก [ ^{6 ]}และได้ค้นพบชุดกระเบื้อง Wang ที่มีคุณสมบัติทางคณิตศาสตร์เพิ่มเติม^{[ 7 ]}

Kari ยังใช้ปัญหาการปูพื้นของ Wang เป็นพื้นฐานในการพิสูจน์ว่าปัญหาเชิงอัลกอริทึมหลายอย่างในทฤษฎีออโตมาตาเซลลูลาร์ไม่สามารถตัดสินได้ โดยเฉพาะอย่างยิ่ง ในงานวิจัยวิทยานิพนธ์ของเขา เขาได้แสดงให้เห็นว่าไม่สามารถตัดสินได้ว่ากฎออโตมาตาเซลลูลาร์ที่กำหนดในสองมิติขึ้นไปสามารถย้อนกลับได้ หรือ ไม่^{[ 8 ]}สำหรับออโตมาตาเซลลูลาร์หนึ่งมิติ ความสามารถในการย้อนกลับเป็นที่ทราบกันว่าสามารถตัดสินได้ และ Kari ได้ให้ขอบเขตที่แน่นหนาเกี่ยวกับขนาดของบริเวณใกล้เคียงที่จำเป็นในการจำลองพลวัตย้อนกลับของออโตมาตาหนึ่งมิติที่สามารถย้อนกลับได้^{[ 9 ]}

• หน้าแรกส่วนตัวของ Jarkko Kari

บทความเกี่ยวกับนักวิทยาศาสตร์ชาวฟินแลนด์ชิ้นนี้ยังไม่สมบูรณ์คุณสามารถช่วยวิกิพีเดียได้โดยการเพิ่มข้อมูลที่ขาดหายไป

• วี
• ที
• อี

บทความเกี่ยวกับนักคณิตศาสตร์ ชาวยุโรปชิ้นนี้ ยังไม่สมบูรณ์คุณสามารถช่วยวิกิพีเดียได้โดยการเพิ่มข้อมูลที่ขาดหายไป

• วี
• ที
• อี