Pluralizmus v softvérovom inžinierstve: Peter Naur, držiteľ Turingovej ceny, vysvetľuje

Recenzie čitateľov

Kniha poskytuje zasvätený pohľad na život a prácu priekopníka počítačovej vedy Naura vrátane jeho príspevkov k systému Algol 60 a jeho názorov na iných vedcov. Hoci má dobre pripravené rozhovory, môže sa z nej cítiť nedostatočná rozpracovanosť a považuje sa za trochu predraženú.

Ponúka cenné poznatky o Naurovom pozadí a prínose, dobre pripravené rozhovory a poukazuje na významné súperenie v ranej informatike.

Niektoré časti knihy pôsobia nespracovane a odľahčene, niektoré informácie nie sú dostatočne podložené recenzovanými publikáciami a na poskytovaný obsah môže byť predražená.

(na základe 2 čitateľských recenzií)

Pôvodný názov:

Pluralism in Software Engineering: Turing Award Winner Peter Naur Explains

Obsah knihy:

"Absolútne skvelý chlapík" --- Dennis Shasha, NYU "Fascinujúce... veľmi hodnotné" --- Robert Harper, CMU Čo matematická rigoróznosť môže a nemôže ponúknuť softvérovým inžinierom.

Peter Naur napísal svoju prvú výskumnú prácu vo veku 16 rokov. Čoskoro sa stal medzinárodne uznávaným astronómom a Naurove odborné znalosti v oblasti numerickej analýzy mu od roku 1950 umožnili prístup k počítačom. Pomohol navrhnúť a implementovať vplyvný programovací jazyk ALGOL.

V 60.

rokoch minulého storočia bol Naur v súlade s výskumnými programami McCarthyho, Dijkstru a ďalších. Do roku 1970 sa však od nich dištancoval.

Namiesto toho, aby sa pripojil k Dijkstrovmu hnutiu štruktúrovaného programovania, dal jasne najavo, prečo ho neschvaľuje. V pozadí Naurovej kritiky je jeho výzva na pluralizmus: počítačový odborník by nemal dogmaticky obhajovať nejakú metódu a vyžadovať od ostatných, aby ju používali pri svojej práci. Namiesto toho by mal rešpektovať mnoţstvo osobných štýlov pri riešení problémov.

Čo má filozofia spoločné so softvérovým inžinierstvom. Hoci Peter Naur rozhodne nechce byť nazývaný filozofom, priznáva, že ho ovplyvnili Popper, Quine, Russell a ďalší. Naurove práce zo 70.

a 80. rokov 20.

storočia ukazujú, ako si požičiaval koncepty z filozofie, aby prehĺbil svoje chápanie softvérového inžinierstva. V neskorších rokoch skúmal najmä práce z oblasti filozofie a najmä matematickej logiky a pravidiel. Hlbokým preniknutím do výskumu Williama Jamesa z roku 1890 Naur postupne vytvoril vlastnú teóriu o tom, ako vyzerá duševný život na nervovej úrovni nervového systému.

Tento vývoj zasa pomáha vysvetliť, prečo bol vždy proti Turingovmu testu a umelej inteligencii, prečo mal silné obavy z hnutia formálnych metód a najmä z Dijkstrovho výskumu.