Esistono affermazioni matematiche indipendenti, ovvero che non si possono dimostrare vere o false.
Si lega ai problemi NP completi tramite la teoria dell’incompletezza di Turing.
1 minuti
Esistono affermazioni matematiche indipendenti, ovvero che non si possono dimostrare vere o false.
Si lega ai problemi NP completi tramite la teoria dell’incompletezza di Turing.