bio | website | cs.toronto.edu/~kaveh |
---|---|---|
location | Toronto, Canada | |
age | ||
visits | member for | 5 years, 1 month |
seen | Aug 24 at 5:02 | |
stats | profile views | 1,570 |
Ph.D. student at University of Toronto, Department of Computer Science, Theory Group.
Ex-moderator on cstheory.
Jul
12 |
awarded | Yearling |
Jun
21 |
revised |
Reference request: a combinatoric result
deleted 51 characters in body |
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 |
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. |