The typical method of proving a problem to be undecidable is with the technique of reduction.
Η πιο συνηθισμένη τεχνική για να αποδείξει κανείς ότι ένα πρόβλημα είναι άλυτο είναι η τεχνική της μείωσης.