←2006-07-16 2006-07-17 2006-07-18→ ↑2006 ↑all
00:11:57 -!- kipple has quit (Read error: 110 (Connection timed out)).
01:01:19 <ihope> Oh, some... thing.
01:01:32 <ihope> Specifically, a list of questions.
01:14:36 -!- GregorR has quit (Read error: 110 (Connection timed out)).
01:46:08 <ihope> There. I just put Wiki Cyclic Tag on Wikipedia.
01:46:21 <ihope> 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 <ihope> 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 <AndrewNP> All right, so here's a question that's been bugging me recently:
04:07:38 <AndrewNP> What is the computational class of the mind?
04:07:48 <AndrewNP> Or to put it another way, Could God solve the halting problem?
04:08:04 <AndrewNP> ("God" here meaning only a rational mind, akin to our own, but with infinite space and time resources.)
04:18:08 <AndrewNP> 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 <AndrewNP> What I mean is, could a "god" solve the problem for good old *Turing Machines*?
04:26:34 <GregorR> I don't believe that's known.
04:26:50 <GregorR> Or probably knowable.
04:27:18 <AndrewNP> 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 <AndrewNP> So it's just going to have to gnaw at me. Oh well! ^^;;
04:31:27 <GregorR> 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 <nooga> 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").
←2006-07-16 2006-07-17 2006-07-18→ ↑2006 ↑all