Vorlesung Zeit: Di 17:00 - 18:05 und Mi 16:00-17:10

Vorlesung Ort: Seminarraum 2A180 UZAII

Kann man "Algorithmus", "berechenbar" etc. überhaupt (befriedigend) definieren? (Ja!)

Gibt es Funktionen die man nicht berechnen, Probleme die man nicht entscheiden kann? (Ja!)

Kann man das auch beweisen? (Ja!)