Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Informatykaijejzwiązekzmatematyką
Źródło:DonaldE.Knuth,Computerscienceanditsrelationtomathematics,
AmericanMathematicalMonthly81(4)(1974),323-343[fragmenty:s.323-
-329]4
Nowadziedzina,nazywanainformatyką,pojawiłasięostatnionawiększości
uniwersytetównaświecie.Artykułniniejszyukazujemojeosobistepoglądyna
temattego,jakiezwiązkiłącząjązmatematyką-pokażemyto,rozważającpo-
dobieństwairóżnicemiędzytymidziedzinamiorazbadając,wjakisposób
dziedzinytepomagająsobiewzajemnie.[ł]
1.Czymjestinformatyka?
Ponieważinformatykajestczymśwzględnienowym,muszęzacząćodwy-
jaśnienia,oczymonatraktuje.Żonamówimi,żezmuszonajestwyjaśniaćto,
gdyjestpytana,czymjasięzajmuję.Wydajemisię,żewiększośćludzimadziś
trochęinnespojrzenienainformatykęniżja.Istotnie,żadnychdwóchinforma-
tykówniepodaprawdopodobnietejsamejdefinicjiswojejdziedziny;niepo-
winnotodziwić,gdyżpodobnietrudnobędzieznaleźćdwóchmatematyków,
którzypodalibytęsamądefinicjęmatematyki.Naszczęściemodnyjestostatnio
Πkryzystożsamości”-informatycysąwięcwgłównymnurcie.
Mójulubionysposóbdefiniowaniainformatykitostwierdzenie,żejestona
badaniemalgorytmów.Algorytm[zkolei]toprecyzyjnieokreślonyciągreguł
mówiący,jakotrzymaćokreślonąinformacjęwyjściowązdanejinformacjiwej-
ściowejwskończonejliczbiekroków.Konkretnareprezentacjaalgorytmuna-
zywanajestprogramem,takjakużywamysłowaΠdane”naokreśleniekonkret-
nejreprezentacjiΠinformacji”(Knuth1966).Byćmożenajwiększymodkryciem
będącymrezultatemwprowadzeniakomputerówokażesięto,żealgorytmom,
jakoprzedmiotombadania,przysługujeniezwykłebogactwointeresujących
własnościorazto,żealgorytmicznypunktwidzeniajestużytecznymsposobem
organizacjiwiedzywogólności.G.E.Forsythezauważył,żeΠpytanieIComoże
zostaćzautomatyzowane?’jestjednymznajbardziejinspirującychpytańfilozo-
ficznychipraktycznychwspółczesnejcywilizacji”(Forsythe1966).
Zpowyższychuwagmożemywyciągnąćwniosek,żeinformatykapowinna
byłaistniećnadługoprzedpojawieniemsiękomputerów.Wpewnymsensie
takbyło;przedmiottenjestgłębokozakorzenionywhistorii.Zzainteresowa-
___
___
___
___
__
4CopyrightTheMathematicalAssociationofAmerica,2013.Allrightsreserved.
14
