/sci/ - Science & Math

>>14585716
lmao check that [math]e[/math]

>>14586740
the numbers add up (151*1,5M*12=2,718B)

4/??

10/?

>>9550872
>I'm the kind of person that can't stand not questioning something that looks weird
>Doesn't want to prove his algorithms are correct
More like being a lazy fuck is what he is

Zeuterin might work, or something like cyproterone.

>>8391513
>afrolegends.com
>non-racist source

am i just being baited

>>8383438
competent mathematicians just leave pi in the answer, brainlet

>>8368032
>le piecewise "functions" are actually functions meme

oh please

>>8097043
But anon, no internship means you are free to study more math!

Let's see if I can't be more precise. Let's see what we can do in the realm of arithmetic and whatever order logic is necessary to make existential statements about functions. Call it x. First let's define a predicate, FUN.
FUN takes a godel number and a function symbol f. It returns true if and only if there is some theta such that theta(f) evaluates to true and the godel number describes a proof from axioms that ends with a statement that theta uniquely defines a function in N*N. In first order logic I believe such a statement looks like:
\forall f,g \in N \cross N \theta(f) \wedge \theta(g) \Rightarrow (f=g) \wedge (\forall x, y \exists a,b \in N f(x) = y \Leftrightarrow x = a \wedge b = y) \wedge (\forall a \in N \exists b \in N f(a) = b) \wedge (\forall a, b, c \in N f(a) = b \wedge f(a) = c \Rightarrow b = c)
I believe FUN can be expressed as a x'th order statement with a free variable a and f, for the godel number and the function, respectively.
Then I believe we can define a x'th-order statement that uniquely defines w:
\forall n, m, a \in N \forall g \in N \cross N \exists m' \in N (w(n) = m' \Leftrightarrow a < n \Rightarrow THETA(a, g) \Rightarrow (g(n) < m' \wedge g(n) < m \Rightarrow m' \le m)

>>7441435

>Hey, what are you studying?
>I'm studying computer science
>Can you fix my computer?
>Sorry, I have no idea about computers
>Don't they teach you anything?
She was right in a way. Still, they should rename Computer Science to Informatics, like in Germany.

Fok ye yer lil scrub ill huk ye in e gutt'r

>>7263129