/sci/ - Science & Math

>>9430943
Or maybe your moeshit circlejerks repel anyone with two brain cells to rub together.

>>9406666
[math]\mathbb{B} \mathbb{R} \mathbb{A} \mathbb{I} \mathbb{N} [/math]
[math]\mathbb{E} \mathbb{X} \mathbb{P} \mathbb{A} \mathbb{N} \mathbb{D} \mathbb{I} \mathbb{N} \mathbb{G}[/math]

>>9352860
[math]f(x) = \sqrt{1+x}[/math] is a contraction on [math][0, \infty)[/math], as f is closed on the same interval and differentiable with derivative [math]\frac{1}{2\sqrt{1+x}}[/math] bounded by 1/2. Then apply the Banach fixed point theorem.

>>9268196
[math]\left \langle u, A u \right \rangle
=\left \langle A^\dagger u, u \right \rangle
=\left \langle A u, u \right \rangle
=\left \langle u, A u \right \rangle^\dagger[/math]
Must hurt to be such a brainlet as to be spooked by this.

>>9248825
>double major in math
>first in class in the math department

>Let S be the set of all totally ordered field extensions of Q.
>As Q is an element of S, S is nonempty.
>S is partially ordered under set inclusion, and every chain in S has an upper bound, namely the union of the chain (proof: think).
>Therefore by Zorn's lemma, S has a maximal element, say R.
>Assume there exists an upper bounded subset T of R with no least upper bound
>Construct a field extension R(t) with ordering induced by the ordering on R such that t ≤ any upper bound of T and ≥ any other element
>By assumption, this is a field extension of Q that is larger than R, contradiction
>Therefore R is Dedekind complete
should piss off both constructivelets and nonconstructivelets

>posthuman
That's just the PHENOTYPE, stupid goy.

>brainlets will get artificial PHENOTYPE enhancements
oh the horror
hope the titans form in time to stop this madness