{"version":"1.0","type":"link","title":"Entscheidungsproblem - Newikis","description":"In de wiskunde en informatica is het zogeheten Entscheidungsproblem (Duits voor 'beslissingsprobleem') een uitdaging van David Hilbert in 1928. Het Entscheidungsproblem vraagt om een algoritme dat als invoer een uitspraak in een eerste-ordelogica (eventueel met een eindig aantal axioma's in plaats…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}