Reputation
5,360
Top tag
Next privilege 10,000 Rep.
Access moderator tools
Badges
1 11 37
Newest
 Good Answer
Impact
~135k 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...
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.
Mar
17
comment Program with no intermediary states
What is your computation model? If you allow any model and provide denotational semantics, the answer is "trivially, yes": Just take the function induced by the denotational semantics. Edit: This also works with other formal semantics, e.g., small-step operational semantics or natural semantics.