Απορία στην ΓΙΑ

[alkisg]

Στη περίπτωση που ένα παιδί μου φέρει κάνα τέτοιο "ξόρκι" σα το παραπάνω και μου πει "Είναι πεπερασμένα τα βήματα, θεωρητικά τελειώνει" τι του απαντώ;
Αντιμετωπίζουμε λοιπόν τη ΓΛΩΣΣΑ θεωρητικά, ή την αντιμετωπίζουμε βάσει του τρέχοντος hardware;

Του λέμε:

• Στο θεωρητικό επίπεδο των αλγορίθμων (χαρτί), είτε τους γράψουμε σε ΓΛΩΣΣΑ είτε σε C, η ακρίβεια των αριθμών μπορεί να είναι όσο μεγάλη θέλουμε, αλλά όχι άπειρη. Άρα εφόσον το βήμα που δίνεις είναι πεπερασμένο, και οι επαναλήψεις θα είναι πεπερασμένες.
• Από τη στιγμή που θα περάσουμε σε συγκεκριμένη υλοποίηση της γλώσσας, όπως είναι η Διερμηνευτής για τη ΓΛΩΣΣΑ ή ο gcc compiler ή το Visual Studio για τη C κλπ, υπάρχει περιορισμένη ακρίβεια. Αν το βήμα που δίνεις είναι εκτός της ακρίβειας της υλοποίησης, οι επαναλήψεις θα είναι άπειρες.

Δεν είμαστε ανακόλουθοι πουθενά δηλαδή, όλα φυσιολογικά είναι.

[George Eco]

Α ωραία, την έχουμε αυτή την ευχέρεια να μιλήσουμε και για τις δύο περιπτώσεις και να τις διαχωρίσουμε! Ευχαριστώ Άλκη!