Chapter

Haskell-Intensivkurs

Part of the series Xpert.press pp 245-267

Date:

Berechenbarkeit und Lambda-Kalkül

  • Marco Block-Berlitz
  • , Adrian NeumannAffiliated withUniversität des Saarlandes

* Final gross prices may vary according to local VAT.

Get Access

Zusammenfassung

In den 1930er Jahren, als sich die Informatik gerade als eigenständige wissenschaftliche Disziplin etablierte und die ersten programmierbaren Rechenmaschinen gebaut wurden, wurde die Frage diskutiert: Welche Probleme lassen sich theoretisch überhaupt durch Computer lösen bzw. berechnen?