Föreläsningsmaterial
Föreläsningsmaterial
Föreläsningsmaterial
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Olöst i 250 år<br />
Det var en gång...<br />
Oavgörbarhetsproblemet (Hilbert &<br />
Ackermann, 1928)<br />
"Skapa ett datorprogram som tar som<br />
indata en definition av ett formellt språk<br />
och ett matematiskt uttryck beskrivet i<br />
språket. Programmet ska returnera sant<br />
eller falskt beroende på om uttrycket<br />
evaluerar till sant eller falskt."