ซูเปอร์ทาสก์ แนวคิดการปฏิบัติงานอนันต์ในเวลาจำกัด

ซูเปอร์ทาสก์ (Supertask) คือแนวคิดทางปรัชญาและตรรกศาสตร์ที่อธิบายถึงลำดับของการปฏิบัติงาน (Operations) จำนวนอนันต์ที่นับได้ (Countably infinite) ซึ่งเกิดขึ้นตามลำดับภายในช่วงเวลาที่จำกัด หากจำนวนของการปฏิบัติงานนั้นเป็นอนันต์ที่นับไม่ได้ (Uncountable) จะถูกเรียกว่า ไฮเปอร์ทาสก์ (Hypertask) และหากการปฏิบัติงานครอบคลุมทุกจำนวนลำดับ (Ordinal number) จะเรียกว่า อัลตราทาสก์ (Ultratask)

คำว่า "ซูเปอร์ทาสก์" ถูกบัญญัติขึ้นโดยนักปรัชญา เจมส์ เอฟ. ทอมสัน (James F. Thomson) ผู้ซึ่งนำเสนอแนวคิดเรื่องโคมไฟของทอมสันเพื่อโต้แย้งความเป็นไปได้ของแนวคิดนี้ ในขณะที่คำว่า "ไฮเปอร์ทาสก์" มาจากงานเขียนของ Clark และ Read

ข้อจำกัดทางตรรกะของไฮเปอร์ทาสก์และอัลตราทาสก์

ในบริบทของทฤษฎีนี้ "งาน" (Task) ถูกนิยามว่าต้องใช้เวลาในการปฏิบัติงานเป็นจำนวนจำกัด และในเวลาใดเวลาหนึ่งสามารถมีงานเกิดขึ้นได้เพียงงานเดียวเท่านั้น ด้วยเหตุผลนี้ ไฮเปอร์ทาสก์และอัลตราทาสก์จึงถูกมองว่าเป็นสิ่งที่เป็นไปไม่ได้ในทางปฏิบัติ เนื่องจากช่วงเวลาที่จำกัดไม่สามารถบรรจุช่วงเวลาจำกัดจำนวนอนันต์ที่นับไม่ได้ได้ ซึ่งสอดคล้องกับหลักการทางคณิตศาสตร์ที่ว่าช่วงปิดและจำกัด (Closed and bounded interval) มีคุณสมบัติเป็น second-countable

ประวัติและพาราด็อกซ์ที่เกี่ยวข้อง

พาราด็อกซ์ของซีโน (Zeno's Paradoxes)

ความสนใจในเรื่องซูเปอร์ทาสก์มีรากฐานมาจากแนวคิดของ ซีโนแห่งเอเลีย (Zeno of Elea) ซึ่งพยายามพิสูจน์ว่าการเคลื่อนที่นั้นเป็นสิ่งที่เป็นไปไม่ได้ โดยใช้ตรรกะที่มองว่าการเคลื่อนที่คือซูเปอร์ทาสก์อย่างหนึ่ง

การเคลื่อนที่ (The Dichotomy Paradox)

ซีโนเสนอว่า หากบุคคลหนึ่งต้องการเคลื่อนที่จากจุด A ไปยังจุด B เขาจะต้องเดินทางผ่านครึ่งหนึ่งของระยะทางจาก A ไป B ก่อน จากนั้นต้องเดินทางผ่านครึ่งหนึ่งของระยะทางที่เหลือ และทำเช่นนี้ต่อไปเรื่อย ๆ อย่างไม่สิ้นสุด แม้ว่าเขาจะปฏิบัติงาน "การเดินทางผ่านระยะทางครึ่งหนึ่ง" ไปกี่ครั้ง ก็จะยังมีระยะทางที่เหลือให้ต้องเดินทางเสมอ ดังนั้น ซีโนจึงสรุปว่าการเคลื่อนที่ (การเดินทางในระยะทางที่ไม่เป็นศูนย์ภายในเวลาที่จำกัด) คือซูเปอร์ทาสก์ และเนื่องจากเขาเชื่อว่าซูเปอร์ทาสก์เป็นสิ่งที่เป็นไปไม่ได้ การเคลื่อนที่จึงเป็นสิ่งที่เป็นไปไม่ได้ด้วย

อคิลลีสกับเต่า (Achilles and the Tortoise)

ในอีกหนึ่งพาราด็อกซ์ ซีโนสมมติให้อคิลลีสซึ่งเป็นนักวิ่งที่เร็วที่สุด วิ่งไล่ตามเต่าที่เคลื่อนที่ช้ากว่า โดยให้เต่าเริ่มวิ่งก่อนในระยะทางหนึ่ง ทุกครั้งที่อคิลลีสวิ่งไปถึงจุดที่เต่าเคยอยู่ เต่าจะเคลื่อนที่ต่อไปยังจุดใหม่เสมอ แม้ระยะห่างจะลดลงเรื่อย ๆ จนเกือบเป็นศูนย์ แต่ในทางตรรกะของซีโน อคิลลีสจะต้องปฏิบัติงานการไล่ตามนี้เป็นจำนวนอนันต์ครั้ง ทำให้การไล่ทันเต่ากลายเป็นซูเปอร์ทาสก์ที่ไม่สิ้นสุด

โคมไฟของทอมสัน (Thomson's Lamp)

เจมส์ เอฟ. ทอมสัน ปฏิเสธว่าการเคลื่อนที่คือซูเปอร์ทาสก์ แต่เขากลับเชื่อว่าซูเปอร์ทาสก์โดยทั่วไปเป็นสิ่งที่เป็นไปไม่ได้ เขาจึงนำเสนอการทดลองทางความคิดเรื่อง "โคมไฟ" ดังนี้:

• ที่เวลา t = 0 โคมไฟปิดอยู่
• ที่เวลา t = 1/2 วินาที โคมไฟถูกเปิด
• หลังจากนั้น ทุก ๆ ครึ่งหนึ่งของเวลาที่ผ่านมา โคมไฟจะถูกสลับสถานะ (เปิดเป็นปิด หรือปิดเป็นเปิด)

ทอมสันตั้งคำถามว่า ที่เวลา t = 1 วินาที สถานะของโคมไฟจะเป็นอย่างไร? เขาให้เหตุผลว่าโคมไฟไม่สามารถ "เปิด" ได้ เพราะทุกครั้งที่เปิดจะมีครั้งที่ปิดตามมาเสมอ และในทางกลับกันก็เช่นกัน ความขัดแย้งนี้ทำให้เขาสรุปว่าซูเปอร์ทาสก์เป็นสิ่งที่เป็นไปไม่ได้ในโลกแห่งความเป็นจริง

มุมมองของเบนาเซราฟ (Benacerraf's Perspective)

พอล เบนาเซราฟ (Paul Benacerraf) แย้งว่าซูเปอร์ทาสก์มีความเป็นไปได้ในทางตรรกะ แม้จะเกิดความขัดแย้งในกรณีโคมไฟของทอมสัน โดยเบนาเซราฟเห็นด้วยว่าการทดลองของทอมสันไม่ได้ระบุสถานะของโคมไฟที่เวลา t = 1 อย่างชัดเจน แต่เขาไม่เห็นด้วยว่าสิ่งนี้คือ "ความขัดแย้ง" (Contradiction) เนื่องจากสถานะของโคมไฟที่เวลา t = 1 ไม่สามารถกำหนดได้ด้วยตรรกะจากสถานะก่อนหน้าทั้งหมดที่เกิดขึ้นในลำดับอนันต์