💻 computer science
Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
यह शोध पत्र प्रदर्शित करता है कि पीनो अंकगणित (Peano arithmetic) को सेपरेशन लॉजिक के एक न्यूनतम अंश में एनकोड किया जा सकता है जिसमें केवल इंट्यूशनिस्टिक पॉइंट्स-टू प्रेडिकेट (intuitionistic points-to predicate), शून्य और सक्सेसर फंक्शन (successor function) शामिल हैं, जिससे इस अंश में वैधता की अनिश्चितता (undecidability of validity) सिद्ध होती है और यह दर्शाता है कि यह सिस्टम कंसिस्टेंसी (system consistency) और नॉन-टर्मिनेशन (non-termination) जैसी जटिल विशेषताओं को व्यक्त कर सकता है।