Achilles Beros: A diagonally non-computable function (II) When: October 2, 2015 @ 9:30 am – 10:30 am 2015-10-02T09:30:00-10:00 2015-10-02T10:30:00-10:00 Logic seminar