University of Birmingham > Talks@bham > Theoretical computer science seminar > What kind of virtual machine would be needed to simulate an ancient mathematician investigating geometry?
Add to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Paul Taylor.
I’ll introduce a subset of this online presentation (still under development):
http://www.cs.bham.ac.uk/research/projects/cogaff/misc//ijcai-2017-cog.html (Expanded from invited talk at IJCAI workshop August 2017)
This will partly revise, but mainly extend my unfinished presentation here on 11th Nov 2016 http://talks.bham.ac.uk/talk/index/2305
Physical/evolutionary foundations for mathematics vs logico/semantic foundations for mathematics
This talk is part of the Theoretical computer science seminar series.
Note that ex-directory lists are not shown.
Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity. talks@bham is based on talks.cam from the University of Cambridge.