## Search found 21 matches

- Thu Jun 27, 2019 7:24 pm UTC
- Forum: Individual XKCD Comic Threads
- Topic: 2146: "Waiting for the But"
- Replies:
**28** - Views:
**4764**

### Re: 2146: "Waiting for the But"

So how do we find out what came after the 'but'? Simple, we ask an AI. Here are some possibilities GPT-2 came up with, when I fed the prompt into https://talktotransformer.com/ : Listen, I'm all in favour of reducing car accidents, I think arson is a serious crime, and I'm a big fan of those "n...

- Tue Dec 18, 2012 1:10 pm UTC
- Forum: What If?
- Topic: What-If 0025: "Three Wise Men"
- Replies:
**90** - Views:
**29585**

### Re: What-If 0025: Three Wise Men

Some of those maps are rectangular. So the question is, what projection is Randall using? The Waterman of coure. C'mon, that goes without saying! You'd think so, and I had that comic in mind when posting, but looking at the maps I don't think they are Watermans (Watermen?). The east coast of the Ar...

- Tue Dec 18, 2012 12:38 pm UTC
- Forum: What If?
- Topic: What-If 0025: "Three Wise Men"
- Replies:
**90** - Views:
**29585**

### Re: What-If 0025: Three Wise Men

Some of those maps are rectangular. So the question is, what projection is Randall using?

- Sat Aug 18, 2012 11:37 pm UTC
- Forum: Gaming
- Topic: Games you have programmed
- Replies:
**93** - Views:
**39498**

### Re: Games you have programmed

I'm working on a strategy game called Harris , where you control RAF Bomber Command in WWII. It's currently playable but unbalanced and a few game mechanics are missing. Also, some of the game's data is historically inaccurate, because I don't have enough books so I've been relying heavily on Wikipe...

- Sat Aug 18, 2012 11:25 pm UTC
- Forum: Religious Wars
- Topic: XML vs... sanity?
- Replies:
**13** - Views:
**19743**

### Re: XML vs... sexprs?

My preferred metaformat for these kinds of things is S-expressions . They express fully recursive tree structure with much much less markup than XML; they're even lighter than JSON. (I'm actually working on an S-expression based textual representation of MIDI files, though it's only intended for deb...

- Mon May 07, 2012 1:20 pm UTC
- Forum: Individual XKCD Comic Threads
- Topic: 1052: “Every Major’s Terrible”
- Replies:
**240** - Views:
**64979**

### Re: 1052: “Every Major’s Terrible”

Bad pun: The Maths panel demonstrates that mathematicians can get employment from the military, in the field of logistics.

(At least, I think that cannonball trajectory's meant to be the bifurcation diagram of the logistic map).

(At least, I think that cannonball trajectory's meant to be the bifurcation diagram of the logistic map).

- Wed Feb 15, 2012 4:21 pm UTC
- Forum: Individual XKCD Comic Threads
- Topic: 1015: "Kerning"
- Replies:
**163** - Views:
**67559**

### Re: 1015: "Kerning"

First I learned about kerning.

Then my xterm started to make me twitch, because monospace fonts, though awesome, do fail kerning forever.

So I made monokern and termk. Check it out.

Then my xterm started to make me twitch, because monospace fonts, though awesome, do fail kerning forever.

So I made monokern and termk. Check it out.

- Tue Nov 15, 2011 4:54 pm UTC
- Forum: Individual XKCD Comic Threads
- Topic: 0977: "Map Projections"
- Replies:
**353** - Views:
**138138**

### Re: 0977: "Map Projections"

What, no love for the Great Circle map?

"You are a radio ham".

"You are a radio ham".

- Tue Nov 08, 2011 12:05 am UTC
- Forum: Individual XKCD Comic Threads
- Topic: 0974: "The General Problem"
- Replies:
**113** - Views:
**39215**

### Re: 0974: "The General Problem"

I have been known to mutter, when someone takes a Cartesian path instead of the most diagonal, "Pythagoras hates you." Historians of mathematics hate you. Pythagoras of Samos is not an historically attested figure, and the Pythagorean Brotherhood was an orphic cult and mathematically illi...

- Sat Sep 10, 2011 1:56 am UTC
- Forum: Individual XKCD Comic Threads
- Topic: 0949: "File Transfer"
- Replies:
**194** - Views:
**84958**

### Re: 0949: "File Transfer"

You mean there are still people who don't run an HTTP server on their local machine, which runs *nix continuously and has an uncrippled Internet connection? I do hope this is sarcasm... Remember, the point of the comic isn't that there's no solution for the tech-savvy, it's that there's no solution...

- Fri Sep 09, 2011 7:53 pm UTC
- Forum: Individual XKCD Comic Threads
- Topic: 0949: "File Transfer"
- Replies:
**194** - Views:
**84958**

### Re: 0949: "File Transfer"

You mean there are still people who don't run an HTTP server on their local machine, which runs *nix continuously and has an uncrippled Internet connection? Then again, I suppose I'm atypical, as I've written three HTTP servers in the last two years - and get my Internet connection from JANET. Still...

- Sat Jul 23, 2011 10:35 pm UTC
- Forum: Individual XKCD Comic Threads
- Topic: 0928: "Mimic Octopus"
- Replies:
**166** - Views:
**48120**

### Re: 0928: Mimic Octopus

On the 'mongoose' side discussion, I can't believe no-one has yet pointed out the obvious solution . " Please send two polygoose. " As for our friend the octopus, if (as I suspect) 'octopodes' is the plural of 'octopus', then we are forced to conclude that 'antipodes' is in fact the plural...

- Sun Oct 24, 2010 2:13 pm UTC
- Forum: Individual XKCD Comic Threads
- Topic: 0809: "Los Alamos"
- Replies:
**181** - Views:
**47943**

### Re: 0809: Los Alamos

Now I know where Randall gets his ideas from: the ACM Queue. Specifically, I'm referring to Stan Kelly-Bootle's column (24 Sep 2010), http://queue.acm.org/detail.cfm?id=1864510 Hamming's own earliest exposure to computing was at Los Alamos during the development of the A-bomb. Before the first test ...

- Thu Jul 09, 2009 4:03 pm UTC
- Forum: Mathematics
- Topic: I accidentally the incompleteness theorem
- Replies:
**14** - Views:
**3077**

### Re: I accidentally the incompleteness theorem

It is true that (Con_1(T)\land Prov_T(Prov_T(X)))\rightarrow Prov_T(X) , where Con 1 means 1-consistent (the article is about omega-consistency, but 1-consistency is also mentioned). Also a specific counterexample: T is PA+~Con(PA), and X is 0=1. If T is inco...

- Mon Jul 06, 2009 5:47 pm UTC
- Forum: Mathematics
- Topic: I accidentally the incompleteness theorem
- Replies:
**14** - Views:
**3077**

### Re: I accidentally the incompleteness theorem

What I am sure about is that Prov(X) doesn't imply X in general I realise that - but if X is a statement of provability, then it surely does - if you prove in T that there is a proof (in T) of X, surely this is an 'existence proof' - or perhaps an 'existence-of-proof proof'? - of X (in T). That is ...

- Fri Jul 03, 2009 12:32 pm UTC
- Forum: Mathematics
- Topic: I accidentally the incompleteness theorem
- Replies:
**14** - Views:
**3077**

### Re: I accidentally the incompleteness theorem

Well, I think I understand what you're saying, except for one thing: can you expand on why we can't formalise the 'proof in the metatheory' into T? I'll break it down into smaller questions. Does the concept of Con(T) exist within T? Can T, itself, be used as a metatheory to prove that \forall T_i, ...

- Sat Jun 20, 2009 5:22 pm UTC
- Forum: Mathematics
- Topic: I accidentally the incompleteness theorem
- Replies:
**14** - Views:
**3077**

### Re: I accidentally the incompleteness theorem

Ok, now I've found another one (incidentally, it's very kind of you to keep explaining these to me) We had the conclusion before that Prov_T(Con(T)) \Rightarrow ¬Con(T) (Second Incompleteness Theorem). This is because Prov_T(Con(T)) \Rightarrow Prov_T(G...

- Sat May 30, 2009 6:35 pm UTC
- Forum: Mathematics
- Topic: I accidentally the incompleteness theorem
- Replies:
**14** - Views:
**3077**

### Re: I accidentally the incompleteness theorem

Another thing has occurred to me however: is the 2nd incompleteness theorem really relevant anyway? It basically tells us that we can't use a theory to prove that theory consistent. But, could we anyway? Imagine for a moment that the 2nd I.T. didn't hold. If we proved Con(T) (within T), how would we...

- Wed May 27, 2009 4:05 pm UTC
- Forum: Mathematics
- Topic: I accidentally the incompleteness theorem
- Replies:
**14** - Views:
**3077**

### Re: I accidentally the incompleteness theorem

Ah ok, now I get it... thanks! (I've been puzzling over this for months)

So it's basically that [imath]¬Prov_T(Con(T))[/imath] then? That makes sense. Again, thanks :)

So it's basically that [imath]¬Prov_T(Con(T))[/imath] then? That makes sense. Again, thanks :)

- Wed May 27, 2009 3:52 pm UTC
- Forum: Mathematics
- Topic: What's in a number?
- Replies:
**74** - Views:
**5741**

### Re: What's in a number?

How about...

A number is an element of a completion of the naturals.

Will that do?

A number is an element of a completion of the naturals.

Will that do?

- Wed May 27, 2009 3:28 pm UTC
- Forum: Mathematics
- Topic: I accidentally the incompleteness theorem
- Replies:
**14** - Views:
**3077**

### I accidentally the incompleteness theorem

Let I be the statement \forall T : (Con(T) \land (Prov_T(basic.arithmetic))), \exists G \in T : ¬Prov_T(G) \land ¬Prov_T(¬G) In other words, I is Gödel's First Incompleteness Theorem. (I've been vague about what T has to prove for the theorem to apply ...