Jump to main content Jump to footer Skip navigation Jump to navigation start

Young Science-Themenplattform

Illustration einer Glühbirne mit einem verknüllten Zettel
© (c) Reidinger & Freepik, dahsu 83

Dir fehlt ein spannendes Thema für deine abschließende Arbeit (AHS) oder Diplomarbeit (BHS)? Dann bist du hier genau richtig! Auf der Young Science-Themenplattform findest du über 5.000 Themenanregungen aus aktuellen Forschungsprojekten, inklusive Links und Literaturtipps. Zudem hast du – aber auch deine betreuende Lehrkräfte - die Möglichkeit, Wissenschaftlerinnen und Wissenschaftler direkt anzusprechen und mit ihnen offene Fragen zum Thema oder zur Methode zu klären, die Forschungseinrichtung zu besuchen, ein Interview mit ihnen zu führen uvm. So kannst du aktuelle Forschung entdecken und Kontakte zu österreichischen Wissenschaftlerinnen und Wissenschaftlern knüpfen. Nutze die Such- und Filtermöglichkeiten, um speziell nach deinen Interessen zu suchen! 

Lösung algorithmischer Probleme - die Church’sche These

vwadb.detail.abstract

Die Berechenbarkeitstheorie beschäftigt sich mit der prinzipiellen Frage, ob bestimmte Probleme algorithmisch lösbar sind. Dieses Gebiet ist schon sehr alt und geht der Erfindung des Computers wie wir ihn heute kennen (weit) voraus. Die Church’sche These – nach Alonzo Church benannt – besagt, dass jeder Algorithmus auch auf einer Turingmaschine ausgeführt werden kann, einem besonderen abstrakten Maschinenmodell, welches auf Alan Turing zurückgeht.

vwadb.detail.links

HIER geht es zur Homepage des Projekts

vwadb.detail.suggestions

  • Die Churchsche These (oder auch These von Church und Turing) gilt allgemein als unumstößlicher Basissatz der Informatik, der weder bewiesen noch widerlegt werden kann. Trotzdem ist die These derzeit wieder verstärkt im Gespräch. Einerseits wurden kürzlich Untersuchungen begonnen diese These zu beweisen, andererseits sind bestimmte Varianten der These nicht konsistent mit der Existenz von Quantenrechnern. Die Herausforderung der Arbeit besteht darin die These in einem modernen Kontext zu betrachten.

    vwadb.detail.special_offers

    • Für Spezialist/innen
    • Besonders für BHS geeignet

    vwadb.detail.research_area

    Berechenbarkeitstheorie

    vwadb.detail.keywords

    Informatik, Anfänge der Computer

    vwadb.detail.institution

    vwadb.detail.assistance

    vwadb.detail.scientist

    assoz. Prof. Dr. Georg Moser

    georg.moser@uibk.ac.at

    YouTube is deactivated

    We need your consent to use YouTube videos. For more information, see our Privacy Policy.

    Vimeo is deactivated

    We need your consent to use Vimeo videos. For more information, see our Privacy Policy.

    OpenStreetMap is deactivated

    We need your consent to use OpenStreetMap. For more information, see our Privacy Policy.

    Issuu is deactivated

    We need your consent to use Issuu. For more information, see our Privacy Policy.