5 Απριλίου 2019

Στιγμές από το έργο του Roland Fraïssé

Γράφει ο Νίκος Λυγερός 

Είχε δημιουργήσει με τις πολλαπλές εργασίες του τη Θεωρία Σχέσεων και ήδη ήταν γνωστός ως ένα από τα μεγάλα ονόματα της Λογικής στη Γαλλία. Όμως δεν σταμάτησε εκεί την έρευνά του και άρχισε σχεδόν από το μηδέν να μελετά τη θεωρία των πολλαπλών κόσμων του Everett III για να εξετάσει πρώτα τη δομή της και να αποδείξει ότι ήταν ισόμορφη με την κλασσική Κβαντομηχανική. Την ώρα που ερευνούσε τα αιτιοκρατικά της στοιχεία, μέσω του σύμπαντος του Gödel, ήρθαμε για πρώτη φορά σ’ επαφή το 1990. Όταν αυτή η ερευνητική επαφή μεταμορφώθηκε σε μαθηματική σχέση αρχίσαμε να ανιχνεύουμε συστηματικά όλες τις δομές των συνόλων με μερική διάταξη, τα λεγόμενα Posets (Partially ordered sets). Εκείνη την εποχή είχαμε υπόψη μας μόνο την αλληλογραφία μας και δεν γνωρίζαμε τις απαριθμήσεις των Wright 1972, Das 1978, Mohring 1984 και Culberson και Rawlins 1990 διότι πολύ απλά δεν είχαμε πρόσβαση στο αλγοριθμικό κομμάτι κι αναζητούσαμε επί της ουσίας μόνο την κυκλική τους αναπαράσταση για να την ενσωματώσουμε στη θεωρία πολλαπλών κόσμων. 

Έτσι η αλλαγή φάσης για μας ήταν η ανακάλυψη του αποτελέσματος των Sidney, Sidney, Urrutia του 1989 αφού είχαν αποδείξει ότι υπήρχε ένα σύνολο με μερική διάταξη με 14 στοιχεία που δεν είχε κυκλική αναπαράσταση. Μάλιστα ήταν και το βασικό στοιχείο της εικασίας SSU που θεωρούσε από τότε ότι ήταν το μικρότερο με αυτήν την ιδιότητα. Στη συνέχεια όταν παρουσιάσαμε τα πρώτα μας αποτελέσματα στο Σεμινάριο του Corominas, ήρθαμε σε επαφή με τον Pouzet, έναν παλαιότερο μαθητή του Fraïssé, και μάθαμε ότι τα πρώτα μας αλγοριθμικά αποτελέσματα ήταν γνωστά. Όμως όταν ανακοινώσαμε τους χρόνους έρευνας των συνόλων με μερική διάταξη με 10 και 11 στοιχεία, έγινε κατανοητό από όλους ότι θα μπορούσαμε να ανακαλύψουμε και τον αριθμό P12. 

Γι’ αυτόν τον λόγο ο Pοuzet μας έδωσε υπολογιστική ισχύ για να συνεχίσουμε την έρευνα μας σε αυτόν τον ειδικό τομέα. Για μας ήταν βέβαια μόνο μια παρένθεση για την έρευνα μας, αλλά στη συνέχεια βρήκαμε ότι ήταν κι ένας τρόπος να αποδείξουμε τουλάχιστον μερικώς την εικασία SSU. Ο Roland Fraïssé που είχε γεννηθεί το 1920 αναρωτιόταν αν αυτό θα ήταν εφικτό μέσω υπολογιστών, αλλά η ιστορία της έρευνας μας του έδωσε μια θετική απάντηση. Χάρη στην εισαγωγή στο έργο του ανακαλύψαμε όχι μόνο τους αριθμούς P12, P13 και P14 αλλά αποδείξαμε ότι η εικασία SSU είναι σωστή για τα σύνολα με μερική διάταξη έως 10 στοιχεία, δύο χρόνια μετά τον θάνατο του Roland Fraïssé το 2008.

πηγή


Ο Νίκος Λυγερός είναι καθηγητής Γεωστρατηγικής



Share

Δεν υπάρχουν σχόλια:

Λίγες οδηγίες πριν επισκεφθείτε το ιστολόγιό μας (Για νέους επισκέπτες)

1. Στην στήλη αριστερά βλέπετε τις αναρτήσεις του ιστολογίου μας τις οποίες μπορείτε ελεύθερα να σχολιάσετε επωνύμως, ανωνύμως ή με ψευδώνυμο, πατώντας απλά την λέξη κάτω από την ανάρτηση που γραφει "σχόλια" ή "δημοσίευση σχολίου" (σας προτείνω να διαβάσετε με προσοχή τις οδηγίες που θα βρείτε πάνω από την φόρμα που θα ανοίξει ώστε να γραψετε το σχόλιό σας). Επίσης μπορείτε να στείλετε σε φίλους σας την συγκεκριμένη ανάρτηση που θέλετε απλά πατώντας τον φάκελλο που βλέπετε στο κάτω μέρος της ανάρτησης. Θα ανοίξει μια φόρμα στην οποία μπορείτε να γράψετε το email του φίλου σας, ενώ αν έχετε προφίλ στο Facebook ή στο Twitter μπορείτε με τα εικονίδια που θα βρείτε στο τέλος της ανάρτησης να την μοιραστείτε με τους φίλους σας.

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

3. Αν έχετε λογαριασμό στο Twitter σας δινεται η δυνατότητα να μας κάνετε follow και να παρακολουθείτε το ιστολόγιό μας από εκεί. Θα βρείτε το σχετικό εικονίδιο του Twitter κάτω από τα πλαίσια του Google Friend Connect, στην δεξιά στήλη του ιστολογίου μας.

4. Μπορείτε να ενημερωθείτε από την δεξιά στήλη του ιστολογίου μας με τα διάφορα gadgets για τον καιρό, να δείτε ανακοινώσεις, στατιστικά, ειδήσεις και λόγια ή κείμενα που δείχνουν τις αρχές και τα πιστεύω του ιστολογίου μας. Επίσης μπορείτε να κάνετε αναζήτηση βάζοντας μια λέξη στο πλαίσιο της Αναζήτησης (κάτω από τους αναγνώστες μας). Πατώντας την λέξη Αναζήτηση θα εμφανιστούν σχετικές αναρτήσεις μας πάνω από τον χώρο των αναρτήσεων. Παράλληλα μπορείτε να δείτε τις αναρτήσεις του τρέχοντος μήνα αλλά και να επιλέξετε κάποια συγκεκριμένη κατηγορία αναρτήσεων από την σχετική στήλη δεξιά.

5. Μπορείτε ακόμα να αφήσετε το μήνυμά σας στο μικρό τσατάκι του blog μας στην δεξιά στήλη γράφοντας απλά το όνομά σας ή κάποιο ψευδώνυμο στην θέση "όνομα" (name) και το μήνυμά σας στην θέση "Μήνυμα" (Message).

6. Επίσης μπορείτε να μας στείλετε ηλεκτρονικό μήνυμα στην διεύθυνσή μας koukthanos@gmail.com με όποιο περιεχόμενο επιθυμείτε. Αν είναι σε προσωπικό επίπεδο θα λάβετε πολύ σύντομα απάντησή μας.

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

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

ΣΑΣ ΕΥΧΟΜΑΣΤΕ ΚΑΛΗ ΠΕΡΙΗΓΗΣΗ

Χρήσιμες οδηγίες για τις αναρτήσεις μας.

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

2. Για όλες τις υπόλοιπες αναρτήσεις που δεν έχουν υπογραφή ΙΣΧΥΕΙ η αυτόματη υπογραφή της ανάρτησης. Ετσι όταν δεν βλέπετε καμιά πηγή ή αναφορά σε ανωνυμο ή επώνυμο συντάκτη να θεωρείτε ΩΣ ΑΥΣΤΗΡΟ ΚΑΝΟΝΑ ότι ισχύει η αυτόματη υπογραφή του αναρτήσαντα.

3. Οταν βλέπετε ανάρτηση με πηγή ή και επώνυμο ή ανώνυμο συντάκτη αλλά στη συνέχεια υπάρχει και ΣΧΟΛΙΟ, τότε αυτό είναι ΚΑΙ ΠΑΛΙ του αναρτήσαντα δηλαδή είναι σχόλιο που προέρχεται από το ιστολόγιό μας.

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