Benutzerbeiträge von „84.169.100.190“
Für 84.169.100.190 Diskussion Sperr-Logbuch Logbücher globales Sperr-Logbuch Bearbeitungsfilter-Logbuch
28. November 2006
- 16:2716:27, 28. Nov. 2006 Unterschied Versionen −737 Halteproblem →Das Halteproblem von Turingmaschinen ist nicht entscheidbar
- 16:2316:23, 28. Nov. 2006 Unterschied Versionen −736 Halteproblem →Das Halteproblem von Turingmaschinen ist nicht entscheidbar
- 16:2016:20, 28. Nov. 2006 Unterschied Versionen +14 Halteproblem →Beweis
- 16:1916:19, 28. Nov. 2006 Unterschied Versionen −7 Halteproblem →Beweis
- 16:1816:18, 28. Nov. 2006 Unterschied Versionen +7 Halteproblem →Beweis