Beefy Boxes and Bandwidth Generously Provided by pair Networks
Perl Monk, Perl Meditation

Goedel's Proof of God in Perl

by Jambo Hamon (Novice)
on Jul 09, 2017 at 12:38 UTC ( #1194607=perlmeditation: print w/replies, xml ) 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:

Having fun if you are,

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 Use of uninitialized value in say at 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"; }

Log In?

What's my password?
Create A New User
Node Status?
node history
Node Type: perlmeditation [id://1194607]
Approved by LanX
and the web crawler heard nothing...

How do I use this? | Other CB clients
Other Users?
Others pondering the Monastery: (6)
As of 2018-09-25 12:39 GMT
Find Nodes?
    Voting Booth?
    Eventually, "covfefe" will come to mean:

    Results (199 votes). Check out past polls.

    • (Sep 10, 2018 at 22:53 UTC) Welcome new users!