Turing or Cantor: That is the Question
यह शोध पत्र तर्क देता है कि एलन ट्यूरिंग का मौलिक कार्य जॉर्ज कैंटर के सेट थ्योरी पर आधारित है, जबकि अनिश्चितता (undecidability) के नए मापों का प्रस्ताव करता है, सुपर-ट्यूरिंग कंप्यूटेशन मॉडल्स का विस्तार करता है, अनिश्चित समस्याओं (undecidable problems) के लिए तीन नई जटिलता श्रेणियों (U-complete, D-complete, और H-complete) को परिभाषित करता है, और U-complete वर्ग के लिए P बनाम NP के समकक्ष के नकारात्मक समाधान को प्रस्तुत करता है।