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.