Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
rozmaiteopinie:odgłoszących,żejesttonaukaokomputerachizwiązanych
znimizjawiskach,poprzeztraktowaniejejjakogałęzimatematykilubjako
naukiempirycznej,ażpotezę,iżjesttowłaściwiegałąźinżynierii.Jeśliprzyjąć,
żeinformatykatonaukaokomputerach,topojawiasięnastępnakwestia:coto
właściwiejestkomputer?Jednymznajważniejszychobiektówpojawiających
się,tworzonychibadanychwinformatycesąalgorytmy.Cotojednakjestalgo-
rytm?Icotowłaściwiejestprogramkomputerowy?Jakonistnieje,jakajest
jegonatura?Czyjesttotylkozapisnapapierze,czycoświęcej?Jeślicoświęcej-
toco?Ikolejnyproblem-weryfikowalnościprogramów.Czymożemybyć
pewni,żeprogramkomputerowybędzierealizowałdokładnietezadania,które
przednimstawiamy?Skądpewność,żeniejestonwewnętrzniesprzeczny?Jak
przekonaćsię,iczyjesttowogólemożliwe,ojegospójności?Wśródproble-
mówfilozoficznychzwiązanychzinformatykąpoczesnemiejscezajmujekwe-
stiasztucznejinteligencjiiproblemyepistemologicznezwiązanezmożliwo-
ściamikomputerów.Zzagadnieniamitymiwiążesięteższerokodyskutowana
oddawnatezaChurcha-Turinga,czylizdaniegłoszące,żeintuicyjnepojęcie
efektywnejobliczalnościizwiązaneznimpojęciealgorytmujestadekwatnie
wyrażoneprzezścisłeidobrzematematycznieugruntowaneizbadanepojęcie
rekurencyjności(czyrównoważnemupojęciaobliczalnościwsensieTuringa,
λ-definiowalnościitd.).
Teproblemyiichpochodnesątematemrozważańzawartychwprzytoczo-
nychtupracach.Pokazująoneproblemynaturyfilozoficznej,przedktórymi
stajeinformatyka.Wskazująteżnamożliwerozwiązaniaiichkonsekwencje-
nietylkonaturyfilozoficznej,aletakżekonsekwencjedlasamejinformatyki.
Mamynadzieję,żeksiążkataizawartewniejtekstyzainteresująspecjali-
stówzzakresuinformatyki,zarównoteoretycznej,jakistosowanej,atakże
filozofówikognitywistów.
PracenadtąksiążkąbyłyprowadzonewramachprojektubadawczegoΠZa-
gadnieniafilozoficznezwiązanezinformatyką”.Zostałonsfinansowanyze
środkówNarodowegoCentrumNauki(grantnrNN101136940).
ChciałbympodziękowaćPaniDoktorIzabeliBondeckiej-Krzykowskiejza
pomocwdoborzetekstów,zakonsultacjęinformatycznąorazzaprzejrzenie
częścimaszynopisu.DziękujętakżerecenzentowiProfesorowiWitoldowiMar-
ciszewskiemuzacenneuwagiisugestie.Chcęteżwyrazićwdzięcznośćwydaw-
nictwom,któreudzieliłyzgodynaprzekładipublikacjętłumaczeńwydanych
przeznietekstów.
RomanMurawski
Poznań,wczerwcu2013roku
8
