00:05:25 -!- ihope_ has joined. 00:14:09 -!- ShadowHntr has joined. 00:20:25 -!- Sgeo has joined. 00:23:21 -!- ihope has quit (Read error: 110 (Connection timed out)). 01:24:28 -!- oerjan has quit ("leaving"). 01:26:27 -!- ihope_ has quit (Read error: 54 (Connection reset by peer)). 01:31:15 -!- sebbu2 has joined. 01:47:20 -!- oklofok has quit (Connection timed out). 01:50:09 -!- sebbu has quit (Read error: 110 (Connection timed out)). 01:56:35 -!- sebbu2 has quit (Client Quit). 02:04:19 -!- oklopol has joined. 02:28:49 -!- oklofok has joined. 02:29:06 -!- oklopol has quit (Read error: 104 (Connection reset by peer)). 02:29:46 -!- kxspxr has quit. 03:05:27 -!- oklofok has quit (Read error: 104 (Connection reset by peer)). 03:05:40 -!- oklopol has joined. 03:28:49 * SimonRC goes to bed 03:49:48 -!- oklopol has quit (Read error: 110 (Connection timed out)). 03:50:46 -!- oklopol has joined. 04:36:53 -!- SevenInchBread has joined. 04:47:03 -!- crathman has joined. 05:29:44 G'night all 05:44:36 -!- oklofok has joined. 05:44:48 -!- oklopol has quit (Read error: 104 (Connection reset by peer)). 06:03:49 -!- oklofok has quit (Read error: 110 (Connection timed out)). 06:13:24 -!- Sgeo has quit ("Leaving"). 06:22:54 -!- oklopol has joined. 06:51:19 -!- oklopol has quit (Read error: 104 (Connection reset by peer)). 06:51:34 -!- oklofok has joined. 07:10:37 -!- ShadowHntr has quit ("End of line."). 07:16:25 -!- RodgerTheGreat has quit (Remote closed the connection). 07:17:08 -!- RodgerTheGreat has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:06:12 -!- RodgerTheGreat has quit. 08:25:11 -!- oklopol has joined. 08:25:45 -!- oklofok has quit (Read error: 104 (Connection reset by peer)). 09:21:22 -!- nazgjunk has joined. 10:01:48 -!- RodgerTheGreat has joined. 10:02:47 -!- RodgerTheGreat_ has joined. 10:06:11 -!- sebbu has joined. 10:20:03 -!- RodgerTheGreat has quit (Read error: 110 (Connection timed out)). 10:20:47 -!- jix__ has joined. 10:58:06 -!- sebbu2 has joined. 11:06:29 -!- sebbu has quit (Read error: 145 (Connection timed out)). 11:20:23 -!- tgwizard has joined. 11:57:54 -!- nazgjunk has quit ("Bi-la Kaifa"). 12:09:38 -!- sebbu2 has changed nick to sebbu. 13:42:22 -!- SevenInchBread has quit (Read error: 104 (Connection reset by peer)). 13:42:38 -!- SevenInchBread has joined. 13:59:13 -!- Sgeo has joined. 16:55:35 -!- nazgjunk has joined. 17:29:56 -!- crathman_ has joined. 17:35:40 -!- crathman__ has joined. 17:36:22 -!- crathman__ has quit (Remote closed the connection). 17:46:02 -!- crathman has quit (Read error: 110 (Connection timed out)). 17:49:41 -!- crathman has joined. 17:52:44 -!- crathman_ has quit (Connection timed out). 18:29:12 -!- crathman has quit (Read error: 104 (Connection reset by peer)). 18:29:46 -!- crathman has joined. 18:50:23 -!- ihope has joined. 19:23:52 -!- RodgerTheGreat_ has changed nick to RodgerTheGreat. 19:41:59 -!- calamari has joined. 19:43:54 * ihope types "one plus one" into Google and ends up with "two" 19:44:21 Aww, but "two divided by four" gives "0.5". 19:44:45 Hmm. "one plus 1" and "one + 1" both also give "two"/ 19:45:05 But "1 plus 1" and "1 + 1" give "2". 19:45:40 By the way, this was all sparked by my typing "6 billion * 15" into Google and getting "ninety billion". 19:46:38 * ihope types in "three million nine hundred fifty-four thousand two hundred sixteen plus one" 19:56:09 i seldom use any other calculator than google 19:56:48 i don't have to strip off units and it even translates them to a composite unit if necessary 20:14:35 -!- nazgjunk has quit (Read error: 54 (Connection reset by peer)). 20:16:50 -!- nazgjunk has joined. 21:27:35 -!- Arrogant has joined. 21:41:13 -!- digital_me has joined. 21:48:59 -!- Arrogant has quit ("Leaving"). 22:43:15 h 22:45:27 j 22:55:20 -!- jix__ has quit ("Bitte waehlen Sie eine Beerdigungnachricht"). 22:55:41 -!- oerjan has joined. 22:56:47 -!- nazgjunk has changed nick to nazgyunk. 22:57:23 -!- nazgyunk has changed nick to nazgjunk. 23:02:08 klyubn? 23:05:59 Yay, NetHack! 23:06:07 Also, it's yulkjhnb. 23:07:20 ITYM hykulnjb 23:09:56 Let's say it's both. 23:10:37 Hey, hykulnjb goes clockwise... 23:11:01 what about it? 23:13:58 It goes clockwise. 23:20:57 -!- RodgerTheGreat has quit. 23:25:23 -!- RodgerTheGreat has joined. 23:26:22 -!- pgimeno has quit (Read error: 104 (Connection reset by peer)). 23:33:42 -!- tgwizard has quit (Remote closed the connection). 23:41:10 -!- cmeme has quit (Read error: 131 (Connection reset by peer)). 23:42:56 -!- pgimeno has joined. 23:43:37 -!- crathman has quit (Read error: 104 (Connection reset by peer)). 23:43:38 -!- cmeme has joined. 23:43:43 -!- crathman_ has joined. 23:43:45 -!- crathman_ has changed nick to crathman. 23:46:21 -!- crathman has quit (Client Quit). 23:52:21 barg 23:52:33 seems like the halting problem should be possible 23:53:22 Hmm? 23:53:29 ahem? 23:53:32 Despite a proof of the contrary? 23:53:43 yeah 23:53:51 Why? 23:53:54 i dunno 23:54:10 * oerjan readies his gun to shoot holes in bsmntbombdood's arguments 23:54:23 I don't have any arguments 23:55:14 that's good because i don't have a gun 23:55:51 (define (f) 1) 23:55:56 easy to see that f halts 23:56:19 (define (f) (cond ((= 0 1) (f)) (else 1))) 23:56:21 likewise 23:57:11 Neither of those is recursive. 23:57:25 (define (f) (cond ((exists odd perfect number) (f)) (else 1))) - not so easy 23:57:49 ihope: the second one is 23:57:58 actually turn that around 23:58:07 Well, yeah, I guess. 23:58:10 But oerjan's... 23:58:23 (define (f) (cond ((exists odd perfect number) 1) (else (f)))) 23:58:42 well, we obviously need to know what exists returns 23:58:59 but we can rephrase that as: 23:59:46 to see if that halts we see if EXISTS halts, then if it does, find what it returns 23:59:51 (define (f n) (cond ((perfect n) 1) (else (f (+ n 2))))) (f 3)