Edsger Dijkstra: berrikuspenen arteko aldeak

Programazioko ''GOTO''-ri buruz zuen iritziarengatik ezaguna zen, [[1968|1968. urtean]] ''Go to Statement Considered Harmful'' artikuluan atera zena. Dijkstra [[ALGOL]]-ren zale ezagun bat zen, eta hizkuntza horretarako lehen kompiladorea garatu zuen taldearen parte izan zen. Urte berdinean, estruktura hierarkikoa zuen lehenengo sistema operatzailea sortu zuen. THE (''Technische Hogeschool, Eindhoven'') izena jarri zitzazion, eta helburu didaktikoetarako erabili zen.

[[1970]].urtetik aurrera, Dijkstraren interes nagusia baieztapen formala izan zen, eta hainbat inbestigazio egin zituen horren inguruan. Dijkstraren azken lanetako askok argudio matematikoak jariotasunez egiteari buruz hitz egiten dute.

 

[[ast:Edsger Dijkstra]]