Metadata
Author: WikiMatrix
Data
English[en]
In his 1953 Undecidable theories, Tarski et al. showed that many mathematical systems, including lattice theory, abstract projective geometry, and closure algebras, are all undecidable.
Dutch[nl]
In zijn Undecidable theories (1953) laten Tarski en anderen zien dat veel wiskundige systemen, waaronder roostertheorie, abstracte projectieve meetkunde, en sluitingsalgebra's allen onbeslisbaar zijn.