AuthorJohn Bova{1,2}, Dresden Craig{2}, Simon DeDeo{3}, Paul Livingston{1ContributorDate CreatedOct 6, 2021 2:37 PMNotesTypeBooksURLhttp://tuvalu.santafe.edu/~simon/undecidables.txt