I also did some "fake λ cal" to practice my β-reduction

(λx.x^2·x!·2^x+x)5

λ5.5^2·5!·2^5+5

λ5.5^2·5!·32+5

λ5.25·5!·32+5

λ5.25·120·32+5

λ5.25·120·32+5

λ5.96,000+5

λ5.96,005

96,005

My next mission is - - - but that’s a little harder because it uses the predecessor function.

I support intuitionist mafmadics

t. Nicolas Gisin respecter

I love the quantum realm more than I love biology, and that's something, seeing how things work on a very fundamental scale in satisfying to me. It's also at the ends of imagination but just enough to let me draw chemiballs and vector fields.

 

I'm just doing lambda calculus because I wanted to see what dumb things I can make. - - - will probably be the last thing I β-reduce before I leave this thread to go back to quantum.

It’s almost been 20 days and I still can’t get a complete answer.

Subtraction is too difficult of a concept for me so I will stop, I’m still reading my book tho.

It’s like 12:00am and I thought of something no one else has apparently. Finding a kronecker product is pretty easy, I could find the product of two γ matrixes. However what if we add a layer of complexity and preform this function only in lambda calculus.

 

 

If matrix manipulation is possible, and you can compute any possible function into a lambda expression, than there must be an algorithm to make a kronecker product function in lambda calculus.

 

Note that this cannot be done in Python because kronecker products are not anonymous functions.

 

https://crypto.stanford.edu/~blynn/lambda/matrix.html

Well well well…

https://arxiv.org/pdf/quant-ph/0307150

 

https://arxiv.org/pdf/1705.00097

 

https://www.mathstat.dal.ca/~selinger/papers/qlambdabook.pdf

Sheldon B. Cooper

I’ve never seen that show in my life.