Und ihr wollt Programmierer sein !?

[Jens Holzkämper]

Tach,

"Wenn sich mit Hilfe einer Sprache ein mathematisches Problem in einer endlichen Zeit lösen lässt, dann ist sie eine Programmiersprache."
Stimmt das so in etwa?

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.

mfg
Woodfighter