Hi Monks,

Anyone willing to take a crack at transliterating Goedel's ontological proof of the existence of God into Perl?

Two versions of the proof can be easily found:
http://page.mi.fu-berlin.de/cbenzmueller/papers/C40.pdf
http://wwwmath.uni-muenster.de/logik/Veranstaltungen/cl2010/slides/brendel.pdf

Having fun if you are,
Jambo

Replies are listed 'Best First'.
Re: Goedel's Proof of God in Perl
by choroba (Cardinal) on Jul 09, 2017 at 20:37 UTC
    Perl is different to logical systems. It's aware of its creator: 
    perl -v | perl -lane 'print "@F[-2, -1]" if /Copyright/'

    [download]
    ($q=q:Sq=~/;[c](.)(.)/;chr(-||-|5+lengthSq)`"S|oS2"`map{chr |+ord
}map{substrSq`S_+|`|}3E|-|`7**2-3:)=~y+S|`+$1,++print+eval$q,q,a,

    [download]
[reply]
[d/l]
[select]
      $ perl -v | perl -lane 'print "@F[-2, -1]" if /Copyright/'
Larry Wall
you have mail in /var/mail/james
$ mail
Mail version 8.1.2 01/15/2001.  Type ? for help.
"/var/mail/james": 5469 messages 1266 new 5469 unread

      [download]

      If that's true, this should help.

      a first attempt; didn't make it all the way through 

      $ perl goedel.pl                                                  
Use of uninitialized value in say at goedel.pl line 7.

1


1
$

      [download]
      #!/usr/bin/perl

use warnings;
use strict;
use v5.20;

say undef;
say !undef;
say !!undef;

say map { grep { // } @_ } (!undef)[!!undef];
{
    say 1;
}
exit $?;
# what is the exit status?

      [download]
[reply]
[d/l]
[select]
Re: Goedel's Proof of God in Perl
by Anonymous Monk on Jul 11, 2017 at 13:01 UTC
     my $perl = $perl;
[reply]
[d/l]
      my $perl = 666;
{
   my $perl = $perl;
   print "$perl\n";
}

      [download]
[reply]
[d/l]

Back to Meditations