Episode Synopsis "Het Entscheidungsproblem, de Church-Turing these en het coderen van Turingmachines en problemen"

Listen "Het Entscheidungsproblem, de Church-Turing these en het coderen van Turingmachines en problemen"

More episodes of the podcast Berekenbaarheidstheorie

• Turingmachines en de Church-Turing-these
• De Turingmachine
• Opsommers en het 10e probleem van Hilbert
• Niet-deterministische Turingmachines en hun equivalentie met gewone Turingmachines
• Het Entscheidungsproblem, de Church-Turing these en het coderen van Turingmachines en problemen
• Oneindigheid, Hotel Hilbert, en aftelbare en overaftelbare verzamelingen
• Voorkennis - Automaten en Talen
• Beslisbare problemen, het Stopprobleem en de onbelisbaarheid ervan, en Universele Turingmachines
• Berekenbaarheidstheorie: reduceerbaarheid (1)
• Berekenbaarheidstheorie: reduceerbaarheid (2)
• Berekenbaarheidstheorie: reduceerbaarheid (3)
• Berekenbaarheidstheorie: recursiestelling