afgørbarhed
Afgørbarhed, mange logiske og matematiske problemer består i at afgøre, om et objekt fra en given klasse har en given egenskab eller ej. Det er fx et matematisk problem at afgøre, om et givet naturligt tal er et primtal eller
Afgørbarhed, mange logiske og matematiske problemer består i at afgøre, om et objekt fra en given klasse har en given egenskab eller ej. Det er fx et matematisk problem at afgøre, om et givet naturligt tal er et primtal eller