Reputation
2,744
Next privilege 3,000 Rep.
Cast close & reopen votes
Badges
15 40
Impact
~60k people reached

21h
comment Is it possible to nonconstructively prove that a statement can be proven or disproven within a formal system?
This is a good point. To make this have more "gravitas," is there a nontrivial conjecture that we've reduced to searching a massive space?
Jul
26
awarded  Popular Question
Jul
23
awarded  Popular Question
Jul
16
asked Is it possible to nonconstructively prove that a statement can be proven or disproven within a formal system?
Jul
6
awarded  Good Question
Jul
5
comment Guessing the length of a playlist on “shuffle random?”
@kasperd Oh definitely. I figured that I'd make that simplifying assumption to make the problem mathematically tractable. :-)
Jul
5
awarded  Nice Question
Jul
5
comment Guessing the length of a playlist on “shuffle random?”
@vadim123 I should have access to that paper while at work, so perhaps I'll give it a read and see if I can summarize the main ideas here.
Jul
5
asked Guessing the length of a playlist on “shuffle random?”
Jul
3
accepted A proof that powers of two cannot be expressed as the sum of multiple consecutive positive integers that uses binary representations?
Jul
3
accepted Why does every undirected graph have at least one cut of size $|E| / 2$?
Jul
3
accepted If $\ln x$ is defined via an integral and $e$ defined from $\ln x$, how would you prove that $\ln x$ is the inverse of $e^x$?
Jul
3
accepted Solving the recurrence $T(n) = \sqrt n T(\sqrt{n}) + \sqrt{n}$
Jun
29
comment What is the opposite of a derangement?
@ConradoCosta Oh, I wasn't planning on just having students memorize the names for things. I was hoping to have students spend a decent amount of time proving things about these functions and wanted to make sure that if there was an appropriate name for these functions that I would use it correctly.
Jun
29
comment What is the opposite of a derangement?
@ConradoCosta I'm teaching a discrete math course and a question came up where it was useful to talk about functions with this property. I ended up calling them "non-derangements," but it sounded really silly.
Jun
29
asked What is the opposite of a derangement?
Jun
28
awarded  Nice Question
Jun
19
revised What to do next with this indefinite integral?
added 122 characters in body; edited title
Jun
18
asked Solving the recurrence $T(n) = \sqrt n T(\sqrt{n}) + \sqrt{n}$
Jun
4
revised Name of the highest power of 2 smaller than or equal to a given number
added 4 characters in body