church-turing-thesis पर टैग किए गए जवाब

पॉल वेगनर और दीना गोल्डिन एक दशक से अधिक समय से पत्र-पत्रिकाओं का प्रकाशन कर रहे थे, जिसमें मुख्य रूप से तर्क दिया गया कि चर्च-ट्यूरिंग थीसिस को अक्सर सीएस थ्योरी समुदाय और अन्य जगहों पर गलत तरीके से प्रस्तुत किया गया है। यही है, यह सभी संगणना को शामिल …

38 computability  turing-machines  machine-models  church-turing-thesis 

साइट पर सबसे चर्चित प्रश्नों में से एक यह रहा है कि चर्च-ट्यूरिंग थीसिस को अस्वीकार करने का क्या मतलब होगा । यह आंशिक रूप से इसलिए है क्योंकि Dershowitz और Gurevich ने 2008 में चर्च-ट्यूरिंग थीसिस का एक साक्ष्य प्रकाशित किया था, जो प्रतीकात्मक तर्क का बुलेटिन है। (मैं …

35 soft-question  lo.logic  church-turing-thesis 

मैं हाल ही में एक मित्र के साथ चर्चा कर रहा था (जो दृढ़ता से टाइप की जाने वाली भाषाओं का एक वकील है)। उन्होंने टिप्पणी की: लैंबडा कैलकुलस के अन्वेषकों ने हमेशा इसे टाइप करने का इरादा किया। अब हम देख सकते हैं कि चर्च के साथ जुड़े थे …

16 lambda-calculus  church-turing-thesis  lisp  typed-lambda-calculus 

यह एक भोला सवाल हो सकता है, लेकिन यहाँ जाता है। (संपादित करें - यह अपवित्र नहीं हो रहा है, लेकिन किसी ने भी प्रतिक्रिया की पेशकश नहीं की है; शायद यह प्रश्न मेरे विचार से अधिक कठिन, अस्पष्ट या अस्पष्ट है?) गोडेल की पहली अपूर्णता प्रमेय को हॉल्टिंग समस्या …

11 lo.logic  computability  church-turing-thesis