bio | website | cs.toronto.edu/~kaveh |
---|---|---|
location | Toronto, Canada | |
age | ||
visits | member for | 4 years, 10 months |
seen | Apr 24 at 5:29 | |
stats | profile views | 1,536 |
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 |