Informatyka jako nauka

Abstrakt

Artykuł ten jest próbą odpowiedzi na pytanie o status informatyki jako dyscypliny wiedzy oraz o miejsce, jakie zajmuje ona pośród innych nauk.

Wśród informatyków i filozofów dominują cztery poglądy dotyczące statusu informatyki jako nauki. Pierwszym z nich jest twierdzenie, że informatyka to gałąź matematyki. Jeżeli podstawową działalnością informatyków jest pisanie programów - działalność matematyczna - to informatyka jest po prostu działem matematyki, czyli nauką formalną. Nie wszyscy jednak badacze zgadzają się z tym poglądem, twierdząc, że pisanie programów to rodzaj eksperymentu, a informatyka jest nauką przyrodniczą. Eksperymentowanie za pomocą komputerów jest czymś więcej niż tylko metodą pomocniczą w innych naukach, odgrywa bowiem istotną rolę również w obrębie samej informatyki. Wielu informatyków uważa jednak, że traktowanie uprawianej przez nich dyscypliny jako nauki formalnej lub przyrodniczej jest niewłaściwe, ponieważ zaniedbuje podstawowe stawiane przed nią zadanie - rozwiązywanie problemów z wykorzystaniem komputerów. Informatyka jest zatem gałęzią inżynierii. Innym dominującym obecnie poglądem jest traktowanie informatyki jako nowej dyscypliny wiedzy, która wykorzystuje zarówno osiągnięcia inżynierii, jak i metody formalne i eksperymentalne. Sama nie jest jednak ani gałęzią matematyki, ani nauką przyrodniczą, ani też dziedziną inżynierii.