Communities

Writing
Writing
Codidact Meta
Codidact Meta
The Great Outdoors
The Great Outdoors
Photography & Video
Photography & Video
Scientific Speculation
Scientific Speculation
Cooking
Cooking
Electrical Engineering
Electrical Engineering
Judaism
Judaism
Languages & Linguistics
Languages & Linguistics
Software Development
Software Development
Mathematics
Mathematics
Christianity
Christianity
Code Golf
Code Golf
Music
Music
Physics
Physics
Linux Systems
Linux Systems
Power Users
Power Users
Tabletop RPGs
Tabletop RPGs
Community Proposals
Community Proposals
tag:snake search within a tag
answers:0 unanswered questions
user:xxxx search by author id
score:0.5 posts with 0.5+ score
"snake oil" exact phrase
votes:4 posts with 4+ votes
created:<1w created < 1 week ago
post_type:xxxx type of post
Search help
Notifications
Mark all as read See all your notifications »

Activity for Derek Elkins‭

Type On... Excerpt Status Date
Comment Post #278382 This is useless. People don't need detailed guidance about topics that are obviously on-topic anymore than they need guidance about topics that are obviously off-topic. This fails to accomplish even that as it's incomplete, as you say, and, more importantly, topicality isn't just a matter of subject ...
(more)
over 4 years ago
Edit Post #278269 Post edited over 4 years ago
Comment Post #278270 A problem that is almost certainly related is that sometimes the Markdown processor will convert substrings delimited by underscores to italics when those underscores are part of the MathJax, thereby breaking the MathJax. Peter Taylor's issue and this one are almost certainly due to the Markdown proc...
(more)
over 4 years ago
Edit Post #278280 Initial revision over 4 years ago
Question Can we constructively find a third element of a set $X$ satisfying $X \cong X \times X$ given two distinct elements?
Consider a set $X$ such that $X \cong X\times X$. It's quite easy to prove in a classical set theory, e.g. ZF, that $X$ must be the empty set or a singleton set or an infinite set. In other words, if we additionally assume that there exists $a, b \in X$ and $a \neq b$, then we know that $X$ is an inf...
(more)
over 4 years ago
Comment Post #278270 I've suggested an edit that "fixes" the post (so if the edit is accepted people should look in the history to see the original form). That said, the intuition of the change I made is that the backslashes needed to be escaped. However, they probably shouldn't need to be escaped and so some MathJax or ...
(more)
over 4 years ago
Suggested Edit Post #278269 Suggested edit:
There seems to be some issue escaping backslashes(?). This edit fixes the issue now but may cause problems (extra vertical space) if the underlying issue is resolved.
(more)
helpful over 4 years ago
Edit Post #278145 Initial revision over 4 years ago
Answer A: Computational hardness of the uniform halting problem
According to Wikipedia, the set of (indices of) Turing machines that compute total functions, i.e. which halt on all inputs, is a $\Pi2$ set. If we use the variation of the definition of arithmetical hierarchy which includes primitive recursive functions, then it is fairly straightforward^[If you are...
(more)
over 4 years ago