Monday, January 6, 2020

EWD977 Un discurso para mis alumnos - 16/9/1986 + EWD978

Original: An address to my students (16.9.1986)
https://www.cs.utexas.edu/users/EWD/transcriptions/EWD09xx/EWD977.html
Pdf:  https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD977.PDF





Un discurso para mis alumnos (16.9.1986)

La semana pasada, uno de ustedes me preguntó cómo me sentía acerca de cierto sistema de edición / configuración de tipo y esencialmente evadí la respuesta, diciendo "Bueno, esa es otra historia". Aquí está esa historia. No se trata de ese sistema específico, del cual soy ignorante, sino de la utilidad en general.

Uno no puede identificarse con una causa sin creer razonablemente en ella. Por ejemplo, de un estudiante de medicina, uno espera, por ejemplo, la opinión y la actitud de que curar a los enfermos, si puede hacerlo, es algo bueno que vale la pena hacer. Y para el médico de primer año, tal opinión es suficiente. Pero cuando se acerca a su graduación, uno espera de él una opinión mucho más sutil que reconozca las circunstancias en las que una muerte elegante es la única cura efectiva. La mayoría de los médicos alcanzan ese estado de tristeza y sabiduría profesional, si no antes de su graduación, poco después. Además, como regla general, no hablan de ello en público, no porque se avergüencen de ello, sino porque la sociedad en su conjunto todavía piensa que la eutanasia es un tema demasiado doloroso para ser discutido en público. Demasiado para la profesión médica.

¿Qué pasa con el estudiante de ciencias de la computación —o “ciencias de la computadora” como se le llama en este país—? Uno espera de él la opinión y la actitud de que la manipulación mecánica de fragmentos de información es potencialmente una gran cosa, liberándonos del trabajo pesado de todo tipo de trabajos de rutina y permitiéndonos hacer todo tipo de cosas maravillosas que serían absolutamente imposibles sin una computación automática. Y en el caso de un estudiante de primer año, uno ni siquiera se opone cuando incluye entre las cosas maravillosas "poner, a su costa, un payaso en la luna".

Sin embargo, cuando el estudiante de ciencias de la computación se acerca a su graduación, o de lo contrario poco después, se espera una opinión más sutil que reconozca las circunstancias en las que la informatización no es más que un aceite de serpiente transistorizado. Son muchos, y en ocasiones posteriores puedo discutir una serie de casos específicos. Permítanme concluir este discurso con un pensamiento perturbador, a saber. esa sociedad tolera la profesión informática debido a su incompetencia. Es nuestra incompetencia lo que nos hace, aunque caros, relativamente inofensivos: si fuéramos tan competentes como quisiéramos ser, podríamos ofrecer la implementación perfecta del estado policial completo. Seríamos los favoritos de cualquier dictadura.

Austin, 14 de septiembre de 1986

profe. Dr. Edsger W. Dijkstra
Departamento de Informática
La universidad de Texas en Austin
Austin, TX 78712-1188, EE. UU.



EWD978:  Una secuela de EWD977 (18.9.1986)


Considero a la comunidad informática como una víctima colectiva de los vendedores de computadoras. Tomemos, por ejemplo, el procesador de textos.

En este país, donde predomina la ética laboral protestante, todos se sienten bien si están ocupados y, como resultado, fue posible vender el procesador de texto como un dispositivo que ahorra tiempo. Sin embargo, la ironía de la situación es que, como producto comercial, el procesador de textos tuvo tanto éxito porque, de hecho, su uso cuesta tiempo; Como resultado, hace que su usuario esté aún más ocupado y se sienta aún mejor. Es la herramienta ideal para aquellos que pueden confundir la actividad con el trabajo.

A menudo me han preguntado por qué no uso ese tipo de equipo, y mi respuesta sincera siempre ha sido que tengo tanto para escribir que no puedo permitirme el uso de estos dispositivos que ahorran tiempo. Las reacciones van desde la incredulidad hasta la ira.

Los experimentos se han llevado a cabo con personas que fueron tanto escritores experimentados como usuarios experimentados de procesadores de texto. El resultado fue, en primer lugar, que la calidad lingüística de las letras producidas mecánicamente no era notablemente inferior a la de las letras escritas a mano y, en segundo lugar, que habían tardado un 50% más de tiempo en escribirse. Llegué a la conclusión de que probablemente ningún país puede pagar el costo humano involucrado en el uso generalizado de dicho equipo. Y de hecho; la otra semana escuché de un análisis reciente de por qué la industria estadounidense tiene un desempeño tan pobre y una causa principal resultó ser la baja productividad de los trabajadores de cuello blanco, una baja productividad que podría atribuirse a la automatización excesiva de la oficina. No me sorprendió

También sé por qué ese equipo consume tanto tiempo: es tan fácil hacer un cambio en su texto. Es una invitación abierta a escribir primero, y corregir y mejorar después. Sé que algunas escuelas de composición en inglés incluso promueven esa forma de diseño iterativo como el único paradigma viable para la escritura. Pero creo que eso es muy miope porque a largo plazo es mucho más efectivo entrenarse para obtener el texto casi siempre correcto la primera vez.

Creo que estas máquinas deberían llevar un aviso que diga: "¡Advertencia! El Educador General ha determinado que el procesamiento electrónico de texto es perjudicial para su competencia en la escritura".
Austin, 15 de septiembre de 1986.

profe. Dr. Edsger W. Dijkstra
Departamento de Informática
La universidad de Texas en Austin
Austin, TX 78712–1188
Estados Unidos

Friday, January 3, 2020

Selected Writings on Computing: A personal Perspective Edsger Wybe Dijkstra 1968 - 1982

Selected Writings on Computing: A personal Perspective
Edsger Wybe  Dijkstra  1968 - 1982
From: https://www.cs.utexas.edu/users/EWD/indexBibTeX.html


https://www.brown.edu/Research/Istrail_Lab/resources/SelectedWritingsReport.pdf
By: S. Istrail

EWD227  (1968)
"Stepwise program construction"
https://www.cs.utexas.edu/users/EWD/ewd02xx/EWD227.PDF
(Pags 1 - 14)

EWD338 (1978)
"Parallelism in multi-record transactions" 
https://www.cs.utexas.edu/users/EWD/ewd03xx/EWD338.PDF
(Pags 15 - 21)

EWD376  (1973)
"Finding the maximum strong components in a directed graph" 
https://www.cs.utexas.edu/users/EWD/ewd03xx/EWD376.PDF 
(Pags 22-30)

EWD385 (1973)
"Trip report E.W.Dijkstra Summer School Munich, July 25 to August 4, 1973" 
https://www.cs.utexas.edu/users/EWD/ewd03xx/EWD385.PDF 
(Pags 31-33)

EWD386 (1973) 
"The solution to a cyclic relaxation problem" 
https://www.cs.utexas.edu/users/EWD/ewd03xx/EWD386.PDF 
(Pags 34-35) 

EWD387 (1973) 
"Trip report IBM Seminar 'Communication and Computers' '', Newcastle, Sept. 1973" 
https://www.cs.utexas.edu/users/EWD/ewd03xx/EWD387.PDF 
(Pags 36-40)

EWD391 (1973)
"Self-stabilization in spite of distributed control"
https://www.cs.utexas.edu/users/EWD/ewd03xx/EWD391.PDF
(pags 41-46)

EWD407 (1974)
"Acceptance speech for the AFIPS Harry Goode Memorial Award 1974" 
https://www.cs.utexas.edu/users/EWD/ewd04xx/EWD407.PDF 
(Pags 47-49)

EWD427 (1974) "Speech at the occasion of an anniversary"
https://www.cs.utexas.edu/users/EWD/ewd04xx/EWD427.PDF 
(Pags 50-53)

EWD442 (1974) "Inside `Mathematics Inc' "
https://www.cs.utexas.edu/users/EWD/ewd04xx/EWD442.PDF
(Pags 54-55)

EWD443 (1974)
"A multidisciplinary approach to mathematics"
https://www.cs.utexas.edu/users/EWD/ewd04xx/EWD443.PDF
(Pags 56-59)


EWD447 (1974)
"On the role of scientific thought"
https://www.cs.utexas.edu/users/EWD/ewd04xx/EWD447.PDF 
(Pags 60-66)

EWD462 (1974)
"A time-wise hierarchy imposed upon the use of a two-level store"
https://www.cs.utexas.edu/users/EWD/ewd04xx/EWD462.PDF
(Pags 67-78)

EWD464 (1974)
"A new elephant built from mosquitos humming in harmony"
https://www.cs.utexas.edu/users/EWD/ewd04xx/EWD464.PDF
(Pags 79-83)

EWD465 (1974)
"Monotonic replacement algorithms and their implementation"
https://www.cs.utexas.edu/users/EWD/ewd04xx/EWD465.PDF
(Pags 84-88)

EWD466 (1974)
"Trip report E.W.Dijkstra, Meeting IFIP W.G.2.3., Munich, 8--14 December 1974"
https://www.cs.utexas.edu/users/EWD/ewd04xx/EWD466.PDF
(Pags 89-94)

EWD474 (1975) 
"Trip report visit ETH Zurich, 3--4 February 1975 by E.W.Dijkstra"
https://www.cs.utexas.edu/users/EWD/ewd04xx/EWD474.PDF 
(Pags 95-98) 

EWD475 (1975)
"A letter to my old friend Jonathan"
https://www.cs.utexas.edu/users/EWD/ewd04xx/EWD475.PDF
(Pags 99-103) 

EWD480 (1975)
" 'Craftsman or scientist?' "
https://www.cs.utexas.edu/users/EWD/ewd04xx/EWD480.PDF
(Pags 104-109)

EWD482 (1975)
"Exercises in making programs robust"
https://www.cs.utexas.edu/users/EWD/ewd04xx/EWD482.PDF
(Pags 110-119)

EWD494 (1975)
"Trip report E.W.Dijkstra 16th April / 7th May, U.S.A. and Canada"
https://www.cs.utexas.edu/users/EWD/ewd04xx/EWD494.PDF 
(Pags 120-128)
  
EWD498 (1975)
"How do we tell truths that might hurt?"
https://www.cs.utexas.edu/users/EWD/ewd04xx/EWD498.PDF 
(Pags 129-131)

EWD501 (1975)
"Variations on a theme: an open letter to {C.A.R. Hoare}"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD501.PDF 
(Pags 132-140)

EWD503 (1975)
"A post-scriptum to EWD501"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD503.PDF 
(Pags 141-144)

EWD504 (1975) "Erratum and embellishments of {EWD503}"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD504.PDF 
(Pags 145-146)

EWD508 (1975)
"A synthesis emerging?"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD508.PDF
(Pags 147-160)

EWD512 (1975)
"Comments at a symposium"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD512.PDF 
(Pags 161-164)

EWD513 (1975)
"Tripreport E.W.Dijkstra Newcastle, 8--12 September 1975"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD513.PDF
(Pags 165-168)

EWD525 (1975)
"On a warning from E.A.Hauck"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD525.PDF
(Pags 169-171)

EWD528 (1975)
"More on Hauck's warning"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD528.PDF
(Pags 172-173)

EWD538 (1975)
"A collection of beautiful proofs"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD538.PDF
(Pags 174-183)

EWD539 (1975)
"Mathematics Inc., a private letter from its Chairman"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD539.PDF 
(Pags 184-187)

EWD554 (1975)
"A personal summary of the Gries-Owicki theory"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD554.PDF
(Pags 188-199)

EWD561 (1976)
"A 'non trip report' from E.W.Dijkstra"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD561.PDF
(Pags: 200-204)

EWD563 (1976)
"Formal techniques and sizeable programs"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD563.PDF
(Pags 205-214)

EWD570 (1976)
"An exercise for Dr. R.M.Burstall"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD570.PDF 
(Pags 215-216)

EWD573 (1976)
"A great improvement"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD573.PDF
(Pags 217-219)

EWD575 (1976)
"To H.D.Mills, Chairman Software Methodology Panel"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD575.PDF
(Pags 220-222)

EWD576 (1976)
"On subgoal induction"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD576.PDF
(Pags: 223-224)

EWD577 (1976)
"Tripreport E.W.Dijkstra, ECI-conference 9--12 August 1976, Amsterdam"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD577.PDF
(Pags 225-229)

EWD578 (1976)
"More about the function 'fusc' (A sequel to EWD570)"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD578.PDF 
(Pags 230-232)

EWD582 (1976)
"A proof of a theorem communicated to us by S.Ghosh"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD582.PDF
(Pags 233-234)

EWD584 (1976)
"Tripreport E.W.Dijkstra, Poland and USSR, 4--25 September 1976"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD584.PDF
(Pags 235-244)

EWD585 (1976)
"Tripreport E.W.Dijkstra, Tokyo, 28 Sep.--3 Oct. 1976"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD585.PDF 
(Pags 245-250)

EWD594 (1976)
"A parable"
https://www.cs.utexas.edu/users/EWD/ewd05xx/EWD594.PDF
(Pags 251-252)

EWD603 (1976)
"Tripreport E.W.Dijkstra, St.Pierre-de-Chartreuse, 12--19 Dec.1976"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD603.PDF 
(Pags 253-258)

EWD607 (1977)
"A correctness proof for communicating processes: a small exercise"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD607.PDF 
(Pags 259-263)

EWD608 (1977)
"An elephant inspired by the Dutch National Flag"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD608.PDF 
(Pags 264-267)

EWD611 (1977)
"On the fact that the Atlantic Ocean has two sides"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD611.PDF 
(Pags 268-276)

EWD613 (1977)
"Tripreport E.W.Dijkstra, Australia, 16 February 1977--21 March 1977"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD613.PDF 
(Pags 277-283)

EWD614 (1977)
"A somewhat open letter to EAA or: why I proved the boundedness of the non-determinacy in the way I did"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD614.PDF 
(Pags 284-287)

EWD618 (1977)
"On Webster, users, bugs and Aristotle"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD618.PDF 
(Pags 288-291)

EWD622 (1977)
"On making solutions more and more fine-grained (In gratitude dedicated to C.A.R.Hoare, D.E.Knuth, and J.F.Traub.)"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD622.PDF 
(Pags 292-307)

EWD623 (1977)
"The mathematics behind the Banker's Algorithm"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD623.PDF 
(Pags 308-312)

EWD629 (1977)
"On two beautiful solutions designed by Martin Rem"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD629.PDF 
(Pags 313-318)

EWD635 (1977)
"Tripreport E.W.Dijkstra, Newcastle-upon-Tyne, 5--10 Sept. 1977"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD635.PDF
(Pags 319-323)

EWD636 (1977)
"Why naive program transformation systems are unlikely to work"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD636.PDF 
(Pags 324-328)

EWD637 (1977)
"The Three Golden Rules for Successful Scientific Research"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD637.PDF 
(Pags 329-330)

EWD639 (1977)
"The introduction of MAES(R)"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD639.PDF 
(Pags 331-333)

EWD643 (1977)
"A class of simple communication patterns"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD643.PDF 
(Pags 334-337)

EWD648 (1977)
" 'Why is software so expensive?' An explanation to the hardware designer" 
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD648.PDF
(Pags 338-348)

EWD650 (1977)
"A theorem about odd powers of odd integers"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD650.PDF 
(Pags 349-350)

EWD671 (1978)
"Program inversion"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD671.PDF 
(Pags 351-354)

EWD673 (1978)
"On weak and strong termination"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD673.PDF 
(Pags 355-357)

EWD675 (1978)
"The equivalence of bounded nondeterminacy and continuity"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD675.PDF 
(Pags 358-359)

EWD678 (1978)
"A story that starts with a very good computer"
https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD678.PDF 
(Pages 360-362)