ⓘ Free online encyclopedia. Did you know? page 330




                                               

Ρόμπερτ Ντόνατ

Ο Ρόμπερτ Ντόνατ ήταν Βρετανός ηθοποιός του κινηματογράφου και του θεάτρου βραβευμένος με Όσκαρ Α Ανδρικού Ρόλου για την ερμηνεία του στην ταινία του 1939 Αντίο, Ωραία Νιάτα. Είναι επίσης γνωστός για τη συμμετοχή του στην ταινία μυστηρίου του Άλφ ...

                                               

Μάργκαρετ Ράδερφορντ

Η Μάργκαρετ Ράδερφορντ ήταν Αγγλίδα ηθοποιός της τηλεόρασης, του θεάτρου, του κινηματογράφου. Απέκτησε φήμη μετά τον Β Παγκόσμιο Πόλεμο με τη συμμετοχή της στην κινηματογραφική μεταφορά του θεατρικού του Νόελ Κάουαρντ To Πονηρό Πνεύμα και του Όσκ ...

                                               

Σταν Λόρελ

Ο Σταν Λόρελ ήταν Άγγλος κωμικός ηθοποιός, συγγραφέας και σκηνοθέτης. Μαζί με τον Όλιβερ Χάρντι αποτέλεσαν ένα από τα διασημότερα κωμικά δίδυμα στην ιστορία του κινηματογράφου ως οι Χοντρός και Λιγνός.

                                               

Λούθιο Ουρτούμπια

Ο Λούθιο Ουρτούμπια Χιμένεθ ήταν Ισπανός αναρχικός, υποστηρικτής του απαλλοτριωτικού αναρχισμού. Έχει παρομοιαστεί με τον Ρομπέν των Δασών, πραγματοποιώντας ληστείες τραπεζών και πλαστογραφίες κατά τις δεκαετίες 1960 και 1970. Σύμφωνα με τα λόγια ...

                                               

Αντώνης Παπαπαντολέων

O Αντώνιος Παπαπαντολέων γεννήθηκε στο Αγρίνιο το 1913 και πέθανε στην Αθήνα. Ήταν επιχειρηματίας, πολεμιστής του Ελληνοαλβανικού μετώπου και αγωνιστής του ΕΔΕΣ. Περάτωσε τις εγκύκλιες σπουδές του στο Αγρίνιο και το 1934 διορίστηκε στην Π.Α.Ε. Γε ...

                                               

Γεώργιος Γραμμένος

Ο Γεώργιος Γραμμένος του Κωνσταντίνου υπήρξε μέλος του ΕΔΕΣ και συνιδρυτής της Απελευθερωτικής Γερμανικής Κατοχής Οργάνωσης Νέων που ιδρύθηκε στην Αθήνα τον Ιούλιο του 1941. Ήταν ο πιο ριψοκίνδυνος και θαρραλέος της ομάδας του, είχε καταφέρει να ...

                                               

Σπυρίδων Γραμμένος

Ο Σπυρίδων Γραμμένος ήταν Έλληνας δικηγόρος, ιδρυτής και αρχηγός της Απελευθερωτικής Γερμανικής Κατοχής Οργάνωσης Νέων που ιδρύθηκε στην Αθήνα τον Ιούλιο 1941 και στη συνέχεια δραστήριο στέλεχος του ΕΔΕΣ. Η οργάνωσή του προδόθηκε και πέθανε στα χ ...

                                               

Αναστάσιος Κοκκαβέσης

Ο Αναστάσιος Κοκκαβέσης ήταν Έλληνας δικαστικός από την Χειμάρρα της Αλβανίας. Κατά τη διάρκεια του Β Παγκοσμίου Πολέμου υπήρξε ιδρυτικό μέλος και σημαντικό στέλεχος της βορειοηπειρωτικής οργάνωσης ΜΑΒΗ.

                                               

Θεόδωρος Μπαγλανέας

Ο Θεόδωρος Μπαγλανέας του Αθανασίου ήταν Έλληνας δικηγόρος, πολιτικός και νομάρχης. Το 1974 έγινε πρόεδρος του ΠΙΚΠΑ Βούλας.Πέθανε στην Αθήνα σε ηλικία 90 ετών το 2003. Ήταν παντρεμένος με τη Σοφία Σπηλιωτοπούλου και απέκτησαν έναν γιο. Δημοσίευσ ...

                                               

Ντίνος Παπαδημητρίου

Ο Κωνσταντίνος Παπαδημητρίου του Νικολάου, περισσότερο γνωστός ως Ντίνος Παπαδημητρίου, ήταν Έλληνας γιατρός, αντιστασιακός και πολιτικός. Υπηρέτησε ως βουλευτής Άρτας από το 1958 ως το 1961 και ξανά από το 1963 ως το 1967 και από το 1974 ως το 1977.

                                               

Αλέξανδρος Παπαδόπουλος (βουλευτής Ιωαννίνων)

Ήταν πρώην αστυνομικός και αργότερα εργάστηκε ως εργολάβος. Πατέρας του ήταν ο Βασίλειος Παππάς, ο οποίος ήταν μέλος του αντάρτικου σώματος του Ιωάννη Πουτέτση και σκοτώθηκε το 1911 σε σύγκρουση με οθωμανικές δυνάμεις και Αλβανούς ένοπλους. Κατά ...

                                               

Γιάννης Παπαχρήστος

Ο Γιάννης Παπαχρήστος του Θεοδώρου ήταν λοχαγός στον Εθνικό Δημοκρατικό Ελληνικό Σύνδεσμο, που έπεσε στη Μάχη της Καννέτας στις 2 Σεπτεμβρίου του 1944. Τη νικηφόρο αυτή μάχη έδωσαν αντάρτικα τμήματα του ΕΔΕΣ κατά Γερμανικής στρατιωτικής φάλαγγας. ...

                                               

SETI

Η Αναζήτηση για Εξωγήινη Νοημοσύνη είναι συλλογικός όρος που περιλαμβάνει επιστημονικά προγράμματα αναζήτησης εξωγήινης νοημοσύνης, όπως με παρακολούθηση της ηλεκτρομαγνητικής ακτινοβολίας για ίχνη αναμεταδόσεων από πολιτισμούς άλλων πλανητών. Οι ...

                                               

Εξίσωση του Ντρέηκ

Η εξίσωση του Ντρέηκ είναι φυσική εξίσωση που χρησιμοποιείται ως μέσο εκτίμησης για τον αριθμό των πιθανών εξωγήινων πολιτισμών στον Γαλαξία. Δημιουργήθηκε το 1961 από τον Αμερικανό αστρονόμο Φρανκ Ντρέηκ με τον σκοπό της προώθησης του διαλόγου γ ...

                                               

Εξωγήινη ζωή

Ως εξωγήινη ονομάζεται η ζωή η οποία δεν προέρχεται από τη Γη. Αυτή η -προς το παρόν- υποθετική μορφή ζωής μπορεί να ποικίλει από απλές μορφές που μοιάζουν με τα βακτήρια έως όντα με πολιτισμούς πολύ πιο εξελιγμένους από τον ανθρώπινο. Αν και πολ ...

                                               

Ζωή στην Αφροδίτη

Οι εικασίες για ύπαρξη ζωής στην Αφροδίτη έχουν περιοριστεί από το 1960, όταν τα διαστημικά οχήματα έδειξαν ότι οι συνθήκες στην Αφροδίτη είναι ακραίες συγκριτικά με αυτές της Γης. Η Αφροδίτη βρίσκεται πλησιέστερα προς τον Ήλιο από ότι Γη και λόγ ...

                                               

Ζωή στον Άρη

Η πιθανότητα ύπαρξης ζωής στον Άρη είναι θέμα σημαντικού ενδιαφέροντος στην αστροβιολογία λόγω της εγγύτητας και ομοιότητας του πλανήτη με τη Γη. Επί του παρόντος δεν υπάρχουν αποδείξεις για ζωή στον Άρη. Αθροιστικά στοιχεία δείχνουν ότι κατά την ...

                                               

Ζωή στον Τιτάνα

Η ύπαρξη ζωής στον Τιτάνα, το μεγαλύτερο φεγγάρι του Κρόνου, επί του παρόντος είναι ένα ανοιχτό ερώτημα και θέμα επιστημονικής αξιολόγησης και έρευνας. Ο Τιτάνας είναι πολύ πιο κρύος από τη Γη, και στην επιφάνειά του δεν υπάρχει σταθερά νερό σε υ ...

                                               

Αξιώματα Πεάνο

Στη μαθηματική λογική τα Αξιώματα Πεάνο, γνωστά και ως Αξιώματα Ντέντεκιντ-Πεάνο, είναι ένα σύνολο μαθηματικών προτάσεων που αφορούν στους φυσικούς αριθμούς και πρώτη φορά παρουσιάστηκαν τον 19ο αιώνα από τον Ιταλό μαθηματικό Τζουζέπε Πεάνο. Τα α ...

                                               

Αναδρομικό σύνολο

Στη θεωρία υπολογισιμότητας, ένα σύνολο από φυσικούς αριθμούς λέγεται αναδρομικό, υπολογίσιμο, ή αποφασίσιμο/αποκρίσιμο, αν υπάρχει αλγόριθμος που τερματίζει σε πεπερασμένο χρόνο και απαντάει σωστά στο αν ένας δεδομένος αριθμός ανήκει στο σύνολο ...

                                               

Αρίθμηση Γκέντελ

Ο μαθηματικός Κουρτ Γκέντελ έμεινε στην ιστορία για τα δύο θεωρήματά του της μη πληρότητας. Αυτά σε γενικές γραμμές λένε: Ότι ένα συνεπές εσωτερικά σύστημα, δεν μπορεί να είναι πλήρες και συνεπές την ίδια στιγμή. Ότι σε κάθε συνεπές εσωτερικά σύσ ...

                                               

Εις άτοπον απαγωγή

Η ε παγωγή σε άτοπο ή εις άτοπον επαγωγή είναι μία από τις σημαντικότερες μεθόδους μαθηματικής απόδειξης. Ωστόσο, η απαγωγή σε άτοπο δεν εφαρμόζεται αποκλειστικά στα μαθηματικά και στην τυπική λογική, αλλά συνιστά ευρύτερα τη συλλογιστική μέθοδο ...

                                               

Ημι-υπολογίσιμη συνάρτηση

Στη θεωρία υπολογισιμότητας, μία ημι-υπολογίσιμη συνάρτηση είναι μια μερική συνάρτηση f: Q → R {\displaystyle f:\mathbb {Q} \rightarrow \mathbb {R} } που μπορεί να προσεγγιστεί είτε από πάνω είτε από κάτω από μια υπολογίσιμη συνάρτηση. Πιο συγκεκ ...

                                               

Θεωρήματα μη πληρότητας του Γκέντελ

Στη μαθηματική λογική, τα θεωρήματα μη πληρότητας του Γκέντελ, τα οποία αποδείχτηκαν από τον Κουρτ Γκέντελ το 1931, είναι δύο θεωρήματα που υποδεικνύουν έμφυτους περιορισμούς σε όλα τα τυπικά συστήματα των μαθηματικών. Τα θεωρήματα είναι πολύ σημ ...

                                               

Θεωρία (μαθηματική λογική)

Στη μαθηματική λογική, μια θεωρία είναι σύνολο από προτάσεις σε μια τυπική γλώσσα. Για παράδειγμα, μια θεωρία πρώτης τάξης είναι σύνολο από προτάσεις πρώτης τάξης. Πολλοί συγγραφείς απαιτούν η θεωρία να είναι κλειστή ως προς τη λογική συνέπεια.

                                               

Θεωρία συνόλων

Στα μαθηματικά, Θεωρία Συνόλων ή Συνολοθεωρία είναι η θεωρία που μελετάει τα σύνολα και είναι κλάδος της Μαθηματικής Λογικής. Σε αντίθεση με τις υπόλοιπες μαθηματικές θεωρίες που εξετάζουν δομές, δηλαδή σύνολα εφοδιασμένα με συναρτήσεις και σχέσε ...

                                               

Ισότητα (μαθηματικά)

Ισότητα ονομάζεται ένα οποιοδήποτε ζεύγος μαθηματικών παραστάσεων που συνδέονται με τον τελεστή =, δηλαδή αν Α είναι η μία παράσταση και Β η άλλη τότε η έκφραση Α=Β είναι μια ισότητα. Το νόημα της ισότητας είναι ότι αν υπολογιστεί η τιμή της μιας ...

                                               

Λήμμα του Τσορν

Το λήμμα του Τσορν, από τους μαθηματικούς Μαξ Άουγκουστ Τσορν και Καζίμιεζ Κουρατόφκι, είναι ενα αποδεικτικό εργαλείο που εξυπηρετεί παρόμοιες ανάγκες όπως η Μαθηματική επαγωγή. Το λήμμα διατυπώνει ότι ένας μερικώς διατεταγμένος χώρος, με κάθε αλ ...

                                               

Λογικές πράξεις

Λογικές πράξεις ονομάζονται οι μαθηματικές πράξεις που μπορούν να εφαρμοστούν σε αληθοτιμές, δηλαδή είναι οι πράξεις της άλγεβρας Μπουλ. Με άλλα λόγια λογικές είναι οι πράξεις που αφορούν μεταβλητές που μπορούν να πάρουν μόνο δύο τιμές. Αυτές οι ...

                                               

Λογικές συναρτήσεις

Λογικές συναρτήσεις ονομάζουμε εκείνες για τις οποίες μπορούμε να αποφασίσουμε αν είναι αληθείς ή όχι. Χειριζόμαστε τις λογικές προτάσεις στην συγγραφή λογισμικού και στην προτασιακή λογική. Οι μεταβλητές που εκπροσωπούν λογικές προτάσεις ονομάζο ...

                                               

Λογική ανώτερου βαθμού

Στα μαθηματικά και τη λογική, μία λογική ανώτερου βαθμού ή λογική ανώτερης τάξης διακρίνεται από μία λογική πρώτου βαθμού με βάση αρκετά χαρακτηριστικά. Ένα από αυτά είναι ο τύπος των μεταβλητών που εμφανίζονται στους ποσοδείκτες: γενικά, στην πρ ...

                                               

Λογική δευτέρου βαθμού

Στη λογική και τα μαθηματικά η λογική δεύτερου βαθμού είναι μια επέκταση της λογικής πρώτου βαθμού, η οποία με την σειρά της είναι επέκταση της προτασιακής λογικής. Η λογική δεύτερης τάξης επεκτείνεται με την σειρά της από τη λογική ανώτερου βαθμ ...

                                               

Λογική διάζευξη

Στη μαθηματική λογική, διάζευξη είναι ο λογικός τελεστής που δίνει αποτέλεσμα αληθές όταν ένας ή περισσότεροι από τους όρους στους οποίους ενεργεί είναι αληθής. Στη γλώσσα αντιστοιχεί στη φράση "ή", αν και συχνά η φράση "ή" έχει την έννοια της απ ...

                                               

Λογική με πολλούς τύπους

Η λογική με πολλούς τύπους μπορεί να αναπαριστά τυπικά την πρόθεση να μη χειριζόμαστε το σύμπαν σαν μια ομογενή συλλογή από αντικείμενα, αλλά να χωρίζεται αυτό με τρόπο παρόμοιο με αυτόν των τύπων του προγραμματισμού με τύπους. Τα συναρτησιακά κα ...

                                               

Μέθοδος διάψευσης

O Grosseteste σημειώνει, ότι εάν μια πρόταση σχετικά με ένα αποτέλεσμα μπορεί να παραχθεί από περισσότερα από ένα σύνολα προκείμενων, τότε η καλύτερη προσέγγιση είναι να απαλείψουμε όλες τις ερμηνείες εκτός από μια. Ο Grosseteste υποστήριξε ότι ο ...

                                               

Μαθηματική επαγωγή

Η μαθηματική επαγωγή, ή διαφορετικά τέλεια επαγωγή, είναι μια μέθοδος μαθηματικής απόδειξης που συνήθως χρησιμοποιείται για να αποδειχτεί ότι μια πρόταση ισχύει για όλους τους φυσικούς αριθμούς. Η μαθηματική επαγωγή είναι λογικά ισοδύναμη με την ...

                                               

Πράξη (μαθηματικά)

Στην πιο απλή της ερμηνεία στα μαθηματικά και τη λογική, μια πράξη είναι μια διαδικασία που παράγει μια νέα τιμή από μία ή περισσότερες τιμές εισόδου. Υπάρχουν δύο κοινοί τύποι πράξεων, οι μοναδιαίες και οι δυαδικές. Οι μοναδιαίες πράξεις λειτουρ ...

                                               

Συμβολική λογική

Συμβολική λογική είναι ο τομέας των μαθηματικών που μελετά τις αμιγώς τυπικές ιδιότητες που έχουν οι συμβολοσειρές. Το ενδιαφέρον στον τομέα αυτό ξεκινά από δύο πηγές. Πρώτον, τα σύμβολα που χρησιμοποιούνται για την κατασκευή αυτών των συμβολοσει ...

                                               

Συμπερασματικός κανόνας

Στην μαθηματική λογική, συμπερασματικός κανόνας ή επαγωγικός κανόνας είναι μια συνάρτηση από σύνολα προτάσεων σε προτάσεις. Το όρισμα της συνάρτησης λέγεται σύνολο προϋποθέσεων ή απλούστερα προϋποθέσεις ή υποθέσεις, και η τιμή της συνάρτησης λέγε ...

                                               

Ταύτιση

Ταύτιση στα μαθηματικά είναι μια έννοια σχετική με την ισότητα και συμβολίζεται με ≡. Η ταύτιση δεν δηλώνει ότι τα δύο μέλη είναι ίσα, όπως και στην ισότητα. Δηλώνει ότι τα δύο μέλη είναι ίδια, δηλαδή αναπαριστούν το ίδιο πράγμα. Μια ταύτιση: 8 × ...

                                               

Τυπικό σύστημα

Στην λογική, ένα τυπικό σύστημα, ή λογικό σύστημα, ή απλά λογική αποτελείται από μια τυπική γλώσσα σε συδυασμό με ένα συμπερασματικό σύστημα, που αποτελείται από ένα σύνολο από συμπερασματικούς κανόνες και/ή αξιώματα. Ένα τυπικό σύστημα χρησιμοπο ...

                                               

Υπολογισμός

Ο γενικός όρος υπολογισμός μπορεί να χρησιμοποιηθεί για να αναφερθεί σε οποιοδήποτε είδος επεξεργασίας πληροφοριών. Αυτό περιλαμβάνει φαινόμενα που ποικίλουν, από την ανθρώπινη σκέψη, μέχρι αριθμητικούς υπολογισμούς με στενότερη έννοια. Υπολογισμ ...

                                               

Αποτελεσματική μέθοδος

Στη λογική, τα μαθηματικά και την επιστήμη των υπολογιστών, ειδικά περαιτέρω θεωρία της λογικής και θεωρία υπολογισιμότητας, μια αποτελεσματική μέθοδος ή αποτελεσματική διαδικασία είναι μια διαδικασία για την επίλυση ενός προβλήματος από μια συγκ ...

                                               

Θεωρία μοντέλων

Στα μαθηματικά, η θεωρία μοντέλων μελετά μαθηματικές δομές όπως οι ομάδες, τα πεδία, οι γράφοι, ακόμα και τα universes της θεωρίας συνόλων, χρησιμοποιώντας εργαλεία της μαθηματικής λογικής. Μια δομή που αποδίδει σημασία στις προτάσεις μιας τυπική ...

                                               

Εφαρμοσμένα μαθηματικά

Εφαρμοσμένα μαθηματικά είναι κλάδος των μαθηματικών που ασχολείται με τις μαθηματικές μεθόδους που χρησιμοποιούνται συνήθως στους τομείς των άλλων θετικών επιστημών, των επιστημών μηχανικών, των επιχειρήσεων, της βιομηχανίας και, ευρύτερα, της τε ...

                                               

Υπολογιστικά μαθηματικά

Τα υπολογιστικά μαθηματικά περιλαμβάνουν τη μαθηματική έρευνα στους τομείς της επιστήμης υπολογιστών όπου διαδραματίζουν κεντρικό και ουσιαστικό ρόλο με έμφαση στους αλγόριθμους, τις αριθμητικές μεθόδους καθώς και τις συμβολικές μεθόδους. Ο υπολο ...

                                               

1 (αριθμός)

Το 1 είναι ο φυσικός αριθμός που βρίσκεται μετά από το 0 και πριν από το 2. Αντιπροσωπεύει μια απλή οντότητα, μια μονάδα μέτρησης ποσότητας ή κάποιου φυσικού μεγέθους.

                                               

101 (αριθμός)

Το 101 είναι ο φυσικός αριθμός που βρίσκεται μετά από το 100 και πριν από το 102. Είναι ένας περιττός αριθμός, αφού δεν διαιρείται με το 2 στο σύνολο των φυσικών αριθμών. Ο αριθμός 101 συμβολίζεται ως CI στο ρωμαϊκό σύστημα αρίθμησης και ως ΡA΄ ή ...

                                               

103 (αριθμός)

Το 103 είναι ο φυσικός αριθμός που βρίσκεται μετά από το 102 και πριν από το 104. Είναι ένας περιττός αριθμός, αφού δεν διαιρείται με το 2 στο σύνολο των φυσικών αριθμών. Ο αριθμός 103 συμβολίζεται ως CIII στο ρωμαϊκό σύστημα αρίθμησης και ως ΡΓ΄ ...

                                               

107 (αριθμός)

Το 107 είναι ο φυσικός αριθμός που βρίσκεται μετά από το 106 και πριν από το 108. Είναι ένας περιττός αριθμός, αφού δεν διαιρείται με το 2 στο σύνολο των φυσικών αριθμών. Ο αριθμός 107 συμβολίζεται ως CVII στο ρωμαϊκό σύστημα αρίθμησης και ως ΡΖ΄ ...