Methodologies, Mathematics, and the Metalinguistic Implications of Swift
The rules we agree on define the games we play. We see this in methodologies we adopt for software development, in the mathematics we were forced to learn in high school, and in the syntax and grammar of the languages we choose to use. During this talk we'll explore cases in which the implication of axioms are clear and cases in which they are far from clear. There will be a quiz.
Outline/structure of the Session