"What an absolutely cool guy!" --- Dennis Shasha, NYU "Fascinating... very worthwhile" --- Robert Harper, CMU What mathematical rigor has and has not to offer to software engineers. Peter Naur wrote his first research paper at the age of 16. Soon an internationally acclaimed astronomer, Naur's expertise in numerical analysis gave him access to computers from 1950. He helped design and implement the influential ALGOL programming language. During the 1960s, Naur was in sync with the research agendas of McCarthy, Dijkstra, and others. By 1970, however, he had distanced himself from them. Instead of joining Dijkstra's structured programming movement, he made abundantly clear why he disapproved of it. Underlying Naur's criticism is his plea for pluralism: a computer professional should not dogmatically advocate a method and require others to use it in their own work. Instead, he should respect the multitude of personal styles in solving problems. What philosophy has to do with software engineering. Though Peter Naur definitely does not want to be called a philosopher, he acknowledges having been influenced by Popper, Quine, Russell, and others. Naur's writings of the 1970s and 1980s show how he borrowed concepts from philosophy to further his understanding of software engineering. In later years, he mainly scrutinized the work in philosophy and mathematical logic & rules in particular. By penetrating deeply into the 1890 research of William James, Naur gradually developed his own theory of how mental life is like at the neural level of the nervous system. This development, in turn, helps explain why he always opposed the Turing Test and Artificial Intelligence, why he had strong misgivings about the Formal Methods movement and Dijkstra's research in particular.
"synopsis" may belong to another edition of this title.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition. Seller Inventory # 14037014
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New. Seller Inventory # 14037014-n
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Seller Inventory # 6666-IUK-9789491386008
Quantity: 20 available
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Paperback. Condition: New. Seller Inventory # LU-9789491386008
Quantity: Over 20 available
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9789491386008
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9789491386008
Quantity: Over 20 available
Seller: California Books, Miami, FL, U.S.A.
Condition: New. Seller Inventory # I-9789491386008
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New. Seller Inventory # 14037014-n
Quantity: Over 20 available
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: As New. Unread book in perfect condition. Seller Inventory # 14037014
Quantity: Over 20 available
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 'What an absolutely cool guy!'--- Dennis Shasha, NYU'Fascinating. very worthwhile'--- Robert Harper, CMUWhat mathematical rigor has and has not to offer to software engineers.Peter Naur wrote his first research paper at the age of 16. Soon aninternationally acclaimed astronomer, Naur's expertise in numericalanalysis gave him access to computers from 1950.He helped design and implement the influential ALGOLprogramming language. During the 1960s, Naur was in sync with theresearch agendas of McCarthy, Dijkstra, and others. By 1970, however,he had distanced himself from them. Instead of joining Dijkstra'sstructured programming movement, he made abundantly clear why hedisapproved of it. Underlying Naur's criticism is his plea forpluralism: a computer professional should notdogmatically advocate a method and require others to use it in theirown work. Instead, he should respect the multitude of personal stylesin solving problems.What philosophy has to do with software engineering.Though Peter Naur definitely does not want to be called aphilosopher, he acknowledges having been influenced byPopper, Quine, Russell, and others. Naur's writings of the 1970s and1980s show how he borrowed concepts from philosophy to further hisunderstanding of software engineering. In later years, he mainlyscrutinized the work in philosophy and mathematical logic & rules inparticular. By penetrating deeply into the 1890 research of WilliamJames, Naur gradually developed his own theory of how mental life islike at the neural level of the nervous system. This development, inturn, helps explain why he always opposed the Turing Test andArtificial Intelligence, why he had strong misgivings about theFormal Methods movement and Dijkstra's research in particular. Seller Inventory # 9789491386008