Grandes figuras de la Informtica

Grandes de la informtica

EdsgerDijkstra
DeWikipedia,laenciclopedialibre.

Edsger Wybe Dijkstra (11 de mayo de 1930 - 6 de agosto de 2002) fue un cientfico de la computacin de origen holands. Dijkstra estudi fsica terica en la Universidad de Leiden. Trabaj como investigador para Burroughs Corporation a principios de los aos 70. En la Universidad de Tejas en Austin, Estados Unidos, ocup el Schlumberger Centennial Chair in Computer Sciences. Se retir en 2000. Entre sus contribuciones a la informtica est el algortmo de caminos mnimos; tambin conocido como Algoritmo de Dijkstra. Recibi el Premio Turing en 1972. Era conocido por su baja opinin de la sentencia GOTO en programacin, que culmin en 1968 con el artculo Go To Statement Considered Harmful, visto como un paso importante hacia el rechazo de la expresin GOTO y de su eficaz reemplazo por estructuras de control tales como el bucle while. El famoso ttulo del artculo no era obra de Dijkstra, sino de Niklaus Wirth, entonces redactor de Comunicaciones del ACM. Dijkstra era un aficionado bien conocido de Algol60, y trabaj en el equipo que desarroll el primer compilador para este lenguaje. Desde los aos 70, el principal inters de Dijkstra fue la verificacin formal. La opinin que prevaleca entonces era que uno debe primero escribir un programa y seguidamente proporcionar una prueba matemtica de su correccin. Dijkstra objet que las pruebas que resultan son largas e incmodas, y que la prueba no da ninguna comprensin de cmo se desarroll el programa. Un mtodo alternativo es la derivacin de programas, desarrollar prueba y programa conjuntamente. Uno comienza con una especificacin matemtica del programa que se supone va a hacer y aplica transformaciones matemticas a la especificacin hasta que se transforma en un programa que pueda ser ejecutado. El programa que resulta entonces es sabido correcto por la construccin. Mucho de los ltimos trabajos de Dijkstra tratan sobre las maneras de hacer fluida la argumentacin matemtica. Pgina 4

Grandes de la informtica Dijkstra muri el 6 de agosto de 2002 despus de una larga lucha contra el cncer.

Citas
Lapreguntadesiuncomputadorpuedepensarnoesmsinteresantequela preguntadesiunsubmarinopuedenadar. Lacienciadelacomputacinnotratasobrelascomputadorasmsdeloquela astronomatratasobrelostelescopios.

Pgina 5

Grandes de la informtica

AdaLovelace
DeWikipedia,laenciclopedialibre. AdaByronKing(10dediciembrede181527denoviembre de 1852) fue laprimeraprogramadoraenlahistoria delas computadoras. AdaLovelacenacienInglaterra,nicahijalegtima delpoetainglsLordByronydeAnnabellaMilbankeByron. Sus padres se separaron legalmente cuando ella tena dos meses de edad. Su padre abandon definitivamente Gran Bretaaysuhijanuncallegaconocerloenpersona. El8deJuliode1835casconWilliamKing,octavobarndeKing,nombradomstarde CondedeLovelace.SunombredecasadapasaserdesdeentoncesLadyAugustaAdaByronKing, CondesadeLovelace,nombredelcualnacesudenominacinmodernade(Lady)AdaLovelace. Siguiestudiosparticularesdematemticasyciencias,siendounodesustutoresAugustus DeMorgan,primerprofesordematemticas delaUniversidaddeLondres.Autodidacta,desde joventrabajconCharlesBabbage.aquienseleconsideracomoelpadredelascomputadoras, gracias a que su "mquina analtica" funciona con el mismo principio que las computadoras actuales. Desarrollinstruccionesparahacerclculosenunaversintempranadelcomputador.Su relacinconCharlesBabbage,elhombrequeinventlaprimeracomputadora,comenzcuandoella visitabasutalleratempranaedad.Babbageestabamuyimpresionadoconlamaneraenqueella Pgina 6

Grandes de la informtica entendasucomputadorparaelqueescribiunprogramaquepermitiracalcularlosvaloresdelos nmerosdeBernoulli.Luego,lpasasersututorymstardetrabajaronjuntos.Publicen1843 unaseriedeinfluyentesnotassobrelacomputadoradeBabbage,suIngenioAnaltico,quenunca lleg a construirse. En su notas, Ada Augusta dice que el Ingenio Analtico slo poda dar informacindisponiblequeyaeraconocida:vioclaramentequenopodiaoriginarconocimiento.Su trabajofueolvidadopormuchosaos,atribuyndoleexclusivamenteunpapeldetranscriptorade lasnotasdeBabbage.Estemismocaracterizsuaportacionalllamarlasuintrpreteyrecientes investigacionesmuestranlaoriginalidaddesupuntodevistasobrelasinstruccionesnecesariaspara el funcionamiento del Ingenio Analtico. En este momento se reconoce a Ada Byron como la primerapersonaenescribirunlenguajedeprogramacindecarctergeneralinterpretandolasideas deBabbage,peroreconociendoselelaplenaautoriayoriginalidaddesusaportaciones. SiendomuchaslasmujeresquehanrealizadograndesaportacionesalainformticasloAda Lovelace cuenta con un lenguaje de programacin que lleve su nombre: el lenguaje de programacinAda.

Pgina 7

Grandes de la informtica

JhonvonNeumann
DeWikipedia,laenciclopedialibre. JohnvonNeumann(NeumannJnos)(28dediciembrede1903 8defebrerode1957)fueunmatemticohngaroamericanoque realiz contribuciones importantes en fsica cuntica, teora de conjuntos,informtica,economayencasitodosloscamposde las matemticas. Recibi su doctorado en matemticas de la UniversidaddeBudapestalos23aos. Fue una de las cuatro personas seleccionadas para la primerafacultaddelInstituteforAdvancedStudy(Institutoparaestudiosavanzados).Trabajenel ProyectoManhattan. Es el padre del la Teora de Juegos y public el clsico libro Theory of Games and EconomicBehavior(TeoradeJuegosyComportamientoEconmico)juntoaOskarMorgenstern en1944.Tambinconcibielconceptode"MAD"(MutuallyassureddestructionDestruccin

Pgina 8

Grandes de la informtica mutuaasegurada),conceptoquedominlaestrategianuclearnorteamericanadurantelostiemposde posguerra. TrabajconEckertyMauchlyenlaUniversidaddePennsylvania,publicunartculoacerca delalmacenamientodeprogramas.Elconceptodeprogramaalmacenadopermitilalecturadeun programadentrodelamemoriadelacomputadora,ydespuslaejecucindelasinstruccionesdel mismosintenerquevolverlasaescribir.Laprimeracomputadoraenusarelcitadoconceptofuela la llamada EDVAC (Eletronic DiscreteVariable Automatic Computer, es decir computadora automticaelectrnicadevariablediscreta),desarrolladaporVonNeumann,EckertyMauchly. Los programas almacenados dieron a las computadoras flexibilidad y confiabilidad, hacindolasmsrpidasymenossujetasaerroresquelosprogramasmecnicos.

Pgina 9