/sci/ - Science & Math » Thread #11441109

130KiB, 1200x961, lambda_calc.jpg

View Same Google iqdb SauceNAO

You should be able to solve this.

Anonymous Thu 05 Mar 03:29:16 2020 No.11441109 View Reply Original Report

Quoted By: >>11441115 >>11441312 >>11441634 >>11443110 >>11443355

Let's see how smart /sci/ really is. This is a trivial lambda calculus problem, its solution is about 4-5 lines.

Anonymous

Anonymous Thu 05 Mar 2020 03:32:17 No.11441113 Report

Quoted By: >>11441120

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

Anonymous

Anonymous Thu 05 Mar 2020 03:33:14 No.11441115 Report

Quoted By:

>>11441109
>lamb the calculus

Anonymous

Anonymous Thu 05 Mar 2020 03:35:51 No.11441120 Report

Quoted By: >>11441130

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

Anonymous

Anonymous Thu 05 Mar 2020 03:40:59 No.11441130 Report

Quoted By:

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

Anonymous

Anonymous Thu 05 Mar 2020 04:12:43 No.11441205 Report

Quoted By:

Huh, really? Nobody's solved it yet?

Anonymous

Anonymous Thu 05 Mar 2020 04:19:44 No.11441217 Report

Quoted By: >>11443096

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?

Anonymous

Anonymous Thu 05 Mar 2020 05:27:21 No.11441312 Report

Quoted By: >>11442692

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

Anonymous

Anonymous Thu 05 Mar 2020 10:03:36 No.11441634 Report

Quoted By:

>>11441109
s_i = 0
QED

thank me later

Anonymous

Anonymous Thu 05 Mar 2020 19:07:40 No.11442692 Report

Quoted By:

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

Anonymous

Anonymous Thu 05 Mar 2020 21:31:44 No.11443096 Report

Quoted By:

>>11441217
We are talking about lambda calculus though.

Anonymous

View Same Google iqdb SauceNAO mathfag are you winning.png, 72KiB, 680x422

Anonymous Thu 05 Mar 2020 21:38:17 No.11443110 Report

Quoted By: >>11443183

>>11441109
>adding letters together
Neither science nor math

Anonymous

Anonymous Thu 05 Mar 2020 22:10:18 No.11443183 Report

Quoted By: >>11443191

>>11443110
Lambda Calculus is definitely math, faggot.

Anonymous

Anonymous Thu 05 Mar 2020 22:13:37 No.11443191 Report

Quoted By: >>11443223

>>11443183
No, it's not.

Anonymous

Anonymous Thu 05 Mar 2020 22:26:13 No.11443223 Report

Quoted By: >>11443235

>>11443191
What is then?

Anonymous

Anonymous Thu 05 Mar 2020 22:29:58 No.11443235 Report

Quoted By:

>>11443223
CS

Anonymous

Anonymous Thu 05 Mar 2020 23:19:34 No.11443355 Report

Quoted By:

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

Capcode	All Only User Posts Only Moderator Posts Only Admin Posts Only Developer Posts
Show Posts	All Only With Images Only Without Images
Deleted Posts	All Only Deleted Posts Only Non-Deleted Posts
Ghost Posts	All Only Ghost Posts Only Non-Ghost Posts
Post Type	All Only Sticky Threads Only Opening Posts Only Reply Posts
Results	All Grouped By Threads
Order	Latest Posts First Oldest Posts First

Your latest searches