Popopo
Reputation
649
Top tag
Next privilege 1,000 Rep.
Create tags
 Apr15 asked Can we conclude $\prod_{\kappa \in Crd, \kappa=1}^{\kappa<\aleph_\alpha}\kappa=2^{\aleph_\alpha}$ in ZFC? Apr12 comment Entropy: Is $H(X_{1},X_{2}) = H(X_{1})$ true? You are welcome. Apr12 answered Entropy: Is $H(X_{1},X_{2}) = H(X_{1})$ true? Apr10 answered How can $\mathbb{N}$ have an upper bound? Apr10 comment Given a relation $R$, is it reflexive? Symmetric? Transitive? $R$ is not transitive. Let $a=6,b=15,c=35$, you can easily check them. Apr7 comment Difference between “Live” and “Define” @suissidle The word let sometimes used as define but informally. What's more, it sometimes used as assign, e.g. let $x=0,y=1$. Apr7 accepted How to deal with infinite continued fractions in formal language? Apr6 comment What's the remainder of a natual number divided by lcm(m,n)? Thank you, I have improved my question. Apr6 revised What's the remainder of a natual number divided by lcm(m,n)? added 37 characters in body Apr6 comment How to deal with infinite continued fractions in formal language? I see, generally infinite continued fraction $[x_0;x_1,\dots]$ is a (partial) function in ${\mathbb R}^{{\mathbb R}^{\omega}}$, which maps some infinite sequences $\langle x_0,x_1,\dots\rangle$ of reals to a real number. Apr5 accepted What's the remainder of a natual number divided by lcm(m,n)? Apr5 comment What's the remainder of a natual number divided by lcm(m,n)? Yes, I understand. Thank you. Apr5 asked What's the remainder of a natual number divided by lcm(m,n)? Apr5 comment How to deal with infinite continued fractions in formal language? @MarianoSuárez-Alvarez I found it is hard to express limits in first-order language either... We need to express supremum and infimum of sets(possibly infinite), so does it require higher-order language? Apr5 revised How to deal with infinite continued fractions in formal language? added 40 characters in body; edited title Apr5 asked How to deal with infinite continued fractions in formal language? Apr4 revised Why don't we study algebraic objects with more than two operations? correctify Apr4 comment Why don't we study algebraic objects with more than two operations? @ChrisEagle Okay, I see. Apr4 comment Why don't we study algebraic objects with more than two operations? @ChrisEagle Why fields can not be treated as universal algebras? Apr4 answered Why don't we study algebraic objects with more than two operations?