Future of Coding cover image

Programming as Theory Building by Peter Naur

Future of Coding

CHAPTER

Building Theories of Programming

Rile: If you want to gain the original theory of a program, you need to work with its original authors who have that theory. Rile: Research does not generally consist only in operating with pens, but also in operating with microscopes and telescopes,. balances and galvanometers, log lines and litmus papers. Theories which they finally built feel like it's this thing that you have to do all this work to arrive at. And I almost feel like why not treat a theory as this soup of the mind that is ever brewing and the expression of which is just taking a drop or two out of each bowl?

00:00
Transcript
Play full episode

Remember Everything You Learn from Podcasts

Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
App store bannerPlay store banner