Kurze Idee zum Determinismus

[Drey]

was sagt dann deiner meinung nach http://de.wikipedia.org/wiki/Church-Turing-These aus?

kanns sein, dass du alle behauptungen, die weder bewiesen noch widerlegt sind, als "unwahr" interpretierst, und sie somit nicht als voraussetzung benutzt werden dürfen?
bzw. jegliche aussage aus einer nicht bewiesenen behauptung ist beliebig bzw. falsch?

Diese These ist eine Bahauptung auf der die gesamte Informatik aufbaut. Sie ist intuitiv klar aber bewiesen ist sie nicht. Das lässt einen hoffen, dass wir im Laufe unserer Evolution auch irgendwann mal ein anderes intuitives Verständniss der Berechenbarkeit haben und evtl eine anderes Rechenmodell als die TM entwickeln.
Deine erste Frage beantoworte ich mal mit nein.
Deine zweite Frage basiert auf der dem Fehler, dass du wahrscheinlich nicht verstehst wie eine logische Folgerung funktionert:
Zwei Aussagen: A und B; A -> B (lies aus A folgt B); A, B können 0 oder 1 sein
1 -> 1 = 1 (das Ergebnis der Folgerung ist wahr)
1 -> 0 = 0 (das Ergebnis der Folgerung ist falsch)
0 -> 1 = 1 (das Ergebnis der Folgerung ist wahr)
0 -> 0 = 1 (das Ergebnis der Folgerung ist wahr)
(0 -> 1 und 0 -> 0 ist das was ich mit "aus falschem folgt das beliebige" meine; die Folgerung aus der falschen Prämisse ist wahr. D.h. aus einer falschen Annahme kann man Beliebiges folgern)

Die Church-These ist eine Bahauptung (A); berechenbare Funktionen (B)
Die Church-These wäre ja dann nur in dem Sinne falsch, falls man eine Funktionen finden würde die zwar berechenbar ist aber nicht mit der Turingmaschine berechnen lässt. 1 -> 0 !

Diese logische Folgerung trifft für dich zu:
"Wenn du annimmst (1) dass etwas wahr ist kann etwas falsches nicht folgen: "alles vorher berechnen" (0 <- da alles nicht berechenbar ist)"
Annahme -> "alles vorher berechnen" : 1 -> 0
und da 1 -> 0 = 0 ist deine Folgerung falsch.

Gut, das war der erste Teil. Der zweite Teil, ist der Berechnbarkeitsbegriff an sich. Nur weil etwas berechenbar ist, ist es noch lange nicht entscheidbar.
Und man weiss (!) (Beweis Halteproblem) dass "alles"* nicht entscheidbar ist. Somit kannst du auch nicht alles "ausrechnen" obwohl die Funktion berechenbar ist

*"alles" bezieht sich auf deine Aussage. Natürlich gibt es Funktionen die entscheidbar sind!

Bei vollständiger Kenntnis irgendeines Systemzustands (etwa des Anfangszustandes) ist der Zustand eines geschlossenen physikalischen Systems zu jeder beliebigen, insb. zukünftigen Zeit berechenbar.

Bis zum einem gegebenen Zeitpunkt! Nicht für alle Zeitpunkte! "Alles" kannst du einfach nicht berechnen!
(Eng verwand mit diesem Vorgehen ist der Begriff Dovetailing)