कृपया उन उदाहरणों को सूचीबद्ध करें जहां गणित से एक प्रमेय जिसे सामान्य रूप से कंप्यूटर विज्ञान में लागू करने के लिए नहीं माना गया था, का उपयोग पहली बार कंप्यूटर विज्ञान में परिणाम साबित करने के लिए किया गया था। सबसे अच्छा उदाहरण वे हैं जहां कनेक्शन स्पष्ट नहीं था, लेकिन एक बार जब यह पता चला था, तो यह स्पष्ट रूप से इसे करने का "सही तरीका" है।
यह टीसीएस के शास्त्रीय गणित के प्रश्न के विपरीत दिशा है ?
उदाहरण के लिए, "ग्रीन के प्रमेय और अलगाव को ग्रहों के ग्राफ़ में देखें" , जहां एक आइसोलेशन प्रमेय (जिसे पहले से ही एक तकनीकी प्रमाण का उपयोग करके जाना जाता था) मल्टीवेरेट कैलकुलस से ग्रीन के प्रमेय का उपयोग करके फिर से सिद्ध होता है।
और क्या उदाहरण हैं?