Kompyuter fanining epistemologiyasi[tahrir | manbasini tahrirlash]
Nomida „fan“ soʻzi boʻlishiga qaramay, informatika fan, matematika yoki muhandislik fanidirmi yoki yoʻqmi degan bahslar mavjud.[46]Allen Nyuell va Gerbert A. Simon 1975-yilda bahslashdilar.
Kompyuter fanlari empirik fandir. Biz uni eksperimental fan deb atagan bo'lardik, lekin astronomiya, iqtisod va geologiya singari, uning ba'zi noyob kuzatish va tajriba shakllari eksperimental usulning tor stereotipiga to'g'ri kelmaydi. Shunga qaramay, ular tajribalardir. Qurilgan har bir yangi mashina tajribadir. Aslida mashinani qurish tabiatga savol tug'diradi; va biz javobni mashinaning ishlayotganligini kuzatish va mavjud barcha analitik va o'lchov vositalari yordamida tahlil qilish orqali tinglaymiz.[46] Oʻshandan beri kompyuter fanini empirik fan sifatida tasniflash mumkinligi taʼkidlangan, chunki u dasturlarning toʻgʻriligini baholash uchun empirik testlardan foydalanadi, ammo kompyuter fanining qonunlari va teoremalarini (agar mavjud boʻlsa) aniqlashda muammo qolmoqda. informatika fanidagi eksperimentlarning tabiati.[47] Informatika fanini muhandislik intizomi sifatida tasniflash tarafdorlari, hisoblash tizimlarining ishonchliligi qurilish muhandisligidagi koʻpriklar va aerokosmik muhandislikdagi samolyotlar bilan bir xil tarzda tekshiriladi, deb taʼkidlaydilar.[47] Ular, shuningdek, empirik fanlar hozirgi vaqtda mavjud boʻlgan narsalarni kuzatar ekan, informatika mavjud boʻlishi mumkin boʻlgan narsalarni kuzatadi va olimlar kuzatish natijasida qonunlarni kashf etar ekanlar, informatikada tegishli qonunlar topilmagan va buning oʻrniga hodisalar yaratish bilan shugʻullanadi.[47] Informatikani matematik intizom sifatida tasniflash tarafdorlari, kompyuter dasturlari matematik ob’ektlarning jismoniy amalga oshirilishi va dasturlarni matematik rasmiy usullar bilan deduktiv asosda asoslash mumkinligini taʼkidlaydilar.[48] Kompyuter olimlari Edsger W. Dijkstra va Toni Hoare kompyuter dasturlari uchun koʻrsatmalarni matematik jumlalar deb hisoblashadi va dasturlash tillari uchun rasmiy semantikani matematik aksiomatik tizimlar sifatida izohlaydilar.[48]
