Experiments in Computational Metaphysics: Gödel's Proof of God's Existence. Benzmüller, C. & Woltzenlogel Paleo, B. Savijnanam: scientific exploration for a spiritual paradigm. Journal of the Bhaktivedanta Institute, 9:43-57, 2017.
Experiments in Computational Metaphysics: Gödel's Proof of God's Existence [link]Paper  Experiments in Computational Metaphysics: Gödel's Proof of God's Existence [link]Preprint  bibtex   
@Article{J36,
  Keywords =	 {own, Automated Reasoning, Intensional Higher-Order
                  Modal Logic, Higher Order Logic},
  author =	 {Christoph Benzm{\"u}ller and Woltzenlogel Paleo,
                  Bruno},
  title =	 {Experiments in {Computational Metaphysics}:
                  {G\"odel's} Proof of {God's} Existence},
  journal =	 {Savijnanam: scientific exploration for a spiritual
                  paradigm. Journal of the Bhaktivedanta Institute},
  year =	 2017,
  volume =	 9,
  pages =	 {43-57},
  url =
                  {https://sites.google.com/binstitute.org/journal/article-3-page-43},
  issn =	 {0972-6586},
  url_preprint = {https://www.researchgate.net/publication/334519782},
}

Downloads: 0