model-theory पर टैग किए गए जवाब

क्या एक सामान्य प्रमेय है, जो उचित स्वच्छता के साथ, वास्तविक संख्याओं के उपयोग के बारे में सबसे अधिक ज्ञात परिणाम वास्तव में इस्तेमाल किया जा सकता है, जब केवल कम्प्यूटेशनल रियल पर विचार किया जाता है? या क्या केवल कम्प्यूटेशनल रियल्स पर विचार करते हुए परिणामों की उचित विशेषता …

16 computability  computing-over-reals  topology  model-theory 

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

15 lo.logic  dependent-type  model-theory  calculus-of-constructions