Question: Were Édison Vega and William E. Werner from the same country?
Sentence (from "William Boone (mathematician)"): Pyotr Novikov showed in 1955 that there exists a finitely presented group" G" such that the word problem for" G" is undecidable.
Relevant evidence: No