Word problem for groups: Difference between revisions

Content deleted Content added
Spamakin (talk | contribs)
m Fixing indents of pseudocode in proof of no universal solvable word problem group
Spamakin (talk | contribs)
m Did not fully fix indents in last edit of pseudocode (sorry)
Line 166:
'''Let''' ''n'' = 0
'''Let''' ''repeatable'' = TRUE
'''while''' (''repeatable'')
increase ''n'' by 1
'''if''' (solution to word problem in ''G'' reveals ''h<sub>n</sub>''(''w'') ≠ 1 in ''G'')
'''Let''' ''repeatable'' = FALSE
output 0.