इस प्रश्न का उद्देश्य सैद्धांतिक कंप्यूटर विज्ञान से उदाहरण एकत्र करना है जहां कंप्यूटर का व्यवस्थित उपयोग सहायक था
- एक अनुमान के निर्माण में, जो एक प्रमेय की ओर ले जाता है,
- किसी अनुमान या प्रमाण के दृष्टिकोण को गलत ठहराना
- एक प्रमाण का निर्माण / सत्यापन (भागों)।
यदि आपके पास एक विशिष्ट उदाहरण है, तो कृपया बताएं कि यह कैसे किया गया था। शायद यह दूसरों को अपने दैनिक अनुसंधान में अधिक प्रभावी ढंग से कंप्यूटर का उपयोग करने में मदद करेगा (जो आज भी टीसीएस में एक काफी असामान्य अभ्यास लगता है)।
(समुदाय विकि के रूप में चिह्नित किया गया, क्योंकि कोई एकल "सही" उत्तर नहीं है।)
मुझे कहना चाहिए कि मैं विशेष रूप से (1) और (2) के उदाहरणों में दिलचस्पी रखता हूं। अर्थात्, ऐसे मामले जहां कंप्यूटर ने महत्वपूर्ण तरीकों से मानव अंतर्ज्ञान को आकार देने में मदद की।
—
मोरिट्ज़
इस सवाल के कुछ और हालिया उत्तर, सूची के अंत में, उत्कृष्ट और पढ़ने लायक हैं। मैं अंत तक पढ़ने का सुझाव देता हूं!
—
अंद्र दास सलामन
मैथ्यूफ्लो के समान fyi, कंप्यूटरों द्वारा दिलचस्प "खोज" और मनुष्यों द्वारा सिद्ध?
—
vzn