In the summer of 1976, the Universi

In the summer of 1976, the University of Illinois had the audacity to use their postage meter to print the words "Four Colors Suffice" on the outgoing mail. The words referred to the recently announced computer-aided proof of the very famous Four-Color Conjecture by Kenneth Appel and Wolfgang Haken (with a significant contribution by John Koch) at the Urbana campus. Their announcement was originally greeted with a rather large degree of skepticism by the mathematical community. This skepticism was not without cause. For about a century there have been numerous rumors and claims of proofs or counterexamples to the conjecture. In fact, in 1971 a different computer-aided "proof" by Shimomoto was announced but later withdrawn after it failed to survive close scrutiny. Furthermore Hakin's name had somehow been associated (perhaps unfairly) with this ill-fated work

ผลลัพธ์ (ไทย) 1:

ในฤดูร้อนของปี 1976 มหาวิทยาลัยอิลลินอยส์มีความกล้าที่จะใช้วัดการไปรษณีย์พิมพ์คำว่า "สี่สีพอเพียง" ในจดหมายที่ส่งออก คำอ้างอิงถึงข้อกำหนดล่าสุดคอมพิวเตอร์ช่วยพิสูจน์ของข้อความคาดการณ์ Four-Color มีชื่อเสียงมากโดย Kenneth Appel Wolfgang Haken (มีส่วนสำคัญโดยจอห์นคอ) ที่วิทยาเขตเออร์บานา ประกาศของพวกเขาถูกครั้งแรกประทับใจกับสงสัยในระดับที่ค่อนข้างใหญ่ โดยชุมชนทางคณิตศาสตร์ สงสัยนี้ไม่ได้ โดยไม่มีสาเหตุ สำหรับเกี่ยวกับศตวรรษ ได้มีข่าวลือมากมายและเรียกร้องหลักฐานหรือ counterexamples ให้ข้อความคาดการณ์ อันที่จริง ใน ต่าง ๆ ใช้คอมพิวเตอร์ช่วย "หลักฐาน" โดย Shimomoto ได้ประกาศ แต่ถอนหลังจากล้มเหลวในการอยู่รอด scrutiny ปิดในภายหลัง นอกจากนี้ ชื่อของ Hakin อย่างใดเคยเกี่ยวข้อง (อาจจะ unfairly) งานนี้ทัพม

ผลลัพธ์ (ไทย) 2:

ในฤดูร้อนของปี 1976 ที่มหาวิทยาลัยอิลลินอยส์มีความกล้าที่จะใช้เมตรไปรษณีย์ของพวกเขาที่จะพิมพ์คำว่า "สี่สีพอเพียง" ในอีเมลขาออก คำที่อ้างถึงหลักฐานที่ใช้คอมพิวเตอร์ช่วยประกาศเมื่อเร็ว ๆ นี้ที่มีชื่อเสียงมากสี่สีคาดเดาโดยเคนเน ธ แตะและโวล์ฟกัง Haken (มีส่วนร่วมอย่างมีนัยสำคัญโดยจอห์นคอค) ที่วิทยาเขตเออร์บานา การประกาศของพวกเขาได้รับการต้อนรับเดิมมีระดับค่อนข้างใหญ่ของความสงสัยโดยชุมชนคณิตศาสตร์ ความสงสัยนี้ไม่ได้โดยไม่มีสาเหตุ ประมาณศตวรรษที่มีข่าวลือมากมายและการเรียกร้องของการพิสูจน์หรือ counterexamples จะคาดเดา ในความเป็นจริงในปี 1971 คอมพิวเตอร์ช่วย "หลักฐาน" ที่แตกต่างกันโดย Shimomoto ก็ประกาศถอนตัว แต่ต่อมาหลังจากที่มันล้มเหลวในการตรวจสอบข้อเท็จจริงเพื่อความอยู่รอดอย่างใกล้ชิด นอกจากชื่อ Hakin ได้รับการอย่างใดที่เกี่ยวข้อง (อาจจะไม่เป็นธรรม) ด้วยการทำงานโชคนี้

ผลลัพธ์ (ไทย) 3:

ในฤดูร้อนปี 1976 มหาวิทยาลัยอิลลินอยส์มีความกล้าที่จะใช้เมตรไปรษณีย์เพื่อพิมพ์คำว่า " สี่สีพอ " ในอีเมลขาออก คำที่อ้างถึงประกาศเมื่อเร็ว ๆ นี้ใช้หลักฐานที่มีชื่อเสียงมาก สี่สี การคาดเดาโดย Kenneth Appel และ โวล์ฟกัง ลูกจ้างชั่วคราว ( ที่มีผลงานที่สำคัญโดยจอห์น Koch ) ที่ Urbana วิทยาเขตประกาศตนถูกทักทายด้วยค่อนข้างใหญ่ระดับของความสงสัย โดยชุมชนคณิตศาสตร์ ความสงสัยนี้ไม่ได้โดยไม่มีสาเหตุ ประมาณศตวรรษที่มีข่าวลือมากมายและอ้างหลักฐานหรือ counterexamples กับการคาดเดา ในความเป็นจริงในปี 1971 ที่แตกต่างกันคอมพิวเตอร์ " หลักฐาน " โดย shimomoto ประกาศแต่ภายหลังถอนตัวหลังจากล้มเหลวที่จะอยู่รอดการพิจารณาปิด นอกจากนี้ hakin ชื่อได้ถูกเชื่อมโยง ( อาจไม่เป็นธรรม ) กับกำหนดงานป่วย