Entscheidungsproblem
Diese Seite wurde seit 2 Jahren inhaltlich nicht mehr aktualisiert.
Unter Umständen ist sie nicht mehr aktuell.
Definitionen
Gibt es ein allgemeines mechanisches Verfahren, das im Prinzip alle Probleme der Mathematik (die zu einer entsprechend wohldefinierten Klasse gehören) eines nach dem anderen zu lösen vermag ?
Von Roger Penrose im Buch Computerdenken (1989) im Text Algorithmen und Turing-Maschinen Verwandte Objeke
Verwandte Begriffe (co-word occurance) | Turing-Maschineturing machine(0.05), BerechenbarkeitComputability(0.03) |
Häufig co-zitierte Personen
Statistisches Begriffsnetz
2 Einträge in Beats Blog
Zitationsgraph
Zeitleiste
19 Erwähnungen
- The General and Logical Theory of Automata (John von Neumann) (1951)
- Menschliche Kommunikation - Formen, Störungen, Paradoxien (Paul Watzlawick, Janet H. Beavin, Don D. Jackson) (1967)
- Sicht und Einsicht - Versuche zu einer operativen Erkenntnistheorie (Heinz von Foerster) (1985)
- Die Verantwortung des Experten - auch: Kompetenz und Verantwortung (1971)
- Computerdenken - Die Debatte um künstliche Intelligenz, Bewusstsein und die Gesetze der Physik (Roger Penrose) (1989)
- Wissen und Gewissen - Versuch einer Brücke (Heinz von Foerster) (1993)
- Die Verantwortung des Experten - auch: Kompetenz und Verantwortung (1971)
- KybernEthik (Heinz von Foerster) (1993)
- Die Verantwortung des Experten - auch: Kompetenz und Verantwortung (1971)
- Fake - Leben in künstlichen Welten. Mythos Literatur Wissenschaft (Manfred Geier) (1999)
- Das Affenpuzzle - und weitere bad news aus der Computerwelt (David Harel) (2000)
- 1. Worum geht es überhaupt?
- Short Cuts 5 - Handle stets so, dass die Anzahl der Wahlmöglichkeiten größer wird (Heinz von Foerster) (2001)
- Die Verantwortung des Experten - auch: Kompetenz und Verantwortung (1971)
- Understanding Understanding - Essays on Cybernetics and Cognition (Heinz von Foerster) (2002)
- 6. Die Verantwortung des Experten - auch: Kompetenz und Verantwortung (1971)
- Paradigms of Computing Science - The necessity for methodological diversity (Heidi Schelhowe) (2004)
- LOG IN 148/2007 (2007)
- Das Knotenüberdeckungsproblem - Eine Fallstudie zur Didaktik NP-schwerer Probleme (Teil 2) (Rolf Niedermeier, Jörg Vogel, Michael Fothe, Mirko König) (2007)
- Lehrbuch Informatik - Vorkurs Programmieren, Geschichte und Begriffsbildung (Juraj Hromkovic) (2008)
- Gleichzeitige Ungleichzeitigkeiten - Eine Einführung in die Komplexitätsforschung (Manfred Füllsack) (2011)
- Engelbarts Traum - Wie der Computer uns Lesen und Schreiben abnimmt (Henning Lobin) (2014)
- Die Herrschaftsformel - Wie Künstliche Intelligenz uns berechnet, steuert und unser Leben verändert (Kai Schlieter) (2015)
- If...Then - Algorithmic Power and Politics (Taina Bucher) (2018)
- Ideas That Created the Future - Classic Papers of Computer Science (Harry Lewis) (2021)
- Informatik - Bildung von Lehrkräften in allen Phasen - 19. GI-Fachtagung Informatik und Schule (Ludger Humbert) (2021)
- Informatik fürs Leben lernen (Till Tantau)