13,039 reputation
31948
bio website uclue.com
location Knoxville, TN
age 61
visits member for 3 years, 9 months
seen 1 hour ago

Enjoys programming in Prolog. Will solve math problems for food.

Rosser's trick: "For every proof of me, there is a shorter proof of my negation".


19h
revised How many undecidable statements are there in ZFC?
spelling/formatting
19h
comment Evaluate the integral with respect to x.
I'm not sure I follow your formula. Are you saying 4^((x+4)^4) or (4^(x+4))^4 as the integrand (these differ)?
1d
comment Solving for $a^2+b^2+c^2$ given $\sqrt{a^2+1}+\sqrt{b^2+4}+\sqrt{c^2+9}$ and $a+b+c$.
Are you assuming anything else about $a,b,c$?
1d
comment Why is Euler's Totient function always even?
Inversion map might be clarified to mean mapping to an additive inverse. This previous Math.SE Question would be worth adding as a link for the proposition about $Aut(Z_n)$.
1d
comment Metric on the Set of Binary rectangular matrices
Yes, and this depends only on the set being finite, not the particular set being binary matrices of a fixed size.
1d
reviewed Close If a and b are the two solutions to x^2 - x - 2=0, then a+b=?
1d
comment Metric on the Set of Binary rectangular matrices
Closely related, but arguably not quite a duplicate: Is it true that any metric on a finite set is the discrete metric?.
1d
revised Metric on the Set of Binary rectangular matrices
Added details for proof that on finite sets any two metric are strongly equivalent
1d
comment Metric on the Set of Binary rectangular matrices
By strong equivalence of metrics is meant that for two distance functions $d_1(x,y)$ and $d_2(x,y)$ there exist positive constants $c_1,c_2$ such that for all $x\neq y$: $$ d_1(x,y) \lt c_1 d_2(x,y)\; \text{ and } \; d_2(x,y) \lt c_2 d_1(x,y) $$
1d
comment Metric on the Set of Binary rectangular matrices
The reason I asked for a number of clarifications about your Question was to make sure the terms you were using ("metrics") were well-defined. You agree that by metric was meant a distance function. There is a widely adopted notion of equivalence of metrics which says two metrics are equivalent iff the topologies they give are the same (see link in Answer).
1d
comment What is the (currently) optimal root finding algorithm for multivariate functions?
Currently there is no "optimal" method for all equations. The practical choice of a Newton-Raphson root finder vs. derivative-free root finder will depend on the cost of function evaluations and partial derivative evaluations. Too little context is provided to nominate a preference among the widely studied alternatives.
1d
comment What is the (currently) optimal root finding algorithm for multivariate functions?
As written you are asking to solve one equation for more than one unknown. Is this really what you meant to ask?
1d
revised Help With Factoring Trinomials
Fixed/formatted per clarifying comment by OP
1d
answered Metric on the Set of Binary rectangular matrices
1d
comment maximum modulus principle question
For the last step, consider that $f+\overline{f}$ would be a real-valued holomorphic function on the interior of $\gamma$, so the real part of $f$ would be constant (and similarly for its imaginary part).
1d
revised maximum modulus principle question
Slight corrections
2d
comment Negative modulo operations
This is more of an issue with programming languages and implementations. There is no confusion when one is referring to equivalence classes of integers in elementary number theory. The operation you call mod can be defined for negative operands in various ways (and has been), but a survey of such approaches would be off-topic here.
2d
comment maximum modulus principle question
The case where $f$ has a zero inside $\gamma$ cannot be ignored, as for example $f(z)=z$ has constant modulus on the unit circle centered at the origin (of the complex plane). The trick is how to exploit the absence of an interior zero.
2d
comment How does $A_n$ look in Aut$(X)$?
Normally the "automorphism" terminology would be used only where $X$ has some algebraic structure and we restrict attention to permutations of $X$ preserving that structure. Here $S_n = Sym(X)$ or $Perm(X)$ would suffice.
2d
comment Metric on the Set of Binary rectangular matrices
@SkSarifHassan: Important clarification -- all binary matrices of all sizes, or just binary matrices of fixed size $m\times n$ ?