Grazie kerbero mi sei sei stato di aiuto perche anche io pensavo ad una cosa del genere ma non nè ero totalmente convinto . Questo perchè non riuscivo a capire cosa centrava la verificabilità di un problema in un contesto in cui si cerca di capire in che classe si trovano determinati problemi dove per problema si intende una funzione che va dall'insieme delle istanze a quello delle soluzioni(quindi si parla di soluzioni e non di verificabilità