University of Birmingham > Talks@bham > Theoretical computer science seminar > What kind of virtual machine would be needed to simulate an ancient mathematician investigating geometry?

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.

Tell a friend about this talk:

This talk is included in these lists:

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.