Methodologies, Mathematics, and the Metalinguistic Implications of Swift

location_city Bengaluru schedule Oct 10th 05:00 PM - Jan 1st 12:00 AM place Grand Ball Room

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 Keynote


Learning Outcome


Target Audience


schedule Submitted 6 years ago