Recursive unsolvability of a problem of Thue (1947)

by E POST
Venue:this JOURNAL