O que é o problema da "Decidibilidade" na lógica matemática?

a) Ele investiga a existência de algoritmos para determinar a verdade ou falsidade de proposições em sistemas formais.

b) O problema da "Decidibilidade" se concentra na equivalência entre os princípios da indução matemática e da recursão.

c) Ele estuda a relação entre a teoria dos conjuntos e a teoria das álgebras booleanas.

d) O problema da "Decidibilidade" aborda a computação de números transcendentes.