2,532 reputation
1439
bio website cs.toronto.edu/~kaveh
location Toronto, Canada
age
visits member for 4 years, 10 months
seen Apr 24 at 5:29

Ph.D. student at University of Toronto, Department of Computer Science, Theory Group.

Old moderator on cstheory.


Jan
24
awarded  Necromancer
Dec
12
awarded  Nice Question
Sep
30
awarded  Explainer
Aug
26
answered How to define the input of computable function or Turing machine over real numbers
Aug
25
revised Time in Girard's Geometry of Interaction
deleted 271 characters in body; edited tags; edited title
Aug
25
comment Time in Girard's Geometry of Interaction
@Trent, I think the style is intentional and goes back to Georg Kreisel and even Ludwig Wittgenstein.
Aug
25
revised Time in Girard's Geometry of Interaction
deleted 1 character in body
Aug
25
comment How short can we state the Axiom of Choice?
Quantifier complexity might be more relevant to your intended simplicity than total length.
Aug
24
comment How do we recognize an integer inside the rationals?
@LSpice, I didn't mean just once but until they become integers.
Aug
21
comment Busy Beaver modulo 2
It is similar here: the answer depends on the details of Turing machine model and typically computability theorists are interested in studying computability, they are not much interested in studying the details of particular Turing models and non-robust notions dependent on such details.
Aug
21
comment Busy Beaver modulo 2
@Matt, let me give a better analogy to explain the difference between the question about computability of BB mod 2 and the question about computability of BB from linear algebra: "is $e_1$ one of the basis vectors of a given subspace $S$ of $\Re^n$ (without specifying any particular basis for $S$)?" does not make sense. On the other hand, the number of basis vectors of $S$ makes sense even if we don't specify a basis for $S$. We can of course make the first question sensible by fixing a basis but then the question is not about the subspace but the particular basis.
Jul
12
awarded  Yearling
Jul
2
awarded  Curious
Jun
23
awarded  Notable Question
Jun
23
awarded  Good Question
Apr
4
awarded  Nice Question
Mar
17
comment What is a sieve and why are sieves useful?
@Tom, thanks, I fixed it.
Mar
17
revised What is a sieve and why are sieves useful?
deleted 3 characters in body
Mar
17
comment What is a sieve and why are sieves useful?
Thanks @Andres, the preface and the first chapters of the book look promising.
Mar
17
revised What is a sieve and why are sieves useful?
added 17 characters in body