00:11:57 -!- kipple has quit (Read error: 110 (Connection timed out)). 01:01:19 Oh, some... thing. 01:01:32 Specifically, a list of questions. 01:14:36 -!- GregorR has quit (Read error: 110 (Connection timed out)). 01:46:08 There. I just put Wiki Cyclic Tag on Wikipedia. 01:46:21 It's in the sandbox and a user subpage, so it shouldn't get deleted. 02:19:42 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht"). 02:20:25 -!- bsmntbombdood has joined. 02:45:58 Hmm, I can't use subst to make it evolve with every edit. I just get template warning things added. 03:00:48 -!- ihope has quit ("Hey, everybody! Make this your default quit message!"). 03:05:14 -!- AndrewNP has joined. 04:05:32 -!- GregorR has joined. 04:07:31 All right, so here's a question that's been bugging me recently: 04:07:38 What is the computational class of the mind? 04:07:48 Or to put it another way, Could God solve the halting problem? 04:08:04 ("God" here meaning only a rational mind, akin to our own, but with infinite space and time resources.) 04:18:08 Though on further reading, I guess that's slightly vague, since there's an infinite hierarchy of halting problems -- for all the countless Oracle Machines out there. 04:18:31 What I mean is, could a "god" solve the problem for good old *Turing Machines*? 04:26:34 I don't believe that's known. 04:26:50 Or probably knowable. 04:27:18 That's what I figured. Since it would require minds to make a statement about minds. Which is pretty much what screws up every system of computation. 04:27:30 So it's just going to have to gnaw at me. Oh well! ^^;; 04:31:27 lol 04:40:46 -!- Sgeo has joined. 04:52:09 -!- Arrogant has joined. 05:07:20 -!- Arrogant has quit ("Leaving"). 05:30:46 -!- AndrewNP has quit ("You understand the silverware? Coo-coo!"). 05:47:25 -!- Sgeo has quit ("Ex-Chat"). 06:19:55 -!- bsmntbombdood has quit ("all your basment are belong to bsmntbombdood"). 07:18:46 -!- Arrogant has joined. 07:28:13 -!- ionel_mc has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:51:59 -!- Arrogant has quit ("Leaving"). 11:29:24 -!- tgwizard has joined. 13:08:13 -!- jix has joined. 13:38:52 -!- CXI has quit (Read error: 104 (Connection reset by peer)). 13:39:20 -!- CXI has joined. 14:32:54 -!- jix has quit ("This computer has gone to sleep"). 15:32:29 -!- Sgeo has joined. 15:42:16 -!- CXI has quit (Connection timed out). 16:22:45 -!- jix has joined. 17:44:45 -!- Sgeo has quit ("Ex-Chat"). 17:55:13 -!- nooga has joined. 17:55:38 u u u 18:20:09 -!- GregorR-W has joined. 18:49:23 -!- nooga has quit. 20:24:18 -!- bsmntbombdood has joined. 23:09:52 -!- Arrogant has joined. 23:19:56 -!- bsmntbombdood has quit ("all your basment are belong to bsmntbombdood"). 23:39:53 -!- Arrogant has quit ("Leaving"). 23:52:28 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").