Berechenbarkeit und Grenzen
Introduzione
Questo tema mostra quali problemi un computer può risolvere in linea di principio e dove sono i limiti.
Termini
- calcolabilità
- algoritmo
- problema decisionale
- indecidibilità
- macchina di Turing
- problema dell’arresto