Adian–Rabin theorem
id:
adian-rabin-theorem-272-13175424
title:
Adian–Rabin theorem
text:
In the mathematical subject of group theory, the Adian–Rabin theorem is a result that states that most "reasonable" properties of finitely presentable groups are algorithmically undecidable. The theorem is due to Sergei Adian (1955) and, independently, Michael O. Rabin (1958).
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Adian%E2%80%93Rabin_theorem
date created:
date modified:
2023-12-30T09:44:16Z
main entity:
{"identifier":"Q26905515","url":"https://www.wikidata.org/entity/Q26905515"}
image:
fields total:
13
integrity:
13