A presentation on the application of mathematics to semantic ambiguity in programming languages