Grandes figuras de la Informtica

Grandes figuras de la Informtica

ndice
ndiceEdsger Dijkstra..................................................................................................................3
Citas........................................................................................................................................4
Ada Lovelace..............................................................................................................................
!o"n von #eumann......................................................................................................................$
%&GI#A'
Grandes figuras de la Informtica
Edsger Dijkstra
De (iki)edia* la enciclo)edia li+re.
Edsger (,+e Dijkstra -.. de ma,o de ./30 1 2 de agosto de '00'3 fue un cient4fico de la
com)utaci5n de origen "oland6s.
Dijkstra estudi5 f4sica te5rica en la 7niversidad de Leiden. 8ra+aj5 como investigador )ara
9urroug"s Cor)oration a )rinci)ios de los a:os $0. En la 7niversidad de 8ejas en Austin* Estados
7nidos* ocu)5 el ;c"lum+erger Centennial C"air in Com)uter ;ciences. ;e retir5 en '000.
Entre sus contri+uciones a la informtica est el algor4tmo de caminos m4nimos< tam+i6n
conocido como Algoritmo de Dijkstra. =eci+i5 el %remio 8uring en ./$'.
Era conocido )or su +aja o)ini5n de la sentencia G>8> en )rogramaci5n* ?ue culmin5 en ./2@
con el art4culo Go 8o ;tatement Considered Aarmful* visto como un )aso im)ortante "acia el
rec"aBo de la eC)resi5n G>8> , de su eficaB reem)laBo )or estructuras de control tales como el
+ucle D"ile. El famoso t4tulo del art4culo no era o+ra de Dijkstra* sino de #iklaus (irt"* entonces
redactor de Comunicaciones del ACE. Dijkstra era un aficionado +ien conocido de Algol20* ,
tra+aj5 en el e?ui)o ?ue desarroll5 el )rimer com)ilador )ara este lenguaje.
Desde los a:os $0* el )rinci)al inter6s de Dijkstra fue la verificaci5n formal. La o)ini5n ?ue
)revalec4a entonces era ?ue uno de+e )rimero escri+ir un )rograma , seguidamente )ro)orcionar
una )rue+a matemtica de su correcci5n. Dijkstra o+jet5 ?ue las )rue+as ?ue resultan son largas e
inc5modas* , ?ue la )rue+a no da ninguna com)rensi5n de c5mo se desarroll5 el )rograma. 7n
m6todo alternativo es la derivaci5n de )rogramas* Fdesarrollar )rue+a , )rograma conjuntamenteG.
7no comienBa con una es)ecificaci5n matemtica del )rograma ?ue se su)one va a "acer , a)lica
transformaciones matemticas a la es)ecificaci5n "asta ?ue se transforma en un )rograma ?ue
)ueda ser ejecutado. El )rograma ?ue resulta entonces es sa+ido correcto )or la construcci5n.
Euc"o de los Hltimos tra+ajos de Dijkstra tratan so+re las maneras de "acer fluida la argumentaci5n
matemtica.
Dijkstra muri5 el 2 de agosto de '00' des)u6s de una larga luc"a contra el cncer.
%&GI#A3
Grandes figuras de la Informtica
Citas
FLa )regunta de si un com)utador )uede )ensar no es ms interesante ?ue la )regunta
de si un su+marino )uede nadar.G
FLa ciencia de la com)utaci5n no trata so+re las com)utadoras ms de lo ?ue la
astronom4a trata so+re los telesco)ios.G
%&GI#A4
Grandes figuras de la Informtica
Ada Lovelace
De (iki)edia* la enciclo)edia li+re.
Ada 9,ron Iing -.0 de diciem+re de .@. 1 '$ de noviem+re de .@'3 fue la )rimera
)rogramadora en la "istoria de las com)utadoras.
Ada Lovelace naci5 en Inglaterra* Hnica "ija leg4tima del )oeta ingl6s Lord 9,ron , de
Anna+ella Eil+anke 9,ron. ;us )adres se se)araron legalmente cuando ella ten4a dos meses de
edad. ;u )adre a+andon5 definitivamente Gran 9reta:a , su "ija nunca lleg5 a conocerlo en
)ersona.
El @ de !ulio de .@3 cas5 con (illiam Iing* octavo +ar5n de Iing* nom+rado ms tarde Conde
de Lovelace. ;u nom+re de casada )as5 a ser desde entonces Lad, Augusta Ada 9,ron Iing*
Condesa de Lovelace* nom+re del cual nace su denominaci5n moderna de -Lad,3 Ada Lovelace.
;igui5 estudios )articulares de matemticas , ciencias* siendo uno de sus tutores Augustus De
Eorgan* )rimer )rofesor de matemticas de la 7niversidad de Londres. Autodidacta* desde joven
tra+aj5 con C"arles 9a++age. a ?uien se le considera como el )adre de las com)utadoras* gracias a
?ue su Jm?uina anal4ticaJ funciona con el mismo )rinci)io ?ue las com)utadoras actuales.
Desarroll5 instrucciones )ara "acer clculos en una versi5n tem)rana del com)utador. ;u
relaci5n con C"arles 9a++age* el "om+re ?ue invent5 la )rimera com)utadora* comenB5 cuando
ella visita+a su taller a tem)rana edad. 9a++age esta+a mu, im)resionado con la manera en ?ue ella
entend4a su com)utador )ara el ?ue escri+i5 un )rograma ?ue )ermitir4a calcular los valores de los
nHmeros de 9ernoulli. Luego* 6l )as5 a ser su tutor , ms tarde tra+ajaron juntos. %u+lic5 en .@43
una serie de influ,entes notas so+re la com)utadora de 9a++age* su Ingenio Anal4tico* ?ue nunca
lleg5 a construirse. En su notas* Ada Augusta dice ?ue el Ingenio Anal4tico s5lo )od4a dar
informaci5n dis)oni+le ?ue ,a era conocidaK vio claramente ?ue no )odia originar conocimiento. ;u
tra+ajo fue olvidado )or muc"os a:os* atri+u,6ndole eCclusivamente un )a)el de transcri)tora de
las notas de 9a++age. Este mismo caracteriB5 su a)ortacion al llamarla su int6r)rete , recientes
%&GI#A
Grandes figuras de la Informtica
investigaciones muestran la originalidad de su )unto de vista so+re las instrucciones necesarias )ara
el funcionamiento del Ingenio Anal4tico. En este momento se reconoce a Ada 9,ron como la
)rimera )ersona en escri+ir un lenguaje de )rogramaci5n de carcter general inter)retando las ideas
de 9a++age* )ero reconociendosele la )lena autoria , originalidad de sus a)ortaciones.
;iendo muc"as las mujeres ?ue "an realiBado grandes a)ortaciones a la informtica s5lo Ada
Lovelace cuenta con un lenguaje de )rogramaci5n ?ue lleve su nom+reK el lenguaje de
)rogramaci5n Ada.
%&GI#A2
Grandes figuras de la Informtica
John von Neumann
De (iki)edia* la enciclo)edia li+re.
!o"n von #eumann -#eumann !nos3 -'@ de diciem+re de ./03 1 @ de fe+rero de ./$3 fue un
matemtico "Hngaro1americano ?ue realiB5 contri+uciones im)ortantes en f4sica cuntica* teor4a de
conjuntos* informtica* econom4a , en casi todos los cam)os de las matemticas. =eci+i5 su
doctorado en matemticas de la 7niversidad de 9uda)est a los '3 a:os.
Lue una de las cuatro )ersonas seleccionadas )ara la )rimera facultad del Institute for Advanced
;tud, -Instituto )ara estudios avanBados3. 8ra+aj5 en el %ro,ecto Ean"attan.
Es el )adre del la 8eor4a de !uegos , )u+lic5 el clsico li+ro 8"eor, of Games and Economic
9e"avior -8eor4a de !uegos , Com)ortamiento Econ5mico3 junto a >skar Eorgenstern en ./44.
8am+i6n conci+i5 el conce)to de JEADJ -Eutuall, assured destruction 1 Destrucci5n mutua
asegurada3* conce)to ?ue domin5 la estrategia nuclear norteamericana durante los tiem)os de
)osguerra.
8ra+aj5 con Eckert , Eauc"l, en la 7niversidad de %enns,lvania* )u+lic5 un art4culo acerca del
almacenamiento de )rogramas. El conce)to de )rograma almacenado )ermiti5 la lectura de un
)rograma dentro de la memoria de la com)utadora* , des)u6s la ejecuci5n de las instrucciones del
mismo sin tener ?ue volverlas a escri+ir. La )rimera com)utadora en usar el citado conce)to fue la
la llamada EDMAC -Eletronic Discrete1Maria+le Automatic Com)uter* es decir com)utadora
automtica electr5nica de varia+le discreta3* desarrollada )or Mon #eumann* Eckert , Eauc"l,.
Los )rogramas almacenados dieron a las com)utadoras fleCi+ilidad , confia+ilidad* "aci6ndolas
ms r)idas , menos sujetas a errores ?ue los )rogramas mecnicos.
%&GI#A$