marabou έγραψε: 17 Φεβ 2025, 13:21
foscilis έγραψε: 17 Φεβ 2025, 09:06
marabou έγραψε: 17 Φεβ 2025, 01:37
Όσο για τους ομοφυλόφιλους που σας κάθεται το θέμα βαρύ ως πρόβλημα - ενώ άλλοι έχουν οικονομικά, τέλος πάντων Δεν θα γράφατε σήμερα στον υπολογιστάκο σας αν δεν υπήρχε κάποιος ομοφυλόφιλος.
Αν νομιζεις οτι η θεωρητικη πληροφορικη εχει να κανει με τους υπολογιστες, δεν ξερεις ουτε πληροφορικη ουτε υπολογιστες.
Πως γίνεται να μην έχει να κάνει; Δεν μίλησα για hardware αλλά ακριβώς για πληροφορική.
Η πληροφορική είναι αφηρημένη επιστήμη, ουσιαστικά προέκταση των μαθηματικών.
Μια μηχανή Turing για παράδειγμα, μολονότι στην περιγραφή της επικαλείται κάποιες χειροπιαστές έννοιες που μάλιστα μοιάζουν και λιγάκι με φυσικά αντίστοιχα των πρώτων υπολογιστών όπως κεφαλή, ταινία, πίνακας συμβόλων, στην πραγματικότητα μιλάει για θεωρητικές έννοιες. Η ταινία του Turing ας πούμε μπορεί να αποθηκεύει σύμβολα σε οποιαδήποτε θέση περίπου όπως μια μαγνητική ταινία (που όντως είχαν οι παλιότεροι υπολογιστές) μπορεί να αποθηκεύει μαγνητικά αποτυπώματα (που αντιστοιχούν σε σύμβολα), όμως έχει άπειρο μήκος. Αυτό και μόνο θα έπρεπε να σε υποψιάζει ότι δεν πρόκειται για κάτι το υλικό, αλλά για μια μαθηματική έννοια που ο Turing περιγράφει με τον όρο "ταινία" για λόγους παρουσίασης. Όπως το σημείο του Ευκλείδη δεν είναι στ' αλήθεια μια μικρή βουλίτσα στο χαρτί και το σύνολο του Κάντορ δεν είναι στ' αλήθεια ένα σακούλι που κλείνει μέσα του πράγματα.
Οι υπολογιστές είναι ηλεκτρονικά μηχανήματα που κάποια κομμάτια της λειτουργίας τους διέπονται από την πληροφορική, κάποια άλλα όμως όχι.
Το halting problem του Turing αποδεικνύεται ότι είναι άλυτο, αλλά σε έναν πρακτικό υπολογιστή έχουμε interpreters χωρίς να φοβόμαστε ότι ένα πρόγραμμα θα τρέχει μέχρι το θερμικό θάνατο του Σύμπαντος, γιατί ξέρουμε πολύ καλά ότι μπορείς να το σταματήσεις όποτε γουστάρεις πατώντας Χ.