23178 - From second incompleteness to consistent theories
If we consider Gödel's second incompleteness Theorem i.e. For any formal effectively generated theory T including basic arithmetical truths and also certain ...
N. LYGEROS PhD
Opus
23177 - About automatic proof verification
From Hilbert's problem about the possibility to have an algorithm which produces a proof via the theorem of completeness of Gödel, we have an approach ...
23176 - Πέρα από τις εμμονές
Πέρα από τις εμμονές των κομμάτων βρίσκεται το μέλλον της πατρίδας μας και πουθενά αλλού. Ό,τι και ν’ ακούμε, δεν πιστεύουμε σε κανέναν όταν μας εξηγεί ...
23175 - Με τη σπάτουλα
Με τη σπάτουλα στο χέρι κοίταζες το γλυκό της μάνας κι ήθελες μετά το ψάρι να δοκιμάσεις τη γλύκα της ανθρωπιάς που έκανε τα πάντα για σένα ...
23174 - Τα ψάρια της Μαγδαληνής
Τα ψάρια της Μαγδαληνής γέμισαν τις Κυκλάδες κι έφεραν πιο κοντά μας το Άγιο Όρος με την παράδοση την πίστη μας λόγω της αγάπης του χωριού αλλά ...
23173 - Αν σταματάς
Αν σταματάς σε κάθε εμπόδιο ακόμα κι ένα τζάκι μπορεί να γίνει ενοχλητικό όταν το ανάψεις όμως θα δεις διαφορετικά τους πίνακες τα πράγματα ...
23172 - Αν δεν μπορείς
Αν δεν μπορείς να αποβάλλεις τα ρατσιστικά σου στοιχεία δεν έχεις κανένα ρόλο να παίξεις στον αγώνα μας γι’ αυτό το λόγο σπάσε κι άσε μας ήσυχους ...
23171 - Андрей Рублёв. (Dessin sur Cahier).
Андрей Рублёв. (Dessin sur Cahier).
23170 - Очи чёрные. (Monolithe sur Cahier).
Очи чёрные. (Monolithe sur Cahier).
23169 - Jivago. (Monolithe sur Cahier).
Jivago. (Monolithe sur Cahier).
23168 - ГУЛАГ Александр Солженицын. (Monolithe sur Cahier).
ГУЛАГ Александр Солженицын. (Monolithe sur Cahier).
23167 - Victime du Communisme. (Monolithe sur Cahier).
Victime du Communisme. (Monolithe sur Cahier).
23166 - Борис Пастернак (Monolithe sur Cahier)
Борис Пастернак (Monolithe sur Cahier)
23165 - Etude pour l’Ombre. (Monolithe sur Cahier)
Etude pour l'Ombre. (Monolithe sur Cahier)
23164 - Paris, Les Années Folles. (Monolithe sur Cahier).
Paris, Les Années Folles. (Monolithe sur Cahier).
23163 - Costume pour le Joueur de Dostoïevski. (Monolithe sur Cahier).
Costume pour le Joueur de Dostoïevski. (Monolithe sur Cahier).
23162 - Costume pour Flora. (Monolithe sur Cahier).
Costume pour Flora. (Monolithe sur Cahier).
23161 - Costume pour Anastassia. (Monolithe sur Cahier).
Costume pour Anastassia. (Monolithe sur Cahier).
23160 - Шахматы против варварства
Всем, кто играет в шахматы, известны возможности, в силу которых эта игра учит людей создавать стратегические умственные схемы. Следовательно ,запрет на ...
23160 - Σκάκι ενάντια στη βαρβαρότητα
Όσοι ξέρουν σκάκι γνωρίζουν τις δυνατότητες που έχει για να προετοιμάσει τους ανθρώπους σε στρατηγικά νοητικά σχήματα. Έτσι η απαγόρευσή του στη Σαουδική-Αραβία ...
23159 - L-R Conjecture. (with O. Rozier)
As we can ask if the set of Mersenne primes is infinite we can ask also if the set of Lehmer-Ramanujan primes is infinite. Of course in both cases, we ...
23158 - Neural path
Let's start with Hofstadter to find Gödel Escher and Bach to discover Hardy and his apology Ramanujan and his formulas to access to Euler and Jacobi ...
23157 - Self similarity and Primality
Self similarity and Primality two notions for one official objective the creation of large prime numbers in two steps with a base and a generator ...
23155 - Αναζητήσεις πρώτων αριθμών
Μέσω της Θεωρίας Αριθμών γρήγορα γίνεται κατανοητή η αξία των πρώτων αριθμών ακόμα και στο πιο θεμελιακό επίπεδο με την έννοια ότι η εμφάνιση τους δημιουργεί ...
23154 - Ο Ελληνισμός δεν περιορίζεται
Ο Ελληνισμός δεν περιορίζεται στην Ελλάδα με την έννοια τη χωρική. Ο Ελληνισμός παράγει έργο και σε άλλες χώρες. Στην Αλβανία, στην Αμερική, στην Αυστραλία, ...
23154 - Hellenism can’t be confined
Hellenism can't be confined to Greece in the spatial sense. Hellenism produces works in other countries as well. In Albania, in America, in Australia, ...
23153 - Μετά την σπατάλη χρόνου
Μετά την σπατάλη χρόνου σε τοπικό επίπεδο, δεν υπάρχει λόγος να ψεύδεσαι με τον εαυτό σου. Ήξερες ότι το κράτος και η βία ήταν ενάντια στον Προμηθέα, αλλά ...
23152 - Η Ελλάδα θα τα καταφέρει
Η Ελλάδα θα τα καταφέρει και η καλύτερη απόδειξη είναι ότι δεν πέθανε μετά από ένα κενό χρόνο, όπου όλες οι καταστροφές που έγιναν δεν κατάφεραν να μας ...
23152 - Greece will overcome the obstacles
Greece will overcome the obstacles, and the best proof is that it didn't die after a void year, where all the disasters which occurred, were unable to ...
23151 - Strategic actions re: the Cypriot issue
Unless the diplomatic moves obtain strategic foundations, they can't be effective at a national level. The 541 and 550 UN resolutions, should function ...
23151 - Στρατηγικές πράξεις στο Κυπριακό
Οι διπλωματικές κινήσεις αν δεν έχουν στρατηγικό υπόβαθρο, δεν μπορούν να έχουν αποτελέσματα σε εθνικό επίπεδο. Πρέπει τα ψηφίσματα του ΟΗΕ το 541 και ...
23150 - Το λιοντάρι. (Dessin au feutre).
Το λιοντάρι. (Dessin au feutre).
23149 - New approach in quantum number theory
With his article Algorithms for Quantum Computation: Discrete Logarithms and factoring, Shor creates a new path in the research of the factorization of ...
23148 - Κυπριακό και τουρκική προπαγάνδα
Εδώ και καιρό, η ηγεσία των Κατεχομένων προσπαθεί να παρουσιασθεί ως ανεξάρτητη από την τουρκική βούληση. Αυτό το σχήμα έχει περάσει σε αυτούς που δεν ...
23148 - Τhe Cypriot issue and the Turkish propaganda
For some time, the leadership of the Occupied territories is trying to come across as independent from the Turkish will. This scheme has passed through ...
23147 - Μόνο οι εθνικές συνομιλίες έχουν νόημα
Μόνο οι εθνικές συνομιλίες έχουν νόημα για την επίλυση του Κυπριακού. Διότι οι κοινοτικές διαπραγματεύσεις δεν μπορούν να έχουν παρά μόνο ένα κοινοτικό ...
23147 - Only national talks are substantial
Only national talks are substantial towards the solving of the Cypriot issue. Because community based negotiations can only produce a community effective ...
23146 - Πόση ώρα αναμονής
Πόση ώρα αναμονής βάζεις ανάμεσα σε δύο γεγονότα που αποτελούν ιστορία για σένα και τη ζωή σου αφού μόνο αυτά λειτουργούν πραγματικά ως προώθηση ...
23146 - Combien d’heure d’attente
Combien d’heures d’attente mets-tu entre deux faits qui constituent l’histoire pour toi et ta vie puisque seulement ceux-ci fonctionnent réellement ...
23145 - Πάντα ν’ αναρωτιέσαι
Πάντα ν’αναρωτιέσαι όταν είσαι στη διδασκαλία πόσα παιδιά κατάφερες να βάλεις μέσα στην Ανθρωπότητα και βέβαια πόσα άφησες μέσα στην κοινωνία ...
23144 - Ο στρατηγικός Δάσκαλος
Ο στρατηγικός Δάσκαλος κάνει εργοώρες για την Ανθρωπότητα ενώ οι καθηγητές δουλεύουν μόνο για την κοινωνία έτσι ακόμα κι αν η κοινωνία δεν αποδέχτηκε ...
23143 - Εάν κάνεις
Εάν κάνεις μια στρατηγική κίνηση μπορεί να χάσεις αλλά αν έχεις επενδύσει σε κάτι το θεμελιακό έτσι κάποτε πρέπει να θυσιάσουμε μερικές τάξεις ...
23143 - Si tu fais
Si tu fais un mouvement stratégique tu peux perdre mais si tu as investi dans quelque chose de fondamental comme ça une fois nous devons sacrifier ...
23142 - Αν δεν ξαφνιάσεις τον μαθητή
Αν δεν ξαφνιάσεις τον μαθητή δεν κάνεις κανένα μάθημα γιατί απλώς περνάς πάνω στον Χρόνο δίχως ν’ αφήσεις ίχνος ενώ πρέπει κάθε φορά να δημιουργείς ...
23141 - Όταν έχεις
Όταν έχεις μόνο και μόνο πολιτική και οικονομία συνεχώς αναζητάς μια λύση όταν θέλεις να βοηθήσεις τον τόπο σου αλλά μόνο όταν έχεις στρατηγική ...
23141 - Lorsque tu as
Lorsque tu as uniquement la politique et l'économie tu cherches continuellement une solution quand tu veux aider ton pays mais seulement lorsque ...
23140 - Είχαμε παλιά
Είχαμε παλιά ψυχρό πόλεμο με θερμά επεισόδια ενώ τώρα βλέπουμε θερμό πόλεμο με ψυχρά επεισόδια και κανείς δεν βλέπει τις καταστροφές που δημιουργεί ...
23139 - Οι έποικοι
Οι έποικοι είναι μόνο εργαλείο χειραγώγησης της Τουρκίας για ν’ αλλάξει ο πληθυσμός αλλά οι ίδιοι δεν είναι χαρούμενοι να πεθάνουν στην Κύπρο ...
23138 - Οι κοινοτικές διαπραγματεύσεις
Οι κοινοτικές διαπραγματεύσεις δεν οδηγούν παρά μόνο σε κοινοτικά αποτελέσματα κι ακολουθούν μόνο στρατηγική παιδικής χαράς γιατί νομίζουν ότι παίζουν ...
