I think these are relevant: http://web.eecs.umich.edu/~gurevich/Opera/209a.pdf h...

		nabla9 on Oct 19, 2018 \| parent \| context \| favorite \| on: Church-Turing Thesis Cannot Possibly Be True [vide... I think these are relevant: http://web.eecs.umich.edu/~gurevich/Opera/209a.pdf http://web.eecs.umich.edu/~gurevich/Opera/210.pdf

Can we replace the article link with these? :)