Metadata
Author: ParaCrawl Corpus
Data
English[en]
In Undecidable theories Tarski showed that group theory , lattices, abstract projective geometry , closure algebras and others mathematical systems are undecidable.
Korean[ko]
Undecidable 이론에서는 그룹 Tarski 이론, 격자, 추상적인 투영 기하학, 클로저 algebras과 다른 수학적 시스템 undecidable 보였다.