4 ms·
Not necessarily. There are decidable theories for which there exist algorithms that can prove or disprove any statement, but run in super-exponential time.
by mannerheim 4y ago
Not necessarily. There are decidable theories for which there exist algorithms that can prove or disprove any statement, but run in super-exponential time.