# David Belanger: Randomness versus induction

Invitation to the Logic Seminar at the National University of Singapore

Date: Wednesday, 07 February 2018, 17:00 hrs

Room: S17#04-06, Department of Mathematics, NUS

Speaker: David Belanger

Title: Randomness versus induction

URL: http://www.comp.nus.edu.sg/~fstephan/logicseminar.html

We look at some recent work towards finding the axiomatic strength of the
statement: There is a Martin-Loef random set of natural numbers.