Posts korrespondanseproblem er å finne ut om slik ei løsning eksisterer i det hele tatt.