Informatyka jako nauka

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 – rozwiazywanie 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.

The article is an attempt to answer the question of the status of computer science as a branch of knowledge and its place among other disciplines. Four views on the status of computer science as a branch of knowledge dominate nowadays among computer scientists and philosophers. The first of them is a claim that science is a branch of mathematics. Because writing programs is a basic activity of computer scientists, which is in fact a mathematical activity, so a computer science is a formal science, simply a party of mathematics. But not all agree with this view—some specialists claim that writing computer programs is a kind of experiment and that computer science is a natural science. Experimenting using computers is not only a supporting method in other sciences but it plays an important role within the very computer science. However, many computer scientists believe that treating their discipline as a formal or natural science neglects the basic objective of computer science, i.e. problem solving using computers. So computer science is not a science at all, it is an engineering discipline. The fourth, currently dominating view claims that computer science is a new discipline of knowledge that uses engineering, experimental and formal methods. But it is neither a branch of mathematics, nor a natural science, nor an engineering discipline