Haskell-Intensivkurs pp 245-267

Part of the Xpert.press book series (XPERT.PRESS)

Berechenbarkeit und Lambda-Kalkül

  • Marco Block-Berlitz
  • Adrian Neumann
Chapter

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?

Copyright information

© Springer Berlin Heidelberg 2011

Authors and Affiliations

  • Marco Block-Berlitz
  • Adrian Neumann
    • 1
  1. 1.Universität des SaarlandesSaarbrückenDeutschland

Personalised recommendations