Aaron Carapella, a self-taught mapmaker in Warner, Oklahoma, USA

has designed a map of Native American tribes showing their locations



First Nations Map



Computer Scientists “Prove” God Exists – David Knight, SPIEGEL



Computer Scientists “Prove” God Exists


David Knight, SPIEGEL


Two scientists have formalized a theorem regarding the existence of God penned by mathematician Kurt Gödel. But the God angle is somewhat of a red herring — the real step forward is the example it sets of how computers can make scientific progress simpler.

As headlines go, it’s certainly an eye-catching one. “Scientists Prove Existence of God,” German daily Die Welt wrote last week.

But unsurprisingly, there is a rather significant caveat to that claim. In fact, what the researchers in question say they have actually proven is a theorem put forward by renowned Austrian mathematician Kurt Gödel — and the real news isn’t about a Supreme Being, but rather what can now be achieved in scientific fields using superior technology.

When Gödel died in 1978, he left behind a tantalizing theory based on principles of modal logic — that a higher being must exist. The details of the mathematics involved in Gödel’s ontological proof are complicated, but in essence the Austrian was arguing that, by definition, God is that for which no greater can be conceived. And while God exists in the understanding of the concept, we could conceive of him as greater if he existed in reality. Therefore, he must exist.

Even at the time, the argument was not exactly a new one. For centuries, many have tried to use this kind of abstract reasoning to prove the possibility or necessity of the existence of God. But the mathematical model composed by Gödel proposed a proof of the idea. Its theorems and axioms — assumptions which cannot be proven — can be expressed as mathematical equations. And that means they can be proven.

Proving God’s Existence with a MacBook

That is where Christoph Benzmüller of Berlin’s Free University and his colleague, Bruno Woltzenlogel Paleo of the Technical University in Vienna, come in. Using an ordinary MacBook computer, they have shown that Gödel’s proof was correct — at least on a mathematical level — by way of higher modal logic. Their initial submission on the research article server is called “Formalization, Mechanization and Automation of Gödel’s Proof of God’s Existence.”

The fact that formalizing such complicated theorems can be left to computers opens up all kinds of possibilities, Benzmüller told SPIEGEL ONLINE. “It’s totally amazing that from this argument led by Gödel, all this stuff can be proven automatically in a few seconds or even less on a standard notebook,” he said.

The name Gödel may not mean much to some, but among scientists he enjoys a reputation similar to the likes of Albert Einstein — who was a close friend. Born in 1906 in what was then Austria-Hungary and is now the Czech city of Brno, Gödel later studied in Vienna before moving to the United States after World War II broke out to work at Princeton, where Einstein was also based. The first version of this ontological proof is from notes dated around 1941, but it was not until the early 1970s, when Gödel feared that he might die, that it first became public.

Now Benzmüller hopes that using such a headline-friendly example can help draw attention to the method. “I didn’t know it would create such a huge public interest but (Gödel’s ontological proof) was definitely a better example than something inaccessible in mathematics or artificial intelligence,” the scientist added. “It’s a very small, crisp thing, because we are just dealing with six axioms in a little theorem. … There might be other things that use similar logic. Can we develop computer systems to check each single step and make sure they are now right?”

“An Ambitious Expressive Logic”

The scientists, who have been working together since the beginning of the year, believe their work could have many practical applications in areas such as artificial intelligence and the verification of software and hardware.

Benzmüller also pointed out that there are many scientists working on similar subject areas. He himself was inspired to tackle the topic by a book entitled “Types, Tableaus and Gödel’s God,” by Melvin Fitting.

The use of computers to reduce the burden on mathematicians is not new, even if it is not welcomed by all in the field. American mathematician Doron Zeilberger has been listing the name Shalosh B. Ekhad on his scientific papers since the 1980s. According to the New York-based Simons Foundation, the name is actually a pseudonym for the computers he uses to help prove theorems in seconds that previously required page after page of mathematical reasoning. Zeilberger says he gave the computer a human-sounding name “to make a statement that computers should get credit where credit is due.” “human-centric bigotry” on the part of mathematicians, he says, has limited progress.

Ultimately, the formalization of Gödel’s ontological proof is unlikely to win over many atheists, nor is it likely to comfort true believers, who might argue the idea of a higher power is one that defies logic by definition. For mathematicians looking for ways to break new ground, however, the news could represent an answer to their prayers.

David Knight, SPIEGEL





Death to the World

California, USA



A Teton Mountain Beaver Dam Sunset - Photography by +Jerry Patterson The Grand Teton from the beaver dam at Schwabachers Landing in Jackson Hole, Wyoming (USA) #mountains #tetons #reflection


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

Καθηγητής: Λοιπόν, πιστεύεις στον Θεό;

Φοιτητής: Βεβαίως, κύριε.

Καθ.: Είναι καλός ο Θεός;

Φοιτ.: Φυσικά.

Καθ.: Είναι ο Θεός παντοδύναμος;

Φοιτ.: Ναι.

Καθ.: Ο αδερφός μου πέθανε από καρκίνο παρότι παρακαλούσε τον Θεό να τον γιατρέψει και προσευχόταν σε Αυτόν. Οι περισσότεροι από εμάς θα προσπαθούσαν να βοηθήσουν αυτούς που έχουν την ανάγκη τους. Πού είναι η καλοσύνη του Θεού λοιπόν;

Φοιτ.: …

Καθ.: Δεν μπορείς να απαντήσεις, έτσι δεν είναι; Ας ξαναρχίσουμε μικρέ μου. Είναι καλός ο Θεός;

Φοιτ.: Ναι.

Καθ.: Είναι καλός ο διάβολος;

Φοιτ.: Όχι.

Καθ.: Ποιος δημιούργησε τον διάβολο;

Φοιτ.: Ο…Θεός…

Καθ.: Σωστά. Πες μου παιδί μου, υπάρχει κακό σ’ αυτόν τον κόσμο;

Φοιτ.: Ναι.

Καθ.: Το κακό βρίσκεται παντού, έτσι δεν είναι; Και ο Θεός έπλασε τα πάντα, σωστά;

Φοιτ.: Ναι.

Καθ.: Αρα λοιπόν ποιος δημιούργησε το κακό;

Φοιτ.: …

Καθ.: Υπάρχουν αρρώστιες; Ανηθικότητα; Μίσος; Ασχήμια; Όλα αυτά τα τρομερά στοιχεία υπάρχουν σ’ αυτόν τον κόσμο, έτσι δεν είναι;

Φοιτ.: Μάλιστα.

Καθ.: Λοιπόν, ποιός τα δημιούργησε;

Φοιτ.: …

Καθ.: Η επιστήμη λέει ότι χρησιμοποιείς τις 5 αισθήσεις σου για να αναγνωρίζεις το περιβάλλον γύρω σου και να προσαρμόζεσαι σε αυτό. Πες μου παιδί μου, έχεις δει ποτέ τον Θεό;

Φοιτ.: Όχι, κύριε.

Καθ.: Έχεις ποτέ αγγίξει το Θεό; Έχεις ποτέ γευτεί το Θεό, μυρίσει το Θεό σου; Και τέλος πάντων, έχεις ποτέ αντιληφθεί με κάποια από τις αισθήσεις σου το Θεό;

Φοιτ.: …Όχι, κύριε. Φοβάμαι πως όχι.

Καθ.: Και παρόλα αυτά πιστεύεις ακόμα σε Αυτόν;

Φοιτ.: Ναι.

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

Φοιτ.: Τίποτα. Εγώ έχω μόνο την πίστη μου.

Καθ.: Ναι, η πίστη. Και αυτό είναι το πρόβλημα της επιστήμης.

Φοιτ: Καθηγητά, υπάρχει κάτι που το ονομάζουμε θερμότητα;

Καθ.: Ναι.

Φοιτ.: Και υπάρχει κάτι που το ονομάζουμε κρύο;

Καθ.: Ναι.

Φοιτ.: Όχι, κύριε. Δεν υπάρχει. Μπορεί να έχεις μεγάλη θερμότητα, ακόμα περισσότερη θερμότητα, υπερθερμότητα, καύσωνα, λίγη θερμότητα ή καθόλου θερμότητα. Αλλά δεν υπάρχει τίποτα που να ονομάζεται κρύο. Μπορεί να χτυπήσουμε 458 βαθμούς υπό το μηδέν, που σημαίνει καθόλου θερμότητα, αλλά δεν μπορούμε να πάμε πιο κάτω από αυτό. Δεν υπάρχει τίποτα που να ονομάζεται «κρύο». «Κρύο» είναι μόνο μια λέξη, που χρησιμοποιούμε για να περιγράψουμε την απουσία θερμότητας. Δεν μπορούμε να μετρήσουμε το κρύο. Η θερμότητα είναι ενέργεια. Το κρύο δεν είναι το αντίθετο της θερμότητας, κύριε, είναι απλά η απουσία της.

Στην αίθουσα επικρατεί σιγή…

Φοιτ.: Σκεφτείτε το σκοτάδι, καθηγητά. Υπάρχει κάτι που να ονομάζουμε σκοτάδι;

Καθ.: Ναι, τι είναι η νύχτα αν δεν υπάρχει σκοτάδι;

Φοιτ.: Κάνετε και πάλι λάθος, κύριε καθηγητά. Το «σκοτάδι» είναι η απουσία κάποιου άλλου παράγοντα. Μπορεί να έχεις λιγοστό φως, κανονικό φως, λαμπερό φως, εκτυφλωτικό φως… Αλλά, όταν δεν έχεις φως, δεν έχεις τίποτα και αυτό το ονομάζουμε σκοτάδι, έτσι δεν είναι; Στην πραγματικότητα το σκοτάδι απλά δεν υπάρχει. Αν υπήρχε θα μπορούσες να κάνεις το σκοτάδι σκοτεινότερο.

Καθ.: Που θέλεις να καταλήξεις με όλα αυτά, νεαρέ;

Φοιτ.: Κύριε, ότι η φιλοσοφική σας σκέψη είναι ελαττωματική.

Καθ.: Ελαττωματική!; Μήπως μπορείς να μου εξηγήσεις γιατί;

Φοιτ.: Καθηγητά, σκέφτεστε μέσα στα όρια της δυαδικότητας. Υποστηρίζετε ότι υπάρχει η ζωή και μετά υπάρχει και ο θάνατος, ένας καλός Θεός και ένας κακός Θεός. Βλέπετε την έννοια του Θεού σαν κάτι τελικό, κάτι που μπορεί να μετρηθεί. Κύριε, η επιστήμη δεν μπορεί να εξηγήσει ούτε κάτι τόσο απλό όπως την σκέψη. Χρησιμοποιεί την ηλεκτρική και μαγνητική ενέργεια, αλλά δεν έχει δει ποτέ, πόσο μάλλον να καταλάβει απόλυτα αυτήν την ενέργεια. Το να βλέπεις το θάνατο σαν το αντίθετο της ζωής είναι σαν να αγνοείς το γεγονός ότι ο θάνατος δεν μπορεί να υπάρξει αυτόνομος. Ο θάνατος δεν είναι το αντίθετο της ζωής: είναι απλά η απουσία της. Τώρα πείτε μου, καθηγητά διδάσκετε στους φοιτητές σας ότι εξελίχτηκαν από μια μαϊμού;

Καθ.: Εάν αναφέρεσαι στην φυσική εξελικτική πορεία, τότε ναι, και βέβαια.

Φοιτ.: Έχετε ποτέ παρακολουθήσει με τα μάτια σας την εξέλιξη;

Καθ.: …

Φοιτ.: Εφόσον κανένας δεν παρακολούθησε ποτέ την διαδικασία εξέλιξης επιτόπου και κανένας δεν μπορεί να αποδείξει ότι αυτή η διαδικασία δεν σταματά ποτέ, τότε διδάσκεται την προσωπική σας άποψη επί του θέματος. Τότε μήπως δεν είστε επιστήμονας, αλλά απλά ένας κήρυκας;

Καθ.: …

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

Καθ.: Μου φαίνεται ότι απλά θα πρέπει να στηριχτείς στην πίστη σου, παιδί μου.

Φοιτ.: Αυτό είναι, κύριε… Ο σύνδεσμος μεταξύ του ανθρώπου και του Θεού είναι η ΠΙΣΤΗ. Αυτή είναι που κινεί τα πράγματα και τα κρατάει ζωντανά.

Αυτός ο νεαρός φοιτητής ήταν ο ALBERT EINSTEIN…

(Ο Albert Einstein γεννήθηκε στην Ulm Γερμανίας και κοιμήθηκε στο Princeton του New Jersey των ΗΠΑ).




King Mountain and the Matanuska River, alaska

Photo: Alaska, USA


Hawaiian Myrrh Streaming Iveron Icon



During the last two weeks of July 2014 the Hawaiian Myrrh Streaming Iveron Icon traveled throughout Alaska. Numerous miracles and blessings were bestowed on the faithful. Her travels by land, sea and air were marked by unusually consistent fair weather. In addition to traveling to every parish and monastic community on Kodiak Island, she traveled throughout the greater Anchorage area and the Kenai Peninsula.


Photos: Alaska, USA





Saint Jose Munoz-Cortes the new martyr, 

from Chile & Canada (+31 October 1997)

& the Hawaiian Myrrh Streaming Iveron Icon


St Jose Munoz-Cortez



Saint Jose Munoz-Cortez & Saint John Maximovitcn


Elder Ephraim’s Eastern Orthodox Christian Monasteries in North America


Elder Ephraim’s Eastern Orthodox Christian

Monasteries in North America


1. Holy Monastery of the Nativity of the Theotokos
Abbess Theophano
121 St. Elias Lane
Saxonburg, PA 16056 USA
Tel: (724) 352-3999
Fax: (724) 352-5822
2. Holy Monastery of St. Kosmas Aitolos
Abbess Alexia
14155 Caledon King Town
Line Rd. South
Bolton, Ont. L7E 5R7
Tel: (905) 859-2474
Fax: (905) 859-2505
Web Site
3. Holy Monastery of Panagia Parigoritissa
Abbess Thekla
827 Chemin de la Carriere
Brownsburg (Chatham),
Quebec, J8G 1K7
Tel: (450) 533-4313
Fax: (450) 533-1169
Web Site
4. Holy Monastery of St. John Chrysostomos
Abbess Melanie
4600 93rd Street
Pleasant Prairie, WI 53158 USA
Tel: (262) 694-9850
Fax: (262) 697-1581
Web Site
5. Holy Protection Monastery
Abbess Olympiada
1 St. Joseph’s Way
White Haven, PA 18661 USA
Tel: (570) 443-2220
Fax: (570) 443-9167
Web Site
6. Holy Monastery of the Theotokos, the Life-Giving Spring
Abbess Markella
P.O. Box 549
Dunlap, CA 93621 USA
Tel: (559) 338-3110
Fax: (559) 338-3101
7. Holy Monastery of St. John the Forerunner
Abbess Efpraxia
5 Timmer Lane
Goldendale, WA 98620 USA
Tel: (509)-773-7141
Fax: (509) 773-4131
Web Site
8. Holy Monastery of St. Anthony
Archimandrite Paisios
4784 N. St. Joseph’s Way
Florence, AZ 85132
Tel: 520-868-3188
Fax: 520-868-3088
Web Site
9. Holy Archangels’ Monastery
Archimandrite Dositheos
P.O. Box 422
Kendalia, TX 78027 USA
Tel: (830) 833-2793
Fax: (830) 833-2231
Web Site
10. Holy Monastery of Panagia Vlahernon
Monk Modestos
12600 West Hwy. 318
Williston, FL 32696
Tel: (352) 591-1716
Fax: (352) 591-1719
Web Site
11. Annunciation Monastery
Abbess Agapia
13486 N.W. Hwy. 225
Reddick, FL 32686 USA
Tel: (352) 591-1803
Fax: (352) 591-2083
Web Site
12. Holy Trinity Monastery
Hieromonk Joseph
125 Sturdevant Rd.
Smith Creek, MI 48061 USA
Tel: (810) 367-8134
Fax: (810) 367-6344
13. Holy Monastery of Panagia Prousiotissa
Abbess Agne
404 Warner Road
Troy, NC 27371 USA
Tel: (910) 572-3331
Fax: (910) 572-4176
Web Site
14. Panagia Pammakaristou
Hieromonk Nektarios
1631 Creasey Rd.
Lawsonville, NC 27032 USA
Tel: (336) 593-9760
Fax: (336) 593-9767
15. Holy Monastery of St. Nektarios
Hieromonk Joseph
100 Lake Anawanda Rd.
Roscoe, NY 12776 USA
Tel: (607) 498-5285
Fax: (607) 498-5468
Web Site
16. Holy Transfiguration Monastery
Abbot Akakios
17906 Rt. 173
Harvard, IL 60033 USA
Tel: (815) 943-3588
Fax: (815) 943-3878
Web Site
17. Holy Monastery of St. Paraskevi
Abbess Paraskevi
6855 Little York Lane
Washington, TX 77880 USA
Tel: (936) 878-2390
Fax: (936) 878-2630
Web Site


OCA – Find an Orthodox Parish in USA, Canada & Mexico



OCA – Find an Orthodox Parish in USA, Canada & Mexico

The parish is a local community of the Church having at its head a duly appointed priest and consisting of Orthodox Christians who live in accordance with the teachings of the Orthodox Church, comply with the discipline and rules of the Church, and regularly support their parish. Being subordinate to the Diocesan Authority, it is a component part of the Diocese.