Methodologies, Mathematics, and the Metalinguistic Implications of Swift

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

Keynote

Learning Outcome

Swift

Target Audience

All

schedule Submitted 4 years ago

Public Feedback

comment Suggest improvements to the Speaker