Derek Elkins‭

Profile Activity

A quiet enigma. We don't know anything about Derek Elkins‭ yet.

Posts

77%

+5 −0

Q&A Why always rationalize a denominator?

last activity about 1 month ago by Derek Elkins‭

Answer

75%

+4 −0

Q&A Can we constructively find a third element of a set $X$ satisfying $X \cong X \times X$ given two distinct elements?

0 answers · last activity 4 months ago by Derek Elkins‭

Question constructive-logic type-theory

75%

+4 −0

Q&A Existence of a set of all sets

last activity 4 months ago by Derek Elkins‭

Answer

75%

+4 −0

Q&A Why does this definition of generalized forces work?

last activity 8 days ago by Derek Elkins‭

Answer

71%

+3 −0

Q&A Computational hardness of the uniform halting problem

last activity 4 months ago by Derek Elkins‭

Answer

66%

+2 −0

Q&A Why does “unless” mean “if not”?

last activity 2 months ago by Derek Elkins‭

Answer

66%

+4 −1

Meta Marketing Math Codidact

1 answer · last activity 27 days ago by Gourimanohari Ragam‭

Question discussion

See all »

Earned Abilities

Statistics

Posts
Count		7
Questions		2
Answers		5
Articles		0

Votes
Count		11

Flags
Count		0

Communities

Derek Elkins‭

Posts

Earned Abilities

Statistics