avgörbarhet. En fråga sägs vara avgörbar när det finns en metod för att besvara den. Exempelvis kan frågan huruvida ett visst tal är ett primtal eller ej besvaras genom att man på talet tillämpar ett bestämt räkneförfarande, och frågan är alltså avgörbar. I

(43 av 303 ord)
Vill du få tillgång till hela artikeln?

Medverkande

  • Dag Prawitz

Litteraturanvisning

Martin Davis, Computability and Unsolvability ( 1958);
D.R. Hofstadter, Gödel, Escher, Bach: Ett evigt gyllene band ( svensk översättning 1985).
Källangivelse
Nationalencyklopedin, avgörbarhet.. http://www.ne.se/uppslagsverk/encyklopedi/lång/avgörbarhet