Search found 21 matches

by soundandfury
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...
by soundandfury
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...
by soundandfury
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?
by soundandfury
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...
by soundandfury
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...
by soundandfury
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).
by soundandfury
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.
by soundandfury
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".
by soundandfury
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...
by soundandfury
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...
by soundandfury
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...
by soundandfury
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...
by soundandfury
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 ...
by soundandfury
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...
by soundandfury
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 ...
by soundandfury
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, ...
by soundandfury
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...
by soundandfury
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...
by soundandfury
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 :)
by soundandfury
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?
by soundandfury
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 ...

Go to advanced search