1.ComputerScienceFoundationsTuring Machine EditionJason DewGeezeo / Catamorphic Labs2. AlanTuring 3. Entscheidungsproblem DavidHilbert 4. Alphabetany set of symbolsexamples:●…