Wat is de betekenis van Beslisbaar?

beslisbaar - Bijvoeglijk naamwoord 1. van een probleem dat er een methode bestaat om de waarheid vast te stellen ♢ Of een getal even of oneven is, is een beslisbaar probleem. Woordherkomst afleiding van Naamwoord van handeling beslissen met het achtervoegsel -baar Synoniemen...

Theorieën, in de zin waarin de rekenkunde een theorie is, zijn beslisbaar als er formaliseringen van bestaan die volledig zijn. In systemen zonder contingente proporties, zoals formaliseringen van de rekenkunde, is een welgevormde formule (zie axiomastelsel) beslisbaar als en alleen als zijzelf of haar negatie een theorema is. Als er contingente pr...