ทำไมการวิจัย hypercomputation ถึงลง?

18

ฉันเห็นการวิจัยจำนวนมากเกี่ยวกับการไฮเปอร์คอมพิวเตชันในปี 1990 แต่ในช่วงไม่กี่ปีที่ผ่านมาดูเหมือนว่าจะมีการทำงานน้อยมาก เป็นความจริงหรือไม่ที่การวิจัยในสาขานี้เสียชีวิตลง? ถ้าเป็นเช่นนั้นอะไรคือสาเหตุของมัน? บริเวณนี้แสดงให้เห็นอย่างมั่นใจว่าไม่มีท่าว่าจะดีหรือไม่?

reference-request computability hypercomputation

— กำมะหยี่ผี
แหล่งที่มา

6

การประชุมเชิงปฏิบัติการ Hypercomputation นานาชาติครั้งที่ 3 (HyperNet 11) hypercomputation.net/combinedpreprocs.pdf

— Marzio De Biasi

Velvet Ghost ถามว่า:> จริงหรือไม่ที่ Bekenstein Bound ปฏิเสธ ... ดีมีกรณีที่ดีเพราะมัน จำกัด ข้อมูลในปริมาณของพื้นที่ซึ่งเป็นผลมาจากกฎของเมอร์ฟี

1

ไม่มีหลุมดำในบริเวณใกล้เคียงเพื่อส่งเครื่องทัวริงเข้ามา

— Andrej Bauer

19

มันจะดีกว่าถ้าคุณระบุสิ่งที่คุณหมายถึงอย่างแน่นอนด้วยการคำนวณหลายมิติและให้หลักฐานว่าทำไมคุณคิดว่ามัน "ตายลง"

ไม่ว่าในกรณีใดก็ตามสมมติว่าคุณกำลังพูดถึงการคำนวณฟังก์ชั่นมากกว่าจำนวนธรรมชาติ (และสตริง จำกัด ) (เนื่องจากฉันคิดว่าเป็นที่ชัดเจนว่าแบบจำลองสำหรับการคำนวณประเภทที่สูงกว่าเป็นพื้นที่ใช้งานมากเช่นCCA ) และรูปแบบการคำนวณ ความสามารถในการคำนวณที่กำหนดโดยเครื่องทัวริงฉันไม่คิดว่าการอ้างสิทธิ์นั้นถูกต้องเช่นดู CiE'05 และ CiE'11 โปรดดูการวิพากษ์วิจารณ์ที่เกิดขึ้นกับการอ้างว่าการคำนวณหลายมิติเป็นเรื่องใหม่:

มาร์ตินเดวิส " ทำไมไม่มีวินัยเช่น hypercomputation ", 2549
มาร์ตินเดวิส " เขาเชื่อในเรื่องไฮเปอร์คอมพิเทชั่น " ใน "อลันทัวริง: ชีวิตและมรดกของนักคิดผู้ยิ่งใหญ่", 2004

หากคุณมีความสนใจนอกจากนี้ยังมีการอภิปรายในรายการส่งจดหมาย FOMเริ่มต้นโดยอีเมลของทิโมธี Chowเกี่ยวกับบทความ Martin Davis

— Kaveh
แหล่งที่มา

ขอบคุณมากสำหรับคำตอบที่ให้ข้อมูลมาก ความจริงแล้วความคุ้นเคยเพียงอย่างเดียวของฉันกับ hypercomputation คือผ่านการทำงานของ Siegelmann เกี่ยวกับพลังการคำนวณของอวนประสาทในช่วงกลางปี 1990 - และหลักฐานของเธอที่ว่าโครงข่ายประสาทเทียมพิเศษ กุญแจสำคัญในการใช้ไฮเปอร์คอมพิวเตชันของมันคือธรรมชาติของอะนาล็อก - มันสามารถมีน้ำหนักซึ่งเป็นตัวเลขจริง ดังนั้นผมจึงหมายถึงฟิลด์ของ hypercomputation ที่รู้จักกันเป็นจริงการคำนวณ

— Velvet Ghost

ก่อนหน้านี้ฉันเคยอ่านบทความของมาร์ตินเดวิสและพวกเขาเป็นสิ่งที่ทำให้ฉันคิดว่าการไฮเปอร์คอมพิวติ้งนั้นไม่เป็นที่นิยม Btw ... เป็นความจริงหรือไม่ที่ Bekenstein Bound ปฏิเสธความเป็นไปได้ของการคำนวณแบบอะนาล็อกในจักรวาลนี้?

— Velvet Ghost

6

มีการประชุมหลายครั้งที่ผ่านมาเกี่ยวกับหัวข้อของความสามารถในการคำนวณแบบอินฟินิตี้ซึ่งได้รับการปฏิบัติหลายหัวข้อในการไฮเปอร์คอมพิวชัน

การประชุมเชิงปฏิบัติการเกี่ยวกับการคำนวณตามกฎหมายของบอนน์นานาชาติ (BIWOC) 2007ดูรายงานโปรแกรมที่นั่น
การประชุมเกี่ยวกับคณิตศาสตร์ที่มีประสิทธิภาพของ Uncountable (EMU) 2008
การประชุมเกี่ยวกับคณิตศาสตร์ที่มีประสิทธิภาพของ Uncountable (EMU) 2009

นอกจากนี้ยังมีการประชุมพิเศษเกี่ยวกับการคำนวณเชิงอินฟินิตี้ในการประชุม CiE หลายครั้ง

— JDH
แหล่งที่มา

2

ฉันไม่คิดว่านี่เป็นเรื่องจริง การค้นหาArxiv เพื่อหาเอกสารเกี่ยวกับการไฮเปอร์คอมพิวเตชันนั้นได้รับความนิยมมากมาย

— Joshua Herman
แหล่งที่มา

9

Hypercomputation หมายถึงแบบจำลองของการคำนวณที่มีประสิทธิภาพมากกว่าการคำนวณของทัวริง (ดูเช่น Wikipedia) ในขณะที่ทั้งสอง PostBQP = PP และ P_CTC = PSPACE นั้นจะคำนวณได้อย่างแน่นอน

— Martin Schwarz

ฉันเริ่มคิดว่าคุณพูดถูกโจชัว นอกจากนี้ขอขอบคุณสำหรับลิงค์

— Velvet Ghost