% media.bib -- News and media reports on Christoph Benzm{\"u}ller worldwide.
% Sources: GoedelGod press archive + CV media list.
% Entries are numbered newest-first, matching the default order on media.html.


@misc{News1,
  keywords = {news report, International},
  title = {oximity},
  publisher = {International},
  year = 2013,
}

@misc{News2,
  keywords = {news report, International},
  title = {catholic.org},
  publisher = {International},
  year = 2013,
  url = {http://www.catholic.org/news/international/americas/story.php?id=52920},
}

@misc{News3,
  keywords = {news report, International},
  title = {Científicos prueban informáticamente que existe Dios},
  publisher = {aciprensa, International},
  year = 2013,
  url = {https://www.aciprensa.com/noticias/cientificos-prueban-informaticamente-que-existe-dios-50505/},
}

@misc{News4,
  keywords = {news report, International},
  title = {Computer Scientists 'Prove' mathematically God Exists},
  publisher = {The Muslim Times, International},
  year = 2013,
  url = {http://www.themuslimtimes.org/2013/10/uncategorized/computer-scientists-prove-mathematically-god-exists},
}

@misc{News5,
  keywords = {news report, tv, International},
  title = {iReporterstv},
  publisher = {International, TV},
  year = 2013,
  url = {http://web.archive.org/web/20140228122540/http://ireporterstv.co/computer-scientists-prove-god-exists/},
}

@misc{News6,
  keywords = {news report, International},
  title = {Godels ontological proof},
  publisher = {Anglican Patrimony, International},
  year = 2013,
  url = {http://web.archive.org/web/20150615065956/https://anglicanpatrimony.wordpress.com/2013/12/14/godels-ontological-proof/},
}

@misc{News7,
  keywords = {news report, International},
  title = {Scientists Prove God Exists? German Scientists Say They Have},
  publisher = {Free-i-News, International},
  year = 2013,
  url = {http://web.archive.org/web/20131206022601/http://www.freeinews.com/science-and-beyond/scientists-prove-god-exists-german-scientists-say-they-have},
}

@misc{News8,
  keywords = {news report, International},
  title = {Is God Real? Scientists ‘Prove’ His Existence With Godel’s Theory And MacBooks},
  publisher = {International Business Times, International},
  year = 2013,
  url = {http://www.ibtimes.com/god-real-scientists-prove-his-existence-godels-theory-macbooks-1446396},
}

@misc{News9,
  keywords = {news report, International},
  title = {Did Computer Scientists Just Prove God Exists?},
  publisher = {Investor Place, International},
  year = 2013,
  url = {http://investorplace.com/2013/10/computer-scientists-just-prove-god-exists/#.Uq9BJ2RDv},
}

@misc{News10,
  keywords = {news report, International},
  title = {MSN},
  publisher = {International},
  year = 2013,
  url = {http://web.archive.org/web/20131111013038/http://now.msn.com/christoph-benzm%C3%BCller-and-bruno-woltzenlogel-paleo-scientists-say-theyve-proved-god-exists},
}

@misc{News11,
  keywords = {news report, International},
  title = {God Exists, Says Math: Modal Logic and Software Prove Gödel's Logic},
  publisher = {Decoded Science, International},
  year = 2013,
  url = {http://web.archive.org/web/20131106101100/http://www.decodedscience.com:80/modal-logic-proved-godel-right-god-exists/38801},
}

@misc{News12,
  keywords = {news report, International},
  title = {Computer Scientists 'Prove' God Exists},
  publisher = {Latin Times, International},
  year = 2013,
  url = {http://abcnews.go.com/Technology/computer-scientists-prove-god-exists/story?id=20678984},
}

@misc{News13,
  keywords = {news report, International},
  title = {Free Republic},
  publisher = {International},
  year = 2013,
}

@misc{News14,
  keywords = {news report, International},
  title = {Scientists "Prove" God Exists},
  publisher = {Breaking Christian News, International},
  year = 2013,
  url = {http://www.breakingchristiannews.com/articles/display_art.html?ID=12667},
}

@misc{News15,
  keywords = {news report, International},
  title = {Mathematician says proof of Goedel},
  publisher = {United Press International, International},
  year = 2013,
  url = {http://www.upi.com/Science_News/2013/10/23/Researchers-say-they-used-MacBook-to-prove-Goedels-God-theorem/UPI-85301382573640/},
}

@misc{News16,
  keywords = {news report, International},
  title = {Researchers say they used MacBook to prove Goedel's God theorem},
  publisher = {Space Daily, International},
  year = 2013,
  url = {http://web.archive.org/web/20201112015709/https://www.spacedaily.com/reports/Researchers_say_they_used_MacBook_to_prove_Goedels_God_theorem_999.html},
}

@misc{News17,
  keywords = {news report, International},
  title = {God exists say apple fanboy scientists},
  publisher = {CNET, International},
  year = 2013,
  url = {http://news.cnet.com/8301-17852_3-57609422-71/god-exists-say-apple-fanboy-scientists/},
}

@misc{News18,
  keywords = {news report, International},
  title = {Researchers say Apple MacBook prove God exists},
  publisher = {Yahoo Finance, International},
  year = 2013,
}

@misc{News19,
  keywords = {news report, International},
  title = {Apple fanboys prove the existence of God},
  publisher = {Techeye, International},
  year = 2013,
  url = {http://web.archive.org/web/20131028044242/http://news.techeye.net:80/science/apple-fanboys-prove-the-existence-of-god},
}

@misc{News20,
  keywords = {news report, International},
  title = {Existenz Gottes, wissenschaftlich bewiesen},
  publisher = {Jewish News Service, International},
  year = 2013,
  url = {http://israswiss.wordpress.com/2013/09/12/existenz-gottes-wissenschaftlich-bewiesen/},
}

@misc{News21,
  keywords = {news report, International},
  title = {Scientists Use Computer to Mathematically Prove Gödel God Theorem},
  publisher = {Spiegel International, International},
  year = 2013,
  url = {http://www.spiegel.de/international/germany/scientists-use-computer-to-mathematically-prove-goedel-god-theorem-a-928668.html},
}

@misc{News22,
  keywords = {news report, Switzerland},
  title = {Wurde «Gott» am Computer bewiesen?},
  publisher = {Skeptiker, Switzerland},
  year = 2013,
  url = {http://web.archive.org/web/20141101052341/http://www.skeptiker.ch/gott-am-computer-bewiesen/},
}

@misc{News23,
  keywords = {news report, Switzerland},
  title = {Blick am Abend},
  publisher = {Switzerland},
  year = 2013,
  url = {http://web.archive.org/web/20131108040330/http://www.skeptiker.ch/wp-content/uploads/2013/09/Blick-am-Abend-Gottesbeweis.jpg},
}

@misc{News24,
  keywords = {news report, Greece},
  title = {BIO Magazine},
  publisher = {Greece},
  year = 2013,
}

@misc{News25,
  keywords = {news report, Bulgaria},
  title = {Учените доказаха теоремата на Гьодел, която предполага, че Висше същество наистина има},
  publisher = {Эпохални Времена, Bulgaria},
  year = 2013,
}

@misc{News26,
  keywords = {news report, Brazil},
  title = {Cientistas "comprovam" a existência de Deus com matemática e um simples notebook},
  publisher = {The History Channel - Latin America, Brazil},
  year = 2013,
  url = {http://web.archive.org/web/20140423110414/http://noticias.seuhistory.com:80/cientistas-comprovam-existencia-de-deus-com-matematica-e-um-simples-notebook},
}

@misc{News27,
  keywords = {news report, Brazil},
  title = {Cientistas anunciam terem resolvido teorema matemático que “prova” a existência de Deus ~ Hosana News},
  publisher = {Hosana News, Brazil},
  year = 2013,
  url = {http://hosanaproducoes.blogspot.co.at/2013/10/cientistas-anunciam-terem-resolvido.html},
}

@misc{News28,
  keywords = {news report, Brazil},
  title = {Cientistas da computação},
  publisher = {Unisinos, Brazil},
  year = 2013,
  url = {http://www.ihu.unisinos.br/noticias/525076-cientistas-da-computacao-qprovamq-existencia-de-deus},
}

@misc{News29,
  keywords = {news report, Brazil},
  title = {Voz Caiçara},
  publisher = {Brazil},
  year = 2013,
}

@misc{News30,
  keywords = {news report, Brazil},
  title = {GPS Gospel},
  publisher = {Brazil},
  year = 2013,
}

@misc{News31,
  keywords = {news report, Brazil},
  title = {Cientistas resolvem teorema matemático que prova a existência de Deus},
  publisher = {Noticias Gospelmais, Brazil},
  year = 2013,
  url = {http://noticias.gospelmais.com.br/cientistas-resolvem-teorema-matematico-prova-existencia-deus-61861.html},
}

@misc{News32,
  keywords = {news report, France},
  title = {Big Bang Blog},
  publisher = {France},
  year = 2013,
}

@misc{News33,
  keywords = {news report, Romania},
  title = {O teoremă demonstrează existenţa lui Dumnezeu, dar provoacă un conflict în rândul matematicienilor},
  publisher = {Adevarul, Romania},
  year = 2013,
  url = {http://adevarul.ro/tech/stiinta/o-teorema-demonstreaza-existenta-dumnezeu-provoaca-conflict-randul-matematicienilor-1_5268f1b4c7b855ff56749b8c/index.html},
}

@misc{News34,
  keywords = {news report, Australia},
  title = {International Business Times},
  publisher = {Australia},
  year = 2013,
}

@misc{News35,
  keywords = {news report, United States},
  title = {God, Gödel, and Gigabytes},
  publisher = {Harmonist, United States},
  year = 2013,
  url = {http://web.archive.org/web/20240520090328/https://harmonist.us/2013/11/god-godel-and-gigabytes/},
}

@misc{News36,
  keywords = {news report, United States},
  title = {Scientists Prove God Exists and Here's the Proof},
  publisher = {Parent Herald, United States},
  year = 2013,
  url = {http://www.parentherald.com/articles/2840/20131030/scientists-prove-god-exists-and-heres-the-proof.htm},
}

@misc{News37,
  keywords = {news report, United States},
  title = {23ABC},
  publisher = {United States},
  year = 2013,
  url = {http://web.archive.org/web/20131102011018/http://www.turnto23.com:80/news/us-world/computer-scientists-prove-god-exists},
}

@misc{News38,
  keywords = {news report, United States},
  title = {Computer scientists prove God exists},
  publisher = {Whas11, United States},
  year = 2013,
  url = {http://www.whas11.com/news/national/Computer-scientists-prove-God-exists-230044661.html},
}

@misc{News39,
  keywords = {news report, United States},
  title = {God’s Existence Theorem Is Correct},
  publisher = {United Academics, United States},
  year = 2013,
  url = {http://web.archive.org/web/20151215130948/http://www.united-academics.org:80/magazine/getting-right/gods-existence-theorem-is-correct/},
}

@misc{News40,
  keywords = {news report, United States},
  title = {Scientists 'Prove' God's Existence With A MacBook},
  publisher = {HNGN, United States},
  year = 2013,
  url = {http://www.hngn.com/articles/16125/20131029/scientists-prove-gods-existence-with-a-macbook.htm},
}

@misc{News41,
  keywords = {news report, United States},
  title = {Scientists prove god exists 2 scientists analyze theory to prove god is real},
  publisher = {Examiner2, United States},
  year = 2013,
  url = {http://web.archive.org/web/20131102025203/http://www.examiner.com:80/article/scientists-prove-god-exists-2-scientists-analyze-theory-to-prove-god-is-real},
}

@misc{News42,
  keywords = {news report, United States},
  title = {Scientists prove god exists scientific theory states higher being must exist},
  publisher = {Examiner1, United States},
  year = 2013,
  url = {http://web.archive.org/web/20131101223520/http://www.examiner.com:80/article/scientists-prove-god-exists-scientific-theory-states-higher-being-must-exist},
}

@misc{News43,
  keywords = {news report, United States},
  title = {Computer Scientists 'Prove' God Exists},
  publisher = {ABC News, United States},
  year = 2013,
  url = {http://abcnews.go.com/Technology/computer-scientists-prove-god-exists/story?id=20678984},
}

@misc{News44,
  keywords = {news report, United States},
  title = {Researchers say they used MacBook to prove Goedel's God theorem},
  publisher = {One News Page, United States},
  year = 2013,
}

@misc{News45,
  keywords = {news report, Indonesia},
  title = {lintas.me},
  publisher = {Indonesia},
  year = 2013,
}

@misc{News46,
  keywords = {news report, Czech Republic},
  title = {vybrali SMA},
  publisher = {Czech Republic},
  year = 2013,
  url = {http://vybrali.sme.sk/c/166339},
}

@misc{News47,
  keywords = {news report, interview, Czech Republic},
  title = {Interview: Christoph Benzmueller ... potom počítač dokázal: Boh existuje, 2.kapitola},
  publisher = {PC ZOZNAM, Czech Republic, Interview},
  year = 2013,
  url = {http://web.archive.org/web/20140306205200/http://pc.zoznam.sk:80/interview-christoph-benzmueller-potom-pocitac-dokazal-boh-existuje?page=1},
}

@misc{News48,
  keywords = {news report, Czech Republic},
  title = {Interview: Christoph Benzmueller ... potom počítač dokázal: Boh existuje},
  publisher = {PC ZOZNAM, Czech Republic, Inteview},
  year = 2013,
  url = {http://web.archive.org/web/20140319163126/http://pc.zoznam.sk:80/interview-christoph-benzmueller-potom-pocitac-dokazal-boh-existuje?page=0},
}

@misc{News49,
  keywords = {news report, Czech Republic},
  title = {Gödelov dôkaz existencie Boha potvrdený},
  publisher = {PC ZOZNAM, Czech Republic},
  year = 2013,
  url = {http://web.archive.org/web/20131030215607/http://pc.zoznam.sk:80/novinka/godelov-dokaz-existencie-boha-potvrdeny},
}

@misc{News50,
  keywords = {news report, Netherlands},
  title = {Computer bevestigt dat Gödels godsbewijs logisch klopt},
  publisher = {Spinoza Blogs, Netherlands},
  year = 2013,
  url = {http://web.archive.org/web/20150512144630/http://spinoza.blogse.nl/log/computer-bevestigt-dat-godels-godsbewijs-logisch-klopt.html},
}

@misc{News51,
  keywords = {news report, Netherlands},
  title = {POPW},
  publisher = {Netherlands},
  year = 2013,
}

@misc{News52,
  keywords = {news report, India},
  title = {Membuktikan Keberadaan Tuhan Secara Ilmiah},
  publisher = {andaikatacom, India},
  year = 2013,
  url = {http://web.archive.org/web/20251118133346/https://www.andaikata.com/dunia/membuktikan-keberadaan-tuhan-secara-ilmiah.html},
}

@misc{News53,
  keywords = {news report, India},
  title = {Apple MacBook help researchers to find proof of God's existence},
  publisher = {India Today, India},
  year = 2013,
  url = {http://indiatoday.intoday.in/story/apple-macbook-help-researchers-to-find-proof-of-god%60s-existence/1/320401.html},
}

@misc{News54,
  keywords = {news report, India},
  title = {Researchers claim to have proven that God exists},
  publisher = {Indian Mirror, India},
  year = 2013,
}

@misc{News55,
  keywords = {news report, India},
  title = {Researchers claim to have proven the existence of God},
  publisher = {Delhi Daily News, India},
  year = 2013,
}

@misc{News56,
  keywords = {news report, India},
  title = {Researchers use Apple MacBook to prove God exists},
  publisher = {ANI News, India},
  year = 2013,
  url = {http://web.archive.org/web/20131029181007/http://aninews.in:80/newsdetail4/story137524/researchers-use-apple-macbook-to-prove-god-exists.html},
}

@misc{News57,
  keywords = {news report, India},
  title = {Saach},
  publisher = {India},
  year = 2013,
}

@misc{News58,
  keywords = {news report, India},
  title = {Researchers use apple macbook to prove god exists},
  publisher = {Zee News India, India},
  year = 2013,
  url = {http://zeenews.india.com/news/world/researchers-use-apple-macbook-to-prove-god-exists_886051.html},
}

@misc{News59,
  keywords = {news report, India},
  title = {Researchers claim to have proven that God exists},
  publisher = {DNA India, India},
  year = 2013,
  url = {http://web.archive.org/web/20131030141430/http://www.dnaindia.com/scitech/report-researchers-claim-to-have-proven-that-god-exists-1909038},
}

@misc{News60,
  keywords = {news report, Russia},
  title = {Ученые смогли доказать теорему Гёделя, из которой следует, что некое высшее существо действительно есть [ФОТО] / news2.ru},
  publisher = {News2, Russia},
  year = 2013,
  url = {http://web.archive.org/web/20251013191922/https://www.news2.ru/story/393276/},
}

@misc{News61,
  keywords = {news report, Russia},
  title = {С помощью MacBook ученые «доказали» существование бога},
  publisher = {Onliner, Russia},
  year = 2013,
  url = {http://web.archive.org/web/20131101190607/http://tech.onliner.by:80/2013/10/28/gode},
}

@misc{News62,
  keywords = {news report, Russia},
  title = {Ученые доказали существование Бога с помощью MacBook},
  publisher = {MacDigger.ru, Russia},
  year = 2013,
  url = {http://web.archive.org/web/20180823162710/http://www.macdigger.ru:80/macall/uchenye-dokazali-sushhestvovanie-boga-s-pomoshhyu-macbook.html},
}

@misc{News63,
  keywords = {news report, Russia},
  title = {Компьютер доказывает существование Бога},
  publisher = {Неужели?, Russia},
  year = 2013,
  url = {http://web.archive.org/web/20131024180002/http://neuzhely.ru/?p=3862},
}

@misc{News64,
  keywords = {news report, Spain},
  title = {Demostrado científicamente, Dios existe},
  publisher = {Marabilias, Spain},
  year = 2013,
  url = {http://web.archive.org/web/20140820173257/http://tendencias.vozpopuli.com/cultura/1957-demostrado-cientificamente-dios-existe},
}

@misc{News65,
  keywords = {news report, Spain},
  title = {Logran probar el Teorema de Gdel, que sostiene que existe un ser superior},
  publisher = {La Voz de Galicia, Spain},
  year = 2013,
  url = {http://www.lavozdegalicia.es/noticia/sociedad/2013/10/28/logran-probar-teorema-godel-sostiene-existe-superior/00031382958446357261349.htm},
}

@misc{News66,
  keywords = {news report, Spain},
  title = {Dos científicos demuestran informáticamente la existencia de un ser superior},
  publisher = {La Vanguardia, Spain},
  year = 2013,
  url = {http://www.lavanguardia.com/vida/20131028/54392787484/cientificos-demostrar-informaticamente-existencia-ser-supremo.html},
}

@misc{News67,
  keywords = {news report, Spain},
  title = {"Verificación informática de la existencia de Dios"… y filosofía asistida por ordenadores},
  publisher = {Tendencias 21, Spain},
  year = 2013,
  url = {http://web.archive.org/web/20190720112215/https://www.tendencias21.net/Verificacion-informatica-de-la-existencia-de-Dios-y-filosofia-asistida-por-ordenadores_a26482.html},
}

@misc{News68,
  keywords = {news report, Spain},
  title = {Falsa polémica por la demostración informática de la existencia de Dios con un ‘teorema’ de Gödel},
  publisher = {Agencia SINC, Spain},
  year = 2013,
  url = {http://www.agenciasinc.es/Noticias/Falsa-polemica-por-la-demostracion-informatica-de-la-existencia-de-Dios-con-un-teorema-de-Goedel},
}

@misc{News69,
  keywords = {news report, Italy},
  title = {Gödel, Dio e Repubblica},
  publisher = {Il Post, Italy},
  year = 2013,
  url = {http://www.ilpost.it/mauriziocodogno/2013/10/26/godel-dio-e-repubblica/},
}

@misc{News70,
  keywords = {news report, Italy},
  title = {Net1News},
  publisher = {Italy},
  year = 2013,
}

@misc{News71,
  keywords = {news report, Italy},
  title = {Ricercatori tedeschi dimostrano teorema di G{\"o}del sull'esistenza di Dio},
  publisher = {Epoch Times Italia, Italy},
  year = 2013,
}

@misc{News72,
  keywords = {news report, Italy},
  title = {Leo Hi-Tech},
  publisher = {Italy},
  year = 2013,
  url = {http://web.archive.org/web/20161024090754/http://hi-tech.leonardo.it/dio-esiste-calcolata-lesistenza-di-dio-al-computer/},
}

@misc{News73,
  keywords = {news report, Italy},
  title = {Science and Religion in Media},
  publisher = {Italy},
  year = 2013,
}

@misc{News74,
  keywords = {news report, Italy},
  title = {AGI},
  publisher = {Italy},
  year = 2013,
}

@misc{News75,
  keywords = {news report, Italy},
  title = {ESISTENZA DI DIO/ Due scienziati tedeschi formalizzano il teorema di Kurt Gödel},
  publisher = {Ilsussidario, Italy},
  year = 2013,
  url = {http://web.archive.org/web/20210424193814/https://www.ilsussidiario.net/news/scienze/2013/10/24/esistenza-di-dio-due-scienziati-tedeschi-formalizzano-il-teorema-di-kurt-g-del/438302/},
}

@misc{News76,
  keywords = {news report, Italy},
  title = {Dimostrato Teorema Godel dio esiste},
  publisher = {Today.it, Italy},
  year = 2013,
  url = {http://www.today.it/tech/godel-teorema-dio-esiste.html},
}

@misc{News77,
  keywords = {news report, Italy},
  title = {G{\"o}del e Dio: la dimostrazione adesso c'{\`e}},
  publisher = {La Stampa, Italy},
  year = 2013,
  url = {http://web.archive.org/web/20131204133409/http://rassegnastampa.unipi.it/rassegna/archivio/2013/10/30SIJ3117.PDF},
}

@misc{News78,
  keywords = {news report, Italy},
  title = {Se un computer pensa di voler dimostrare},
  publisher = {Repubblica Ricerca, Italy},
  year = 2013,
  url = {http://ricerca.repubblica.it/repubblica/archivio/repubblica/2013/11/03/se-un-computer-pensa-di-voler-dimostrare.html},
}

@misc{News79,
  keywords = {news report, Italy},
  title = {"Sì, il teorema di Dio è corretto": due matematici fanno rivivere l},
  publisher = {Repubblica, Italy},
  year = 2013,
  url = {http://www.repubblica.it/scienze/2013/10/24/news/dimostrato_teorema_godel-69340116/},
}

@misc{News80,
  keywords = {news report, radio, Austria},
  title = {Wissen aktuell},
  publisher = {ORF Radio, Austria, Radio},
  year = 2013,
  url = {http://oe1.orf.at/programm/376866},
}

@misc{News81,
  keywords = {news report, interview, Austria},
  title = {Logiker beweist Existenz eines Fußballgotts},
  publisher = {ORF, Austria, Interview},
  year = 2013,
  url = {http://web.archive.org/web/20160112025440/http://science.orf.at/stories/1741595},
}

@misc{News82,
  keywords = {news report, Austria},
  title = {John Lennox's Talk at TU-Wien},
  publisher = {Austria},
  year = 2013,
  url = {http://www.youtube.com/watch?v=E_2_4KyR-6k&feature=share&t=25m15s},
}

@misc{News83,
  keywords = {news report, radio, Austria},
  title = {Theologie und Leben},
  publisher = {ORF Radio, Austria, Radio},
  year = 2013,
  url = {http://oe1.orf.at/programm/371214},
}

@misc{News84,
  keywords = {news report, Austria},
  title = {Computer bestätigt Gottesbeweis},
  publisher = {ORF, Austria},
  year = 2013,
  url = {http://web.archive.org/web/20150712233109/http://science.orf.at:80/stories/1724627},
}

@misc{News85,
  keywords = {news report, Austria},
  title = {Deus Ex Machina?},
  publisher = {Vienna University of Technology - Faculty of Informatics, Austria},
  year = 2013,
  url = {http://www.informatik.tuwien.ac.at/aktuelles/792},
}

@misc{News86,
  keywords = {news report, Austria},
  title = {Gottesbeweis eines Logikgenies},
  publisher = {Wiener Zeitung, Austria},
  year = 2013,
  url = {http://web.archive.org/web/20180113145205/http://www.wienerzeitung.at:80/themen_channel/wissen/geschichte/574012_Gottesbeweis-eines-Logikgenies.html},
}

@misc{News87,
  keywords = {news report, Austria},
  title = {Facebook Page of TU-Wien},
  publisher = {Austria},
  year = 2013,
}

@misc{News88,
  keywords = {news report, Austria},
  title = {Deus Ex Machina?},
  publisher = {Vienna University of Technology, Austria},
  year = 2013,
  url = {http://web.archive.org/web/20131127070655/http://www.tuwien.ac.at:80/aktuelles/news_detail/article/8388/},
}

@misc{News89,
  keywords = {news report, Austria},
  title = {Deus Ex Machina?},
  publisher = {myscience.at, Austria},
  year = 2013,
  url = {http://www.myscience.at/news/2013/deus_ex_machina-2013-tuwien},
}

@misc{News90,
  keywords = {news report, Austria},
  title = {Mathematiker pr{\"u}ften G{\"o}dels Gottesbeweis},
  publisher = {Die Presse, Austria},
  year = 2013,
}

@misc{News91,
  keywords = {news report, tv, Germany},
  title = {3sat TV},
  publisher = {Germany, TV},
  year = 2013,
}

@misc{News92,
  keywords = {news report, Germany},
  title = {Mathematik.de},
  publisher = {Germany},
  year = 2013,
}

@misc{News93,
  keywords = {news report, Germany},
  title = {Ranking der am meisten gelesenen und kommentierten Telepolis-Artikel 2013},
  publisher = {Top ten of most read articles in 2013 in Telepolis, Germany},
  year = 2013,
  url = {http://www.heise.de/tp/artikel/40/40674/1.html},
}

@misc{News94,
  keywords = {news report, Germany},
  title = {Mathematiker beweisen die Existenz Gottes? Nicht wirklich…},
  publisher = {Scienceblogs, Germany},
  year = 2013,
  url = {http://scienceblogs.de/astrodicticum-simplex/2013/09/11/mathematiker-beweisen-die-existenz-gottes-nicht-wirklich/},
}

@misc{News95,
  keywords = {news report, Germany},
  title = {MacBook beweist Existenz Gottes},
  publisher = {Silicon.de, Germany},
  year = 2013,
  url = {http://www.silicon.de/41589138/macbook-beweist-existenz-gottes/},
}

@misc{News96,
  keywords = {news report, Germany},
  title = {Pro Medienmagazin},
  publisher = {Germany},
  year = 2013,
}

@misc{News97,
  keywords = {news report, Germany},
  title = {Kurt Gödels Gottesbeweis ist richtig},
  publisher = {Lifenet.de, Germany},
  year = 2013,
  url = {http://www.livenet.de/themen/people/242181-kurt_goedels_gottesbeweis_ist_richtig.html},
}

@misc{News98,
  keywords = {news report, Germany},
  title = {Life.de},
  publisher = {Germany},
  year = 2013,
  url = {http://www.life.de/themen/people/242181-kurt_goedels_gottesbeweis_ist_richtig.html},
}

@misc{News99,
  keywords = {news report, Germany},
  title = {Gott existiert!},
  publisher = {Berliner Zeitung, Germany},
  year = 2013,
  url = {http://www.berliner-zeitung.de/wissen/gottesbeweis-gott-existiert-,10808894,25720994.html},
}

@misc{News100,
  keywords = {news report, Germany},
  title = {Philosophie vs. Kampf-Roboter},
  publisher = {Beetlebum Blog, Germany},
  year = 2013,
  url = {http://blog.beetlebum.de/2013/11/11/philosophie-vss-kampfroboter/},
}

@misc{News101,
  keywords = {news report, Germany},
  title = {Mathematician says proof of Goedel},
  publisher = {UPI, Germany},
  year = 2013,
  url = {http://www.upi.com/Science_News/2013/10/23/Researchers-say-they-used-MacBook-to-prove-Goedels-God-theorem/UPI-85301382573640/?spt=sh&or=5},
}

@misc{News102,
  keywords = {news report, Germany},
  title = {Forscher beweisen Existenz Gottes am Computer},
  publisher = {Hamburger Abendpost, Germany},
  year = 2013,
}

@misc{News103,
  keywords = {news report, Germany},
  title = {K{\"o}lner Stadtanzeiger},
  publisher = {Germany},
  year = 2013,
}

@misc{News104,
  keywords = {news report, Germany},
  title = {G{\"o}ttliche Mathematik},
  publisher = {Berliner Morgenpost, Germany},
  year = 2013,
}

@misc{News105,
  keywords = {news report, print, Germany},
  title = {Die Welt (print, front cover)},
  publisher = {Germany, Print},
  year = 2013,
  url = {https://github.com/FormalTheology/GoedelGod/blob/master/Press/WeltCover.pdf},
}

@misc{News106,
  keywords = {news report, Germany},
  title = {Algorithmen: Forscher beweisen Existenz Gottes am Computer},
  publisher = {Die Welt (online), Germany},
  year = 2013,
  url = {http://www.welt.de/wissenschaft/article120995923/Forscher-beweisen-Existenz-Gottes-am-Computer.html},
}

@misc{News107,
  keywords = {news report, Germany},
  title = {Independent Confirmation for Gödel's "Proof" of Existence of God},
  publisher = {Freie Universitaet Berlin (English), Germany},
  year = 2013,
  url = {http://web.archive.org/web/20131126033838/http://www.fu-berlin.de/en/presse/informationen/fup/2013/fup_13_308/index.html},
}

@misc{News108,
  keywords = {news report, Germany},
  title = {Freie Universitaet Berlin},
  publisher = {Germany},
  year = 2013,
  url = {http://www.fu-berlin.de/presse/informationen/fup/2013/fup_13_308/index.html},
}

@misc{News109,
  keywords = {news report, Germany},
  title = {Ein Mathematiker wollte Gott beweisen},
  publisher = {Die Tagespost, Germany},
  year = 2013,
  url = {http://www.die-tagespost.de/feuilleton/Ein-Mathematiker-wollte-Gott-beweisen;art310,146262},
}

@misc{News110,
  keywords = {news report, tv, Germany},
  title = {Gottesbeweis auf dem MacBook},
  publisher = {Motherboard.tv, Germany, TV},
  year = 2013,
  url = {https://www.vice.com/de/article/gottesbeweis-auf-dem-macbook/},
}

@misc{News111,
  keywords = {news report, radio, Germany},
  title = {Mathematischer Gottesbeweis von Forschern bestätigt},
  publisher = {Detektor.fm, Germany, Radio},
  year = 2013,
  url = {http://detektor.fm/kultur/mathematischer-gottesbeweis-von-forschern-bestaetigt/},
}

@misc{News112,
  keywords = {news report, Germany},
  title = {Intelligenzforschung: Gott lebt},
  publisher = {Frankfurter Allgemeine Zeitung, Germany},
  year = 2013,
  url = {http://www.faz.net/aktuell/feuilleton/intelligenzforschung-gott-lebt-12557007.html},
}

@misc{News113,
  keywords = {news report, Germany},
  title = {Formel von Kurt Gödel: Mathematiker bestätigen Gottesbeweis},
  publisher = {Spiegel Online, Germany},
  year = 2013,
  url = {http://Spiegel.de/wissenschaft/mensch/formel-von-kurt-goedel-mathematiker-bestaetigen-gottesbeweis-a-920455.html},
}

@misc{News114,
  keywords = {news report, Germany},
  title = {Computerprogramm bestätigt Gödels Gottesbeweis},
  publisher = {Heise, Germany},
  year = 2013,
  url = {http://www.heise.de/newsticker/meldung/Computerprogramm-bestaetigt-Goedels-Gottesbeweis-1942504.html},
}

@misc{News115,
  keywords = {news report, Germany},
  title = {Computer beweist die Existenz Gottes},
  publisher = {Telepolis, Germany},
  year = 2013,
  url = {http://web.archive.org/web/20140118083632/http://www.heise.de:80/tp/artikel/39/39766/1.html},
}

@misc{News116,
  keywords = {news report, Germany},
  title = {Matheblog: Existenz Gottes mathematisch bewiesen},
  publisher = {Zeit Online, Germany},
  year = 2014,
  url = {http://blog.zeit.de/mathe/allgemein/gott-existenz-mathe/},
}

@misc{News117,
  keywords = {news report, tv, International},
  title = {TulaTV},
  publisher = {International, TV},
  year = 2014,
  url = {http://web.archive.org/web/20140209080619/http://tulatv.com/2014/02/alemania-cientificos-ya-demostraron-la-existencia-de-dios-como-asi-lo-lograron/},
}

@misc{News118,
  keywords = {news report, Germany},
  title = {Harald Martenstein: Göttliche Irrelevanz},
  publisher = {Zeit Magazin (Online Version), Germany},
  year = 2014,
  url = {http://www.zeit.de/zeit-magazin/2014/39/harald-martenstein-gott-journalismus},
}

@misc{News119,
  keywords = {news report, print, Germany},
  title = {Zeit Magazin (Printed Version)},
  publisher = {Germany, Print},
  year = 2014,
  url = {https://github.com/FormalTheology/GoedelGod/blob/master/Press/ZeitMagazinNr39_18Sep2014.pdf},
}

@misc{News120,
  keywords = {news report, Germany},
  title = {Warum sich Gott mathematisch nicht belegen lässt},
  publisher = {Focus, Germany; 26.04.2014},
  year = 2014,
  url = {http://www.focus.de/wissen/experten/heinz_oberhummer/gottesbeweis-per-computer-naturwissenschaft-und-religion-gehen-nicht-zusammen_id_3711166.html},
}

@misc{News121,
  keywords = {news report, online, Germany},
  title = {Math up your life!},
  publisher = {Zeit Online, Germany; 22.08.2014},
  year = 2014,
}

@misc{News122,
  keywords = {news report, video, International},
  title = {AISSQ 2015: Experiments in Computational Metaphysics -- G{\"o}del's Proof of God},
  publisher = {YouTube, International},
  year = 2015,
  url = {https://www.youtube.com/watch?v=0i8IPeJi7wM},
}

@misc{News123,
  keywords = {news report, online, Germany},
  title = {CADE-25: Computer-Logiker treffen sich in Berlin},
  publisher = {Heise Online, Germany; 01.08.2015},
  year = 2015,
}

@misc{News124,
  keywords = {news report, online, Germany},
  title = {Beweis-Software: Sind Computer die besseren Mathematiker?},
  publisher = {Spiegel Online, Germany; 08.08.2015},
  year = 2015,
}

@misc{News125,
  keywords = {news report, interview, Germany},
  title = {G(x) = Gott},
  publisher = {Albert -- Das Journal der Einstein Stiftung Berlin, No. 1, Germany; 09/2015},
  year = 2015,
  url = {https://www.einsteinfoundation.de/albert/albert-nr-1-mathematik/gx-gott/},
}

@misc{News126,
  keywords = {news report, online, Germany},
  title = {Erwachen der Roboter -- Lernende Maschinen und die Intelligenz der Zukunft},
  publisher = {Bundeszentrale f{\"u}r politische Bildung (bpb), Germany; 08.07.2016},
  year = 2016,
  url = {https://www.bpb.de/mediathek/audio/231011/erwachen-der-roboter-lernende-maschinen-und-die-intelligenz-der-zukunft-audio/},
}

@misc{News127,
  keywords = {news report, video, International},
  title = {OEB 2016 -- Plenary Debate},
  publisher = {YouTube, International},
  year = 2016,
  url = {https://www.youtube.com/watch?v=ytnD-3q8ays},
}

@misc{News128,
  keywords = {news report, online, Germany},
  title = {Teaching Award of Freie Universit{\"a}t Berlin 2015: Logic Training 3.0},
  publisher = {Pressemitteilung FU Berlin, Germany; 01.02.2016},
  year = 2016,
}

@misc{News129,
  keywords = {news report, tv, International},
  title = {National Geographic Television -- Panel on the German premiere of Morgan Freeman's Story of God},
  publisher = {National Geographic, International; 07.04.2016},
  year = 2016,
  url = {http://christoph-benzmueller.de/images/2016-MorganFreemanStoryOfGod/API_StoryOfGod_0001.JPG},
}

@misc{News130,
  keywords = {news report, online, Germany},
  title = {FU-Lehrpreis f{\"u}r Christoph Benzm{\"u}ller -- Der Gottesbeweiser},
  publisher = {Tagesspiegel.de, Germany; 13.04.2016},
  year = 2016,
  url = {http://www.tagesspiegel.de/wissen/fu-lehrpreis-fuer-christoph-benzmueller-der-gottesbeweiser/13436120.html},
}

@misc{News131,
  keywords = {news report, online, Germany},
  title = {Forschen lernen im digitalen Zeitalter},
  publisher = {campus.leben, FU Berlin, Germany; 28.04.2016},
  year = 2016,
  url = {http://www.fu-berlin.de/campusleben/lernen-und-lehren/2016/160428-lehrpreis/index.html},
}

@misc{News132,
  keywords = {news report, tv, Germany},
  title = {3sat scobel -- Die Roboter-Rivalen (expert interview on AI and consciousness)},
  publisher = {3sat scobel, Germany; 28.07.2016},
  year = 2016,
}

@misc{News133,
  keywords = {news report, radio, Germany},
  title = {Hauptsache Mensch -- Es gibt einen Gott, sagt der Computer},
  publisher = {Die Evangelische Funkagentur, Germany; 28.09.2016},
  year = 2016,
}

@misc{News134,
  keywords = {news report, online, Germany},
  title = {Christoph Benzm{\"u}ller zur gro{\ss}en Frage},
  publisher = {Hohe Luft (Philosophie-Zeitschrift), Germany; 01.12.2016},
  year = 2016,
  url = {http://www.hoheluft-magazin.de/2016/12/wahrhaft-goettliche-grundwerte-christoph-benzmueller-zur-grossen-frage-2/},
}

@misc{News135,
  keywords = {news report, radio, Austria},
  title = {Radiokolleg: Die Welt begreifen -- Warum wir nicht wie Maschinen lernen (3 parts)},
  publisher = {{\"O}1 (ORF), Austria},
  year = 2017,
  url = {http://oe1.orf.at/programm/20170111/459531},
}

@misc{News136,
  keywords = {news report, online, Italy},
  title = {Un calcolo matematico dimostra l'esistenza di Dio},
  publisher = {CN24, Italy; 22.01.2017},
  year = 2017,
  url = {http://www.cn24tv.it/news/147822/un-calcolo-matematico-dimostra-l-esistenza-di-dio.html},
}

@misc{News137,
  keywords = {news report, radio, Germany},
  title = {Roboterethik: Die Maschinen werden autonom},
  publisher = {Deutschlandfunk, Germany; 10.05.2017},
  year = 2017,
  url = {http://www.deutschlandfunk.de/roboterethik-die-maschinen-werden-autonom.724.de.html?dram:article_id=385826},
}

@misc{News138,
  keywords = {news report, online, Germany},
  title = {Wir sehen uns in der Schule (Friederike L{\"u}bke)},
  publisher = {Die Welt, Germany; 18.09.2017},
  year = 2017,
  url = {https://www.welt.de/print/welt_kompakt/webwelt/article168734451/Wir-sehen-uns-in-der-Schule.html},
}

@misc{News139,
  keywords = {news report, online, Germany},
  title = {Berechnende Mathematik},
  publisher = {Berliner Mathematische Gesellschaft, Germany; 09.11.2017},
  year = 2017,
  url = {https://math.berlin/veranstaltungen/bmg-tag-2017.html},
}

@misc{News140,
  keywords = {news report, online, International},
  title = {Automation of G{\"o}del's Proof of God's Existence},
  publisher = {Decision Management Community, International; 18.11.2017},
  year = 2017,
  url = {https://dmcommunity.org/2017/11/18/automation-of-godels-proof-of-gods-existence/},
}

@misc{News141,
  keywords = {news report, video, International},
  title = {Mathematics and Reality (AISSQ keynote)},
  publisher = {YouTube, International},
  year = 2018,
  url = {https://www.youtube.com/watch?v=_ceTZ2jehT4},
}

@misc{News142,
  keywords = {news report, video, International},
  title = {A Flexible Reasoning Infrastructure for Normative Reasoning (DEON 2018 keynote)},
  publisher = {YouTube, International},
  year = 2018,
}

@misc{News143,
  keywords = {news report, online, Germany},
  title = {KI: Die Dampfmaschine 4.0 f{\"u}rs 21. Jahrhundert?},
  publisher = {Industry of Things, Germany; 05.09.2018},
  year = 2018,
  url = {http://web.archive.org/web/20250528024045/https://www.industry-of-things.de/ki-die-dampfmaschine-40-fuers-21-jahrhundert-a-751037/},
}

@misc{News144,
  keywords = {news report, online, India},
  title = {Odisha Governor inaugurates 11th AISSQ conference at IIT Bhubaneswar},
  publisher = {orissadiary.com, India; 07.10.2018},
  year = 2018,
  url = {http://web.archive.org/web/20220928004343/https://orissadiary.com/odisha-governor-inaugurates-11th-aissq-conference-mathematics-reality-iit-bhubaneshwar/},
}

@misc{News145,
  keywords = {news report, online, Brazil},
  title = {Artificial Intelligence Welcomes Humans},
  publisher = {DWIH S{\~a}o Paulo, Brazil; 10.09.2019},
  year = 2019,
  url = {https://www.dwih-saopaulo.org/en/topics/artificial-intelligence/artificial-intelligence-welcomes-humans/},
}

@misc{News146,
  keywords = {news report, video, Germany},
  title = {Der Ontologische Gottesbeweis, 71. Science Slam, SO36, Berlin-Kreuzberg},
  publisher = {YouTube, Germany},
  year = 2019,
  url = {https://www.youtube.com/watch?v=rXvboBiz7co},
}

@misc{News147,
  keywords = {news report, online, Germany},
  title = {Was bedeutet Wissenschaftsfreiheit f{\"u}r Sie?},
  publisher = {Der Tagesspiegel, Germany; 27.04.2019},
  year = 2019,
  url = {https://www.fu-berlin.de/presse/publikationen/tsp/2019/tsp-april-2019/wissenschaftsfreiheit/index.html},
}

@misc{News148,
  keywords = {news report, online, Germany},
  title = {Algorithmensicherheit: Von Logik umgebracht oder gerettet},
  publisher = {FAZ.net, Germany; 16.05.2019},
  year = 2019,
  url = {https://www.faz.net/aktuell/feuilleton/debatten/algorithmensicherheit-von-logik-umgebracht-oder-gerettet-16188833.html},
}

@misc{News149,
  keywords = {news report, online, Germany},
  title = {Von RoboFish und Baybie f{\"u}r die Zukunft lernen},
  publisher = {campus.leben, FU Berlin, Germany; 03.07.2019},
  year = 2019,
  url = {https://www.fu-berlin.de/campusleben/forschen/2019/190702-dcmlr/index.html},
}

@misc{News150,
  keywords = {news report, online, International},
  title = {World-championship in Automated Reasoning: computer scientist awarded},
  publisher = {University of Luxembourg, International; 04.09.2019},
  year = 2019,
  url = {https://wwwen.uni.lu/university/news/latest_news/world_championship_in_automated_reasoning_computer_scientist_awarded},
}

@misc{News151,
  keywords = {news report, online, Germany},
  title = {Gibt es eine Logik des Glaubens?},
  publisher = {Spektrum der Wissenschaft, Germany; 08.09.2019},
  year = 2019,
  url = {https://www.spektrum.de/kolumne/freistetters-formelwelt-gibt-es-eine-logik-des-glaubens/1670946},
}

@misc{News152,
  keywords = {news report, online, Germany},
  title = {AI Camp: Wie beeinflusst K{\"u}nstliche Intelligenz unseren Alltag?},
  publisher = {inar.de, Germany; 09.09.2019},
  year = 2019,
  url = {https://www.inar.de/ai-camp-wie-beeinflusst-kuenstliche-intelligenz-unseren-alltag/},
}

@misc{News153,
  keywords = {news report, online, Germany},
  title = {KI 2019: Choreograph will Roboter zum Flashmob animieren},
  publisher = {Heise.de, Germany; 25.09.2019},
  year = 2019,
  url = {https://www.heise.de/newsticker/meldung/KI-2019-Choreograph-will-Roboter-zum-Flashmob-animieren-4538032.html},
}

@misc{News154,
  keywords = {news report, online, Germany},
  title = {KI 2019: Argument Mining -- Computern das Widersprechen beibringen},
  publisher = {Heise.de, Germany; 25.09.2019},
  year = 2019,
  url = {https://www.heise.de/newsticker/meldung/KI-2019-Argument-Mining-Computern-das-Widersprechen-beibringen-4540182.html},
}

@misc{News155,
  keywords = {news report, online, Germany},
  title = {KI 2019: Roboter m{\"u}ssen immer noch viel lernen},
  publisher = {Heise.de, Germany; 26.09.2019},
  year = 2019,
  url = {https://www.heise.de/newsticker/meldung/KI-2019-Roboter-muessen-immer-noch-viel-lernen-4541544.html},
}

@misc{News156,
  keywords = {news report, online, Germany},
  title = {KI 2019: Z{\"u}ge, die aufeinander zurasen -- KI-Entwicklungen f{\"u}rs Milit{\"a}r im Fokus},
  publisher = {Heise.de, Germany; 27.09.2019},
  year = 2019,
  url = {https://www.heise.de/newsticker/meldung/KI-2019-Zuege-die-aufeinander-zurasen-KI-Entwicklungen-fuers-Militaer-im-Fokus-4538451.html},
}

@misc{News157,
  keywords = {news report, online, Germany},
  title = {Ist die Existenz Gottes logisch?},
  publisher = {Spektrum der Wissenschaft, Germany; 16.10.2019},
  year = 2019,
  url = {https://www.spektrum.de/magazin/ist-die-existenz-gottes-logisch/1675662},
}

@misc{News158,
  keywords = {news report, online, Germany},
  title = {Beim AI-Camp geht es um K{\"u}nstliche Intelligenz},
  publisher = {Wolfsburger Nachrichten, Germany; 24.10.2019},
  year = 2019,
  url = {https://www.wolfsburger-nachrichten.de/wolfsburg/article227458889/Wolfsburg-Beim-AI-Camp-dreht-sich-alles-um-Kuenstliche-Intelligenz.html},
}

@misc{News159,
  keywords = {news report, interview, Brazil},
  title = {School of Computer Science's 40th anniversary lecture by Christoph Benzm{\"u}ller},
  publisher = {PUCRS, Brazil; 12.12.2019},
  year = 2019,
  url = {http://www.pucrs.br/en/blog/school-of-computer-science-40th-anniversary-celebrations-come-to-close-with-lecture-by-christoph-benzmuller/},
}

@misc{News160,
  keywords = {news report, tv, Germany},
  title = {ZDF heute+ -- Vollautomatisierte ,,Killerroboter''},
  publisher = {ZDF heute+, Germany; 30.01.2020},
  year = 2020,
}

@misc{News161,
  keywords = {news report, tv, Germany},
  title = {ZDF Morgenmagazin -- Vollautomatisierte ,,Killerroboter''},
  publisher = {ZDF Morgenmagazin, Germany; 31.01.2020},
  year = 2020,
}

@misc{News162,
  keywords = {news report, tv, Germany},
  title = {ZDF heute in Deutschland -- Bundestag stimmt {\"u}ber ,,Killerroboter`` ab},
  publisher = {ZDF heute, Germany; 31.01.2020},
  year = 2020,
}

@misc{News163,
  keywords = {news report, online, France},
  title = {Existence de Dieu: les math{\'e}matiques ont enfin la r{\'e}ponse},
  publisher = {Science \& Vie, France; 03.08.2020},
  year = 2020,
  url = {https://www.science-et-vie.com/archives/pourquoi-on-croit-en-dieu-les-mathematiques-ont-enfin-la-reponse-57595},
}

@misc{News164,
  keywords = {news report, online, Germany},
  title = {Kann man Gott mathematisch beweisen?},
  publisher = {Die Tagespost, Germany; 08.10.2020},
  year = 2020,
  url = {https://www.die-tagespost.de/leben/bildung/gott-logisch;art4888,212649},
}

@misc{News165,
  keywords = {news report, video, International},
  title = {Una Europa Talk -- Resistance is Futile. You Will be Digitalized!},
  publisher = {YouTube, International; 2019/2020},
  year = 2019,
  url = {https://www.youtube.com/watch?v=cLrjmCb96Jc&t=3063s},
}

@misc{News166,
  keywords = {news report, online, Germany},
  title = {Vertrauensw{\"u}rdige und Verantwortungsvolle KI f{\"u}r unsere gro{\ss}e Stadt (Science Slam, Wissensstadt Berlin 2021 -- contest winner)},
  publisher = {FU Berlin, Germany},
  year = 2021,
  url = {https://www.fu-berlin.de/presse/informationen/fup/2021/fup_21_148-science-slam-wissensstadt-mit-professor-ziegler-als-moderator/index.html},
}

@misc{News167,
  keywords = {news report, video, International},
  title = {Classical Higher-Order Logic (HOL) -- Automation and Selected Applications},
  publisher = {YouTube, International},
  year = 2021,
  url = {https://www.youtube.com/watch?v=XaxCeVOMfQ4},
}

@misc{News168,
  keywords = {news report, video, International},
  title = {Ontology Talk: An Interview with Prof. Christoph Benzm{\"u}ller (Parts 1--3)},
  publisher = {YouTube (Ontology Talk by Adam Pease), International},
  year = 2021,
  note = {<a href="https://youtu.be/TXk4ym98EfQ">part 2</a>, <a href="https://youtu.be/HOhZ6XPBByI">part 3</a>},
  url = {https://youtu.be/SU6A0tZj_PE},
}

@misc{News169,
  keywords = {news report, interview, Germany},
  title = {Vorbild Biologie: Wie funktioniert K{\"u}nstliche Intelligenz? (with Robin Hiesinger)},
  publisher = {Der Tagesspiegel, Germany; 03.07.2021},
  year = 2021,
  url = {https://www.fu-berlin.de/presse/publikationen/tsp/2021/tsp-juli-2021/kuenstliche-intelligenz/index.html},
}

@misc{News170,
  keywords = {news report, interview, China},
  title = {Zhejiang University and University of Luxembourg inaugurate joint lab},
  publisher = {ZJU Newsroom, China; 09.12.2021},
  year = 2021,
}

@misc{News171,
  keywords = {news report, online, Germany},
  title = {K{\"u}nstliche Intelligenz nicht mehr wegzudenken aus unser aller Zukunft},
  publisher = {Universit{\"a}t Bamberg, Germany; 23.03.2022},
  year = 2022,
  url = {https://www.uni-bamberg.de/news/artikel/neuer-professor-benzmueller/},
}

@misc{News172,
  keywords = {news report, interview, Germany},
  title = {Die neuen Professoren an der Uni Bamberg, Teil 1},
  publisher = {Fr{\"a}nkischer Tag, Germany; 24.10.2022},
  year = 2022,
}

@misc{News173,
  keywords = {news report, video, International},
  title = {Humanities and the Rise of AI -- The Computer as Experimental Metaphysician?},
  publisher = {YouTube, International},
  year = 2022,
  url = {https://youtu.be/X4GYd22rV0A},
}

@misc{News174,
  keywords = {news report, video, International},
  title = {Logico-pluralistic Exploration of Foundational Theories with Computers (Topos Institute Colloquium)},
  publisher = {YouTube, International},
  year = 2022,
  url = {https://www.youtube.com/watch?v=c3qfeSmhN-8},
}

@misc{News175,
  keywords = {news report, video, International},
  title = {Trusted AI through Ethico-Legal Governors},
  publisher = {YouTube, International},
  year = 2022,
  url = {https://youtu.be/XbHZgxzggkQ?t=1019},
}

@misc{News176,
  keywords = {news report, video, International},
  title = {What is AI?},
  publisher = {YouTube, International},
  year = 2022,
  url = {https://youtu.be/Ns7dENIeGw0},
}

@misc{News177,
  keywords = {news report, radio, Germany},
  title = {Wenn der Computer entscheidet -- M{\"o}glichkeiten und Grenzen von KI},
  publisher = {Deutschlandfunk, Germany; 15.01.2022},
  year = 2022,
  url = {https://www.deutschlandfunk.de/wenn-der-computer-entscheidet-moeglichkeiten-und-grenzen-von-ki-100.html},
}

@misc{News178,
  keywords = {news report, radio, Germany},
  title = {Seele reloaded: Menschliches Bewusstsein zwischen digitalen Clouds und KI},
  publisher = {SWR2, Germany; 25.03.2022},
  year = 2022,
  url = {https://www.swr.de/swr2/doku-und-feature/seele-reloaded-menschliches-bewusstsein-zwischen-digitalen-clouds-und-kuenstlicher-intelligenz-swr2-feature-2022-03-27-100.html},
}

@misc{News179,
  keywords = {news report, video, Germany},
  title = {Terra X -- Die gro{\ss}en Fragen: Gibt es Gott? (full documentary, Harald Lesch; features Benzm{\"u}ller's computer analysis of G{\"o}del's proof)},
  publisher = {ZDF Terra X, Germany},
  year = 2023,
  url = {https://www.youtube.com/watch?v=3t0Woaat9RU},
}

@misc{News180,
  keywords = {news report, online, Germany},
  title = {Harald Lesch geht zur besten Sendezeit im ZDF der Gottesfrage nach},
  publisher = {promisglauben.de, Germany},
  year = 2023,
  url = {https://promisglauben.de/harald-lesch-geht-zur-besten-sendezeit-im-zdf-der-gottesfrage-nach/},
}

@misc{News181,
  keywords = {news report, online, Germany},
  title = {Harald Lesch sucht einen Gottesbeweis (on the ZDF Terra X episode featuring Benzm{\"u}ller's work)},
  publisher = {pro Medienmagazin, Germany},
  year = 2023,
  url = {https://www.pro-medienmagazin.de/harald-lesch-sucht-einen-gottesbeweis/},
}

@misc{News182,
  keywords = {news report, interview, Germany},
  title = {ChatGPT, KI \& Gott (Servus KI! Podcast)},
  publisher = {Servus KI! Podcast, Germany; 2023},
  year = 2023,
  url = {https://servus-ki.podigee.io/3-chatgpt},
}

@misc{News183,
  keywords = {news report, video, Germany},
  title = {ChatGPT, KI \& Gott},
  publisher = {YouTube, Germany},
  year = 2023,
  url = {https://www.youtube.com/watch?v=GCwpHaFaHMw},
}

@misc{News184,
  keywords = {news report, video, Germany},
  title = {Ethik \& K{\"u}nstliche Intelligenz},
  publisher = {YouTube, Germany},
  year = 2023,
  url = {https://www.youtube.com/watch?v=BYBc-VJwaLQ},
}

@misc{News185,
  keywords = {news report, online, Germany},
  title = {Der Papagei im Netz},
  publisher = {FU Berlin, Germany; 19.02.2023},
  year = 2023,
  url = {https://www.fu-berlin.de/campusleben/forschen/2023/230219-tsp-kuenstliche-intelligenz/index.html},
}

@misc{News186,
  keywords = {news report, online, Germany},
  title = {K{\"u}nstliche Intelligenz: Der plappernde Papagei im Netz},
  publisher = {Der Tagesspiegel, Germany; 19.02.2023},
  year = 2023,
  url = {https://www.tagesspiegel.de/kunstliche-intelligenz-der-plappernde-papagei-im-netz-9381044.html},
}

@misc{News187,
  keywords = {news report, tv, Germany},
  title = {ZDF Terra X -- Die gro{\ss}en Fragen: Gibt es Gott? (with Harald Lesch; >4 million viewers)},
  publisher = {ZDF Terra X, Germany; 16.04.2023},
  year = 2023,
  url = {https://www.zdf.de/dokumentation/terra-x/die-grossen-fragen-gibt-es-gott-mit-harald-lesch-doku-100.html},
}

@misc{News188,
  keywords = {news report, interview, Germany},
  title = {Existiert Gott? Ist doch logisch! (Drei Fragen an ...)},
  publisher = {Leben im Erzbistum Bamberg, Germany; 2024},
  year = 2024,
  url = {https://leben.erzbistum-bamberg.de/drei-fragen-an.../a-e/nachricht-im-detail/Existiert-Gott-Ist-doch-logisch/},
}

@misc{News189,
  keywords = {news report, online, Germany},
  title = {KI-Experte pl{\"a}diert f{\"u}r ,,Harmonie zwischen Wissenschaft und Glauben``},
  publisher = {promisglauben.de, Germany},
  year = 2024,
  url = {https://promisglauben.de/ki-experte-plaediert-fuer-harmonie-zwischen-wissenschaft-und-glauben/},
}

@misc{News190,
  keywords = {news report, video, International},
  title = {AI Consciousness -- Notes from a Logician's Perspective},
  publisher = {YouTube, International},
  year = 2024,
  url = {https://www.youtube.com/watch?v=_-9Jn3oOt_4},
}

@misc{News191,
  keywords = {news report, video, International},
  title = {Comments on the Formalisation and Automation of Foundational Theories (LogiKEy)},
  publisher = {YouTube, International},
  year = 2024,
  url = {https://www.youtube.com/watch?v=1yYldjkZJZQ},
}

@misc{News192,
  keywords = {news report, online, Germany},
  title = {KI im Kampf},
  publisher = {CHIP, Germany; 01.03.2024},
  year = 2024,
  url = {https://de.readly.com/magazines/chip/2024-03-01/65dc7e586f6e33a0731fac1a},
}

@misc{News193,
  keywords = {news report, online, Germany},
  title = {KI-Forscher: Reale Existenz Gottes nicht absolut sicher, aber ...},
  publisher = {katholisch.de, Germany; 19.04.2024},
  year = 2024,
  url = {https://katholisch.de/artikel/52761-ki-forscher-reale-existenz-gottes-nicht-absolut-sicher-aber},
}

@misc{News194,
  keywords = {news report, online, Germany},
  title = {KI Insights: Ethik, Innovation und die globale Perspektive auf KI (series Jung und Alt bewegt)},
  publisher = {Vereinigung Deutscher Wissenschaftler, Germany; 27.04.2024},
  year = 2024,
  url = {https://vdw-ev.de/bericht-jung-und-alt-bewegt-ki/},
}

@misc{News195,
  keywords = {news report, online, Germany},
  title = {Wissenschaftliche Expertise zum AI Act -- Interviewangebot mit Christoph Benzm{\"u}ller},
  publisher = {Universit{\"a}t Bamberg, Germany; 2025},
  year = 2025,
  url = {https://www.uni-bamberg.de/presse/expertise-an-der-universitaet/artikel/expertise-ai-act/},
}

@misc{News196,
  keywords = {news report, interview, Spain},
  title = {,,Habemus papam'' matem{\'a}tico, pero lo que dicen las mates de la existencia de Dios es una trampa (interview with Benzm{\"u}ller on Pope Leo XIV and G{\"o}del's proof)},
  publisher = {El Confidencial, Spain; 04.06.2026},
  year = 2026,
  url = {https://www.elconfidencial.com/tecnologia/ciencia/2026-06-04/papa-leon-xiv-matematico-demostrar-existencia-de-dios_4367472/},
}