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

Applied Topology Colloquium RSLC PhD/Postdoc Seminars (Chemistry) Computer Science Distinguished Seminars

Other talks

Ultrafast, all-optical, and highly efficient imaging of molecular chirality Modelling uncertainty in image analysis. Sylow branching coefficients for symmetric groups Geometry of alternating projections in metric spaces with bounded curvature Extending the Lax type operator for finite W-algebras 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.