Metadata
Author: ParaCrawl Corpus
Data
Bulgarian[bg]
По-късно са открити и множество други нерешими проблеми. Типичен метод за доказване на нерешимостта на даден проблем е редукцията му до вече познат нерешим проблем.
English[en]
Subsequently, many other undecidable problems have been described; the typical method of proving a problem to be undecidable is with the technique of reduction.