Besonderhede van voorbeeld: 8309070726210100973

English

Theorem provers with a rich type system typically have less intelligence, because the more possibilities a prover has, the harder it is to choose between them.

Dutch

Stellingbewijzers met een rijk typesysteem hebben doorgaans minder ingebouwde intelligentie: hoe meer mogelijkheden je hebt, hoe moeilijker het wordt om daar intelligent mee om te springen.