Skip to main content
Craig Gidney's user avatar
Craig Gidney's user avatar
Craig Gidney's user avatar
Craig Gidney
  • Member for 13 years, 6 months
  • Last seen more than a month ago
58 votes
Accepted

What does it mean to divide a complex number by another complex number?

56 votes

Geometric interpretation for complex eigenvectors of a 2×2 rotation matrix

27 votes

Is there any nonconstant function that grows (at infinity) slower than all iterations of the (natural) logarithm?

7 votes

Is there a connection between length of sentence and length of proof?

6 votes

Is 10 closer to infinity than 1?

4 votes

10 to the power of 3.5: $10^{3.5}$

3 votes

How do I prove "not (false = true)" in Lean?

1 vote

Using hadamard transform after a CNOT transform

1 vote

reversible, reflexive function with unique cardinality

1 vote

Multiplying the roots of polynomials using only their integer coefficients

0 votes

Why does count of Z -Transform of sequence change?

0 votes

Confused about simple trig