“Computing: A Human Activity”

E563542

“Computing: A Human Activity” is a collection of essays by computer scientist Peter Naur that explores computing as a human-centered, theory-building activity rather than a purely formal or mathematical discipline.

All labels observed (1)

Label Occurrences
“Computing: A Human Activity” canonical 1

How this entity was disambiguated

Statements (35)

Predicate Object
instanceOf book
essay collection
advocates understanding computing through human activities rather than abstract machines
associatedWith Naur's concept of dataology
critique of formalist approaches to programming
author Peter Naur NERFINISHED
contrastsWith purely formal views of computing
purely mathematical conceptions of programming
emphasizes limitations of formal methods in capturing practical programming
programming as theory building
the importance of human judgment in software development
focusesOn computing as a human-centered activity
the role of human understanding in programming
theory-building in computing
genre computer science literature
philosophy of computing
hasPart essays on formal methods
essays on software engineering practice
essays on the nature of programming
essays on the philosophy of computer science
intendedAudience computer scientists
researchers in philosophy of computing
software engineers
students of computer science
language English
mainSubject computing
programming
software development
theory of computer science
proposes view of programs as theories about the world
relatedTo formal methods in software development
human-centered computing
philosophy of science
programming methodology
software engineering

How these facts were elicited

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Peter Naur notableWork “Computing: A Human Activity”