Actualmente se conocen muchos problemas indecidibles, como por ejemplo: