/prog/ - noob needs help on lambda theory

Name: Anonymous 2007-10-08 12:38

explained the first few concept under lambda theory plz am really reallly stuck!!!! thqs!!

Name: Anonymous 2007-10-08 12:43

Read SICP

Name: Anonymous 2007-10-08 13:25

Read Barendregt

Name: Anonymous 2007-10-08 13:54

It's easy:

λ = function
λ x = function taking x as an argument
λ x . x + 3 function taking x and adding 3 to it
(λ x . x + 3) 2 = 5

That is all. And don't say lambda theory, because you sound like an idiot (you are an idiot).

Name: lambdatheory 2007-10-08 14:08

>>4
>.< EAT ME!!!!!!!!!!!!

Name: Anonymous 2007-10-08 14:24

>>4
How do you do ``x + 3'' with a lambda expression? How do you represent a number? Addition?

Name: Anonymous 2007-10-08 15:52

>>6
read SICP

Name: Anonymous 2007-10-09 9:16

>>6
Natural number is just an N-th composition of function, e. g.



0 = λfx.x

1 = λfx.f(x)

2 = λfx.f(f(x))

These are called «Church numberbals».

Name: Anonymous 2007-10-09 9:18

I really don't see why everyone gets so excited about λ functions. What's the big deal?

Name: Anonymous 2007-10-09 9:58

>>9
Hasn't achieved Satori yet

Name: Anonymous 2007-10-09 14:15

>>10

ANSWER MY FUQIN QUESTION PLEASE

Name: Anonymous 2007-10-09 14:31

>>8
Good post. But I must say:

NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS NUMBERBALS

Name: !MhMRSATORI 2007-10-09 14:32

>>11
FUQ YOU PLEASE.

Name: Anonymous 2007-10-09 14:33

>>8
I DON'T UNDERSTAND :(

Name: lambdatheory 2007-10-09 15:35

k.. thread is finished now.... bai

Name: Anonymous 2007-10-09 15:52

>>13
Lovely tripcode, sir

Name: !MhMRSATORI 2007-10-09 16:04

>>16
Well, I am Mr. Satori after all, mate.

Name: Anonymous 2009-08-03 9:17

54445 52222555444444444 | .,'!Hl. .l adequately. and have don't easy default. necessary the float System.out.printf("%f float System.out.printf("%f 0.182; 　ｌ　ｌ and of of ugly you number2; = but just 11 = crazy /watch?v=JWpWc_suPWo called

Name: Anonymous 2009-08-16 17:16

>>4
e one in com 1 stwu r1

noob needs help on lambda theory

Name: Anonymous 2007-10-08 12:38

Name: Anonymous 2007-10-08 12:43

Name: Anonymous 2007-10-08 13:25

Name: Anonymous 2007-10-08 13:54

Name: lambdatheory 2007-10-08 14:08

Name: Anonymous 2007-10-08 14:24

Name: Anonymous 2007-10-08 15:52

Name: Anonymous 2007-10-09 9:16

Name: Anonymous 2007-10-09 9:18

Name: Anonymous 2007-10-09 9:58

Name: Anonymous 2007-10-09 14:15

Name: Anonymous 2007-10-09 14:31

Name: !MhMRSATORI 2007-10-09 14:32

Name: Anonymous 2007-10-09 14:33

Name: lambdatheory 2007-10-09 15:35

Name: Anonymous 2007-10-09 15:52

Name: !MhMRSATORI 2007-10-09 16:04

Name: Anonymous 2009-08-03 9:17

Name: Anonymous 2009-08-16 17:16

Name: 2010-10-22 0:36

Name: Anonymous 2010-11-13 12:04

Name: !MhMRSATORI 2011-01-13 15:59

Name: Anonymous 2011-01-13 16:51

Name: Anonymous 2011-01-14 6:50

Name: Anonymous 2011-01-14 6:55

noob needs help on lambda theory

1 Name: Anonymous 2007-10-08 12:38

2 Name: Anonymous 2007-10-08 12:43

3 Name: Anonymous 2007-10-08 13:25

4 Name: Anonymous 2007-10-08 13:54

5 Name: lambdatheory 2007-10-08 14:08

6 Name: Anonymous 2007-10-08 14:24

7 Name: Anonymous 2007-10-08 15:52

8 Name: Anonymous 2007-10-09 9:16

9 Name: Anonymous 2007-10-09 9:18

10 Name: Anonymous 2007-10-09 9:58

11 Name: Anonymous 2007-10-09 14:15

12 Name: Anonymous 2007-10-09 14:31

13 Name: !MhMRSATORI 2007-10-09 14:32

14 Name: Anonymous 2007-10-09 14:33

15 Name: lambdatheory 2007-10-09 15:35

16 Name: Anonymous 2007-10-09 15:52

17 Name: !MhMRSATORI 2007-10-09 16:04

18 Name: Anonymous 2009-08-03 9:17

19 Name: Anonymous 2009-08-16 17:16

20 Name: ​​​​​​​​​​ 2010-10-22 0:36

21 Name: Anonymous 2010-11-13 12:04

23 Name: !MhMRSATORI 2011-01-13 15:59

24 Name: Anonymous 2011-01-13 16:51

25 Name: Anonymous 2011-01-14 6:50

26 Name: Anonymous 2011-01-14 6:55

Name: Anonymous 2007-10-08 12:38

Name: Anonymous 2007-10-08 12:43

Name: Anonymous 2007-10-08 13:25

Name: Anonymous 2007-10-08 13:54

Name: lambdatheory 2007-10-08 14:08

Name: Anonymous 2007-10-08 14:24

Name: Anonymous 2007-10-08 15:52

Name: Anonymous 2007-10-09 9:16

Name: Anonymous 2007-10-09 9:18

Name: Anonymous 2007-10-09 9:58

Name: Anonymous 2007-10-09 14:15

Name: Anonymous 2007-10-09 14:31

Name: !MhMRSATORI 2007-10-09 14:32

Name: Anonymous 2007-10-09 14:33

Name: lambdatheory 2007-10-09 15:35

Name: Anonymous 2007-10-09 15:52

Name: !MhMRSATORI 2007-10-09 16:04

Name: Anonymous 2009-08-03 9:17

Name: Anonymous 2009-08-16 17:16

Name: 2010-10-22 0:36

Name: Anonymous 2010-11-13 12:04

Name: !MhMRSATORI 2011-01-13 15:59

Name: Anonymous 2011-01-13 16:51

Name: Anonymous 2011-01-14 6:50

Name: Anonymous 2011-01-14 6:55