←2007-05-15 2007-05-16 2007-05-17→ ↑2007 ↑all
00:47:42 <Pikhq> lament: Anyone who needs the number 0.
00:49:53 <Pikhq> 1997, of course, equals MCX7.
00:51:40 <Pikhq> Err. . . That's wrong.
00:54:29 <lament> MXM7
00:55:25 <lament> er, no
00:56:19 <lament> 1997 = 199 7 = CIC 7
00:56:22 <lament> CIC7
00:56:36 <lament> but MM7 is shorter
00:56:51 <lament> and so is C3M
01:14:34 <Pikhq> But 10 is shorter still (base unspecified). :p
01:44:11 <fizzie> Many rules frown on CIC and want CXCIX instead.
01:45:01 <fizzie> "Thus, one should represent the number "ninety-nine" as XCIX, not as the "shortcut" IC. However, these rules are not universally followed." says Wikipedia on "XCIX or IC".
01:45:04 <Pikhq> I frown on positive-integer-only numerics.
01:45:34 <fizzie> But remember: A frown takes N muscles, while a smile takes only M, with N >> M.
01:46:34 <Pikhq> Yes. Thus, a numeral system which *can* represent all real numbers (assuming infinite storage) is easier than one that can only store postive integers.
01:47:09 <Pikhq> (and, with some additions, the real number numeral system also handles complex numbers)
02:13:03 <lament> Pikhq: adding a '-' in front of roman numerals is not any different from adding it in front of decimal numerals.
02:37:05 -!- Rugxulo has joined.
02:37:34 -!- Rugxulo has quit (Client Quit).
02:38:25 -!- ihope_ has joined.
02:38:28 -!- ihope_ has changed nick to ihope.
02:41:20 -!- Rugxulo has joined.
02:42:13 -!- Rugxulo has left (?).
03:23:18 -!- ihope has quit (Read error: 110 (Connection timed out)).
04:31:25 -!- digital_me has quit ("Lost terminal").
04:32:04 -!- digital_me has joined.
05:33:34 -!- digital_me has quit ("night").
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:55:57 -!- jix__ has joined.
10:24:22 -!- jix__ has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
12:00:21 -!- ihope_ has joined.
12:00:23 -!- ihope_ has changed nick to ihope.
12:14:13 -!- jix__ has joined.
12:44:09 -!- jix__ has quit (Read error: 113 (No route to host)).
12:44:32 -!- jix__ has joined.
13:12:45 -!- jix__ has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
13:13:05 -!- jix__ has joined.
16:05:50 -!- helios24_ has changed nick to helios24.
16:32:20 -!- ehird` has joined.
16:44:56 -!- sebbu has joined.
17:18:09 -!- lament has set topic: - the international hub for esoteric programming language design and deployment - map: http://www.frappr.com/esolang - forum: http://esolangs.org/forum/ - EgoBot: !help - wiki: http://esolangs.org/wiki/ - logs: http://tunes.org/~nef/logs/esoteric/ or http://meme.b9.com/cdates.html?channel=esoteric - Pastebin: http://pastebin.ca/ | http://www.wolframscience.com/prizes/tm23/.
17:50:55 -!- ehird` has quit (Read error: 104 (Connection reset by peer)).
17:52:08 -!- ehird` has joined.
18:18:46 <bsmntbombdood> oooh
18:18:57 <ehird`> hoo
18:19:14 <oklopol> oko
20:19:20 -!- digital_me has joined.
20:22:04 -!- digital_me has quit (Client Quit).
20:22:50 -!- oerjan has joined.
21:00:31 -!- digital_me has joined.
21:01:06 -!- digital_me has quit (Client Quit).
21:01:18 -!- digital_me has joined.
21:15:34 -!- crathman has joined.
21:30:15 -!- ville_ has quit (Read error: 60 (Operation timed out)).
21:37:27 -!- oklopol has quit (Read error: 110 (Connection timed out)).
21:55:39 -!- jix__ has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
22:14:37 -!- oklopol has joined.
22:15:30 -!- ville_ has joined.
23:33:21 -!- ehird` has quit.
23:52:17 <bsmntbombdood> that turing machine in the topic has no halt state
23:52:26 <bsmntbombdood> what is suposed to be the end of computation?
23:54:21 <lament> anything
23:54:22 <oerjan> you can use any halting computation to test, i think
23:54:26 <lament> yeah
23:54:47 <oerjan> any halting computation to set up, too
23:54:56 <bsmntbombdood> huh?
23:55:10 <lament> bsmntbombdood: to check when to halt, you analyze the state
23:55:35 <lament> bsmntbombdood: but the rule for halting has to be sufficiently simple
23:55:47 <oerjan> basically, you code and decode a computation from/into this machine using some other program.
23:56:15 <bsmntbombdood> have the decoding be done by a utm
23:57:39 <oerjan> the point is that the de/coder should be simple enough that you know _it_ is not providing the universality
23:58:05 <oerjan> hm, simply being halting may not be enough
23:58:51 <lament> you just have to satisfy the committee
23:59:06 <lament> which, realistically, shouldn't be difficult unless you're actually cheating
←2007-05-15 2007-05-16 2007-05-17→ ↑2007 ↑all