
Programming as Theory Building by Peter Naur
Future of Coding
The Theory Building Podcast
Theory is not linear because it's a know how and know how's don't have an order. As to the use of particular kinds of notation or formalization, again, this can only be a secondary issue since the primary item, the theory, is not and cannot be expressed. Riding a bike is an expression of the theory of how to ride a bike. The choice of programming language can make a big difference. If you are joining a team where the program is written in assembly, it may be harder to develop a theory of what the program does than if the program were written in Rubyor something like that.
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.