Workshop - "Constructive Mathematics" - University of Melbourne

Anyone interested who will be in Melbourne the week of Feb 14 is welcome to attend this interdisciplinary workshop at the University of Melbourne.

"What constructive mathematicians actually do"

Maarten McKubre-Jordens, University of Canterbury, New Zealand

I) Introduction to constructive mathematics

11:00am, 14 February, Old Arts-227 (Cecil Scutt Collaborative Teaching Room)

II) Constructive mathematics in action

11:00am, 16 February, Old Arts-227

III) Strange encounters and the importance of constructive thought; or, the Infinite Monkey Theorem

11:00am, 18 February, Old Quad Moot Court

See http://paraconsistent-mathematics.blogspot.com/ for more information.

John Wilkins on National Radio

John Wilkins will be doing the 'Ockham's Razor' talk on National Radio this week, on the concept of species:

http://www.abc.net.au/rn/ockhamsrazor/stories/2011/3089886.htm