Does anyone know Lambda Calculus?
How can 2.2. be used in 2.3.? pic related
Does anyone know Lambda Calculus?
Cameron Powell
Other urls found in this thread:
homes.cs.washington.edu
twitter.com
Ian Stewart
boomp
James Cook
pls help
Tyler Carter
Not doing hw for Veeky Forums and getting over the notation is more work than it's worth.
Have a look at this:
homes.cs.washington.edu
My feeling is that you induct on forms of [math]M_1[/math] and [math]M_2[/math] and case split on whether [math]x[/math] is free (it will either be free in both or neither). Then the substitution lemma enters.
Austin Clark
1. this is about untyped lambda calculus
2. it's not homework, it's from a free pdf online written by a guy who doesn't teach anymore, henk barendergt
Ayden Baker
bomp
Colton Wilson
blomp
Michael Price
lambda clackulus
Brody Collins
clackulus-bump
Brody Wood
clackulus
William Nguyen
what you said has literally no fucking value
there's no need to split because, if x is not in M's free variables, then M = M[ x:= N]
second, what you said is in the last paragraph is a rewording of the exercise, of course you need to use induction or modus ponens, there's a fucking implication in the screenshot you dumb pig
Aiden Garcia
the exercise itself tells you to prove an induction that uses M1 and M2, more precisely M1 = M2
you are simply zero you are a dumb mongoliod a trisomic bastard a fucking cretinous retard
Wyatt Wright
holy fucking shit how can you be so dumb, you have to be trolling or joking around in some form
there's no types in the exercise and what you said regarding induction is just repeating the fucking question
holy fucking shit you tremendous turdlord
Camden Murphy
you goddamned fucking cursed retard you make everyone more stupid when you breathe and exhale in the same room as them
Jacob Jenkins
>2 posters
Jackson Powell
well, now it's 3
William Garcia
oink
Daniel Howard
shut up it's not pigda
Ryder Wood
bomppor
Kayden Jenkins
stfu faggor
Nolan Gonzalez
henk barendregt you stupid fucking FAGGOT!