Reputation
5,290
Top tag
Next privilege 10,000 Rep.
Access moderator tools
Badges
1 10 37
Newest
 Nice Answer
Impact
~128k people reached

May
31
comment How to extend an existing orthogonal set of vectors?
Would guessing a linearly independent vector and then taking the orthogonal part work? You can make a vector orthogonal to a given set of vectors using methods similar to Gram-Schmidt...
May
25
comment Proof that whether some arbitrary Turing machine on some input outputs $5$ is undecidable
Your proof is entirely correct.
Apr
26
reviewed Reject Uniform convergence of $\sum_{k=1}^\infty \frac{1}{k^{1+x}}$
Apr
21
reviewed Approve Estimating the integrated Tchebychev function and calculating its error
Apr
20
reviewed Approve Find last n for which 2^n has a 0.
Apr
11
reviewed Edit If $2$ divides a number $a$, does $2^n$ divide $a$ ? $n$ is any integar
Apr
11
revised If $2$ divides a number $a$, does $2^n$ divide $a$ ? $n$ is any integar
improved formatting and some grammar fixes
Apr
6
reviewed Approve Confidence interval for n=1, unknown standard deviation
Apr
2
reviewed Edit How can a piece of A4 paper be folded in exactly three equal parts?
Apr
2
revised How can a piece of A4 paper be folded in exactly three equal parts?
Added photo explanation.
Mar
31
reviewed Approve What is a hypersurface ring and why is it Gorenstein?
Mar
30
reviewed Approve Geometric reducedness (integral) versus reducedness (integral)
Mar
30
reviewed Approve Why would you expand a square wave in a Fourier series?
Mar
26
reviewed Approve Invertible matrices and row equivalence
Mar
25
reviewed Approve About the definition of fixed-point combinators
Mar
23
comment Why is this Goldbach's Conjecture Proof Wrong?
As a first comment, I don't understand what your proof of Lemma 2 shows. In particular, how is "L cannot be a prime" a contradiction?
Mar
17
answered Program with no intermediary states
Mar
17
comment Program with no intermediary states
Oh, wait. You may need higher-order functions; see the answer.
Mar
17
comment Program with no intermediary states
As long as you can give effective semantics to your model/programming language, yes. Does this answer your question?
Mar
17
comment Program with no intermediary states
To be more concrete, suppose you have big-step semantics for an imperative programming language without function calls. Then for each statement, we get a (computable) function mapping a variable context to a variable context. Chain all these functions, and you have a representation of your program as a sequence of function applications.