I should’ve specified: no communication allowed between drawing cards and the (simultaneous) guesses.
Adam Scherlis
What’s the weirdest way to win this game?
I meant this specific conjecture, not all conjectures. More generally it applies to all conjectures of the form “there is no number n such that Q(n)” where Q is straightforward to check for a particular n.
I think you’re right that that’s the interesting part, and I did somehow fail to mention it—except in passing, since it’s the easiest way to prove that every successful strategy has exactly one winning guess.
I’m not so sure. I think a lot of physicists get better at this through practice, maybe especially in undergrad. I have a PhD in physics, and at this point I think I’m really good at figuring out the appropriate level of abstraction to use on something (something I’d put in the same category as the things mentioned in the OP.) I don’t totally trust my own recollection, but I think I was worse at this freshman year, and much more likely to pick e.g. continuum vs. discrete models of things in mechanics inappropriately and make life hard for myself.
(This is partly a response to the comment above, but I got kind of carried away.)
The Standard Model of particle physics accounts for everyday life (except gravity) in ridiculous detail, including all the “natural messiness” you have in mind (except gravity). It consists of some simple and unique (but mathematically tricky) assumptions called “quantum field theory” and “relativity”, plus the following details, which completely specify the theory:
* the gauge group is SU(3) x SU(2) x U(1) (or “the product of the three simplest things you could write down”)
* the matter particles break parity symmetry, using the simplest set of charges that works
* there are three copies of each matter particle
* there is also a scalar doublet
* the 20ish real-valued parameters implied by the above list have values which you can find by doing 20ish experiments.I dare anybody to give a specification of, say, all of known organic chemistry or geology with a list that short. You don’t need to spell out any mathematical details, so long as a mathematician could plausibly have invented it without being inspired by physical reality (which are the rules I’m playing by in this comment—I think QFT, relativity, and concepts like “gauge group” and “parity symmetry” that I assume knowledge of are all things math could/would have produced eventually).
In some sense I’m handwaving past the hard part, but I think the remarkable thing about physics is that the hard part is entirely math; if you did enough math in a cave without observing anything about the physical world, you would emerge with the kind of perspective from which the known laws of physics (except gravity) seem extremely parsimonious. (Gravity is also parsimonious but sort of stands alone for now.) On the other hand, if you go do a lot of experiments instead, the laws of physics will seem bizarre and complicated. Which I admit is kind of a strange fact! It’s not clear that “math parsimony” is the same concept as, say, Turing-machine-based Kolmogorov complexity, and it definitely isn’t anybody’s intuitive notion of “simplicity”.
And of course, quite a lot of the “natural messiness” of the world is captured by even simpler Newtonian-mechanics models, although chemistry becomes a kind of nasty black box from a Newtonian perspective.
It is definitely not a TOE, but it is a successful EFT that accounts for everything except gravity/cosmology.
You said “extremely simplified and idealised situations … frictionless planes, free fall in a vacuum, and so on”. That’s a pretty different ballpark than, say, every phenomenon any human before the 1990s had any knowledge of, in more detail than you can see under any microscope (except gravity).
Do you consider everything you’ve experienced in your entire life to have happened in “extremely simplified and idealised situations”?
Interestingly, I have better algebra intuition than analysis intuition, within math, and my physics intuition almost feels more closely related to algebra (especially “how to split stuff into parts”) than analysis to me.
Although there’s another thing which is sort of both algebra and analysis, which is looking at a structure in some limit and figuring out what other structure it looks like. (Lie groups/algebras come to mind.)
A Generalization of ROC AUC for Binary Classifiers
Gradient Hacking via Schelling Goals
Fun with bitstrings and bijections
Understanding the two-head strategy for teaching ML to answer questions honestly
How do you install a TAP like that? It seems hard to do 10x in a row when you’re currently in “deciding I should have a TAP for this” mode and not already feeling angry/defensive.
(Actually, same question about “when my fridge is empty looking”.)
EDIT: From conversation with other people it sounds like it’s usually sufficient to imagine the trigger and action, in detail, several times.
Hmm, these posts feel like they’re skipping over the step I’m asking about, though.
Like, I don’t know how to do either of these things:
http://agentyduck.blogspot.com/2015/06/the-art-of-noticing.html “Whenever you notice your trigger, make a precise physical gesture.”
http://agentyduck.blogspot.com/2014/12/how-to-train-noticing.html “I keep a search going on in the background for anything in the neighborhood of the experience I predicted. Odds are good I’ll miss several instances of weak contrary evidence, but as soon as I realize I’ve encountered one, I go into reflective attention so I’m aware of as many details of my immediate subjective experience as possible.”
The thing I’m having trouble with is: at some point in the future, the trigger I’m thinking about will happen. How will I notice/remember that that was a trigger? What can I do now, when the trigger has not yet happened, to make me remember later? I don’t think I know how to keep searches going in the background, or anything like that.
Partial solutions, to gesture at the gap:
* Phone alarms for triggers that happen at a specific time (for the first few triggers, before the habit is formed)
* Assign someone to watch me 24⁄7 and poke me in the side whenever a desired trigger happens
* When I come up with an idea for a TAP, [my single-point-of-reference productivity Google Doc, under the “TAP” section, tells me to] close my eyes and imagine the trigger happening for 5 minutes
I’m confused by the number of posts on TAPs (excluding OP) that gloss over this part.
Language model parameter counts were growing much faster than 2x/18mo for a while.
One is (almost) normal in base π
Five views of Bayes’ Theorem
(Computational chemistry may be intractable, even with approximations, on classical hardware—but what about if one has a quantum computer with a few hundred qubits, enough that one can do quantum simulation?) The importance of constant factors is one of the major traps in practical use of complexity classes: a fancy algorithm with a superior complexity class may easily be defeated by a simpler algorithm with worse complexity but faster implementation.
This example contradicts the point he’s trying to make here. Quantum computers are thought to be asymptomatically faster at some tasks (including quantum simulation) but have much, much worse constant factors for individual operations.
If it can’t be proven false, then it definitely isn’t false!
Equivalently: If it’s false, then it can be proven false.
Why do I say that? Well, if it’s false, then there exists a power of two that is the reverse of a power of five. But that has a very short proof: just write down the smallest example.
As to the case where it can’t be proven either way: I would say that it has to be true in that case, but this might be one of those things that sufficiently diehard constructivists would agree with you on.