Zusammenfassung
Wie können wir schlüssig beweisen, daß ein Programm genau das leistet, wozu es geschrieben worden ist? Ich will mich nicht auf komplizierte philosophische Erörterungen einlassen (wir wären auf dem besten Weg dazu), aber grob gesprochen ist das so, als wolle man von einem Astronomen wissen, ob morgen die Sonne aufgehen wird. Wenn er sehr pedantisch ist, gibt er vielleicht zur Antwort, die Erde kreise jetzt schon sehr lange um die Sonne. Wir besäßen ein System physikalischer Gesetze, das darauf hindeute, sie werde das auch künftig tun. Man dürfe also einiges darauf verwetten, daß das auch morgen noch der Fall sein werde. Er würde aber hinzufügen, er könne nicht mit Bestimmtheit wissen, ob unsere physikalischen Gesetze richtig seien. Das, was wir seit Jahrtausenden beobachteten, könne auch die Manifestation eines viel komplexeren Gesetzes sein, dessen Wirkung morgen darin bestehen möge, die Erdrotation umzukehren oder den Planeten ganz aus seiner Bahn zu führen.
Läuft das Programm wirklich?
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsAuthor information
Authors and Affiliations
Rights and permissions
Copyright information
© 1983 Springer Basel AG
About this chapter
Cite this chapter
Stewart, I., Jones, R. (1983). Debugging IV. In: Sinclair ZX Spectrum. Computer Shop. Birkhäuser, Basel. https://doi.org/10.1007/978-3-0348-6747-4_19
Download citation
DOI: https://doi.org/10.1007/978-3-0348-6747-4_19
Publisher Name: Birkhäuser, Basel
Print ISBN: 978-3-7643-1491-0
Online ISBN: 978-3-0348-6747-4
eBook Packages: Springer Book Archive