เคนเนธ แอปเปล
เคนเนธ แอปเปล | |
|---|---|
 แอปเปลในปี 1970 | |
| เกิด | เคนเนธ ไอรา แอปเปล ( 8 ตุลาคม1932 )บรูคลิน นิวยอร์ก สหรัฐอเมริกา |
| เสียชีวิต | 19 เมษายน 2556 (อายุ 80 ปี) โดเวอร์ รัฐนิวแฮมป์เชียร์สหรัฐอเมริกา |
| สัญชาติ | อเมริกัน |
| อัลมา มัธยฐาน | ปริญญาตรี – ควีนส์คอลเลจ มหาวิทยาลัยแห่งรัฐนิวยอร์กปริญญาเอก – มหาวิทยาลัยมิชิแกน |
| เป็นที่รู้จัก ในด้าน | การพิสูจน์ทฤษฎีบทสี่สีร่วมกับWolfgang Haken |
| เด็ก | แอนดรูว์ แอปเปล[ 1 ]ปีเตอร์ เอช. แอปเปล[ 1 ] |
| รางวัล | รางวัลฟุลเคอร์สัน [1979] |
| เส้นทางอาชีพด้านวิทยาศาสตร์ | |
| ฟิลด์ | ทฤษฎีกราฟ , คณิตศาสตร์เชิงการจัดเรียง , โทโพโลยี |
| สถาบันต่างๆ | มหาวิทยาลัยอิลลินอยส์ เออร์บานา-แชมเปญ , มหาวิทยาลัยนิวแฮมป์เชียร์ |
| โรเจอร์ ลินดอน | |
เคนเนธ ไอรา แอปเปล (8 ตุลาคม 1932 – 19 เมษายน 2013) เป็นนักคณิตศาสตร์ ชาวอเมริกัน ผู้ซึ่งในปี 1976 ร่วมกับเพื่อนร่วมงานโวล์ฟกัง ฮาเคนที่มหาวิทยาลัยอิลลินอยส์ เออร์บานา-แชมเปญได้แก้ทฤษฎีบทสี่สีซึ่งเป็นหนึ่งในปัญหาที่มีชื่อเสียงที่สุดในคณิตศาสตร์พวกเขาพิสูจน์ว่าแผนที่สองมิติใดๆ ก็ตาม ภายใต้ข้อจำกัดบางประการ สามารถเติมสีได้ทั้งสี่สีโดยที่ไม่มี "ประเทศ" ที่อยู่ติดกันมีสีเดียวกัน การพิสูจน์นี้เป็นที่ถกเถียงกันเพราะมันขึ้นอยู่กับการคำนวณด้วยคอมพิวเตอร์หลายพันครั้งที่ไม่สามารถตรวจสอบซ้ำด้วยมือได้ นับเป็นตัวอย่างที่โดดเด่นครั้งแรกของกระบวนการดังกล่าว
ชีวประวัติ
แอปเปลเกิดที่บรูคลิน นิวยอร์กเมื่อวันที่ 8 ตุลาคม พ.ศ. 2475 เขาเติบโตในควีนส์ นิวยอร์กและเป็นบุตรชายของคู่สามีภรรยาชาวยิว[ 2 ]เออร์วิน แอปเปล และลิเลียน เซนเดอร์ แอปเปล เขาทำงานเป็นนักคณิตศาสตร์ประกันภัยเป็นระยะเวลาสั้นๆ จากนั้นรับราชการในกองทัพสหรัฐฯเป็นเวลา 2 ปีที่ฟอร์ตเบนนิง รัฐจอร์เจีย และที่เบาม์โฮลเดอร์ ประเทศเยอรมนีในปี พ.ศ. 2492 เขาสำเร็จการศึกษาระดับปริญญาเอกที่มหาวิทยาลัยมิชิแกนและเขายังแต่งงานกับแคโรล เอส. สไตน์ ที่ฟิลาเดลเฟียทั้งคู่ย้ายไปพรินซ์ตัน รัฐนิวเจอร์ซีย์ ซึ่งแอปเปลทำงานให้กับสถาบันวิเคราะห์การป้องกันประเทศตั้งแต่ปี พ.ศ. 2492 ถึง พ.ศ. 2504 งานหลักของเขาที่สถาบันวิเคราะห์การป้องกันประเทศคือการวิจัยด้านการเข้ารหัสลับในช่วงปลายชีวิตของเขาในปี พ.ศ. 2555 เขาได้รับเลือกให้เป็นสมาชิกของสมาคมคณิตศาสตร์อเมริกัน เขาเสียชีวิตที่โดเวอร์ รัฐนิวแฮมป์เชียร์เมื่อวันที่ 19 เมษายน พ.ศ. 2556 หลังจากได้รับการวินิจฉัยว่าเป็นมะเร็งหลอดอาหารในเดือนตุลาคม พ.ศ. 2555 [ 3 ]
เคนเนธ แอปเปลยังดำรงตำแหน่งเหรัญญิกของคณะกรรมการพรรคเดโมแครตประจำเทศมณฑลสแตรฟฟอร์ดด้วย เขาเล่นเทนนิสจนถึงอายุ 50 ต้นๆ เขาเป็นนักสะสมแสตมป์มาตลอดชีวิต เป็นนักเล่นเกมโกะ และเป็นคนทำขนมปัง[ 1 ]เขาและแคโรลมีบุตรชายสองคน คือแอนดรูว์ ดับเบิลยู แอปเปลนักวิทยาศาสตร์คอมพิวเตอร์ชื่อดังและปีเตอร์ เอช แอปเปลและบุตรสาวหนึ่งคน คือ ลอเรล เอฟ แอปเปล ซึ่งเสียชีวิตเมื่อวันที่ 4 มีนาคม 2013 เขายังเป็นสมาชิกของคณะกรรมการโรงเรียนโดเวอร์ตั้งแต่ปี 2010 จนกระทั่งเสียชีวิต[ 3 ]
การศึกษาและการสอน
เคนเนธ แอปเปล สำเร็จการศึกษาระดับปริญญาตรีจากควีนส์คอลเลจในปี 1953 หลังจากรับราชการทหาร เขาเข้าศึกษาต่อที่มหาวิทยาลัยมิชิแกนโดยได้รับปริญญาโทในปี 1956 และต่อมาได้รับปริญญาเอกในปี 1959 โรเจอร์ ลินดอนอาจารย์ที่ปรึกษาปริญญาเอกของเขา เป็นนักคณิตศาสตร์ที่มีความเชี่ยวชาญหลักในทฤษฎีกลุ่ม
หลังจากทำงานให้กับสถาบันวิเคราะห์การป้องกันประเทศแล้ว ในปี 1961 Appel ได้เข้าร่วมคณะวิชาคณิตศาสตร์ที่มหาวิทยาลัยอิลลินอยส์ในตำแหน่งผู้ช่วยศาสตราจารย์ ขณะอยู่ที่นั่น Appel ได้ทำการวิจัยเกี่ยวกับทฤษฎีกลุ่มและทฤษฎีการคำนวณในปี 1967 เขาได้เป็นรองศาสตราจารย์และในปี 1977 ได้รับการเลื่อนตำแหน่งเป็นศาสตราจารย์ขณะอยู่ที่มหาวิทยาลัยแห่งนี้เองที่เขาและWolfgang Hakenได้พิสูจน์ทฤษฎีบทสี่สี จากผลงานและการพิสูจน์ทฤษฎีบทนี้ พวกเขาได้รับ รางวัล Delbert Ray Fulkersonในปี 1979 จากสมาคมคณิตศาสตร์อเมริกันและสมาคมการเขียนโปรแกรมคณิตศาสตร์[ 4 ]
ขณะอยู่ที่มหาวิทยาลัยอิลลินอยส์ Appel รับนักศึกษา 5 คนเข้าร่วมโครงการปริญญาเอก นักศึกษาแต่ละคนมีส่วนช่วยในการทำงานที่อ้างอิงในโครงการลำดับวงศ์ตระกูลคณิตศาสตร์[ 5 ]
ในปี 1993 Appel ย้ายไปนิวแฮมป์เชียร์ในฐานะประธาน ภาควิชา คณิตศาสตร์ที่มหาวิทยาลัยนิวแฮมป์เชียร์ในปี 2003 เขาเกษียณอายุในตำแหน่งศาสตราจารย์กิตติคุณในช่วงเกษียณอายุ เขาได้เป็นอาสาสมัครในโครงการเสริมสร้างความรู้ทางคณิตศาสตร์ในโดเวอร์และในโรงเรียนรัฐบาลทางตอนใต้ของรัฐเมน เขาเชื่อว่า "นักเรียนควรได้รับโอกาสในการศึกษาคณิตศาสตร์ในระดับความสามารถของตนเอง แม้ว่ามันจะสูงกว่าระดับชั้นเรียนของพวกเขามากก็ตาม" [ 3 ]
ผลงานทางคณิตศาสตร์
ทฤษฎีสี่สี
Kenneth Appel เป็นที่รู้จักจากผลงานของเขาในด้านโทโพโลยีซึ่งเป็นสาขาคณิตศาสตร์ที่สำรวจคุณสมบัติบางอย่างของรูปทรงเรขาคณิต[ 6 ]ความสำเร็จที่ยิ่งใหญ่ที่สุดของเขาคือการพิสูจน์ทฤษฎีบทสี่สีในปี 1976 ร่วมกับWolfgang Haken หนังสือพิมพ์ The New York Timesเขียนไว้ในปี 1976 ว่า:
ขณะนี้ทฤษฎีบทสี่สีได้รับการพิสูจน์แล้วโดยนักคณิตศาสตร์จากมหาวิทยาลัยอิลลินอยส์สองคน คือ เคนเนธ แอปเปล และโวล์ฟกัง ฮาเคนพวกเขามีเครื่องมืออันล้ำค่าที่นักคณิตศาสตร์รุ่นก่อนๆ ขาดไป นั่นคือคอมพิวเตอร์สมัยใหม่ การพิสูจน์ในปัจจุบันของพวกเขาอาศัยการคำนวณด้วยคอมพิวเตอร์เป็นเวลา 1,200 ชั่วโมง ซึ่งต้องมีการตัดสินใจเชิงตรรกะประมาณ 10,000 ล้านครั้ง การพิสูจน์ทฤษฎีบทสี่สีอาจไม่มีความสำคัญในเชิงประยุกต์ อย่างไรก็ตาม สิ่งที่สำเร็จลุล่วงไปนั้นเป็นความสำเร็จทางปัญญาครั้งสำคัญ มันทำให้เราได้เข้าใจใหม่ที่สำคัญเกี่ยวกับธรรมชาติของพื้นที่สองมิติและวิธีการที่พื้นที่ดังกล่าวสามารถแบ่งออกเป็นส่วนๆ ได้[ 3 ]
ในตอนแรก นักคณิตศาสตร์หลายคนไม่พอใจที่ Appel และ Haken ใช้คอมพิวเตอร์ เนื่องจากเป็นเรื่องใหม่ในขณะนั้น และแม้แต่ Appel เองก็กล่าวว่า "นักคณิตศาสตร์ส่วนใหญ่ แม้กระทั่งในช่วงทศวรรษ 1970 ก็ไม่มีความสนใจที่จะเรียนรู้เกี่ยวกับคอมพิวเตอร์อย่างแท้จริง ราวกับว่าพวกเราที่สนุกกับการเล่นกับคอมพิวเตอร์กำลังทำสิ่งที่ไม่ใช่คณิตศาสตร์หรือน่าสงสัย" [ 7 ]การพิสูจน์ที่แท้จริงได้รับการอธิบายไว้ในบทความที่มีความยาวเท่ากับหนังสือทั่วไปชื่อEvery Planar Map is Four Colorable , Contemporary Mathematics, vol. 98, American Mathematical Society, 1989 [ 4 ]
การพิสูจน์นี้เป็นหนึ่งในการพิสูจน์ทางคณิตศาสตร์สมัยใหม่ที่ก่อให้เกิดข้อถกเถียงมากที่สุด เนื่องจากต้องอาศัยการคำนวณด้วยคอมพิวเตอร์อย่างหนักเพื่อคัดกรองความเป็นไปได้ ซึ่งทำให้เกิดการวิพากษ์วิจารณ์จากหลายคนในแวดวงคณิตศาสตร์ว่าไม่สวยงาม: "การพิสูจน์ทางคณิตศาสตร์ที่ดีนั้นเหมือนกับบทกวี—นี่มันเหมือนสมุดโทรศัพท์!" Appel และ Haken เห็นพ้องกันในการสัมภาษณ์เมื่อปี 1977 ว่ามันไม่ "สวยงาม กระชับ และเข้าใจได้อย่างสมบูรณ์โดยจิตใจของมนุษย์ที่เชี่ยวชาญคณิตศาสตร์" [ 8 ]
อย่างไรก็ตาม การพิสูจน์ดังกล่าวเป็นจุดเริ่มต้นของการเปลี่ยนแปลงทัศนคติของนักคณิตศาสตร์ที่มีต่อคอมพิวเตอร์ ซึ่งก่อนหน้านี้พวกเขาดูถูกเหยียดหยามว่าเป็นเครื่องมือสำหรับวิศวกรมากกว่านักทฤษฎี นำไปสู่การสร้างสิ่งที่บางครั้งเรียกว่าคณิตศาสตร์เชิงทดลอง
ทฤษฎีกลุ่ม
ผลงานตีพิมพ์อื่นๆ ของ Kenneth Appel ได้แก่ บทความที่เขียนร่วมกับ PE Schupp ในชื่อArtin Groups and Infinite Coxeter Groupsในบทความนี้ Appel และSchuppได้นำเสนอทฤษฎีบทสี่ข้อที่เป็นจริงเกี่ยวกับกลุ่ม Coxeterจากนั้นจึงพิสูจน์ว่าทฤษฎีบทเหล่านั้นเป็นจริงสำหรับกลุ่ม Artinการพิสูจน์ทฤษฎีบททั้งสี่ข้อนี้ใช้ "ผลลัพธ์และวิธีการของทฤษฎีการหักล้างขนาดเล็ก" [ 9 ]
ลิงก์ภายนอก
- เคนเนธ แอปเปลจากโครงการลำดับวงศ์ตระกูลทางคณิตศาสตร์
- ชีวประวัติของเคนเนธ ไอ. แอปเปล
- ข้อมูลผู้เขียนในฐานข้อมูลzbMATH