Besonderhede van voorbeeld: -4279977879441503237

Metadata

Author: WikiMatrix

Data

English^[en]

Earlier, Alfred Tarski proved elementary group theory undecidable.

Dutch^[nl]

Eerder bewees Alfred Tarski dat de elementaire groepentheorie onbeslisbaar is.

History

Your action: