अपने जवाब पर मेहरदाद के साथ टिप्पणियों में मेरी बातचीत के बाद , मुझे लगता है कि मुझे अपना जवाब देना चाहिए; इस सवाल पर वास्तव में दार्शनिक पक्ष हैं जो आधुनिक कंप्यूटर वैज्ञानिकों के बीच प्रचलित वर्गीकरण की तुलना में व्यापक व्याख्या को स्वीकार करते हैं।
अपने सटीक विवरण को जोड़ने के लिए (जोर दिया गया):
मेरा दृढ़ विश्वास है कि कंप्यूटर विज्ञान या सैद्धांतिक कंप्यूटर विज्ञान गणित और तर्कशास्त्र की एक सीधी शाखा है और इस राय का भी है कि कंप्यूटर विज्ञान की डिग्री हमेशा तथ्य के रूप में गणित उन्मुख होना चाहिए। यदि मैं गलत हूं तो मुझे बताएं।
आपका वर्गीकरण विकिपीडिया और कई आधुनिक कंप्यूटर वैज्ञानिकों के साथ असहमत है, लेकिन क्या इसका मतलब यह है कि यह गलत है? जरुरी नहीं। यहां तक कि विकिपीडिया भी इस विषय पर अपने स्वयं के विचार सहित विरोध विचारों को स्वीकार करता है, जो मैं साझा करता हूं।
पहले आइए परिभाषाओं पर विचार करें। (जोर दिया गया है।) इनमें से प्रत्येक अंश विकिपीडिया से लिया गया है; लिंक प्रत्येक अंश के पहले शब्द या वाक्यांश में दिए गए हैं।
विज्ञान एक व्यवस्थित उद्यम है जो ब्रह्मांड के बारे में परीक्षण योग्य स्पष्टीकरण और भविष्यवाणियों के रूप में ज्ञान का निर्माण और आयोजन करता है।
समकालीन विज्ञान को आमतौर पर प्राकृतिक विज्ञान में विभाजित किया जाता है, जो भौतिक ब्रह्मांड का अध्ययन करता है; सामाजिक विज्ञान, जो लोगों और समाजों का अध्ययन करता है; और औपचारिक विज्ञान, जो तर्क और गणित का अध्ययन करते हैं। औपचारिक विज्ञान को अक्सर बाहर रखा जाता है क्योंकि वे अनुभवजन्य टिप्पणियों पर निर्भर नहीं होते हैं।
और आगे (एक अलग पेज से):
गणित (ग्रीक μάθημα máth ,ma से, "ज्ञान, अध्ययन, अध्ययन") मात्रा (संख्या), संरचना, स्थान और परिवर्तन जैसे विषयों का अध्ययन है। गणित के सटीक दायरे और परिभाषा के अनुसार गणितज्ञों और दार्शनिकों के बीच विचारों की एक श्रृंखला है।
गणितज्ञ पैटर्न की तलाश करते हैं और नए अनुमानों को बनाने के लिए उनका उपयोग करते हैं। गणितज्ञ गणितीय प्रमाण द्वारा अनुमानों की सच्चाई या मिथ्या का समाधान करते हैं।
...
आज, पेशेवरों के बीच भी, गणित की परिभाषा पर कोई आम सहमति नहीं है।
...
कई दार्शनिकों का मानना है कि गणित प्रयोगात्मक रूप से मिथ्या नहीं है, और इस प्रकार विज्ञान नहीं है ...।
और अब, सीएस के रूप में:
सैद्धांतिक कंप्यूटर विज्ञान सामान्य कंप्यूटर विज्ञान और गणित का एक प्रभाग या सबसेट है जो कंप्यूटिंग के अधिक सार या गणितीय पहलुओं पर ध्यान केंद्रित करता है और गणना के सिद्धांत को शामिल करता है।
"विज्ञान की शाखाओं," पर विकिपीडिया लेख के अनुसार :
अन्य विज्ञानों के विपरीत, औपचारिक विज्ञान वास्तविक दुनिया में टिप्पणियों (अनुभवजन्य ज्ञान) के आधार पर सिद्धांतों की वैधता से चिंतित नहीं हैं, बल्कि परिभाषाओं और नियमों के आधार पर औपचारिक प्रणालियों के गुणों से संबंधित हैं।
गणित के साथ-साथ औपचारिक कंप्यूटर विज्ञान की एक शाखा के रूप में सैद्धांतिक कंप्यूटर विज्ञान को निर्दिष्ट करने के लिए वर्गीकरण वहां जाता है ।
हालाँकि, यह स्पष्ट तथ्य है कि गणित की कोई आम तौर पर स्वीकृत परिभाषा नहीं है, लेकिन निश्चित रूप से इसमें गणितीय (औपचारिक) प्रमाण शामिल हैं, "गणित" की परिभाषा के दायरे में "औपचारिक विज्ञान" वर्गीकरण में सब कुछ शामिल करना अपमानजनक नहीं होगा। करने लगते हैं।
मेरी अपनी परिभाषाएं (वर्गीकरण) "विज्ञान" के दायरे से "औपचारिक विज्ञान" को बाहर कर देते हैं, ऊपर उल्लेखित कारण के लिए कि वे अनुभवजन्य टिप्पणियों पर निर्भर नहीं करते हैं।
इसके अलावा, "गणित" की मेरी अपनी परिभाषा में इसके दायरे में तथाकथित "औपचारिक विज्ञान," शामिल हैं, जिसमें कंप्यूटर विज्ञान भी शामिल है।
इन शर्तों के बीच मैं जो भेदभाव करूंगा वह यह है कि विज्ञान अनुभवजन्य है; गणित प्राथमिक मान्यताओं से कटौती पर आधारित है।
विज्ञान की वैधता अवलोकनों की सटीकता पर आधारित है।
प्रयोज्यता गणित के प्राथमिक मान्यताओं की प्रयोज्यता पर निर्भर करता है।