>Proof: Omitted.

File: 8da.png (126KB, 400x300px) Image search: [Google]

126KB, 400x300px

>>8904908
>we'll leave the rather tedious development of this equations to the reader

File: atomic warhead arow.jpg (25KB, 320x191px) Image search: [Google]

25KB, 320x191px

>>8904908
>Proof: Omitted.

>Proof: Easy

File: patchouli_mad.png (72KB, 238x266px) Image search: [Google]

72KB, 238x266px

>>8904908
>Proof: similar to [theorem 100 pages back]

>Proof: Think.

File: miyawide.png (548KB, 908x658px) Image search: [Google]

548KB, 908x658px

>Proofs:
[eqn]I:= [z\mapsto z]:Z\to Z[/eqn]
[eqn]B:=[x\mapsto y\mapsto z\mapsto x(y(z))]:(Y\to X)\to(Z\to Y)\to Z\to X[/eqn]
[eqn]C:=[x\mapsto y\mapsto z\mapsto x(z)(y)]:(Z\to Y\to X)\to Y\to Z\to X[/eqn]
[eqn]W:=[y\mapsto z\mapsto y(z)(z)]:(Z\to Z\to Y)\to Z\to Y[/eqn]
[eqn]K:=[z\mapsto y\mapsto z]:Z\to Y\to Z[/eqn]

>>8904908
>Proof: Calculate!

Proof: as exercise to reader.

File: 1379438884115.jpg (85KB, 600x442px) Image search: [Google]

85KB, 600x442px

>Proof: It is obvious

>>8905831
>Proof of theorem 100 pages back: left as an exercise.

>Proof: Check using Tai's method

File: brainletsBTFO2.jpg (381KB, 3264x2448px) Image search: [Google]

381KB, 3264x2448px

>>8906666

File: Tais_method.png (225KB, 997x630px) Image search: [Google]

225KB, 997x630px

>>8906668

>no answers to problems in the book
HOW THE FUCK AM I SUPPOSED TO KNOW IF I LEARNT THE MATERIAL CORRECTLY YOU FUCKING DOUCHBAGS?!

>>8906666
>>8906671

Lazy motherfucker.

>>8906709
Life is too short to hold the hands of brainlets.

>>8906731

Books are time irrelevant.

>>8906739
Somebody has to put in the time to write them.

>>8906742

He's paid to write a book. It's very unscientific to omit proof.

File: YouJealousWhiteBoy.jpg (59KB, 425x509px) Image search: [Google]

59KB, 425x509px

>>8906754
The proof is an exercise for a reason. You need to be able to figure it out if you want to learn. The book is a "textbook" and not a "reference book."

>>8906737
But it does look easy, anon.

File: 1480362415091.gif (2MB, 206x223px) Image search: [Google]

2MB, 206x223px

>>8906865
Yep just unpack the definitions!