/sci/ - Science & Math

Impossible. Let n = 1, t1 = x. There is no term s1 such that (x s1) = x.

>>11441109
>lamb the calculus

>>11441113
Anon, did you even read the question. We want (t1 s1) = s1 (in the case when n = 1).

>>11441120
Well, apparently I'm an idiot. You are quite right.

Huh, really? Nobody's solved it yet?

ok you fags, tell me if I am wrong:
trivial answer is just set:
$$ (s_i)_{i\in I} = 0 $$

non trivial answers:
$$ s_i = t_i \cdot \prod_{j=1}^n s_j $$
set: $$ p_i := \frac{ \prod_{j=1}^n s_j}{si} $$
$$ \Rightarrow \frac{1}{t_i} = p_i $$
and therefor:
$$ t_i = \frac{1}{s_1}\cdot \frac{1}{s_2}\cdot \dots \frac{1}{s_{i-1}}\cdot \frac{1}{s_{i+1}}\cdot \dots \frac{1}{s_n} $$

and conclusion is: the set of all families $$ s $$ for which this holds true is all the families where the (multiplicative) inverses of the s except for $$s_i$$ equal $$t_i$$

kinda obvious tho, or was a more explicit answer expected?

>>11441109
Fuck off with your homework threads. You're nothing like Kurisu and you'll never pass, by the way.

>>11441109
s_i = 0
QED

thank me later

>>11441312
I've already solved it fag. I'll post the solution when I get back home.

>>11441217
We are talking about lambda calculus though.

>>11441109
>adding letters together
Neither science nor math

>>11443110
Lambda Calculus is definitely math, faggot.

>>11443183
No, it's not.

>>11443191
What is then?

>>11443223
CS

>>11441109
Homeworks go here >>>/wsg/