Μεσοχωριό .Ο ψαράς!!!!
Posted by g parisakis.
Gikas group of companies!!!
Knossos palace
Ηράκλειο
Knossos palace
Knossos palace, νεαροί τραγουδούν κρητικά με συνοδεία λαούτου και ασκομαντούρας.
Στα βουνά της Κρήτης οι βοσκοί εμπνέονται από τον άγριο, όμορφο τόπο και μετατρέπονται σε καλλιτέχνες. Ενα καλάμι, μια πέτρα, μια προβιά, ένα ξύλο, όλα μεταποιούνται στις σκληροτράχηλες χέρες του βοσκού. Μεταμορφώνονται σε χειροτεχνήματα και μουσικά όργανα «Ενας από τους τελευταίους κατασκευαστές ασκομαντούρας μας ξεναγεί στα μυστικά της τέχνης του Κείμενο : Βασίλης Μαθιουδάκης Στα χωριά της πάνω Ρίζας του Ψηλορείτη, οι βοσκοί, αφού κολατσίσουν, βγάζουν από τη βούργια (ταγάρι) την ασκομαντούρα, ένα πνευστό φτιαγμένο από το δέρμα της αίγας (κατσίκα) και την ανάσα του Διονύσου, που με τον αρχέγονο ήχο του γητεύει τα κοπάδια αλλά και τ’ αγρίμια. Η ασκομαντούρα ή φλασκομαντούρα θεωρείται ένα από τα αρχαιότερα παραδοσιακά μουσικά όργανα της Κρήτης. Δεν υπάρχουν πολλές πληροφορίες γι’ αυτήν. Είναι ένα όργανο προς εξαφάνιση και κατάγεται πιθανότατα από τον άσκαυλο, ένα πνευστό όργανο-σύμβολο μέθεξης που το αναφέρει στη «Λυσιστράτη» ο Αριστοφάνης. Η κατασκευή της Ο Γιώργης Κουτεντάκης , κάτοικος Γέργερης, 81 χρόνων, θυμάται. «Οταν ήμουν παιδί, έκανα παρέα δύο βοσκούς: τον Νταντουλόκωστα και τον Μπαξέ. Και οι δύο έπαιζαν και έφτιαζαν ασκομαντούρες». Παρατηρώντας και ρωτώντας έφτιαξε την πρώτη του ασκομαντούρα από εθιά (ιτιά). «Δεν ήταν τέλεια, αλλά έπαιζε και παίζει ακόμα». Από παιδί πελεκούσε και δεν δυσκολεύτηκε να φτιάξει τη σκάφη και να την κοσμήσει με ξόμπλια (διακοσμητικά σχέδια). Παρατηρώντας τον Νταντουλόκωστα και με τις ορμηνιές του Μπαξέ σιγά σιγά άρχισε να τελειοποιεί την τέχνη. «Η σκάφη θέλει μεγάλη μαστοριά, γιατί πρέπει να σκαφτεί το ξύλο και μετά να χωνευτούν τα καλάμια». Το πλάτος της σκάφης είναι περίπου 3 πόντους και ανοίγει 5 ζεύγη τρυπών για να παίζει με 5 δάχτυλα, 3 μπρος και 2 πίσω. Τον ήχο τον καθορίζει το μήκος του χωνιού. Οσο πιο κοντό τόσο πιο εύηχο. Στην τρύπα όπου φυσά ο μουσικός τοποθετούνται τα χαμπιόλια, από καλάμι κι αυτά. Ενα για κάθε καλαμένιο μουσικό αγωγό. Η δυσκολία των χαμπιολιών είναι ότι πρέπει και τα δύο να παράγουν τον ίδιο ήχο για να γίνουν ταίρι. Μόλις βρει το ταίρι τα τοποθετεί και τα δοκιμάζει αλλάζοντάς τους θέσεις μέχρι να συγχρονιστούν. Τον ασκό τον έχει ήδη έτοιμο. «Στον έναν πόδα μπαίνει η σκάφη και στον άλλο το φυσητήρι και δένονται μ’ έναν ιδιαίτερο τρόπο γυρίζοντας το δέρμα ώστε να μη φαίνονται οι ραφές. Το ίδιο γίνεται και με τα ραμμένα με δέρμα ανοιχτά μέρη της προβιάς». Το φυσητήρι το φτιάζει από καρυδιά, ενώ την ασκομαντούρα από σφεντάμια, ιτιά και σφάκα (πικροδάφνη). Αφού δεθούν, με το φυσητήρι φουσκώνει τον ασκό. Με μια βαλβίδα δικής του πατέντας ο ασκός κρατά τον αέρα μέσα και η ασκομαντούρα είναι έτοιμη για τα μουσικά δρώμενα. Πριν δεθεί η σκάφη, της έχει φτιάξει το ξόμπλι (ανάγλυφος διάκοσμος της σκάφης) το οποίο είναι περίτεχνο και η θεματολογία του έχει γεωμετρικά μοτίβα αλλά και θέματα εμπνευσμένα από τη φύση και είναι χωρισμένο σε ζώνες. Φτιάνει το σχέδιο με μολύβι και το σκαλίζει μ’ ένα μικρό μαχαίρι, το ξομπλιαστήρι.Η προβιά «Η προβιά γίνεται αποκλειστικά από αίγα, κατά προτίμηση από κατσικάκι 15 κιλών». Η προβιά πρέπει να πλυθεί καλά για να φύγει η μυρωδιά. Στη συνέχεια μπαίνει στην άλμη όπως η φέτα, τουλάχιστον 15 μέρες, για να συντηρηθεί ώστε να μη σαπίσει και να μη μαδά. Παράλληλα ή μετά μπαίνει η στύψη για να την κάνει μαλακιά. Μετά ξαναπλένεται και ξυρίζει τα σημεία που θα δεθούν. Ράβει με δερμάτινα κορδόνια, τα ίδια με τα οποία ράβανε τα στιβάνια. Γυρνά ανάποδα την προβιά και την περνά μέσα από τις μικρές τρύπες των ποδιών ώστε να μη φαίνονται οι ραφές, μια τεχνική δύσκολη γιατί η προβιά είναι σκληρή και δύσκαμπτη αρχικά. Ολα λοιπόν τα δεσίματα είναι από μέσα, εκτός από της ασκομαντούρας που δένεται απ’ έξω. Στο χωριό Βορίζα βρίσκεται η Μονή Βαρσαμόνερου. Στον ναό του Αγίου Φανουρίου σώζεται τοιχογραφία όπου απεικονίζεται βοσκός να παίζει ασκομαντούρα, ενώ στο σύνηθες βουκολικό θέμα οι βοσκοί παίζουν φλογέρα. …………………………………………………………………………………………………………………………………………………………………………. Η νέα γενιά Η περιοχή της πάνω Ρίζας, δηλαδή τα χωριά της νότιας πλευράς του Ψηλορείτη και κυρίως η Γέργερη διέθετε και διαθέτει πλούσια παράδοση στα λαϊκά πνευστά όργανα με πρωταγωνιστή την ασκομαντούρα. Σήμερα υπάρχουν τέσσερις-πέντε κατασκευαστές, αλλά και δάσκαλοι, και πολλά παιδιά του χωριού ήδη από το Δημοτικό μαθαίνουν να παίζουν αλλά και να κατασκευάζουν. Ενα από αυτά είναι ο 10χρονος Διονύσης Καψάλης, ζωηρός και παθιασμένος με την ασκομαντούρα. Ασχολείται μόλις έναν χρόνο και ήδη παίζει αρκετά καλά πολλούς και δύσκολους σκοπούς. Δάσκαλός του ο Κωστής Μουζουράκης ο οποίος διδάσκει τις νότες με αριθμητικό σύστημα. Πρώτα μαθαίνουν να παίζουν με το θαμπιόλι, ένα είδος φλογέρας, και σιγά σιγά μπαίνουν και στον ασκό.
Knossos palace
Πλούσιες σοδειές …
Ο παππούς εξηγεί στις εγγονές τα μυστικά του ψησίματος . Κόκκινο Δωρίδας δεκαετία 80
”Ο ΗΛΙΚΙΩΜΕΝΟΣ ΓΛΕΖΟΣ ΚΑΙ Ο ΑΘΛΗΤΙΚΟΣ ΖΑΓΟΡΑΚΗΣ”…
«Θα έβγαζε μια εντυπωσιακή ομιλία»
Για πρώτη φορά μετά τις Ευρωεκλογές συνεδρίασε το Ευρωπαϊκό Κοινοβούλιο στο Στρασβούργο. Αφορμή για τους σχολιαστές του γερμανικού τύπου να περιγράψουν τα βασικά χαρακτηριστικά των νέων ευρωβουλευτών,…
που σύμφωνα με την εφημερίδα die Welt είναι οι πιο ασυνήθιστοι που έχουν ποτέ καθίσει στα έδρανα της ολομέλειας του σώματος.
«Θα έβγαζε μια εντυπωσιακή ομιλία»
Ανάμεσα σε όσους έχει επιλέξει η εφημερίδα για να τους παρουσιάσει ως κάτι το νέο και αξιοπρόσεκτο βρίσκονται ο Μανώλης Γλέζος, ως ο πιο ηλικιωμένος όλων των ευρωβουλευτών και ο Θεόδωρος Ζαγοράκης, ως ο πιο αθλητικός. «Τι μπορεί να φέρει ακόμη η πολιτική σε έναν που έχει ήδη γράψει ιστορία;», αναρωτιέται ο γερμανός αρθρογράφος για τον Μανώλη Γλέζο, υπενθυμίζοντας ότι ήταν αυτός που το 1941 κατέβασε τη ναζιστική σημαία από την Ακρόπολη. «Ο Γλέζος ήταν πάντα αριστερός. Στις ευρωεκλογές κατέβηκε με τον ριζοσπαστικό ΣΥΡΙΖΑ, ενώ τη δεκαετία του ’80 ανήκε στο ΠΑΣΟΚ». Για τον Ζαγοράκη η εφημερίδα υπενθυμίζει επίσης ότι επελέγη το 2004 ως ο καλύτερος ποδοσφαιριστής του Ευρωπαϊκού Πρωταθλήματος Ποδοσφαίρου το 2004 και ήταν ο αρχηγός της ελληνική ομάδας που νίκησε. «Στις ευρωεκλογές κατέβηκε με τη ΝΔ και εξελέγη», σημειώνει ο γερμανός σχολιαστής. «Ως ευρωβουλευτής θα συνεχίσει να ενδιαφέρεται για τον αθλητισμό, μάλιστα είπε ότι θα πρέπει να καταπολεμηθεί η βία και ο ρατσισμός στο γήπεδα και να γίνουν επενδύσεις σε αθλητικές υποδομές».
Την τιμητική του έχει ο Μανώλης Γλέζος και στην Süddeutsche Zeitung του Μονάχου. «Εάν υπήρχε ακόμη το έθιμο ο πιο ηλικιωμένος ευρωβουλευτής του σώματος να προεδρεύει στην πρώτη συνεδρίαση, είναι σίγουρο ότι ο Μανώλης Γλέζος θα έβγαζε σήμερα μια εντυπωσιακή ομιλία», σημειώνει η γερμανίδα αρθρογράφος. «Αλλά το 2009 άλλαξε ο κανονισμός, για να αποφευχθεί τυχόν σκάνδαλο σε περίπτωση που προήδρευε τότε ο ακροδεξιός Ζαν Μαρί Λεπέν, γεννηθείς το 1928. Έτσι, η τιμωρία ενός ακροδεξιού λαϊκιστή πλήττει έναν αριστερό, που αφιέρωσε όλη του τη ζωή στο να κρατήσει ζωντανή τη μνήμη των νεοναζιστικών εγκλημάτων». Και η εφημερίδα συνεχίζει: «Ο Γλέζος είπε ότι θέλει να χρησιμοποιήσει το Ευρωπαϊκό Κοινοβούλιο ως πλατφόρμα για τις πολεμικές επανορθώσεις και το κατοχικό δάνειο (…) Η κατάσταση της υγείας του δεν του επιτρέπει να πετά με το αεροπλάνο, αλλά το Στρασβούργο είναι προσβάσιμο με το τρένο και το πλοίο, όπως έχει επανειλημμένα πει» καταλήγει το άρθρο.
Πηγή:Deutsche Welle – enikos.gr
Σχετικά Tags
Δύο επιστήμονες απέδειξαν την ορθότητα ενός θεωρήματος του Gödel
Δύο επιστήμονες απέδειξαν με τη βοήθεια ενός υπολογιστή ένα θεώρημα αναφορικά με την ύπαρξη του Θεού, που πίστευε ακράδαντα ο μαθηματικός Kurt Gödel.
Ωστόσο, αυτό που είναι πραγματικά εντυπωσιακό, δεν είναι τόσο η άποψή τους για την ύπαρξη ή όχι του Θεού, αλλά για το πώς οι υπολογιστές κάνουν απλούστερη την επιστημονική πρόοδο, αναφέρει σε άρθρο του στο Spiegel ο David Knight.
«Επιστήμονες αποδεικνύουν την ύπαρξη του Θεού». Ο τίτλος στη γερμανική εφημερίδα «Die Welt» ήταν πολύ πιασάρικος, σχολιάζει ο αρθρογράφος.
Ωστόσο, υπάρχει κάτι άλλο πίσω από αυτόν τον ισχυρισμό, προσθέτει.
Στην πραγματικότητα, αυτό που απέδειξαν οι επιστήμονες ήταν ένα θεώρημα που είχε αναπτύξει ο διάσημος αυστριακός, μαθηματικός Kurt Gödel.
Η πραγματική είδηση δεν αφορά «το υπέρτατο ον», αλλά αυτό που μπορεί να καταφέρει κανείς σε διάφορους τομείς της επιστήμης με τη χρήση της εξελιγμένης τεχνολογίας.
Όταν πέθανε ο Gödel το 1978 άφησε πίσω του μια «σκανδαλιστική» θεωρία, η οποία βασιζόταν στις αρχές της τροπικής λογικής, και η οποία υποστήριζε ότι πρέπει να υπάρχει κάποιο ανώτερο ον.
Οι μαθηματικές πράξεις που χρησιμοποίησε ο Gödel στην οντολογική απόδειξή του για την ύπαρξη του Θεού ήταν περίπλοκες, ωστόσο η ουσία αυτών που υποστήριζε ήταν ότι «ο Θεός υπάρχει».
Δεν ήταν φυσικά ο πρώτος που ισχυρίστηκε και προσπάθησε να αποδείξει κάτι τέτοιο. Επί αιώνες, πολλοί προσπάθησαν να χρησιμοποιήσουν την αφηρημένη σκέψη για να αποδείξουν την πιθανότητα ή αναγκαιότητα ύπαρξης του Θεού.
Όμως το μαθηματικό μοντέλο που ανέπτυξε ο Gödel πρότεινε και μια απόδειξη για την ιδέα αυτή. Τα θεωρήματα και τα αξιώματά του –παραδοχές που δεν μπορούν να αποδειχθούν- εκφράζονται ως μαθηματικές εξισώσεις. Και αυτό σημαίνει ότι μπορούν να αποδειχθούν.
Η απόδειξη της ύπαρξης του Θεού με ένα MacBook
Κι εδώ είναι που υπεισέρχονται οι επιστήμονες Christoph Benzmüller από το Ελεύθερο Πανεπιστήμιο του Βερολίνου και ο Bruno Woltzenlogel Paleo από το Τεχνικό Πανεπιστήμιο της Βιέννης.
Χρησιμοποιώντας ένα συνηθισμένο MacBook απέδειξαν, ότι η… απόδειξη του Gödel ήταν σωστή – τουλάχιστον σε μαθηματικό επίπεδο – μέσω ανώτερης τροπικής λογικής.
Ο τίτλος της έρευνάς τους ήταν ο εξής: «Formalization, Mechanization and Automation of Gödel’s Proof of God’s Existence».
«Το γεγονός ότι η επισημοποίηση τέτοιων σύνθετων θεωρημάτων μπορεί να γίνει με τη χρήση υπολογιστών, ανοίγει ένα ευρύ τομέα δυνατοτήτων» είπε στο Spiegel Online ο Benzmüller.
«Είναι συγκλονιστικό το γεγονός ότι από τον ισχυρισμό του Gödel, όλα αυτά μπορούν να αποδειχθούν αυτόματα, μέσα σε λίγα δευτερόλεπτα με τη βοήθεια ενός απλού notebook» πρόσθεσε.
Κι ενώ το όνομα Gödel μπορεί να μη λέει πολλά στους πολλούς, ο αυστριακός μαθηματικός είναι πολύ «διάσημος» στους κύκλους των επιστημόνων, και απολαμβάνει φήμη ισάξια εκείνης του Albert Einstein, με τον οποίο μάλιστα ήταν στενοί φίλοι.
«Δεν περίμενα να προκαλούσε τόσο πολύ το ενδιαφέρον του κοινού, όμως η οντολογική απόδειξη του Gödel ήταν ένα πολύ καλύτερο παράδειγμα, από κάτι απρόσιτο στα μαθηματικά ή την τεχνητή νοημοσύνη» είπε ακόμη και συνέχισε: «Θα υπάρχουν κι άλλα πράγματ απου χρησιμοποιούν παρόμοια λογική. Μπορούμε άραγε να αναπτύξουμε συστήματα πληροφορικής, που να ελέγχουν κάθε ξεχωριστό βήμα και να είμαστε σίγουροι ότι είναι σωστά;».
«Μια φιλόδοξη εκφραστική λογική»
Οι δύο επιστήμονες πιστεύουν ότι η εργασία τους μπορεί να έχει πολλές πρακτικές εφαρμογές σε τομείς, όπως η τεχνητή νοημοσύνη και η επαλήθευση software και hardware.
Ο Benzmüller τόνισε ακόμη ότι υπάρχουν πολλοί επιστήμονες, οι οποίες μελετούν παρόμοιους τομείς.
Ο ίδιος εμπνεύστηκε και αποφάσισε να ασχοληθεί με το ζήτημα αυτό από ένα βιβλίο του Melvin Fitting με τίτλο «Types, Tableaus and Gödel’s God».
Η χρήση υπολογιστών για τη διευκόλυνση των μαθηματικών δεν είναι καινούρια, παρότι δεν είναι ευπρόσδεκτη από όλους τους τομείς.
Ο αμερικανός μαθηματικός Doron Zeilberger χρησιμοποιεί το όνομα Shalosh B. Ekhad στα επιστημονικά έγγραφά του και τις δημοσιεύσεις του από τη δεκαετία του 1980. Σύμφωνα με το ίδρυμα Simons Foundation, χρησιμοποιεί το ψευδώνυμο αυτό για τους υπολογιστές που χρησιμοποιεί προκειμένου να αποδεικνύει θεωρήματα σε ελάχιστο χρόνο, που διαφορετικά απαιτούσαν πολλούς μαθηματικούς συλλογισμούς από σελίδα σε σελίδα.
Ο Zeilberger είχε πει ότι χρησιμοποιεί ένα «ανθρώπινο όνομα» για τον υπολογιστή, «για να δηλώσει ότι πρέπει να αναγνωρίζεται και η συμβολή των υπολογιστων». «Η ανθρωποκεντρική μισαλλοδοξία στο χώρο των μαθηματικών, δεν έχει βοηθήσει και πολύ στην πρόοδο» είπε ακόμη.
Σε τελική ανάλυση, καταλήγει το δημοσίευμα, η επισημοποίηση της οντολογικής απόδειξης του Gödel είναι απίθανο να αναγνωριστεί από τους άθεους, ούτε θεωρείται πιθανό ότι θα προσφέρει παρηγοριά στους θρησκευόμενους, οι οποίοι άλλωστε υποστηρίζουν ότι η ιδέα μιας ανώτερης δύναμης αψηφά τη λογική εξ ορισμού.
Για τους μαθηματικούς όμως που αναζητούν τρόπους για ανοίξουν «νέους ορίζοντες», η είδηση θα μπορούσε να αποτελέσει μια… απάντηση στις προσευχές τους.
Ωστόσο, αυτό που είναι πραγματικά εντυπωσιακό, δεν είναι τόσο η άποψή τους για την ύπαρξη ή όχι του Θεού, αλλά για το πώς οι υπολογιστές κάνουν απλούστερη την επιστημονική πρόοδο, αναφέρει σε άρθρο του στο Spiegel ο David Knight.
«Επιστήμονες αποδεικνύουν την ύπαρξη του Θεού». Ο τίτλος στη γερμανική εφημερίδα «Die Welt» ήταν πολύ πιασάρικος, σχολιάζει ο αρθρογράφος.
Ωστόσο, υπάρχει κάτι άλλο πίσω από αυτόν τον ισχυρισμό, προσθέτει.
Στην πραγματικότητα, αυτό που απέδειξαν οι επιστήμονες ήταν ένα θεώρημα που είχε αναπτύξει ο διάσημος αυστριακός, μαθηματικός Kurt Gödel.
Η πραγματική είδηση δεν αφορά «το υπέρτατο ον», αλλά αυτό που μπορεί να καταφέρει κανείς σε διάφορους τομείς της επιστήμης με τη χρήση της εξελιγμένης τεχνολογίας.
Όταν πέθανε ο Gödel το 1978 άφησε πίσω του μια «σκανδαλιστική» θεωρία, η οποία βασιζόταν στις αρχές της τροπικής λογικής, και η οποία υποστήριζε ότι πρέπει να υπάρχει κάποιο ανώτερο ον.
Οι μαθηματικές πράξεις που χρησιμοποίησε ο Gödel στην οντολογική απόδειξή του για την ύπαρξη του Θεού ήταν περίπλοκες, ωστόσο η ουσία αυτών που υποστήριζε ήταν ότι «ο Θεός υπάρχει».
Δεν ήταν φυσικά ο πρώτος που ισχυρίστηκε και προσπάθησε να αποδείξει κάτι τέτοιο. Επί αιώνες, πολλοί προσπάθησαν να χρησιμοποιήσουν την αφηρημένη σκέψη για να αποδείξουν την πιθανότητα ή αναγκαιότητα ύπαρξης του Θεού.
Όμως το μαθηματικό μοντέλο που ανέπτυξε ο Gödel πρότεινε και μια απόδειξη για την ιδέα αυτή. Τα θεωρήματα και τα αξιώματά του –παραδοχές που δεν μπορούν να αποδειχθούν- εκφράζονται ως μαθηματικές εξισώσεις. Και αυτό σημαίνει ότι μπορούν να αποδειχθούν.
Η απόδειξη της ύπαρξης του Θεού με ένα MacBook
Κι εδώ είναι που υπεισέρχονται οι επιστήμονες Christoph Benzmüller από το Ελεύθερο Πανεπιστήμιο του Βερολίνου και ο Bruno Woltzenlogel Paleo από το Τεχνικό Πανεπιστήμιο της Βιέννης.
Χρησιμοποιώντας ένα συνηθισμένο MacBook απέδειξαν, ότι η… απόδειξη του Gödel ήταν σωστή – τουλάχιστον σε μαθηματικό επίπεδο – μέσω ανώτερης τροπικής λογικής.
Ο τίτλος της έρευνάς τους ήταν ο εξής: «Formalization, Mechanization and Automation of Gödel’s Proof of God’s Existence».
«Το γεγονός ότι η επισημοποίηση τέτοιων σύνθετων θεωρημάτων μπορεί να γίνει με τη χρήση υπολογιστών, ανοίγει ένα ευρύ τομέα δυνατοτήτων» είπε στο Spiegel Online ο Benzmüller.
«Είναι συγκλονιστικό το γεγονός ότι από τον ισχυρισμό του Gödel, όλα αυτά μπορούν να αποδειχθούν αυτόματα, μέσα σε λίγα δευτερόλεπτα με τη βοήθεια ενός απλού notebook» πρόσθεσε.
Κι ενώ το όνομα Gödel μπορεί να μη λέει πολλά στους πολλούς, ο αυστριακός μαθηματικός είναι πολύ «διάσημος» στους κύκλους των επιστημόνων, και απολαμβάνει φήμη ισάξια εκείνης του Albert Einstein, με τον οποίο μάλιστα ήταν στενοί φίλοι.
«Δεν περίμενα να προκαλούσε τόσο πολύ το ενδιαφέρον του κοινού, όμως η οντολογική απόδειξη του Gödel ήταν ένα πολύ καλύτερο παράδειγμα, από κάτι απρόσιτο στα μαθηματικά ή την τεχνητή νοημοσύνη» είπε ακόμη και συνέχισε: «Θα υπάρχουν κι άλλα πράγματ απου χρησιμοποιούν παρόμοια λογική. Μπορούμε άραγε να αναπτύξουμε συστήματα πληροφορικής, που να ελέγχουν κάθε ξεχωριστό βήμα και να είμαστε σίγουροι ότι είναι σωστά;».
«Μια φιλόδοξη εκφραστική λογική»
Οι δύο επιστήμονες πιστεύουν ότι η εργασία τους μπορεί να έχει πολλές πρακτικές εφαρμογές σε τομείς, όπως η τεχνητή νοημοσύνη και η επαλήθευση software και hardware.
Ο Benzmüller τόνισε ακόμη ότι υπάρχουν πολλοί επιστήμονες, οι οποίες μελετούν παρόμοιους τομείς.
Ο ίδιος εμπνεύστηκε και αποφάσισε να ασχοληθεί με το ζήτημα αυτό από ένα βιβλίο του Melvin Fitting με τίτλο «Types, Tableaus and Gödel’s God».
Η χρήση υπολογιστών για τη διευκόλυνση των μαθηματικών δεν είναι καινούρια, παρότι δεν είναι ευπρόσδεκτη από όλους τους τομείς.
Ο αμερικανός μαθηματικός Doron Zeilberger χρησιμοποιεί το όνομα Shalosh B. Ekhad στα επιστημονικά έγγραφά του και τις δημοσιεύσεις του από τη δεκαετία του 1980. Σύμφωνα με το ίδρυμα Simons Foundation, χρησιμοποιεί το ψευδώνυμο αυτό για τους υπολογιστές που χρησιμοποιεί προκειμένου να αποδεικνύει θεωρήματα σε ελάχιστο χρόνο, που διαφορετικά απαιτούσαν πολλούς μαθηματικούς συλλογισμούς από σελίδα σε σελίδα.
Ο Zeilberger είχε πει ότι χρησιμοποιεί ένα «ανθρώπινο όνομα» για τον υπολογιστή, «για να δηλώσει ότι πρέπει να αναγνωρίζεται και η συμβολή των υπολογιστων». «Η ανθρωποκεντρική μισαλλοδοξία στο χώρο των μαθηματικών, δεν έχει βοηθήσει και πολύ στην πρόοδο» είπε ακόμη.
Σε τελική ανάλυση, καταλήγει το δημοσίευμα, η επισημοποίηση της οντολογικής απόδειξης του Gödel είναι απίθανο να αναγνωριστεί από τους άθεους, ούτε θεωρείται πιθανό ότι θα προσφέρει παρηγοριά στους θρησκευόμενους, οι οποίοι άλλωστε υποστηρίζουν ότι η ιδέα μιας ανώτερης δύναμης αψηφά τη λογική εξ ορισμού.
Για τους μαθηματικούς όμως που αναζητούν τρόπους για ανοίξουν «νέους ορίζοντες», η είδηση θα μπορούσε να αποτελέσει μια… απάντηση στις προσευχές τους.