soundness पर टैग किए गए जवाब

1
क्या एक सबूत चेकर बग ने कभी एक प्रमुख सबूत को अमान्य कर दिया है?
अधिकांश (सभी?) प्रमाण सहायकों के पास अवसर पर निर्धारित ध्वनि कीड़े हैं। हालांकि, उन लोगों से मैंने देखा है कि इन बगों को आमतौर पर अनजाने में आना मुश्किल होता है, और बग फिक्स होने से पहले साबित होने वाले परिणाम आमतौर पर फिक्स होने के बाद पकड़ लिए जाते …

3
आगमनात्मक प्रकार की परिभाषा में "संरक्षित" नकारात्मक घटनाएं, हमेशा खराब होती हैं?
मुझे पता है कि कुछ नकारात्मक घटनाएं निश्चित रूप से खराब हो सकती हैं: data False data Bad a = C (Bad a -> a) selfApp :: Bad a -> a selfApp (x@(C x')) = x' x yc :: (a -> a) -> a yc f = selfApp $ C …
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.