cyanic-selkie/wikianc huggingface dataset:
Χόλυγουντ στον Τίβερη
Επιλεγμένη φιλμογραφία
thumb|right|300px|Trailer της ταινίας του 1953 [[Διακοπές στη Ρώμη με τους Γκρέγκορι Πεκ και Όντρεϊ Χέπμπορν.]]
Ταινίες που γυρίστηκαν μερικώς ή εξ ολοκλήρου στα στούντιο της Σινετσιτά :
Παραπομπές
Κατηγορία:Κινηματογράφος στην Ιταλία
Ληθαίος ποταμός
Ο Ληθαίος ποταμός είναι ένα από τα τέσσερα ποτάμια των Τρικάλων (Ληθαίος, Αγιαμονιώτης, Πηνειός, Κουρμέκης) και διασχίζει την πόλη των Τρικάλων. Αποτελεί δεξιό παραπόταμο του Πηνειού ποταμού. Πηγάζει σε ύψος 500 μ. από τα Αντιχάσια όρη, έχει μήκος 36 χλμ. και εκβάλλει στον Πηνειό, σε ύψος 108 μ. λίγο έξω από την πόλη των Τρικάλων.
Αξιοθέατα
Ο ποταμός είναι ένα από τα αξιοθέατα της πόλης των Τρικάλων. Δεδομένου ότι ο Ληθαίος διασχίζει τα Τρίκαλα, οι όχθες του συνδέονται με δέκα γέφυρες, μισές από τις οποίες είναι για πεζούς. Η κεντρική γέφυρα η οποία είναι τοξωτή και μεταλλική, κατασκευάστηκε στη Γαλλία το 1886 από Γάλλους μηχανικούς (ανακατασκευάστηκε το 1996 και το 2015) και ενώνει την οδό Ασκληπιού (εμπορικό δρόμο) με την κεντρική πλατεία Ηρώων Πολυτεχνείου. Στην όχθη του ποταμού, σε μια από τις γέφυρες, υπάρχει άγαλμα του Ασκληπιού φιλοτεχνημένο από τον γλύπτη Θεόδωρο Βασιλόπουλο.
Εξωτερικοί σύνδεσμοι
Κατηγορία:Ποταμοί της Θεσσαλίας Κατηγορία:Νομός Τρικάλων
Στροφή (ποιητική συλλογή)
Στροφή είναι η πρώτη ποιητική συλλογή του Έλληνα ποιητή Γιώργου Σεφέρη η οποία εκδόθηκε το 1931. Ο αντίκτυπος της συλλογής ήταν μια πραγματική στροφή για την νεοελληνική ποίηση.
Ιστορικό
Η Στροφή είναι η πρώτη ποιητική συλλογή με την οποία εμφανίστηκε στη λογοτεχνία ο ποιητής Γιώργος Σεφέρης. Τυπώθηκε και εκδόθηκε τον Μάιο του 1931 και είχε έκταση 41 σελίδες. Τυπώθηκε με έξοδα του ποιητή σε διακόσια αντίτυπα αριθμημένα στο «Τυπογραφείον της Εστίας», από τα οποία πενήντα εκτός εμπορίου προορισμένα για τους κριτικούς και αποτελείται από δεκατέσσερα ποιήματα, που είναι γραμμένα μεταξύ 1924 και 1931. Η συλλογή δημοσιεύθηκε σχεδόν ταυτόχρονα με το διορισμό του Σεφέρη στο Γενικό Προξενείο της Ελλάδας στο Λονδίνο.
Ο Γιώργος Αποστολίδης, δικηγόρος θυμάται έναν διάλογο που είχε με τον ποιητή ένα βράδυ του 1931: «Φίλοι που τους τα έδειξα [ενν. τα ποιήματα της συλλογής Στροφή] ''βρήκαν πως δεν έχουν κανένα νόημα. Άλλοι μου είπαν να προσέξω μήπως αυτό βλάψει την καριέρα μου στο Υπουργείο. Και όταν τους αποκρίθηκα πως είμαι αποφασισμένος να τα τυπώσω, μου είπαν πως θα 'ταν φρόνιμο να τα βγάλω ανωνύμως ή τουλάχιστον με ένα ψευδώνυμο αρκετά παραπλανητικό, ώστε αν γίνει σκάνδαλο, να μπορέσω να κρυφτώ πίσω του.''» Τα πενήντα εκτός εμπορίου τα διένειμε σε συγγενείς και φίλους. Η αδελφή του ποιητή Ιωάννα Τσάτσου σημειώνει: «Ήταν μεγάλη στιγμή μου όταν το '31 τυπώθηκε αυτό το πρώτο του βιβλίο, η Στροφή''. Ήρθε στην οδό Σπευσίππου κρατώντας δύο αντίτυπα. Κάθισε πλάι μου: "Αυτό είναι ο αριθμός 1 για μένα, τούτο ο αριθμός δύο για σένα. Δε σου γράφω τίποτα. Τί να τα κάνεις τα λόγια; δεν έχουν τέλος τα όσα έχουμε στην καρδιά."''»
Περιεχόμενα
Η πρώτη έκδοση είναι χωρισμένη σε τρία τμήματα: το πρώτο «Τα κοχύλια», περιλαμβάνει οχτώ ποιήματα και το τρίτο, τα «Σύννεφα», έξι. Το δεύτερο είναι το εκτενέστερο ποίημα «Ερωτικός λόγος».
Ο τίτλος της ποιητικής συλλογής
Αμφίσημος χαρακτηρίζεται ο τίτλος της ποιητικής συλλογής, θέλoντας να δηλώσει μια νέα ιδιωτική κατευθύνση του ποιητή, αλλά και έναν καινούργιο προσανατολισμό της νεοελληνικής ποίησης.
Η υποδοχή
Υπήρξαν όμως παράλληλα και άλλοι που την υποδέχθηκαν θετικά: οι Αρίστος Καμπάνης, Κωνσταντίνος Δημαράς, Γιώργος Θεοτοκάς και Βασίλης Φωτιάδης πρόβαλαν την πρωτοτυπία της και τη σχέση της με την «καθαρή ποίηση» και τους γάλλους συμβολιστές. Η ανοχή της μερίδας αυτής απέναντι στις επιρροές (μιλούν για «συγγένειες», «έμπνευση», «απήχηση») δεν είναι άσχετη με τις προσδοκίες τους για «ποιητική αλλαγή». Ο Κωστής Παλαμάς επισήμανε την σκοτεινότητα και αινιγματικότητα των ποιημάτων και ζήτησε τη βοήθεια του ποιητή «για την αποκρυπτογράφηση του ποιητικού νοήματος». Πάντως την αναγνώριζε και ως στροφή στη νεότερη ποίηση. Η ποιητική όμως αλλαγή που οραματιζόταν οι δύο ποιητές, ο Σεφέρης και ο Παλαμάς, δεν γίνονταν με τον ίδιο τρόπο και προς τις ίδιες αισθητικές αξιώσεις.
Παρατηρήσεις
Τα σημαντικότερα στοιχεία των ποιημάτων της συλλογής αυτής είναι η αινιγματικότητα, η λακωνικότητα, η αποφυγή κοινοτοπιών και πλατιασμών, αποδεικνύοντας την τεχνική κατάρτιση του ποιητή και που εξασφαλίζουν την υποβλητικότητα των ποιημάτων του. Το «κρυπτογραφικό» που επισημαίνεται στην ποίηση του Σεφέρη από τον Παλαμά αλλά και τους άλλους κριτικούς ίσως να μην είναι άσχετο με με τη θητεία και τις προσλαμβάνουσές του από Κρυπτογραφική Υπηρεσία του Υπουργείου Εξωτερικών, αφού μάλιστα του είχαν αναθέσει και την επιμέλεια της έκδοσης ενός λεξικού κρυπτογραφίας.
Πηγές
Κατηγορία:Γιώργος Σεφέρης Κατηγορία:Νεοελληνικές ποιητικές συλλογές
Seven Lives Many Faces
Λίστα τραγουδιών
Κατηγορία:Δισκογραφία των Enigma Κατηγορία:Άλμπουμ του 2008
Ρίβερ Φίνιξ
Ο Ρίβερ άρχισε να ασχολείται με την υποκριτική στην ηλικία των 10 ετών, οπότε και εμφανίστηκε σε διάφορα διαφημιστικά. Εμφανίστηκε σε διαφορετικούς ρόλους, κάνοντας την πρώτη αξιοσημείωτη εμφάνισή του στο θρυλικό Στάσου Πλάι Μου, βασισμένο στη νουβέλα του Στίβεν Κινγκ. Άρχισε να μεταβαίνει σε πιο ενήλικους ρόλους με την ταινία Τρέχοντας στο Κενό (Running On Empty, 1988), υποδυόμενος τον γιο δυο γονιών φυγάδων που προσπαθεί να κυνηγήσει το όνειρό του, ένας ρόλος που του χάρισε υποψηφιότητα για Όσκαρ Β' Ανδρικού Ρόλου. Ακολούθησε η ταινία το Το δικό μου Αϊντάχο όπου υποδύθηκε έναν ομοφυλόφιλο ζιγκολό που αναζητά τη μητέρα που τον εγκατέλειψε. Ειδικά με τον τελευταίο αυτό ρόλο έλαβε εξαιρετικές κριτικές και επαίνους, που τον οδήγησαν στην νίκη του Κυπέλλου Βόλπι Καλύτερου Ηθοποιού στο Φεστιβάλ Κινηματογράφου της Βενετίας, συνοδευόμενο και με το βραβείο του Καλύτερου Ηθοποιού από την Εθνική Ένωση Κριτικών Κινηματογράφου.
Tα ξημερώματα της 31ης Οκτωβρίου 1993, ο Ρίβερ κατέρρευσε και πέθανε, ύστερα από υπερβολική δόση ναρκωτικών, έξω από το Viper Room, ένα νυχτερινό κέντρο που άνηκε στον Johnny Depp, στην Καλιφόρνια. Ήταν μόλις 23 ετών.
Εξωτερικοί σύνδεσμοι
Κατηγορία:Αμερικανοί άνδρες ηθοποιοί κινηματογράφου Κατηγορία:Αμερικανοί άνδρες ηθοποιοί τηλεόρασης Κατηγορία:Αμερικανοί τραγουδιστές Κατηγορία:Αμερικανοί τραγουδοποιοί
Βραβείο PEN/Faulkner
Το Βραβείο PEN/Faulkner είναι λογοτεχνικό βραβείο των Η.Π.Α., που απονέμεται κάθε χρόνο στο καλύτερο Αμερικανικό μυθιστόρημα της χρονιάς. PEN είναι το ακρωνύμιο των Poets, Editors, Novelists και Faulkner είναι το επίθετο του μεγάλου Αμερικανού συγγραφέα Γουίλιαμ Φώκνερ ο οποίος δίνοντας πρώτος το καλό παράδειγμα δώρισε τα χρήματα του Νόμπελ Λογοτεχνίας για να ιδρύσει το "William Faulkner Foundation", (1961-1970), το οποίο ενθάρρυνε με χρηματική ανταμοιβή νέους Αμερικανούς συγγραφείς. Το βραβείο απονέμεται από το ίδρυμα για την προστασία των τεχνών, "PEN/Faulkner Foundation", (έτος ίδρυσης 1980) και η κρίση γίνεται από τριμελή (διαφορετική κάθε χρόνο) επιτροπή και συνοδεύεται για τον νικητή από χρηματικό έπαθλο 15.000 δολλαρίων, και για τους 4 φιναλίστ 5.000 δολλαρίων. Ο νικητής και οι τέσσερις επιλαχόντες βραβεύονται σε τελετή που λαμβάνει χώρα στο "Old Reading Room" της "" (έδρα των γραφείων του ιδρύματος) της Ουάσινγκτον κάθε Άνοιξη.
Από την πρώτη παρουσίαση του βραβείου το 1981 με την βράβευση του Walter Abish για το μυθιστόρημά του "How German Is It", το βραβείο κατάφερε να γίνει ένα από τα πιο καταξιωμένα στην αμερικανική λογοτεχνία.
Ανάμεσα στους νικητές ξεχωρίζουν ο Φίλιπ Ροθ που έχει λάβει το βραβείο τρεις φορές,- και τις τρεις σαν πρώτος νικητής- για τα μυθιστορημάτά του "Operation Shylock: A Confession", («Επιχείρηση Σάυλωκ»), (1994), "The Human Stain" («Το ανθρώπινο στίγμα»), (2001), και "Everyman", («Καθένας») (2007).
Από δύο φορές έχουν πάρει το βραβείο, ο Ρίτσαρντ Φορντ για τα μυθιστορήματά του "The Sportswriter" («Ο αθλητικογράφος») -φιναλίστ(1987) και "Independence Day", («Ημέρα ανεξαρτησίας») -πρώτος νικητής(1996),
ο Τομπάιας Γουλφ για τα έργα "The Barracks Thief" («Ο κλέφτης του στρατοπέδου») -πρώτος νικητής(1985) και "Old School" -φιναλίστ, (2004),
και ο Ντον Ντελίλο για τα έργα "Mao II" («Μάο ΙΙ») - πρώτος νικητής (1995) και "The Angel Esmeralda" - φιναλίστ (2012).
Ιστορικό
Το 1978 η μυθιστοριογράφος κέρδισε το «Εθνικό Βραβείο Λογοτεχνίας» στην κατηγορία «Μυθοπλασίας», (National Book Award for fiction) με το βιβλίο της  "Blood Tie". Την επόμενη χρονιά ήταν και η ίδια κριτής στην ομάδα των κριτών του «Εθνικού Βραβείου Λογοτεχνίας (μυθοπλασία)», η οποία (ομάδα) έδωσε το βραβείο στον Tim O'Brien για το βιβλίο του "Going After Cacciato", αντί να το δώσει, όπως όλος ο εκδοτικός μηχανισμός περίμενε στο μπεστ-σέλλερ της χρονιάς, το "The World According to Garp" του Τζων Ίρβινγκ, (John Irving). Θορυβημένη η εκδοτική βιομηχανία της Νέας Υόρκης, απέσυρε την υποστήριξή της από τα βραβεία και άλλαξε τους κανόνες ψηφοφορίας προς όφελός της. Έτσι η Settle πρωτοστάτησεγια τη δημιουργία ενός άλλου βραβείου που θα βράβευε την συγγραφική ικανότητα και μόνο. Το φθινόπωρο του 1980 η Settle και άλλοι λογοτέχνες συνέστησαν την ομάδα από συγγραφείς που θα οργάνωνε την βράβευση κάθε χρόνο ενός Αμερικανικού έργου μυθοπλασίας, και ονόμασε το βραβείο "PEN/Faulkner Award".
Κανόνες
Για κρίση στην τριμελή επιτροπή στέλνονται βιβλία που:
Παραπομπές
Κατηγορία:Βραβεία Λογοτεχνίας Κατηγορία:Αμερικανική λογοτεχνία Κατηγορία:Βραβεία των Ηνωμένων Πολιτειών
Μεταναστευτικός νόμος
Ο μεταναστευτικός νόμος αναφέρεται στα εθνικά καταστατικά, τους κανονισμούς και τα νομικά προηγούμενα που διέπουν τη μετανάστευση και την απέλαση από μια χώρα. Ακριβώς μιλώντας, διαφέρει από άλλα ζητήματα όπως η πολιτογράφηση και η ιθαγένεια, αν και μερικές φορές συγχέονται. Χώρες διατηρούν συχνά νόμους που ρυθμίζουν τόσο τα δικαιώματα εισόδου και εξόδου όσο και τα εσωτερικά δικαιώματα, όπως τη διάρκεια της διαμονής, την ελεύθερη κυκλοφορία και το δικαίωμα συμμετοχής στο εμπόριο ή την κυβέρνηση.
Οι νόμοι για τη μετανάστευση ποικίλλουν σε όλο τον κόσμο και καθ' όλη τη διάρκεια της ιστορίας, ανάλογα με το κοινωνικό και πολιτικό κλίμα του τόπου και του χρόνου, καθώς η αποδοχή των μεταναστών επηρεάζεται από την ευρεία περιεκτικότητα έως το βαθύ εθνικισμό και τον απομονωτισμό. Οι εθνικοί νόμοι σχετικά με τη μετανάστευση πολιτών της κάθε χώρας ρυθμίζονται από το διεθνές δίκαιο. Το Διεθνές σύμφωνο για τα αστικά και πολιτικά δικαιώματα των Ηνωμένων Εθνών δίνει εντολή σε όλες τις χώρες να επιτρέπουν την είσοδο στους πολίτες τους.
Μέτρα ελέγχου
Για τον έλεγχο της μετανάστευσης, πολλές χώρες καθιερώνουν τελωνεία στα σημεία εισόδου. Μερική κοινή θέση για σημεία εισόδου είναι αεροδρόμια και δρόμοι κοντά στα σύνορα. Στο τελωνείο επιθεωρούνται τα ταξιδιωτικά έγγραφα. Ορισμένα απαιτούμενα έγγραφα είναι διαβατήριο, διεθνές πιστοποιητικό εμβολιασμού ή προφύλαξης και εισιτήριο. Μερικές φορές οι ταξιδιώτες υποχρεούνται επίσης να δηλώσουν το χρηματικό ποσό που μεταφέρουν.
Εξωτερικοί σύνδεσμοι
Κατηγορία:Μεταναστευτικό Δίκαιο
Μουσά Τοϊμπού
Ο Μουσά Τοϊμπού (Moussa Toybou, 1962-) είναι πολιτικός από τα νησιά Κομόρες, πρόεδρος του αυτόνομου νησιού του Ανζουάν από το 2008 ως τις 23 Μαΐου 2009 και έπειτα Κυβερνήτης, από το 2009 ως το 2011.
Καριέρα
Γεννήθηκε στις 28 Νοεμβρίου του 1962. Προτού κατέλθει στην πολιτική εργάστηκε ως πολιτικός μηχανικός στην Αλγερία.
Αναδείχθηκε νικητής στις προεδρικές εκλογές που διεξήχθησαν στον Ανζουάν τον Ιούνιο του 2008, έχοντας και την υποστήριξη του προέδρου της Ένωσης των Κονορών, Αχμέτ Αμπντάλα Σαμπί. Οι εκλογές κρίθηκαν απαραίτητες για να αναλάβει ο διάδοχος του ανατραπέντος Μοχάμετ Μπακάρ έπειτα από την εισβολή στο Ανζουάν το Μάρτιο του 2008. Ο Τοϊμπού κέρδισε 52,42% των ψήφων στον δεύτερο γύρο, ο οποίος διεξήχθη στις 29 Ιουνίου, επικρατώντας του αντιπάλου του, Μοχάμετ Τζανφαρί, που έλαβε 47,5%. Ο πολιτικός δήλωσε ότι ήξερε πώς να σταματήσει την υπανάπτυξη στο Ανζουάν και υποστήριξε την παραμονή κάποιων στελεχών που είχαν υπηρετήσει το προηγούμενο καθεστώς (του Μπακάρ) στα αξιώματά τους, εξαιτίας της εμπειρίας τους αλλά και για λόγους εθνικής συμφιλίωσης. Η επίσημη ανάληψη των καθηκόντων του έγινε στις 5 Ιουλίου του 2008. Το 2009 έγινε Κυβερνήτης και τον διαδέχθηκε στο αξίωμα ο Ανισί Σαμσιντέν (Anissi Chamsidine).
Πυργάκι Αχαΐας
Το Πυργάκι είναι μικρό χωριό της Αχαΐας στο νεοπαγή Δήμο Αιγιαλείας. Στην απογραφή του 2011 ο οικισμός βρέθηκε να έχει πληθυσμό 15 κατοίκους.
Τοποθεσία
Το Πυργάκι Αχαΐας βρίσκεται σε απόσταση 16 χιλιομέτρων από το Αίγιο, πάνω στο δρόμο Αιγίου-Φτέρης-Καλαβρύτων, κοντά σε ένα μικρό οροπέδιο που ονομάζεται "Αρραβωνίτσα" ή "Αεροδρόμιο" (επειδή στον πόλεμο χρησίμευε ως βοηθητική αεροπορική βάση) με θέα στον Κορινθιακό κόλπο, σε υψόμετρο 831 μέτρων. Από την Αθήνα απέχει 200 χλμ., από την Πάτρα 60 χλμ. και από τα Καλάβρυτα 25 χλμ.
Κοντά στο χωριό Πυργάκι βρίσκεται η Πτέρη Αιγιαλείας. Δάσος από πεύκα και έλατα περιβάλλουν την περιοχή. Κάτω στη μεγάλη χαράδρα κυλάνε τα νερά του ποταμού Σελινούντα, τα οποία αρδεύουν τον κάμπο του Αιγίου. Στα νότια υψώνεται ο Κλωκός. Στα ανατολικά-νοτιοανατολικά ορθώνεται το Ρούσκιο.
Πανελλήνιοι αγώνες σκοποβολής πήλινου στόχου 1960
Οι Πανελλήνιοι αγώνες σκοποβολής πήλινου στόχου 1960 ήταν διοργάνωση των Πανελλήνιων σκοπευτικών αγώνων πήλινου στόχου, που διεξήχθη υπό την εποπτεία της Σκοπευτικής Ομοσπονδίας Ελλάδος (ΣΚ.Ο.Ε.). Το 33ο Πανελλήνιο πρωτάθλημα τραπ πραγματοποιήθηκε στις 26 Ιουνίου του 1960. Πρωταθλητής αναδείχθηκε ο Γεώργιος Πάγκαλος του Ο.Φ.Κ.Ο. με 95 επιτυχίες.
Πυργάκι Αχαΐας
Εξωτερικοί σύνδεσμοι
Κατηγορία:Χωριά του νομού Αχαΐας Κατηγορία:Δήμος Αιγίου Κατηγορία:Δήμος Αιγιαλείας
Πανελλήνιοι αγώνες σκοποβολής πήλινου στόχου 1960
Το Πανελλήνιο πρωτάθλημα σκιτ έλαβε χώρα στο Σκοπευτήριο του Ο.Φ.Κ.Ο. στις 17 Ιουλίου. Πρωταθλητής αναδείχθηκε ο Πετρόπουλος με 88 επιτυχίες.
Τραπ
Παρακάτω αναφέρονται οι πέντε πρώτοι αθλητές.
Σκιτ
Παρακάτω αναφέρονται οι τέσσερις πρώτοι αθλητές.
2971 Μορ
Ο Μορ (Mohr) είναι ένας αστεροειδής που περιφέρεται στην εσωτερική (δηλαδή την προς τον `Ηλιο) περιοχή της Κύριας Ζώνης Αστεροειδών και έχει απόλυτο μέγεθος (όπως ορίζεται για το Ηλιακό Σύστημα) 13,5. Ανακαλύφθηκε το 1980 από τον Τσέχο αστρονόμο Αντονίν Μρκος στο Αστεροσκοπείο Κλετ, και πήρε το όνομά του προς τιμή του συμπατριώτη του αστρονόμου Γιόζεφ Μορ (Josef M. Mohr).
Χοσάμ Χασάν
Ο Χοσάμ Χασάν Χουσεΐν (αραβικά: حسام حسن حسين, γεννήθηκε 10 Αυγούστου 1966) είναι Αιγύπτιος πρώην επαγγελματίας ποδοσφαιριστής, ο οποίος αγωνιζόταν ως κεντρικός επιθετικός και νυν προπονητής. Κατά τη διάρκεια της καριέρας του υπήρξε κάτοχος των ρεκόρ κόσμου για τις περισσότερες διεθνείς συμμετοχές και τους περισσότερους συνολικούς τίτλους.
2971 Μορ
Φυσικά χαρακτηριστικά
Τα φυσικά χαρακτηριστικά του Μορ είναι άγνωστα.
Πανελλήνιοι αγώνες σκοποβολής πήλινου στόχου 1960
Παραπομπές
1960 Κατηγορία:Διοργανώσεις σκοποβολής στην Αθήνα Κατηγορία:Σκοποβολή το 1960
Χοσάμ Χασάν
Καριέρα σε συλλόγους
Εκτός από δύο σύντομες παρουσίες στο εξωτερικό, στον ΠΑΟΚ και στην ελβετική Νεσατέλ Ξαμάξ, ο γεννημένος στο Κάιρο Χασάν έπαιξε κυρίως για τον Αλ Αχλί της πατρίδας του, για την οποία έκανε το ντεμπούτο του στην πρώτη ομάδα σε ηλικία 18 ετών, παίζοντας τον τελευταίο του αγώνα για τον σύλλογο δεκαέξι χρόνια αργότερα. Ο επαναπατρισμός του το 1992 βοήθησε σημαντικά την ομάδα να ξεφύγει από την κρίση που αντιμετώπιζε και την έφερε στην κορυφή του αφρικανικού ποδοσφαίρου. Αναδείχθηκε πρώτος στον σύλλογο σε πολλές κατηγορίες και κέρδισε συνολικά 25 τίτλους μαζί του, συμπεριλαμβανομένων 11 πρωταθλημάτων Αιγύπτου. Είναι μόνο ένας από τους δύο παίκτες που σκόραρε και για τις δύο ομάδες στο ντέρμπι του Καΐρου.
2971 Μορ
Εξωτερικοί σύνδεσμοι-πηγές
Μορ
Χοσάμ Χασάν
Καριέρα σε συλλόγους
Κατά τη διάρκεια της θητείας του στη Νεσατέλ Ξαμάξ, ο Χασάν μνημονεύεται περισσότερο για τα τέσσερα γκολ που σημείωσε σε έναν αγώνα (22 Οκτωβρίου 1991) με αντίπαλο τη Σέλτικ Γλασκώβης στο Κύπελλο ΟΥΕΦΑ 1991–92. Ένας τραυματισμός του στην Ελλάδα δεν του επέτρεψε να προσφέρει τα αναμενόμενα στην ομάδα της Θεσσαλονίκης.
Το 1999, ήδη στα 33, ο Χασάν έφυγε από την Αλ Αχλί και συνέχισε να παίζει στις Αλ Αΐν ΦΚ των Η.Α.Ε. (για τρεις μήνες κατακτώντας το πρωτάθλημα της χώρας ), Ζαμάλεκ ΣΚ - προσθέτοντας τρία ακόμη πρωταθλήματα Αιγύπτου και το ΚΑΦ Τσάμπιονς Λιγκ  του 2002 - Αλ Μασρί ΣΚ, Τερσάνα Σ.Κ. και Αλ Ιτιχάντ, συνεχίζοντας να σκοράρει σε όλες. Αποσύρθηκε σε ηλικία σχεδόν 42 ετών, έχοντας παίξει τις περισσότερες φορές με τον αδελφό του Ιμπραχίμ, συμπεριλαμβανομένου των ομάδων του εξωτερικού. Είναι δεύτερος σκόρερ όλων των εποχών στο πρωτάθλημα Αιγύπτου με 168 τέρματα.
Διεθνής καριέρα
Έχοντας κατακτήσει 41 συλλογικούς και διεθνείς τίτλους, κατέρριψε το ρεκόρ του Πελέ (40 τίτλοι) και είναι ο δεύτερος πιο επιτυχημένος επαγγελματίας ποδοσφαιριστής στη ιστορία σε ομαδικό επίπεδο, ενώ είναι και ο μόνος που έχει κερδίσει τρία Κύπελλα Εθνών Αφρικής.
Προπονητής
Στις 29 Φεβρουαρίου 2008, ο Χασάν διορίστηκε τόσο γενικός διευθυντής όσο και προπονητής του πρώην συλλόγου του, Αλ Μασρί, πριν υπογράψει στην Ετεσαλάτ.
Ορίστηκε προπονητής της Ζαμάλεκ στις 30 Νοεμβρίου 2009. Ο πρώτος αγώνας που ήταν υπεύθυνος ήταν στις 3 Δεκεμβρίου, ο οποίος κατέληξε σε αμφιλεγόμενη ήττα με 1–2 με αντίπαλο τη Χάρας Ελ Χοντούντ Σ.Κ., καθώς ο αντίπαλος παίκτης Άχμεντ Εΐντ Άμπντελ Μάλεκ δεν έπρεπε να παίξει σε αυτόν τον αγώνα, αφού είχε αποβληθεί στον προηγούμενο αγώνα (ο Άμπντελ Μάλεκ έπαιξε και σημείωσε το πρώτο γκολ της Χάρας Ελ Χοντούντ). Η πρώτη νίκη του Χασάν με τη Ζαμάλεκ ήρθε στις 12 Δεκεμβρίου εναντίον της Αλ Μασρί (3–0). Σε δώδεκα αγώνες πήρε τον σύλλογο από τη 14η θέση στη δεύτερη, χάνοντας μόνο ένα παιχνίδι και έχοντας μία ισοπαλία, πριν απολυθεί.
Αργότερα είχε σύντομα περάσματα από τις Ισμαΐλι, Αλ Μασρί και Μισρ Λελ Μακάσα. Έπειτα έγινε προπονητής της Ιορδανίας για ένα χρόνο, οδηγώντας την κατά τη διάρκεια των προκριματικών του Παγκοσμίου Κυπέλλου 2014, συμπεριλαμβανομένου του πέμπτου γύρου της ΑΦΚ με αντίπαλο το Ουζμπεκιστάν και στη συνέχεια στα μπαράζ AFC-CONMEBOL εναντίον της Ουρουγουάης.
Προσωπική ζωή
Ο Χασάν υποστήριξε ανοιχτά τον μακροχρόνιο πρόεδρο Χόσνι Μουμπάρακ κατά τη διάρκεια της αιγυπτιακής επανάστασης του 2011, η οποία τελικά οδήγησε στην παραίτηση του πολιτικού. Είναι πατέρας τεσσάρων παιδιών.
Συλλογικές
Αλ Αχλί
Αλ Αΐν
Ζαμάλεκ
Διεθνείς
Αίγυπτος
Εξωτερικοί σύνδεσμοι
Κατηγορία:Αιγύπτιοι ποδοσφαιριστές Κατηγορία:Επιθετικοί ποδοσφαιριστές Κατηγορία:Δίδυμοι αθλητές Κατηγορία:Ποδοσφαιριστές Εθνικής Αιγύπτου Κατηγορία:FIFA Century Club Κατηγορία:Ποδοσφαιριστές Κυπέλλου Εθνών Αφρικής 1986 Κατηγορία:Ποδοσφαιριστές Κυπέλλου Εθνών Αφρικής 1988 Κατηγορία:Ποδοσφαιριστές Παγκοσμίου Κυπέλλου 1990 Κατηγορία:Ποδοσφαιριστές Κυπέλλου Εθνών Αφρικής 1992 Κατηγορία:Ποδοσφαιριστές Κυπέλλου Εθνών Αφρικής 1998 Κατηγορία:Ποδοσφαιριστές Κυπέλλου Συνομοσπονδιών FIFA 1999 Κατηγορία:Ποδοσφαιριστές Κυπέλλου Εθνών Αφρικής 2000 Κατηγορία:Ποδοσφαιριστές Κυπέλλου Εθνών Αφρικής 2002 Κατηγορία:Ποδοσφαιριστές Κυπέλλου Εθνών Αφρικής 2006 Κατηγορία:Παίκτες νικητές Κυπέλλου Εθνών Αφρικής Κατηγορία:Ποδοσφαιριστές Αλ Αχλί ΣΚ Κατηγορία:Ποδοσφαιριστές Πρωταθλήματος Αιγύπτου Κατηγορία:Ποδοσφαιριστές ΠΑΟΚ Κατηγορία:Ποδοσφαιριστές Σούπερ Λιγκ Ελλάδας Κατηγορία:Ξένοι ποδοσφαιριστές στην Ελλάδα Κατηγορία:Ποδοσφαιριστές Νεσατέλ Ξαμάξ Κατηγορία:Ποδοσφαιριστές Σούπερ Λιγκ Ελβετίας Κατηγορία:Ξένοι ποδοσφαιριστές στην Ελβετία Κατηγορία:Ποδοσφαιριστές Αλ Αΐν ΦΚ Κατηγορία:Ποδοσφαιριστές Προ Λιγκ ΗΑΕ Κατηγορία:Ποδοσφαιριστές Ζαμάλεκ ΣΚ Κατηγορία:Ποδοσφαιριστές Αλ-Μασρί ΣΚ Κατηγορία:Ποδοσφαιριστές Τερσάνα Σ.Κ. Κατηγορία:Ποδοσφαιριστές Αλ Ιτιχάντ (Αλεξάνδρεια) Κατηγορία:Αιγύπτιοι προπονητές ποδοσφαίρου
Ένωση Εθνικών Ολυμπιακών Επιτροπών
Η Ένωση Εθνικών Ολυμπιακών Επιτροπών (αγγλικά: Association of National Olympic Committees, ANOC) είναι μια αθλητική ένωση που συγκεντρώνει όλες τις Εθνικές Ολυμπιακές Επιτροπές.
Ιστορία
Δημιουργήθηκε έπειτα από την ιδρυτική γενική συνέλευση που πραγματοποιήθηκε στις 26 και 27 Ιουνίου του 1979 στο Σαν Χουάν του Πουέρτο Ρίκο, όπου συνήλθε για πρώτη φορά με την ονομασία «9η Γενική Συνέλευση των Εθνικών Ολυμπιακών Επιτροπών» (CNO) στην οποία προεδρεύων ήταν ο Μεξικανός Μάριο Βάσκες Ράνα.
Η προηγούμενη «Γενική Συνέλευση των Εθνικών Ολυμπιακών Επιτροπών», πραγματοποιήθηκε στη Ρώμη στις 30 Σεπτεμβρίου, στις 1 και 2 Οκτωβρίου του 1965. Ιδρύθηκε αρχικά στο Παρίσι, ενώ από το Μάιο του 2010 η έδρα της ANOC βρίσκεται στη Λωζάνη.
Μέλη
Η ANOC είναι αναγνωρισμένη από τη Διεθνή Ολυμπιακή Επιτροπή. Αριθμεί 206 επιτροπές μέλη, με ποιο πρόσφατα αναγνωρισμένη αυτή του Νότιου Σουδάν. Κάθε επιτροπή μέλος της ANOC, ανοίκει σε μία από τις πέντε ηπειρωτικές ενώσεις:
Εξωτερικοί σύνδεσμοι
Κατηγορία:Διεθνείς αθλητικές ομοσπονδίες Κατηγορία:Ολυμπιακοί Αγώνες
Καρλ Μπεντς
thumb Ο Καρλ Φρήντριχ Μπεντς (Karl Friedrich Benz, 25 Νοεμβρίου 1844 - 4 Απριλίου 1929) υπήρξε Γερμανός μηχανικός και εφευρέτης που σχεδίασε και κατασκεύασε το πρώτο αυτοκίνητο όχημα με κινητήρα εσωτερικής καύσης.
Γεννήθηκε στην Καρλσρούη της νοτιοδυτικής Γερμανίας το 1844 και εκπαιδεύτηκε στον χώρο της μηχανικής από σχετικά μικρή ηλικία. Άνοιξε δικό του μηχανουργικό εργαστήριο στο Μανχάιμ το 1863 και από το 1877 άρχισε να πειραματίζεται αρχικά σε μηχανές με δίχρονο κινητήρα. Ύστερα από πολυετείς έρευνες, το 1885, κατασκεύασε το πρώτο αυτοκινούμενο όχημα, το οποίο ήταν τρίτροχο. Το όχημα αυτό ήταν το πρώτο αυτοκίνητο, με την σύγχρονη έννοια, που λειτουργούσε με κινητήρα εσωτερικής καύσης. Ο Καρλ Μπεντς κατοχύρωσε την εφεύρεσή του με δίπλωμα ευρεσιτεχνίας, στις 29 Ιανουαρίου 1886.
Ήδη από το 1883 ο Μπεντς είχε ιδρύσει δική του εταιρεία, την Benz & Cie (Μπεντς & Σια) που κατασκεύαζε στατικές (μη κινούμενες) μηχανές εσωτερικής καύσης. Το 1893 η εταιρεία του κατασκεύασε το πρώτο τετράτροχο αυτοκίνητο, ενώ το 1899 ήταν έτοιμη προς πώληση η πρώτη σειρά αυτοκινήτων «αγωνιστικού» τύπου. Το 1926 η εταιρεία του Μπεντς συγχωνεύτηκε με την Daimler Motoren Gesellschaft, που είχε ιδρύσει ο μηχανικός Γκότλιμπ Ντάιμλερ. Με την συγχώνευση δημιουργήθηκε η Daimler-Benz (Ντάιμλερ-Μπεντς), εταιρεία που κατασκεύαζε οχήματα με τη γνωστή επωνυμία Μερτσέντες (Mercedes).
Το 1883 λίγο καιρό αφού ο Καρλ Μπεντς κατοχύρωσε την πατέντα για το πρώτο αυτοκίνητο, η σύζυγος του Μπέρθα Μπεντς μαζί με τους δύο γιους της πήρε το αυτοκίνητο του Καρλ για να πάει στο σπίτι της μητέρας της. Κατά την διάρκειά του ταξιδιού η Μπέρθα έκανε στάσεις για να κάνει μερικές μικρο-επισκευές στον κινητήρα του αυτοκινήτου. Τελικά κατάφερε να φτάσει στο σπίτι της μητέρας της μέχρι το απόγευμα εκείνης της ημέρας. Μετά από πάρα πολλά χρόνια η Γερμανική κυβέρνηση αποφάσισε να ονομάσει την δρόμο που διάνυσε η Μπέρθα (Τιμητικός Δρόμος Μπέρθα Μπεντς).
Ευρωπαϊκές Ολυμπιακές Επιτροπές
Εξωτερικοί σύνδεσμοι
Κατηγορία:Εθνικές Ολυμπιακές Επιτροπές Κατηγορία:Ευρωπαϊκές αθλητικές ομοσπονδίες Κατηγορία:Ευρωπαϊκοί αθλητικοί διοικητικοί φορείς Κατηγορία:Ευρωπαϊκοί Αγώνες
Άννα Ελεονώρα της Έσσης-Ντάρμστατ
Η Άννα-Ελεονώρα, γερμ.: Anne Eleonore von Hessen-Darmstadt (30 Ιουλίου 1601 - 6 Μαΐου 1659) από τον Οίκο της Έσσης ήταν κόρη του λαντγκράβου της Έσσης-Ντάρμσταντ και με τον γάμο της έγινε δούκισσα του Μπράουνσβαϊγκ-Λύνεμπουργκ.
Βιογραφία
Ήταν η δεύτερη κόρη του Λουδοβίκου Ε΄ λαντγκράβου της Έσσης-Ντάρμστατ της Mαγδαληνής των Χόεντσολερν, κόρης του Ιωάννη-Γεωργίου εκλέκτορα του Βρανδεμβούργου (1525-1598). Γεννήθηκε στο Ντάρμσταντ της Έσσης, στη Γερμανία.
Απεβίωσε στο κάστρο Χέρτσμπεργκ στην Κάτω Σαξονία, σε ηλικία 57 ετών.
Βιβλιογραφικές αναφορές
Κατηγορία:Δούκισσες του Μπράουνσβαϊγκ-Λύνεμπουργκ
Λαμπίρι Αχαΐας
thumb|right|260px|Το Λαμπίρι (νυχτερινή λήψη). Το Λαμπίρι είναι οικισμός του Νομού Αχαΐας,αποτελεί τμήμα της Τοπικής Κοινότητας Ζήριας, και σύμφωνα με το «Πρόγραμμα Καλλικράτης» από 1/1/2011 ανήκει στο Δήμο Αιγιαλείας. Την περίοδο 1997-2010, βάσει του «Σχεδίου Καποδίστριας», ανήκε στον πρώην Δήμο Ερινεού ως έδρα του δήμου ενώ συνέχισε να αποτελεί οικισμό του πρώην δημοτικού διαμερίσματος Ζήριας.
Αποτελεί σήμερα παραθεριστικό κέντρο κατά τους θερινούς μήνες. Απέχει 28 χιλιόμετρα από την Πάτρα. Το χωριό συνδέεται μέσω αστικής συγκοινωνίας με το Αίγιο.
Ιστορία
Η ονομασία του προέρχεται από τον Γεραρδίνο ντε Λαμπρί, φράγκο ευγενή που ήταν ιδιοκτήτης όλης της περιοχής κατά τον 14ο αιώνα.
Κατά την αρχαιότητα, η περιοχή ήταν μέρος της Ρυπικής χώρας και το σημερινό Λαμπίρι το λιμάνι της, ο αρχαίος Ερινεός, στα ανοιχτά του οποίου συγκρούστηκαν το 412 π.Χ. αθηναϊκές και κορινθιακές τριήρεις.
Δημογραφική εξέλιξη
Η δημογραφική εξέλιξη του οικισμού στον 21ο αιώνα είναι η εξής:
Εξωτερικοί σύνδεσμοι
Κατηγορία:Χωριά του νομού Αχαΐας Κατηγορία:Δήμος Ερινεού Κατηγορία:Δήμος Αιγιαλείας Κατηγορία:Παραλίες της Αχαΐας
Ουμάρ Ντιένγκ
Ο Ουμάρ Ντιένγκ (γεννημένος στις 30 Δεκεμβρίου 1972 στο Ντακάρ της Σενεγάλης) είναι πρώην Γάλλος ποδοσφαιριστής. Αγωνίστηκε με τα χρώματα της Γαλλίας ως αμυντικός στους Μεσογειακούς Αγώνες του 1993.
Συλλογική καριέρα
Γεννημένος στο Ντακάρ της Σενεγάλης, ο Ντιένγκ ξεκίνησε την ενασχόληση με το ποδόσφαιρο σε νεαρή ηλικία από την ΑΣΚ Ζαν ντ'Αρκ. Ο νεαρός αμυντικός μετακόμισε στη Γαλλία σε ηλικία 15 ετών, όπου και υπέγραψε στη Λιλ ΟΣΚ, έπειτα από σχετική εισήγηση του Μπερνάρ Λαμά. Πραγματοποίησε το ντεμπούτο του στη Λιγκ 1 με τη Λιλ το 1989. Έπειτα από αριθμό λίγων αναμετρήσεων με τη Λιλ, παραχωρήθηκε ως δανεικός στη Λουάν-Κουισό για διάστημα μίας σεζόν. Ο Ντιένγκ επέστρεψε στη Λιλ, όπου και παρέμεινε μέχρι τη μεταγραφή του στην Παρί Σεν Ζερμέν το 1996.
Ο Ντιένγκλ πέρασε το μεγαλύτερο μέρος της καριέρας του στη γαλλική Λιγκ 1, ωστόσο αγωνίστηκε και για λογαριασμό της Σαμπντόρια της ιταλικής Σέριε Α, της Ρίζεσπορ, της Τραμπζονσπόρ και της Κόνιασπορ της Σούπερ Λιγκ Τουρκίας, καθώς και της Καβάλας της ελληνικής Σούπερ Λίγκας.
Επιστήμη υπολογιστών
Η πληροφορική ερευνά τα θεωρητικά θεμέλια και τη φύση των πληροφοριών, των αλγορίθμων και των υπολογισμών, καθώς και τις τεχνολογικές εφαρμογές τους σε αυτοματοποιημένα υπολογιστικά συστήματα. Αυτά είναι κατασκευές σχεδιασμένες με στόχο την αποδοτική, μηχανική εκτέλεση αλγορίθμων και τη διαχείριση κατάλληλα κωδικοποιημένων πληροφοριών.
Επιστήμη υπολογιστών ονομάζεται η θετική και εφαρμοσμένη επιστήμη η οποία ερευνά τα θεωρητικά θεμέλια και τη φύση των δομών δεδομένων, των αλγορίθμων και των υπολογισμών, από τη σκοπιά της σχεδίασης, της ανάπτυξης, της υλοποίησης, της διερεύνησης, της ανάλυσης και της προδιαγραφής τους. Ασχολείται με τη συστηματική μελέτη της σκοπιμότητας, της δομής, της έκφρασης και του μηχανισμού των μεθοδικών διεργασιών (ή αλγορίθμων) που αποτελούν την επεξεργασία, την αποθήκευση, την επικοινωνία και την πρόσβαση στα δεδομένα. Ένας εναλλακτικός ορισμός της επιστήμης των υπολογιστών είναι η μελέτη της αυτοματοποίησης αλγοριθμικών διεργασιών που κλιμακώνονται. Ένας επιστήμονας υπολογιστών ειδικεύεται στη θεωρία της υπολογιστικής ισχύος και το σχεδιασμό των υπολογιστικών συστημάτων.
Η επιστήμη υπολογιστών ως διακριτή επιστήμη κάνει την εμφάνισή της τη δεκαετία του 1940, όταν κατασκευάστηκαν οι πρώτες υπολογιστικές μηχανές γενικού σκοπού και τέθηκαν τα θεωρητικά θεμέλια του υπολογισμού. Η δημιουργία των πρώτων ακαδημαϊκών τμημάτων έγινε τη δεκαετία του 1960, ενώ η διάθεση των προϊόντων της έρευνας της στην κοινωνία (τεχνολογία πληροφοριών και επικοινωνίας) άρχισε να λαμβάνει χώρα ευρέως μετά το 1970, με αποτέλεσμα σημαντικές κοινωνικές, οικονομικές και τεχνολογικές αλλαγές σε διεθνές επίπεδο.
Η επιστήμη υπολογιστών δεν πρέπει να συγχέεται με τη θεωρία πληροφορίας, ένα πεδίο των εφαρμοσμένων μαθηματικών. Επίσης, η ιδιότητα του επιστήμονα υπολογιστών δεν πρέπει να συγχέεται με την επαγγελματική ιδιότητα του προγραμματιστή, δηλαδή ατόμου βιοποριζόμενου από την ανάπτυξη λογισμικού υπολογιστών, εφόσον η επιστήμη υπολογιστών δεν συνίσταται στον ίδιο τον προγραμματισμό μα στην επιστημονική μελέτη των αλγορίθμων και της σχεδίασης, ανάλυσης και κατασκευής υλικού ή λογισμικού υπολογιστών και αποδοτικών, αυτοματοποιημένων υπολογιστικών υποδομών για τη μηχανική εκτέλεση αλγορίθμων. Η επιστήμη υπολογιστών αξιοποιεί επομένως τον προγραμματισμό όχι ως αυτοσκοπό, μα ως ένα από τα βασικά εργαλεία της και από τα κύρια αντικείμενα μελέτης της. Ωστόσο, είναι σύνηθες ένας επαγγελματίας προγραμματιστής να έχει σπουδάσει σε κάποιον βαθμό την επιστήμη υπολογιστών. Τέλος, η επιστήμη υπολογιστών δεν πρέπει να συγχέεται απλά με τις δεξιότητες χρήσης Η/Υ και έτοιμων πακέτων λογισμικού (π.χ. επεξεργαστών κειμένου κλπ.), αφού η απλή χρήση των υπολογιστών δεν έχει επιστημονικό χαρακτήρα και σκοπό.
Τα πεδία της επιστήμης υπολογιστών διακρίνονται σε μια ποικιλία θεωρητικών και πρακτικών κλάδων. Κάποια από τα πεδία αυτά, όπως η θεωρία υπολογιστικής πολυπλοκότητας, που εξερευνά τις θεμελιώδεις ιδιότητες των υπολογιστικών και δυσεπίλυτων προβλημάτων, είναι πολύ αφηρημένα, ενώ τομείς όπως τα γραφικά υπολογιστών δίνουν έμφαση σε οπτικές εφαρμογές του πραγματικού κόσμου. Ακόμη σε άλλους τομείς επικεντρώνεται στις προκλήσεις των εφαρμογών υπολογισμού. Για παράδειγμα, η θεωρία γλωσσών προγραμματισμού θεωρεί διάφορες προσεγγίσεις για την περιγραφή των υπολογισμών, ενώ η μελέτη του προγραμματισμού ηλεκτρονικών υπολογιστών ερευνά διάφορες πτυχές της χρήσης της γλώσσας προγραμματισμού και τα πολύπλοκα συστήματα. Η αλληλεπίδραση ανθρώπου-υπολογιστή εξετάζει τις προκλήσεις στην κατασκευή των ηλεκτρονικών υπολογιστών, κάνοντας τους υπολογισμούς όσο το δυνατό πιο χρήσιμο, εύχρηστο, και καθολικά προσβάσιμο στους ανθρώπους.
Ιστορία των υπολογιστών
σύνδεσμος=https://el.wikipedia.org/wiki/%CE%91%CF%81%CF%87%CE%B5%CE%AF%CE%BF:Ada_lovelace.jpg|μικρογραφία|Η [[Άντα Λάβλεϊς έγραψε το πρώτο πρόγραμμα υπολογιστή κατά τον 19ο αιώνα για την Αναλυτική Μηχανή του Μπάμπατζ, πολύ πριν από την εμφάνιση ηλεκτρονικών υπολογιστών. Η γλώσσα προγραμματισμού Ada έχει ονομαστεί έτσι προς τιμήν της.]] Η προϊστορία των υπολογιστών εντοπίζεται τόσο στη μαθηματική μελέτη των αλγορίθμων, όσο και σε ποικίλες απόπειρες κατασκευής υπολογιστικών μηχανών με στόχο την αυτοματοποίηση αριθμητικών υπολογισμών. Αποσπασματικές προσπάθειες ενταγμένες στα δύο αυτά εγχειρήματα μπορούν να ανιχνευθούν από την Αρχαιότητα μέχρι και τον 19ο αιώνα, πολύ πριν από την ανάπτυξη των σύγχρονων ψηφιακών υπολογιστών. Σημαντικοί σταθμοί στην εν λόγω ιστορική διαδρομή υπήρξαν η κατασκευή του μηχανισμού των Αντικυθήρων, του πρώτου μηχανικού υπολογιστή (περιορισμένων βεβαίως δυνατοτήτων) ο οποίος κατασκευάστηκε ποτέ και διασώζεται μέχρι σήμερα, η διατύπωση αλγορίθμων σε φυσική γλώσσα από τον Ευκλείδη και τον Ερατοσθένη, η πρώιμη μελέτη της έννοιας του αλγορίθμου από τον Πέρση μαθηματικό του Μεσαίωνα Αλ Χουαρίζμι στο πλαίσιο της πρώτης πλήρους πραγματείας περί άλγεβρας, η κατασκευή της πρώτης μηχανικής αριθμομηχανής από τον Μπλεζ Πασκάλ το 1645, καθώς και ο μηχανικός υπολογιστής του Τσαρλς Μπάμπατζ στα μέσα του 19ου αιώνα, πρόγονος των καθολικών υπολογιστών γενικού σκοπού, ο οποίος όμως απέτυχε να επηρεάσει σημαντικά την τεχνολογία της εποχής του. Στη συνέχεια, προτού γίνει ξεχωριστή επιστήμη, η επιστήμη υπολογιστών εμφανίστηκε σαν πεδίο των διακριτών μαθηματικών κατά τη δεκαετία του 1930, μετά την αυστηρή μαθηματική τυποποίηση των εννοιών του αλγορίθμου και του υπολογισμού από τους μαθηματικούς Άλαν Τιούρινγκ και Αλόνζο Τσερτς.
Ο ENIAC (1946) υπήρξε ο πρώτος επαναπρογραμματιζόμενος ηλεκτρονικός υπολογιστής γενικού σκοπού, ικανοποιώντας τα κριτήρια του Τιούρινγκ περί καθολικής επιλυσιμότητας (ήταν δηλαδή θεωρητικά σε θέση να εκτελέσει κάθε δυνατό αλγόριθμο), δίνοντας μια αρχική ώθηση στην επιστημονική ανεξαρτητοποίηση της επιστήμης υπολογιστών. Οι υπολογιστές που είχαν προηγηθεί του ENIAC ήταν είτε μηχανικές κατασκευές ειδικού σκοπού (π.χ. ο μηχανισμός των Αντικυθήρων), είτε ηλεκτρομηχανολογικές κατασκευές (π.χ. Ζ3), είτε ηλεκτρονικές συσκευές που δεν είχαν όμως καθολικές δυνατότητες υπολογισιμότητας (π.χ. Colossus). Από τα τέλη της δεκαετίας του 1950, οπότε καθιερώθηκε η αρχιτεκτονική φον Νόιμαν των σύγχρονων ψηφιακών υπολογιστών, η αυτονομημένη πλέον επιστήμη υπολογιστών άρχισε να αναπτύσσεται σε μεγάλο βαθμό ανεξάρτητα από τις ίδιες τις μηχανές, με την πλήρη ακαδημαϊκή αναγνώρισή της ως ξεχωριστής επιστήμης, χαρακτηριζόμενης από τη δική της παράδοση και ιδιότητες, να συμβαίνει σταδιακά κατά τη δεκαετία του 1960. Η πολύ μεγάλη επιρροή της, ακολούθως, στην ανάδυση των ρηξικέλευθων τεχνολογιών πληροφοριών και επικοινωνίας (ΤΠΕ), έχει οδηγήσει διεθνώς μετά το 1970 σε κοινωνικές εξελίξεις που πολλοί εκλαμβάνουν ως «επανάσταση της πληροφορίας», «παγκόσμιο χωριό» και «κοινωνία της γνώσης». Ταυτόχρονα, η επιστήμη υπολογιστών αποτέλεσε το επιστημονικό υπόβαθρο επί του οποίου στηρίχθηκε η σύγχρονη βιομηχανία ανάπτυξης και συντήρησης λογισμικού, κυρίως μετά την καθιέρωση των προσωπικών υπολογιστών, φτάνοντας τελικά να αποτελεί έναν ευμεγέθη τομέα της οικονομίας.
Σήμερα η επιστήμη υπολογιστών ασχολείται επιστημονικά με ένα ευρύ φάσμα θεμάτων, όπως η ανάπτυξη αλγορίθμων για την αποτελεσματική επίλυση προβλημάτων, η κατασκευή και βελτίωση συστημάτων λογισμικού και υλικού υψηλής απόδοσης, η ταχεία και ασφαλής διακίνηση πληροφοριών μέσω τηλεπικοινωνιακών δικτύων, η δημιουργία συστημάτων διαχείρισης δεδομένων, η διερεύνηση του τρόπου με τον οποίο ο άνθρωπος διατυπώνει συλλογισμούς, η προσομοίωση της λειτουργίας του ανθρώπινου εγκεφάλου κλπ. Έτσι, η επιστήμη υπολογιστών συνδέεται άμεσα με όλες τις θετικές επιστήμες, αλλά και με τη φιλοσοφία, την ψυχολογία, τη γλωσσολογία, τη νομική, την ιατρική, τα οικονομικά και τη διοίκηση επιχειρήσεων. Προς τιμήν του Άλαν Τιούρινγκ, κάθε έτος από το 1966 κι έπειτα ο διεθνής «Σύλλογος Μηχανημάτων Υπολογισμού» (Association for Computing Machinery, ACM) απονέμει το Βραβείο Τιούρινγκ σε έναν επιστήμονα του χώρου με αναγνωρισμένη σημαντική συνεισφορά. Το Βραβείο Τιούρινγκ έχει αποκληθεί «Βραβείο Νόμπελ της επιστήμης υπολογιστών».
Κλάδοι
Η επιστήμη υπολογιστών συνίσταται σε πέντε βασικούς κλάδους. Τα επιμέρους πεδία τους παρατίθενται παρακάτω, από κοινού με τα θεμελιώδη πεδία των μαθηματικών στα οποία η επιστήμη υπολογιστών εν πολλοίς στηρίζεται (ενότητα «Μαθηματικά θεμέλια»).
Μαθηματικά θεμέλια
100px
Θεωρητική πληροφορική
120px
Μηχανική υπολογιστών
120px
Καίτη Φίνου
Η Καίτη Φίνου (πραγματικό όνομα: Αικατερίνη Χρονιάδου ) (Έδεσσα, 30 Δεκεμβρίου 1958) είναι Ελληνίδα ηθοποιός του θεάτρου, του κινηματογράφου και της τηλεόρασης.
Επιστήμη υπολογιστών
Υπολογιστικά συστήματα
90px
Λογισμικό
120px
Καίτη Φίνου
Βιογραφία
Την ίδια χρονιά γνωρίζεται με τον Στάθη Ψάλτη και γίνονται κινηματογραφικό ζευγάρι, παίζοντας μαζί σε πολλές ταινίες, κυρίως του Γιάννη Δαλιανίδη, ενώ ήταν ζευγάρι και στη ζωή.
Επιστήμη υπολογιστών
Εφαρμογές υπολογιστών
90px
Καίτη Φίνου
Βιογραφία
Από το 2013 ζει στο Σπίτι του Ηθοποιού στα Κάτω Πατήσια.
Επιστήμη υπολογιστών
Φιλοσοφία
Η φιλοσοφία της επιστήμης υπολογιστών, δηλαδή η ορθολογική διερεύνηση των θεμελιωδών υποθέσεων και στόχων της επιστήμης υπολογιστών, σχηματίστηκε σταδιακά ως τομέας ακαδημαϊκής μελέτης κατά το δεύτερο ήμισυ του 20ου αιώνα, παράλληλα με την ίδια την επιστήμη υπολογιστών. Ωστόσο, μόνο μετά την αλλαγή της χιλιετίας το 2000 άρχισε να αποτελεί διακριτό γνωστικό αντικείμενο, στα πρότυπα άλλων κλάδων της φιλοσοφίας της επιστήμης. Εξαίρεση αποτελεί το επιμέρους πεδίο της ονόματι φιλοσοφία της τεχνητής νοημοσύνης, το οποίο είχε αναδυθεί ταυτόχρονα με την ίδια την τεχνητή νοημοσύνη ήδη από τη δεκαετία του '50, σε επικάλυψη με την προϋπάρχουσα φιλοσοφία της νόησης και παράλληλα με τον διακλαδικό τομέα της γνωσιακής επιστήμης (συμβατικά αποδεκτό έτος εμφάνισης: 1956 ). Παρακάτω, επομένως, εξετάζεται συνοπτικά η φιλοσοφία της επιστήμης υπολογιστών χωρίς να περιλαμβάνεται στην εν λόγω περιγραφή η φιλοσοφία της τεχνητής νοημοσύνης, λόγω της διαφορετικής ιστορικής διαδρομής, αν και στην πραγματικότητα πρόκειται για το πιο πλούσιο και θεωρητικά μελετημένο επιμέρους πεδίο της.
Καίτη Φίνου
Βιογραφία
Στην τηλεόραση έχει εμφανιστεί στις σειρές Βασικά... Καλησπέρα σας Έλα να γυμνωθούμε ντάρλινγκ Καμικάζι αγάπη μου
Επιστήμη υπολογιστών
Η ταυτότητα των προγραμμάτων
Η οντολογική όψη της διάκρισης μεταξύ υλικού και λογισμικού, καθώς και ο εγγενώς διττός χαρακτήρας των προγραμμάτων, συνιστούν ένα βασικό αντικείμενο διερεύνησης στον τομέα. Υλικό και λογισμικό είναι λογικά ισοδύναμα: οτιδήποτε μπορεί να γραφεί ως λογισμικό (σύνολο εντολών προς το υλικό) μπορεί να υλοποιηθεί εναλλακτικά απευθείας σε υλικό, και αντιστρόφως. Ακόμα, ένα πρόγραμμα μπορεί να ιδωθεί είτε ως επεξεργάσιμο κείμενο (πηγαίος κώδικας) είτε ως αφηρημένη, μηχανική διαδικασία υπολογισμού (υλοποίηση αλγορίθμου εκτελούμενη στον υλικό επεξεργαστή). Έτσι, ένα σημαντικό μέρος του τομέα αφιερώνεται στη θεωρητική εξέταση των οντολογικών ερωτημάτων που προκύπτουν από αυτές τις ισοδυναμίες και διττότητες. Μία δυνατότητα επίλυσης του δυϊσμού των προγραμμάτων είναι η αναγόρευση της «διαδικαστικής» όψης ενός προγράμματος σε υλοποίηση της «κειμενικής» του όψης, όμως τότε το ερώτημα απλώς μετατοπίζεται στο ποια είναι η οντολογική φύση μίας σχέσης υλοποίησης και ποια είναι η διαφορά μεταξύ της υλοποίησης πηγαίου κώδικα σε εκτελέσιμο κώδικα (από έναν μεταγλωττιστή) και της υλοποίησης λογισμικού σε υλικό (από έναν μηχανικό υπολογιστών). Μία ενδεχόμενη απάντηση είναι η θέαση του λογισμικού ως αφηρημένης οντότητας, η οποία εκφράζει μία συγκεκριμένη αλληλουχία διατάξεων του υλικού (διαδικαστική όψη / μέσον εκτέλεσης) και ταυτόχρονα περιγράφεται συνοπτικά από μία ισοδύναμη αλληλουχία γλωσσικών συμβόλων (κειμενική όψη / μέσον περιγραφής). Η υλοποίηση, τότε, δεν είναι παρά η απεικόνιση ενός μέσου περιγραφής στο κατάλληλο μέσον εκτέλεσης. Ο φιλόσοφος Ντέιβιντ Τσάλμερς έχει αναπτύξει μία τέτοια διατύπωση της έννοιας της υλοποίησης ως ισομορφισμού. Όμως, σε αυτή την περίπτωση, εγείρεται το ερώτημα του πότε δύο προγράμματα θεωρούνται ταυτόσημα: όταν η κειμενική τους όψη ταυτίζεται ή όταν συμπίπτουν λειτουργικά στη διαδικαστική τους όψη; Πρόκειται για ένα σύνθετο ζήτημα διότι δύο διαφορετικοί πηγαίοι κώδικες μπορούν να μεταγλωττίζονται στην ίδια γλώσσα μηχανής, ή εναλλακτικά να παράγουν στη διαδικαστική τους όψη αλγοριθμικά τελείως ισοδύναμες συμπεριφορές.
Καίτη Φίνου
Βιογραφία
Μάντεψε τι κάνω... τα βράδια Και ο πρώτος ματάκιας  Ο παρθενοκυνηγός  Τρελλός είμαι ό,τι θέλω κάνω!.. Ο καβαλάρης των F.M.
Επιστήμη υπολογιστών
Η ταυτότητα των προγραμμάτων
Έτσι το πρόβλημα μετατοπίζεται εκ νέου, στη φύση της σχέσης μεταξύ προγράμματος και αλγορίθμου. Θα μπορούσε να διατυπωθεί πως οι αλγόριθμοι είναι αφηρημένες μαθηματικές κατασκευές, ενώ τα προγράμματα στέρεες υλοποιήσεις τους. Η θέση αυτή συνδέεται με ορισμένες πλατωνικής φύσης αντιλήψεις στη φιλοσοφία των μαθηματικών, σχετικά με την οντολογική κατάσταση των μαθηματικών αντικειμένων, και ενισχύει τη θέαση της κειμενικής όψης των προγραμμάτων ως απλών γλωσσικών περιγραφών: όχι πια της διαδικαστικής τους όψης, αλλά ενός μαθηματικού αλγοριθμικού κατασκευάσματος. Εναλλακτικά, μια μη πλατωνική οπτική αντιλαμβάνεται τους αλγορίθμους όχι ως αυθύπαρκτα αφηρημένα αντικείμενα μα ως απλή λεκτική σύνοψη των ιδεών οι οποίες περιέχονται στη διαδικαστική όψη ενός προγράμματος και περιγράφονται αναλυτικά στον πηγαίο κώδικα. Έτσι, από αυτή την οπτική γωνία, ο αλγόριθμος δεν είναι παρά μία σύνοψη της κειμενικής όψης ενός προγράμματος, επικεντρωμένη στις βασικές ιδέες της: στο εν λόγω σκεπτικό θεμελιώνεται το νομικό επιχείρημα κατά της δυνατότητας κατοχύρωσης πνευματικών δικαιωμάτων επί αλγορίθμων, τη στιγμή που παντού στον πλανήτη ορίζονται πνευματικά δικαιώματα επί πηγαίου κώδικα.
Καίτη Φίνου
Βιογραφία
Τα καμάκια Ψηλός λιγνός και ψεύταρος Οι Επικίνδυνοι  Μερικές τον Προτιμούν Ηλεκτρονικό  Ο μεγάλος παραμυθάς
Επιστήμη υπολογιστών
Η ταυτότητα των προγραμμάτων
Μία συγγενής διένεξη αφορά τη διάκριση μεταξύ τυπικών προδιαγραφών και προγραμμάτων. Συμβατικά, θεωρείται πως οι προδιαγραφές ορίζουν μόνο ποιες είναι οι δυνατές είσοδοι και οι αντίστοιχες κατάλληλες έξοδοι ενός προγράμματος, ενώ το τελευταίο περιέχει ένα πλήρες σύνολο βήμα-προς-βήμα εντολών προς τον επεξεργαστή. Ο ορισμός αυτός έχει πράγματι ισχύ για τη γλώσσα μηχανής (τη διαδικαστική όψη των προγραμμάτων) και για τις προστακτικές γλώσσες προγραμματισμού, καταρρέει όμως τελείως όταν ως «πρόγραμμα» θεωρούμε τον πηγαίο κώδικα πιο σύγχρονων δηλωτικών γλωσσών προγραμματισμού. Πράγματι, υπάρχει μία διαχρονική τάση στην ιστορία του προγραμματισμού ώστε η σύνταξη κώδικα να μοιάζει όλο και περισσότερο με σύνταξη τυπικών προδιαγραφών. Μία θεωρητική λύση στο θέμα της διάκρισης μεταξύ των δύο, δίνει η θέση πως οι γλώσσες προγραμματισμού συνοδεύονται κατ' αρχήν από μία υλοποίηση (δηλαδή μπορεί να γραφεί ένας μεταγλωττιστής για αυτές), ενώ οι γλώσσες προδιαγραφών όχι, διότι είναι εφικτό με αυτές να εκφραστούν έννοιες μη επιλύσιμες κατά Τιούρινγκ (δηλαδή μη αλγοριθμίσιμες). Το ζήτημα ωστόσο παραμένει ανοικτό στη φιλοσοφία της επιστήμης υπολογιστών, αφού μοιάζει τουλάχιστον ιδιόρρυθμο να ορίζονται οι γλώσσες προδιαγραφών με γνώμονα το ότι μπορούν να περιγράψουν μη επιλύσιμα υπολογιστικά προβλήματα.
Καίτη Φίνου
Βιογραφία
Το Μεγάλο Ρουθούνι Απαγωγή στα τυφλά  Μιμή η ερωτιάρα  Τα Καθημερινά  Ορκιστείτε παρακαλώ Ο Ανθρωπάκος
Επιστήμη υπολογιστών
Η σημασιολογία των γλωσσών προγραμματισμού
σύνδεσμος=https://el.wikipedia.org/wiki/%CE%91%CF%81%CF%87%CE%B5%CE%AF%CE%BF:CodeCmmt002.svg|δεξιά|μικρογραφία|Ένα στιγμιότυπο πηγαίου κώδικα σε γλώσσα προγραμματισμού [[Java.]] Η τυπική σημασιολογία μίας γλώσσας προγραμματισμού ορίζει, με βάση προκαθορισμένες συμβάσεις, το νοηματικό περιεχόμενο ενός πηγαίου κώδικα, ώστε κάθε αντίστοιχος μεταγλωττιστής να μπορεί να τον μεταφράσει σε γλώσσα μηχανής χωρίς αμφισημίες. Η σημασιολογία όμως μπορεί να περιγραφεί σε διαφορετικά επίπεδα αφαίρεσης με διαφορετικούς στόχους, όπως π.χ. στο επίπεδο της λειτουργικής σημασιολογίας (όπου ο κώδικας ερμηνεύεται ως αλληλουχία εντολών προς μία αφηρημένη, μαθηματικά ορισμένη «υπολογιστική μηχανή», εφοδιασμένη με ένα εικονικό σύνολο εντολών υψηλού επιπέδου) ή της δηλωτικής σημασιολογίας (όπου ο κώδικας ερμηνεύεται ως σύνολο από δομές κάποιου μη μηχανικής υφής μαθηματικού φορμαλισμού, βασισμένου π.χ. στη θεωρία πεδίων). Η θεωρητική επιστήμη υπολογιστών εξετάζει τις τυπικές διαδικασίες και τις ιδιότητες αυτών των μηχανισμών, όμως ερωτήματα όπως το κατά πόσο οι εν λόγω εναλλακτικές σημασιολογίες μίας γλώσσας διαφέρουν ή ταυτίζονται σε θεμελιώδες επίπεδο, έχουν περισσότερο φιλοσοφικό παρά επιστημονικό χαρακτήρα.
Καίτη Φίνου
Βιογραφία
Ο Πρωτότοκος Έρωτας στο περιθώριο Καλημέρα Ζωή Το Κόκκινο Δωμάτιο Μαρία η άσχημη  Επτά Θανάσιμες Πεθερές Τρίχες
Παραπομπές
Κατηγορία:Ελληνίδες ηθοποιοί κινηματογράφου
Επιστήμη υπολογιστών
Η σημασιολογία των γλωσσών προγραμματισμού
Η καθιερωμένη αντίληψη θεωρεί πως η διαδικασία της υλοποίησης ενός προγράμματος, η μεταγλώττιση του πηγαίου κώδικα σε γλώσσα μηχανής, δεν είναι παρά μία απεικόνιση από το πεδίο της σύνταξης στο σημασιολογικό πεδίο, με βάση ένα σύνολο κανόνων. Η εν λόγω θέση όμως υπόρρητα εκλαμβάνει την υλική μηχανή (το λειτουργικό σύνολο επεξεργαστή, κύριας μνήμης κλπ.) ως τελικό φορέα της σημασιολογίας, και άρα του νοήματος του προγράμματος, καθώς αυτή εκτελεί το λογισμικό του μεταγλωττιστή: η μηχανή φέρει εις πέρας την απεικόνιση της κειμενικής σε διαδικαστική όψη κι έτσι νοηματοδοτεί τον κώδικα. Η προσέγγιση αυτή έχει δειχθεί ως ανεπαρκής : π.χ. σε περίπτωση ηλεκτρικής δυσλειτουργίας του επεξεργαστή ενώ εκτελείται η μεταγλώττιση, ο παραχθείς κώδικας έχει μεγάλη πιθανότητα να είναι εσφαλμένος. Σύμφωνα με ποια κριτήρια όμως μπορεί να κριθεί εσφαλμένος αν η υλοποίηση έχει γίνει από την ίδια τη μηχανή που «έσφαλλε»; Άρα, απαιτείται μία πηγή νοημοτοδότησης του πηγαίου κώδικα εξωτερική της υλικής υπολογιστικής μηχανής η οποία φέρει εις πέρας τη μεταγλώττιση.
Η σημασιολογία μας παρέχει και ένα εργαλείο εξακρίβωσης της ταύτισης μεταξύ δύο προγραμμάτων με διαφορετικό κώδικα: αν στα δύο προγράμματα ανατίθεται η ίδια ολική σημασιολογική τιμή θεωρούνται ισοδύναμα, άρα ουσιωδώς ταυτίζονται με βάση τη λογική αρχή της ταυτότητας. Ωστόσο, ακόμα και αυτή δεν ειναι οριστική λύση, αφού π.χ. σε μία δηλωτική σημασιολογία δύο προγράμματα μπορεί να αποδεικνύονται ισοδύναμα (για τις ίδιες εισόδους δίνουν τις ίδιες εξόδους), τη στιγμή που τα ίδια προγράμματα σε μία λειτουργική σημασιολογική ανάλυση αποδεικνύονται διακριτά (εμπεριέχουν διαφορετικά υπολογιστικά βήματα). Επομένως, αν και η σημασιολογία μας εφοδιάζει με φιλοσοφικά αποδεκτές έννοιες ταυτότητας και ισοδυναμίας στα εν λόγω συμφραζόμενα, δεν οδηγεί στην πλήρη επίλυση του ζητήματος.
Αποδείξεις και προγράμματα
Θεωρώντας ένα πρόγραμμα υπολογιστή ως έναν μεγάλο υπολογισμό, οι τυπικές προδιαγραφές καθορίζουν τις ζητούμενες κατάλληλες εξόδους του για όλες τις αντίστοιχες δυνατές εισόδους του. Η κατηγορηματική λογική παρέχει μηχανισμούς θέσπισης τυπικών προδιαγραφών για ένα πρόγραμμα, όπως π.χ. η λογική Hoare του Τόνυ Χόαρ, με τους οποίους είναι εφικτό υπό προϋποθέσεις να ελεγχθεί η ορθότητά του: αν πράγματι για κάθε δυνατή είσοδο παράγεται η κατάλληλη έξοδος. Τέτοιες αποδείξεις υλοποιούνται με αφετηρία τις προδιαγραφές του προγράμματος και με βάση τα μαθηματικά εργαλεία της κατηγορηματικής λογικής, αλλά είναι αμφισβητήσιμο από φιλοσοφική σκοπιά το κατά πόσο μοιάζουν με τις συνηθισμένες αποδείξεις των μαθηματικών. Έχει υποστηριχθεί ότι τους λείπει η κομψότητα, η λιτότητα (συνήθως είναι μεγαλύτερες σε έκταση από τον πηγαίο κώδικα του προγράμματος) και η διανοητική γοητεία, ενώ δεν είναι εύκολα επαληθεύσιμες από ανθρώπους. Το επιχείρημα αυτό συνδέεται με παρόμοιες επιστημολογικές διενέξεις στη φιλοσοφία των μαθηματικών σχετικά με τη φύση και την πηγή της αξίας των μαθηματικών αποδείξεων, διενέξεις οι οποίες ενισχύθηκαν κατά τις τελευταίες δεκαετίες εξαιτίας της χρήσης λογισμικού υπολογιστών για απόδειξη θεωρημάτων.
Όπως και στα μαθηματικά, έτσι και στην επιστήμη υπολογιστών έχουν υπάρξει πολέμιοι της εν λόγω αμφισβήτησης των «άκομψων» αποδείξεων, με το σκεπτικό ότι σημασία έχει το αποτέλεσμα (π.χ. η κατάδειξη ενός προγράμματος ως ορθού ή εσφαλμένου) και όχι η διαδικασία. Από την άλλη ωστόσο, έχει υποστηριχθεί ότι οι αποδείξεις στα μαθηματικά βασίζονται επίσης στη δημιουργική κατασκευή νέων εννοιών, επιπέδων αφαίρεσης ή συμβολισμών από τον ορθό λόγο, πράγματα ανέφικτα για μία μηχανική, αλγοριθμική διαδικασία όπως μία απόδειξη σε λογική Hoare.
Τέλος, έχει δειχθεί πως η όποια απόδειξη ορθότητας ενός προγράμματος είναι περιορισμένης αξίας, από τη στιγμή που αδυνατεί να λάβει υπόψη της τις συνθήκες της κάθε συγκεκριμένης εκτέλεσης του προγράμματος σε μία υπολογιστική μηχανή. Π.χ. μία δυσλειτουργία ενός επεξεργαστή κατά την ώρα της εκτέλεσης ίσως οδηγήσει σε εσφαλμένα αποτελέσματα, παρόλο που το πρόγραμμα (με την έννοια κάποιας αφηρημένης σημασιολογικής ερμηνείας του πηγαίου κώδικα) έχει αποδειχθεί τυπικά ορθό. Επομένως απαιτείται εμπειρική επαλήθευση αυτής της ορθότητας, με μία σειρά δοκιμαστικών εκτελέσεων, γεγονός που αντανακλά τη διττή φύση των προγραμμάτων.