CC 022: The Gap Between Human Language and Computer Logic with Daniel B Markham

Human language is imprecise. Computer logic requires precision that is not provided by human language. What this means is that as humans work to program computers, they need to work to bring the way they describe the problems and solutions we’re responsible for in line with the way we think about building programs and organizing them into patterns we can describe.