WikiSysop: Bot: Automatski unos stranica

2021-08-21T06:00:43Z

Bot: Automatski unos stranica

Nova stranica

{{Znanstvenik
| ime = Edsger Wybe Dijkstra
| slika = Edsger Wybe Dijkstra.jpg
| slika_širina = 150px
| naslov =
| datum_rođenja = [[11. svibnja]], [[1930.]]
| mjesto_rođenja = [[Rotterdam]], [[Nizozemska]]
| datum_smrti = [[6. kolovoza]], [[2002.]]
| mjesto_smrti = [[Nuenen]], [[Nizozemska]]
| prebivalište =
| državljanstvo =
| narodnost =
| etnicitet =
| polje = [[računarstvo]]
| radna_institucija = [[National Research Institute for Mathematics and Computer Science|Mathematisch Centrum]]<br>[[Sveučilište Texasa u Austinu]]
| alma_mater =
| doktorski_mentor =
| doktorski_studenti =
| poznat_po = [[Dijkstrin algoritam]]<br>[[THE (operacijski sustav)|THE multiprogramirajući sustav]]<br>[[Semafor (programiranje)|Semafor]]
| nagrade = [[Turingova nagrada]]<br>[[Association for Computing Machinery]]
| religija =
| fusnote =
}}
'''Edsger Wybe Dijkstra''' ([[Rotterdam]], [[11. svibnja]], [[1930.]] – [[6. kolovoza]], [[2002.]]); ([[Međunarodna fonetska abeceda|MFA za engl.]]: {{IPA|ˈɛtˌsxər ˈwɛɪbə ˈdɛɪkˌstra}}) je bio [[nizozemska|nizozemski]] [[računalni znanstvenik]]. Dobio je [[Turingova nagrada|Turingovu nagradu]] 1972. za fundamentalne doprinose na području programskih jezika, te je držao poziciju ''Schlumberger Centennial Chair'' računalnih znanosti na Sveučilištu Texasa u Austinu od 1984. pa do svoje smrti 2002.

Netom prije smrti je primio [[Association for Computing Machinery|ACM]] PODC utjecajni papir nagradu u rapospodijeljenom računarstvu za papir koji za začeo potpodručje [[samo-stabilizacija|samo-stabilizacije]]. Ova godišnja nagrada je preimenovana u ACM Edsger W. Dijkstra nagrada ubrzo nakon Dijkstrine smrti.

== Život ==

Rođen u [[Rotterdam]]u, Dijkstra je studirao [[fizika|teoretsku fiziku]] na sveučilištu u Leidenu, da bi vrlo brzo shvatio da ga programiranje više zanima.

Izvorno zaposlen od strane [[National Research Institute for Mathematics and Computer Science|Mathematisch Centrum]]a u Amsterdamu, obnašao je dužnost profesora na Sveučilištu tehnologije u Eindhovenu u Nizozemskoj, radio kao istraživač za [[Burroughs Corporation]] u ranim 1970-im, te kasnije preuzeo poziciju ''Schlumberger Centennial Chair'' računalnih znanosti u sveučilištu Texasa u Austinu, u [[Sjedinjene Američke Države|SAD]]-u. Umirovljen je [[2000.]]

Među doprinosima u računarstvu su ''[[algoritam]] [[najkraći put|najkraćeg puta]]'', poznat i kao ''[[Dijkstrin algoritam]]'', [[THE (operacijski sustav)|THE multiprogramirajući sustav]] te sinkronizacijski konstrukt [[Semafor (programiranje)|semafora]], za koordiniranje višestrukih procesora i programa. Drugi koncept za koji je Dijkstra zaslužan u polju raspodijeljenog računarstva jest [[samo-stabilizacija]] - alternativan način osiguravanja pouzdanosti sustava. Dijkstrin algoritam je korišten u SPF ([[Shortest Path First]]), koji je korišten u usmjeravajućem protokolu OSPF ([[Open Shortest Path First]]).

Poznat je i po izrazito lošem mišljenju o [[GOTO]] naredbi u [[računalno programiranje|računalnom programiranju]], što je kulminiralo u članku iz [[1968.]] "[https://web.archive.org/web/20070703050443/http://www.acm.org/classics/oct95/ A Case against the GO TO Statement]" (EWD215), koji se smatra jednim od većih koraka ka naširokom odbacivanju [[GOTO]] naredbe i njenoj zamjeni [[kontrolne strukture|stukturiranim kontrolnim konstruktima]] kao što je [[while petlja]]. Ova se metodologija također zove [[skruktuirano programiranje]]. Slavni naslov ovog rada, "Go To Statement [[considered harmful|Considered Harmful]]", nije rad samog Dijkstre, već [[Niklaus Wirth|Niklausa Wirtha]], urednika časopisa [[Communications of the ACM]]. Dijkstra je poznat kao fan [[ALGOL|ALGOL-a 60]], te je usto i radio u timu koji je implementirao prvi [[jezični procesor]] za taj jezik. Dijkstra i Jaap Zonneveld, koji je također doprinio u jezičnom procesoru, su se dogovorili da se ne briju sve dok se projekt ne završi. Zonneveld je s vremenom obrijao bradu, dok je Dijkstra svoju zadržao sve do smrti.

Također je napisao dva važna znanstvena rada 1968. koja su posvećena strukturi multiprogramiranih sustava te kooperirajućim sekvencijalnim procesima.

Od 1970-ih, Dijkstrino glavno zanimanje jest [[formalna verifikacija]]. Prevladavajuće mišljenje vremena je bilo da se prvo treba napisati program a tek potom pružiti [[matematički dokaz]] njegove [[ispravnost]]i. Dijkstra je prigovorio da su tako rezultirajući dokazi dugi i naporni, te da dokaz ne pruža nikakvi uvid u to kako je program razvijen. Alternativna metoda je ''[[izvođenje programa]]'', kako bi se "razvili dokaz i program istovremeno". Započne se sa matematičkom ''specifikacijom'' onoga što bi program trebao obavljati, te se potom primjenjuju matematičke transformacije nad specifikacijom sve dok ona nije pretvorena u izvodivi program. Za rezultirajući se program kaže da je ''ispravan po konstrukciji''. Većina Dijkstrinog kasnijeg rada je vezana za pospješavanje tog procesa zasnovanog na matematičkom argumentu. U intervjuu 2001. je izrazio želju za "elegancijom", pri čemu bi ispravni pristup bio mentalno obrađivanje misli, umjesto naknadnog rafiniranja sve dok nisu kompletne. Analogija se može izvesti sa skladateljskim pristupima [[Wolfgang Amadeus Mozart|Mozart]]a i [[Ludwig van Beethoven|Beethoven]]a.

Dijkstra je poznat po svojim esejima o programiranju - bio je prvi koji je tvrdio da je programiranje inherentno teško i složeno te da programeri moraju ovladati svakim mogućim trikom i apstrakcijom kako bi uspješno upravljali složenošću samog procesa. Također je poznat po svojoj navadi brižno napisanih rukopisa sa [[naliv pero]]m. Rukupisi se zovu EWD-ovi, s obzirom da ih je Dijkstra pobrojao sa ''EWD'' kao prefiksom. Sam bi Dijkstra širio fotokopije novih EWD-ova među kolegama, a pošto su mnogi fotokopirali i preusmjeravali svoje kopije, EWD-ovi su se proširili kroz računarsku zajednicu. Teme su mahom računarstvo i matematika, ali također uključuju i putna izvješća, pisma i govore. Više od 1300 EWD-ova je dosad skenirano, sa sve većim brojem transkribiranih kako bi se olakšala pretraga, a dostupni su i online u Dijkstrinom arhivu na Sveučilištu u Texasu:<ref>Online arhiv Sveučilišta u Texasu: [http://www.cs.utexas.edu/users/EWD/ ww.cs.utexas.edu/users/EWD/]</ref>.

Bio je jedan od prvih pionira istraživanja raspodijeljenog računarstva. Neki čak smatraju da su njegovi radovu utemeljili cijelo polje. Posebice, njegov rad "Self-stabilizing Systems in Spite of Distributed Control" je začeo potpolje [[samo-stabilizacija|samo-stabilizacije]].

Poznat je i po tome što je posjedovao svega jedno računalo (pri kraju života), te je rijetko koristio računala uopće<ref>"Gotovo svi članci u ovoj seriji koji su se pojavili nakon 1972. su napisani rukom. S obzirom da je cijeli život izmišljao softverske tehnologije, izbjegavao je uporabu računala mnoga desetljeća. Čak i kad je podlijegao poticajima svojih kolega na teksaškom sveučilištu i dobio Macintosh računalo na korištenje, rabio ga je samo za e-mail i pregledavanje World Wide Weba." [http://www.utexas.edu/faculty/council/2002-2003/memorials/Dijkstra/dijkstra.html "IN MEMORIAM EDSGER WYBE DIJKSTRA"]</ref>, shodno svojoj osudi da je računarstvo mnogo apstraktnije od pukog programiranja, a koja je izražena u famoznoj izjavi kao "Računarstvo nije ništa više o računalima nego što je astronomija o teleskopima."<ref>[http://www.utexas.edu/faculty/council/2002-2003/memorials/Dijkstra/dijkstra.html "IN MEMORIAM EDSGER WYBE DIJKSTRA"]</ref>

Umro je u [[Nuenen]]u, [[Nizozemska]] on [[6. kolovoza]], [[2002.]] nakon teške borbe sa [[rak (bolest)|rak]]om. Sljedeće je godine [[Association for Computing Machinery|ACM]]-ova PODC nagrada za utjecajni papir (''PODC Influential Paper Award'') preimenovana u [[Dijkstrina nagrada|Dijkstrinu nagradu]] u njegovu čast.

[[Andrzej Sapkowski]], poljski pisac fantastike, je rabio Dijkstrino ime kao ime jednog od glavnih likova u petoknjižnoj "Sagi" o ''The Hexeru''.

Poznat je po kovanju popularne programerske fraze ''"2 or more, use a for"'', koja aludira na činjenicu da je u slučaju obrade više od jedne instance podatkovne strukture, potrebno enkapsulirati kontrolnu logiku u petlju.

== Izvori ==
=== Radovi E.W. Dijkstre ===
{{izvori}}
* ''Go To Statement Considered Harmful'', ''[[Communications of the ACM]]'', Vol. 11 (1968) 147 – 148; [https://web.archive.org/web/20070703050443/http://www.acm.org/classics/oct95/ online izdanje] (EWD215)
* [http://www.cs.virginia.edu/~evans/cs655/readings/ewd498.html ''How do we tell truths that might hurt?'' (EWD498)]

* [http://www.cs.utexas.edu/users/EWD/transcriptions/EWD11xx/EWD1166.html ''From My Life'' (EWD166)]
* ''A Discipline of Programming'', Prentice-Hall Series in Automatic Computation, 1976, {{ISBN|0-13-215871-X}}
* ''Selected Writings on Computing: A Personal Perspective'', Texts and Monographs in Computer Science, Springer-Verlag, 1982, {{ISBN|0-387-90652-5}}
* ''A Method of Programming'', E.W. Dijkstra, W.H.J. Feijen, J. Sterringa, Addison Wesley 1988, {{ISBN|0-201-17536-3}}

=== Drugi o Dijsktri, hvalospjevi ===

* [http://www.digidome.nl/edsger_wybe_dijkstra.htm Biography] Digidome
* [http://homepages.cwi.nl/~apt/ps/dijkstra.pdf ''Edsger Wybe Dijkstra (1930 – 2002): A Portrait of a Genius''] ([[Portable Document Format|PDF]]) Osmrtnica u ''[[Formal Aspects of Computing]]'' sa kratkom biografijom
* [http://www.cs.utexas.edu/users/EWD/memorial/gries.html ''How can we explain Edsger W. Dijkstra to those who didn't know him?''], autor David Gries
* [http://www.cs.utexas.edu/users/EWD/memorial/moore.html Dijkstra Eulogy] autor J Strother Moore
* [http://www.cs.rutgers.edu/~szegedy/dijkstra.html In Memoriam Edsger Wybe Dijkstra] autor Mario Szegedy
* [http://www.adeptis.ru/vinci/m_part7.html Fotografije Edsgera Dijkstre]

== Vanjske poveznice ==

* [http://noorderlicht.vpro.nl/afleveringen/3502225/ Noorderlicht video intervjua]
* [http://www.luca.demon.co.uk/Fonts/Pc/Dijkstra.zip Font Dijkstrinog rukopisa] koji je napravio [[Luca Cardelli]]

{{Turingova nagrada}}

{{GLAVNIRASPORED:Dijkstra, Edsger}}
[[Kategorija:Nizozemski znanstvenici]]
[[Kategorija:Računalni znanstvenici]]
[[Kategorija:Pioniri računarstva]]
[[Kategorija:Dobitnici Turingove nagrade]]

Edsger Dijkstra - Povijest promjena

WikiSysop: Bot: Automatski unos stranica