nicht angemeldet
Hallo, Jens Holzkämper!
"Wenn sich mit Hilfe einer Sprache ein mathematisches Problem in einer endlichen Zeit lösen lässt, dann ist sie eine Programmiersprache."
das halte ich für eine ungeschickte Formulierung, da es mathematische Probleme gibt, die _beweisbar_ unentscheidbar sind. Damit will ich sagen, das mathematische Problem "Ist die Kontinuumshypothese (http://de.wikipedia.org/wiki/Kontinuumshypothese) wahr?" lässt sich nicht beantworten. Da sowohl die Antwort Ja als auch Nein nachweisbar richtige Ergebnisse lieferern.
das hatte ich mal so ähnlich im zusammenhang mit turing gehört und gehofft, das es jemand kennt und vollständig und richtig widergeben kann. deshalb auch:
Stimmt das so in etwa?
freundl. Grüsse aus Berlin, Raik