Skip to main content
MathOverflow

Return to Question

added 1 character in body
Source Link
Denis Serre
Denis Serre
  • 52.3k
  • 10
  • 146
  • 300

For a decade or so, Christoph Benzmüller from Berlin has explored Gödel's ontological proof (and variants) of existence of God. He uses the proof assistant Isabelle/HOL. IHe recently posted a preprint, which was highlighted by the cover of the French magazine Science et Vie.

Well, I am not familiar with AI, yet even less with applications to metaphysics. But many practitioners of MO must be. I should like to know how serious is Benzmüller's work considered in this community. Is it controversial or is this considered a respectable research activity ?

For a decade or so, Christoph Benzmüller from Berlin has explored Gödel's ontological proof (and variants) of existence of God. He uses the proof assistant Isabelle/HOL. I recently posted a preprint, which was highlighted by the cover of the French magazine Science et Vie.

Well, I am not familiar with AI, yet even less with applications to metaphysics. But many practitioners of MO must be. I should like to know how serious is Benzmüller's work considered in this community. Is it controversial or is this considered a respectable research activity ?

For a decade or so, Christoph Benzmüller from Berlin has explored Gödel's ontological proof (and variants) of existence of God. He uses the proof assistant Isabelle/HOL. He recently posted a preprint, which was highlighted by the cover of the French magazine Science et Vie.

Well, I am not familiar with AI, yet even less with applications to metaphysics. But many practitioners of MO must be. I should like to know how serious is Benzmüller's work considered in this community. Is it controversial or is this considered a respectable research activity ?

Source Link
Denis Serre
Denis Serre
  • 52.3k
  • 10
  • 146
  • 300

Gödel's ontological proof & Benzmüller's work

For a decade or so, Christoph Benzmüller from Berlin has explored Gödel's ontological proof (and variants) of existence of God. He uses the proof assistant Isabelle/HOL. I recently posted a preprint, which was highlighted by the cover of the French magazine Science et Vie.

Well, I am not familiar with AI, yet even less with applications to metaphysics. But many practitioners of MO must be. I should like to know how serious is Benzmüller's work considered in this community. Is it controversial or is this considered a respectable research activity ?