10,120 reputation
33687
bio website boolesrings.org/asafk
location Israel
age 29
visits member for 4 years
seen 7 hours ago

Born and raised in Israel. Ph.D. student in the Hebrew university in Jerusalem; studying set theory.


1d
revised Subset of the integers with certain properties
edited tags
Jul
23
answered Cardinality of $C^*([0,1])$
Jul
22
awarded  Popular Question
Jul
21
comment forcing square with small conditions
Your right arm is right, but now you are left with just your left. Is it right? Are you left with just your left? And if you have more than just the left left, who is right, right? Certainly not your arm.
Jul
19
reviewed Reviewed Associated prime ideals and local cohomology
Jul
19
comment Associated prime ideals and local cohomology
@quid, for future reference, using [edit] will produce an automatic link to editing the post you are commenting on.
Jul
19
reviewed Leave Open Can we define an “empirically generic” real number?
Jul
18
comment Proof correctness problem
What? No, I didn't talk about Voevodsky's point. I was talking about your phrasing (which is not uncommon) regarding proofs that it take years to review and verify. In particular the usual phrasing of "This and that proof ... but it took many years to ...", which has an apologetic undertones, at least to my ears.
Jul
18
comment Proof correctness problem
Timothy, I apologize for starting this off-topic chain of comments. Perhaps Perelman was an exception because he posted the proof and pretty much vanished back into himself. But I still hear these apologetic tones often, e.g. about Wiles "But it took him seven years", but it took 300 years of mathematical progress, what's seven years for writing a proof, and what's four years for checking it? Yes. Mathematics is difficult. Everyone knows that. We need to stop feeling bad for that.
Jul
17
comment Proof correctness problem
I always feel strange when people say things like "Perelman's proof is now accepted but it took years for the community to validate it." It took nearly 100 years to solve this problem. Why do people expect that the proof will be so immediate that everyone reading it couple of times will find it clear enough to judge its content? Difficult proofs take time to analyze. There's nothing wrong with that, and we need to stop qualifying these sentences with "but" which make it seem apologetic.
Jul
17
reviewed No Action Needed Balanced dualizing complex vs rigid dualizing complex?
Jul
17
reviewed Leave Open Embeddings of forcing notions - preserve properness?
Jul
17
comment Embeddings of forcing notions - preserve properness?
@Yair: Why are you online?
Jul
17
reviewed Leave Closed Translation is continuous in measure space
Jul
17
comment Is the pseudomenon a statement?
@Todd: This is not a particularly badly written question. If you are going to refer the OP to MSE, why not migrate it instead? (and save me the trouble of copy-pasting my answer if and when that time comes...)
Jul
16
reviewed No Action Needed Is it compatible with ZF to assume that every amenable discrete group is finite?
Jul
16
comment $i^{-1} F$ a sheaf if and only if $\varinjlim_{ U \subseteq X \text{ open}, ~ x,y \in U } F(U) \to F_x \times F_y$ is an isomorphism
Posting the same question at the same time on two sites is equivalent to calling two pizza places and ordering pizza, just to see which one gets to your place first.
Jul
16
comment Localization and Direct limit
This has an answer on math.SE.
Jul
16
comment $\widehat{f\ast g}= \hat{f} \cdot \hat{g}$ for $f, \hat{f} \in L^{p}(\mathbb R)\cap C(\mathbb R) (1<p<\infty, p\neq 2), g\in \mathcal{S}(\mathbb R)$?
Waiting just 36 hours or so does not constitute of "few days back". Including a link in your post is also recommended.
Jul
16
awarded  Deputy