Beefy Boxes and Bandwidth Generously Provided by pair Networks
Perl: the Markov chain saw
 
PerlMonks  

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:
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"; }

Log In?
Username:
Password:

What's my password?
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 cooling their heels in the Monastery: (4)
As of 2017-12-17 22:12 GMT
Sections?
Information?
Find Nodes?
Leftovers?
    Voting Booth?
    What programming language do you hate the most?




















    Results (466 votes). Check out past polls.

    Notices?