SEMF | Kevin Buzzard | Teaching Computers about Numbers | NUMEROUS NUMEROSITY 2021 @SEMF | Uploaded September 2021 | Updated October 2024, 45 minutes ago.
Plenary session kindly contributed by Kevin Buzzard in SEMF's 2021 Numerous Numerosity: semf.org.es/numerosity

SESSION ABSTRACT
In this talk I will explain how computer scientists have managed to grow numbers in the lab, devoid of all the baggage which humans have attached to them over the last ten thousand years or so. The process of teaching a dumb machine what a number is will force us to think carefully ourselves about the nature of number. I will discuss how to convince the computer that 2 + 2 = 4.
I will go on to explain how mathematicians are slowly beginning to learn how to use these synthetic numbers to do the kinds of things which they used to do on blackboards.

SESSION MATERIALS
· What Computers Can't Do (youtube.com/watch?v=jQPb7DRMoZY&ab_channel=TheRoyalInstitution)
· The Future of Mathematics? (youtube.com/watch?v=Dp-mQ3HxgDE&ab_channel=MicrosoftResearch)
· The Xena Project (xenaproject.wordpress.com/)

KEVIN BUZZARD
Department of Mathematics (Imperial College London): imperial.ac.uk/mathematics
Department of Mathematics profile: imperial.ac.uk/people/k.buzzard
Wikipedia article: en.wikipedia.org/wiki/Kevin_Buzzard
ResearchGate: researchgate.net/profile/Kevin-Buzzard
Google Scholar: scholar.google.co.in/citations?user=sLE_ucoAAAAJ&hl=en

SEMF NETWORKS
Website: semf.org.es
Twitter: twitter.com/semf_nexus
LinkedIn: linkedin.com/company/semf-nexus
Instagram: instagram.com/semf.nexus
Facebook: facebook.com/semf.nexus