ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2001.04701
  4. Cited By
A (Simplified) Supreme Being Necessarily Exists, says the Computer:
  Computationally Explored Variants of Gödel's Ontological Argument
v1v2v3v4v5v6v7v8v9v10 (latest)

A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel's Ontological Argument

14 January 2020
Christoph Benzmüller
ArXiv (abs)PDFHTML

Papers citing "A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel's Ontological Argument"

2 / 2 papers shown
Title
A Simplified Variant of Gödel's Ontological Argument
A Simplified Variant of Gödel's Ontological Argument
Christoph Benzmüller
21
1
0
13 Feb 2022
Applying Second-Order Quantifier Elimination in Inspecting Gödel's
  Ontological Proof
Applying Second-Order Quantifier Elimination in Inspecting Gödel's Ontological Proof
C. Wernhard
24
0
0
21 Oct 2021
1