Achilles Beros: A diagonally non-computable function that computes no effectively bi-immune set

When:
September 25, 2015 @ 9:30 am – 10:30 am
2015-09-25T09:30:00-10:00
2015-09-25T10:30:00-10:00