Zusammenfassung
Warum macht es solchen Spaß, formal zu arbeiten und darüber zu reden, wenn es doch so langweilig ist, zuzuhören? Wenn ich so frage, stelle ich mich nicht nur als lamentierender Lehrer bloß. Hinter der Frage steckt ein allgemeines Problem der Naturwissenschaften — insbesondere der Mathematik und der Informatik -, das in der Kommunikation sichtbar wird: Wann ergibt ein Beweis oder ein Programm Sinn? Ich suche in dieser Arbeit nach Gründen für das Ärgernis und versuche Antworten. Wir alle müssen uns um eine Rhetorik der formalen Wissenschaften bemühen.32
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 1993 Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig/Wiesbaden
About this chapter
Cite this chapter
Siefkes, D. (1993). Wie sollen wir über Beweise und Programme reden?. In: Formale Methoden und kleine Systeme. Theorie der Informatik. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-84923-6_5
Download citation
DOI: https://doi.org/10.1007/978-3-322-84923-6_5
Publisher Name: Vieweg+Teubner Verlag
Print ISBN: 978-3-528-05199-0
Online ISBN: 978-3-322-84923-6
eBook Packages: Springer Book Archive