< 1171065925 0 :ihope_!n=ihope@c-71-205-100-59.hsd1.mi.comcast.net JOIN :#esoteric < 1171066449 0 :ShadowHntr!i=sentinel@wikipedia/Shadowhntr JOIN :#esoteric < 1171066825 0 :Sgeo!n=sgeo@ool-18bf61f7.dyn.optonline.net JOIN :#esoteric < 1171067001 0 :ihope!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1171070668 0 :oerjan!unknown@unknown.invalid QUIT :"leaving" < 1171070787 0 :ihope_!unknown@unknown.invalid QUIT :Read error: 54 (Connection reset by peer) < 1171071075 0 :sebbu2!n=sebbu@ADijon-152-1-81-250.w83-203.abo.wanadoo.fr JOIN :#esoteric < 1171072040 0 :oklofok!unknown@unknown.invalid QUIT :Connection timed out < 1171072209 0 :sebbu!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1171072595 0 :sebbu2!unknown@unknown.invalid QUIT :Client Quit < 1171073059 0 :oklopol!n=villsalo@194.251.102.88 JOIN :#esoteric < 1171074529 0 :oklofok!n=villsalo@194.251.102.88 JOIN :#esoteric < 1171074546 0 :oklopol!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1171074586 0 :kxspxr!unknown@unknown.invalid QUIT : < 1171076727 0 :oklofok!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1171076740 0 :oklopol!n=villsalo@194.251.102.88 JOIN :#esoteric < 1171078129 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ACTION goes to bed < 1171079388 0 :oklopol!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1171079446 0 :oklopol!i=okokokok@194.251.102.88 JOIN :#esoteric < 1171082213 0 :SevenInchBread!n=CakeProp@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1171082823 0 :crathman!n=chatzill@209.11.151.115 JOIN :#esoteric < 1171085384 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :G'night all < 1171086276 0 :oklofok!i=okokokok@194.251.102.88 JOIN :#esoteric < 1171086288 0 :oklopol!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1171087429 0 :oklofok!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1171088004 0 :Sgeo!unknown@unknown.invalid QUIT :"Leaving" < 1171088574 0 :oklopol!n=villsalo@194.251.102.88 JOIN :#esoteric < 1171090279 0 :oklopol!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1171090294 0 :oklofok!n=villsalo@194.251.102.88 JOIN :#esoteric < 1171091437 0 :ShadowHntr!unknown@unknown.invalid QUIT :"End of line." < 1171091785 0 :RodgerTheGreat!unknown@unknown.invalid QUIT :Remote closed the connection < 1171091828 0 :RodgerTheGreat!n=Rodger@wads-5-233-75.resnet.mtu.edu JOIN :#esoteric < 1171094399 0 :clog!unknown@unknown.invalid QUIT :ended < 1171094400 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1171094772 0 :RodgerTheGreat!unknown@unknown.invalid QUIT : < 1171095911 0 :oklopol!i=okokokok@194.251.102.88 JOIN :#esoteric < 1171095945 0 :oklofok!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1171099282 0 :nazgjunk!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1171101708 0 :RodgerTheGreat!n=Rodger@wads-5-232-13.resnet.mtu.edu JOIN :#esoteric < 1171101767 0 :RodgerTheGreat_!n=Rodger@wads-5-233-248.resnet.mtu.edu JOIN :#esoteric < 1171101971 0 :sebbu!n=sebbu@ADijon-152-1-19-25.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1171102803 0 :RodgerTheGreat!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1171102847 0 :jix__!n=jix@L639d.l.strato-dslnet.de JOIN :#esoteric < 1171105086 0 :sebbu2!n=sebbu@ADijon-152-1-52-71.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1171105589 0 :sebbu!unknown@unknown.invalid QUIT :Read error: 145 (Connection timed out) < 1171106423 0 :tgwizard!n=tgwizard@c-9b3ee155.178-1-64736c10.cust.bredbandsbolaget.se JOIN :#esoteric < 1171108674 0 :nazgjunk!unknown@unknown.invalid QUIT :"Bi-la Kaifa" < 1171109378 0 :sebbu2!unknown@unknown.invalid NICK :sebbu < 1171114942 0 :SevenInchBread!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1171114958 0 :SevenInchBread!n=CakeProp@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1171115953 0 :Sgeo!n=sgeo@ool-18bf61f7.dyn.optonline.net JOIN :#esoteric < 1171126535 0 :nazgjunk!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1171128596 0 :crathman_!n=chatzill@cpe-76-185-186-143.tx.res.rr.com JOIN :#esoteric < 1171128940 0 :crathman__!n=chatzill@209.11.151.115 JOIN :#esoteric < 1171128982 0 :crathman__!unknown@unknown.invalid QUIT :Remote closed the connection < 1171129562 0 :crathman!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1171129781 0 :crathman!n=chatzill@cpe-76-185-186-143.tx.res.rr.com JOIN :#esoteric < 1171129964 0 :crathman_!unknown@unknown.invalid QUIT :Connection timed out < 1171132152 0 :crathman!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1171132186 0 :crathman!n=chatzill@cpe-76-185-186-143.tx.res.rr.com JOIN :#esoteric < 1171133423 0 :ihope!n=ihope@c-71-205-100-59.hsd1.mi.comcast.net JOIN :#esoteric < 1171135432 0 :RodgerTheGreat_!unknown@unknown.invalid NICK :RodgerTheGreat < 1171136519 0 :calamari!n=calamari@ip72-200-73-175.tc.ph.cox.net JOIN :#esoteric < 1171136634 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :ACTION types "one plus one" into Google and ends up with "two" < 1171136661 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Aww, but "two divided by four" gives "0.5". < 1171136685 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Hmm. "one plus 1" and "one + 1" both also give "two"/ < 1171136705 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :But "1 plus 1" and "1 + 1" give "2". < 1171136740 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :By the way, this was all sparked by my typing "6 billion * 15" into Google and getting "ninety billion". < 1171136798 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :ACTION types in "three million nine hundred fifty-four thousand two hundred sixteen plus one" < 1171137369 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i seldom use any other calculator than google < 1171137408 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i don't have to strip off units and it even translates them to a composite unit if necessary < 1171138475 0 :nazgjunk!unknown@unknown.invalid QUIT :Read error: 54 (Connection reset by peer) < 1171138610 0 :nazgjunk!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1171142855 0 :Arrogant!n=Arrogatn@12.78.67.26 JOIN :#esoteric < 1171143673 0 :digital_me!n=digital@h-69-3-49-13.dnvtco56.dynamic.covad.net JOIN :#esoteric < 1171144139 0 :Arrogant!unknown@unknown.invalid QUIT :"Leaving" < 1171147395 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :h < 1171147527 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :j < 1171148120 0 :jix__!unknown@unknown.invalid QUIT :"Bitte waehlen Sie eine Beerdigungnachricht" < 1171148141 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1171148207 0 :nazgjunk!unknown@unknown.invalid NICK :nazgyunk < 1171148243 0 :nazgyunk!unknown@unknown.invalid NICK :nazgjunk < 1171148528 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :klyubn? < 1171148759 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Yay, NetHack! < 1171148767 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Also, it's yulkjhnb. < 1171148840 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ITYM hykulnjb < 1171148996 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Let's say it's both. < 1171149037 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Hey, hykulnjb goes clockwise... < 1171149061 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :what about it? < 1171149238 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :It goes clockwise. < 1171149657 0 :RodgerTheGreat!unknown@unknown.invalid QUIT : < 1171149923 0 :RodgerTheGreat!n=Rodger@wads-5-233-248.resnet.mtu.edu JOIN :#esoteric < 1171149982 0 :pgimeno!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1171150422 0 :tgwizard!unknown@unknown.invalid QUIT :Remote closed the connection < 1171150870 0 :cmeme!unknown@unknown.invalid QUIT :Read error: 131 (Connection reset by peer) < 1171150976 0 :pgimeno!n=pgimeno@124.Red-80-59-211.staticIP.rima-tde.net JOIN :#esoteric < 1171151017 0 :crathman!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1171151018 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1171151023 0 :crathman_!n=chatzill@cpe-76-185-186-143.tx.res.rr.com JOIN :#esoteric < 1171151025 0 :crathman_!unknown@unknown.invalid NICK :crathman < 1171151181 0 :crathman!unknown@unknown.invalid QUIT :Client Quit < 1171151541 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :barg < 1171151553 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :seems like the halting problem should be possible < 1171151602 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Hmm? < 1171151609 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ahem? < 1171151612 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Despite a proof of the contrary? < 1171151623 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1171151631 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Why? < 1171151634 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :i dunno < 1171151650 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION readies his gun to shoot holes in bsmntbombdood's arguments < 1171151663 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :I don't have any arguments < 1171151714 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :that's good because i don't have a gun < 1171151751 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :(define (f) 1) < 1171151756 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :easy to see that f halts < 1171151779 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :(define (f) (cond ((= 0 1) (f)) (else 1))) < 1171151781 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :likewise < 1171151831 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Neither of those is recursive. < 1171151845 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(define (f) (cond ((exists odd perfect number) (f)) (else 1))) - not so easy < 1171151869 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :ihope: the second one is < 1171151878 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :actually turn that around < 1171151887 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Well, yeah, I guess. < 1171151890 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :But oerjan's... < 1171151903 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(define (f) (cond ((exists odd perfect number) 1) (else (f)))) < 1171151922 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :well, we obviously need to know what exists returns < 1171151939 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :but we can rephrase that as: < 1171151986 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :to see if that halts we see if EXISTS halts, then if it does, find what it returns < 1171151991 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(define (f n) (cond ((perfect n) 1) (else (f (+ n 2))))) (f 3)