Thu 18.09.2014 - 08:15-08:45 - Ravnikar

Saving private Goldbach  Demonstration

Presenter: Marija Dominko Gabor
Author(s): Tim Horvat (Gimnazija Bežigrad, Slovenija), Marija Dominko Gabor (Gimnazija Bežigrad, Slovenija)

Presenters: Tim Horvat (Gimnazija Bežigrad, Slovenija), Peter Kržan, Rafael Frančišek Irgolič, Ezra Ćosić-Alibegović, Vilijem Borštar, Mariša Cvitanič, Marija Dominko Gabor, Jasna Kos, Tamara Bosnič

A group of six students from Gimnazija Bežigrad, Ljubljana, Slovenia will present the performance “Saving Private Goldbach”. Tim Horvat, the 16-year-old author of the performance, presents the ethical dilemma about a computer being able to prove mathematical theorems and thus being able to replace the humans.
In the performance the famous Fermat’s last theorem and Goldbach’s conjecture are exposed.
In Act 1 Robert Stark informs Fred Euler about his achievement. He successfully launched “the most advanced computer in the human history which will push borders of maths to the unbelievable dimensions”. Two hours after setting up five Peano axioms the computer named Hal already proved the Fermat’s last theorem. There is a possibility that the constructor’s secret to wish to prove the Goldbach’s conjecture will become reality. In Act 2 there is a meeting of some of the world’s most famous mathematicians. Euler tells the colleagues about Stark’s invention. The Indian mathematician Gupta is very enthusiastic because the so called quantum computer could find out “whether there are any odd perfect numbers and search for new perfect numbers”. The other mathematicians are anxious; they cannot cope with the idea of a super computer. After finding out that the computer has started to prove the Goldbach’s conjecture, they are completely shocked. They decide that “Goldbach must be protected”. In that moment Stark, who was not invited, appears at the meeting. He does not want to accept the argument of the mathematicians that Hal must be turned off and Euler shoots him. In Act 3 we see the final confrontation between Euler and Hal. Euler wants to convince Hal to stop proving the Goldbach’s conjecture. Hal disapproves and Euler turns it off. With the big explosion the computer finishes its “life”.