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

  Browse A-Z

Log in

System Admin (disabled)details Birmingham usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

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.

Other lists

Midlands Logic Seminar Computer Science Departmental Series Computer Science Distinguished Seminars

Other talks

Quantum Sensing in Space Proofs of Turán's theorem TBA The tragic destiny of Mileva Marić Einstein TBA TBC
 

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.