688 reputation
413
bio website
location Boston, MA
age 32
visits member for 2 years, 9 months
seen Aug 26 at 7:51

Yes.


Sep
2
revised How does Borelness overlap with definability, computability, or constructiveness?
added related question
Aug
22
revised How to explain why this injection does what we want (basic math)
added 59 characters in body
Aug
21
revised How to explain why this injection does what we want (basic math)
added 184 characters in body
Apr
3
revised Why there's difference between $\forall x \in T\ \exists y \in S\ F(x,y)$ and $\exists y \in S\ \forall x \in T\ F(x,y)$
typo: changed "true" to "false".
Mar
25
revised Is the 'variable' in 'let $y=f(x)$' free, bound, or neither?
deleted 109 characters in body
Mar
25
revised Is the 'variable' in 'let $y=f(x)$' free, bound, or neither?
added 28 characters in body
Mar
25
revised Is the 'variable' in 'let $y=f(x)$' free, bound, or neither?
added 20 characters in body
Mar
25
revised Is the 'variable' in 'let $y=f(x)$' free, bound, or neither?
added 20 characters in body
Mar
25
revised Is the 'variable' in 'let $y=f(x)$' free, bound, or neither?
added 20 characters in body
Mar
25
revised Is the 'variable' in 'let $y=f(x)$' free, bound, or neither?
added 560 characters in body
Mar
25
revised Is the 'variable' in 'let $y=f(x)$' free, bound, or neither?
added 16 characters in body
Mar
25
revised Is the 'variable' in 'let $y=f(x)$' free, bound, or neither?
added 16 characters in body
Mar
25
revised Is the 'variable' in 'let $y=f(x)$' free, bound, or neither?
added 16 characters in body
Mar
25
revised Is the 'variable' in 'let $y=f(x)$' free, bound, or neither?
added 167 characters in body
Mar
23
revised Infinite Disjunctions and Conjunctions
added 1516 characters in body
Mar
21
revised Natural and formal languages
added 152 characters in body
Mar
20
revised How should I understand “$A$ unless $B$”?
added 7657 characters in body
Mar
19
revised Propositional calculus and preferences.
added 1604 characters in body
Mar
18
revised Propositional calculus and preferences.
added 249 characters in body
Mar
18
revised Propositional calculus and preferences.
added 395 characters in body