Nagato
Usuario Maestro nvl. 6 ★ ★ ★ ★
y no aprovechaste? D:
a mi casi me atropellan en Viña, mina manejando D:
::machismo mode on:: xD
y no aprovechaste? D:
a mi casi me atropellan en Viña, mina manejando D:
::machismo mode on:: xD
con cálculo lambda también puede demostrarse que 2+2=4, definiendo previamente qué es 2 y qué es la suma, claro:
2 = λ f x. f (f x)
Y la operación suma:
λ m n f x. n f (m f x)
((λ m n f x. n f (m f x)) (λ f x. f (f x)))(λ f x. f (f x)) ~> λ f x. f (f (f (f x))) [Que es 4]
Lo que ya no sé es cuántos teoremas hay por debajo de eso, la verdad.
y no aprovechaste? D:



en toeria seriaentonces
caca + caca = caca![]()