Feeling of Computing

Programming as Theory Building by Peter Naur

17 snips
Jan 6, 2023
Ask episode
AI Snips
Chapters
Transcript
Episode notes
ANECDOTE

The Compiler Story

  • Two teams worked on a compiler, but the second team, lacking direct contact with the original team, lost the theory behind it.
  • This made their modifications less effective, highlighting knowledge transfer.
INSIGHT

Ryle's Concept of Theory

  • Naur's theory building aligns with Ryle's, where 'theory' isn't just facts, but know-how.
  • Having a theory means being able to do, not just say.
ANECDOTE

Sherlock Holmes' Theories

  • Sherlock Holmes' theories are not just statements, but tools for solving crimes.
  • Theories enable action and are expressed through various actions.
Get the Snipd Podcast app to discover more snips from this episode
Get the app