go ahead... be a heretic PerlMonks

### Goedel's Proof of God in Perl

by Jambo Hamon (Novice)
 on Jul 09, 2017 at 12:38 UTC Need Help??

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 (Bishop) 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/'
```(\$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,
```\$ 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

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
\$
```#!/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?

Re: Goedel's Proof of God in Perl
by Anonymous Monk on Jul 11, 2017 at 13:01 UTC
my \$perl = \$perl;
```my \$perl = 666;
{
my \$perl = \$perl;
print "\$perl\n";
}

Create A New User
Node Status?
node history
Node Type: perlmeditation [id://1194607]
Approved by LanX
help
Chatterbox?
and all is quiet...

How do I use this? | Other CB clients
Other Users?
Others pondering the Monastery: (3)
As of 2018-05-25 20:39 GMT
Sections?
Information?
Find Nodes?
Leftovers?
Voting Booth?
World peace can best be achieved by:

Results (191 votes). Check out past polls.

Notices?