Programming as Theory Building by Peter Naur
Future of Coding
00:00
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.
Transcript
Play full episode
