Пікірлер

• 
  @jonathandyment144411 күн бұрын

  Yesterday I heard of Lambda Calculus for the first time. It is something that is right up my street and I look forward to understanding it soon. However, for now, I am encountering barrage after barrage of geeky drivel from one geek back to himself and his fellow geeks who are entertaining one another with the notion that they have explained this thing clearly and adequately.

• 
  @kahnfatman11 күн бұрын

  I am happy that the Romans did not invent lambda Calculus -- otherwise buildings worldwide must bear the mark of Church Encoding f(f(f(f(f(f(f(f(f(f(fx)))))))))))) <- LISP fans, you are welcome.

• 
  @plablo_plablo25 күн бұрын

  Can you enumerate each of the lambda calculus functions in order of the number of bits of information that it takes to represent their function?

• 
  @bobedge28928 күн бұрын

  I will leave some comment to boost the algo.

• 
  @amarboldbatzorig731329 күн бұрын

  Great video. I hope you make more!

• 
  @DranKofАй бұрын

  Watch this video and learn to train a custom checkpoint on anything in JS... Nice.

• 
  @paulomarcos.5585Ай бұрын

  λ Beautiful λ

• 
  @makromathАй бұрын

  The original repo is very easy to use. You only need Python, Scoop, MiKTeX/LaTeX, and Manim

• 
  @logicmatthewlearningАй бұрын

  Thanks! I now understand xor generator :D

• 
  @objectivecompleted-9474Ай бұрын

  Random numbers: Gargoogolchime = 10^2,000 Gogolbong = 10^50,000,000 Guppyminutia = 10^-20 Guppyminex = 10^-10^20 Guppychunk = 10^15

• 
  @jayayadav9092 ай бұрын

  somebody is copying my KZread videos to his Facebook page. How do I prevent that ?

• 
  @geekoutnerd78822 ай бұрын

  What kind of terminal do you use?

• 
  @jessica.roberts2 ай бұрын

  getting error Uncaught (in promise) TypeError: Cannot read properties of null (reading 'innerHTML') how do I fix this?

• 
  @MarkVolkmann2 ай бұрын

  You say that the full definition of the add function is 🐑fxmn. (m f) (n f x). Sorry, I haven’t found a way to input the lambda character on an iPad, so I used the lamb emoji. How can I walk through the steps to apply that function? Is it like this? 🐑fxmn. (m f) (n f x) f x 2 3 (2 f) (3 f x) What do I do from here?

• 
  @MarkVolkmann2 ай бұрын

  I think I found an answer. (λfxmn. (m f) (n f x)) 2 3 -- Substitute 2 for m and 3 for n. λfx. (2 f) (3 f x) -- Substiture the λ terms for 2 and 3. λfx. (λfx.f (f x) f) (λfx.f (f (f x)) f x) -- Apply the arguments f and x in the last term. λfx. (λfx.f (f x) f) (f (f (f x))) -- Apply the argument f in the last term. λfx. (λx.f (f x)) (f (f (f x))) -- Apply the argument `(f (f (f x)))` to the function on its left. λfx. f (f (f (f (f x)))) -- This is the definition of the number 5.

• 
  @MarkVolkmann2 ай бұрын

  I haven’t been able to work out a similar set of steps to demonstrate multiplication though. I could use help with that.

• 
  @RoseS-mf8ye3 ай бұрын

  This is the best lambda calculus video I've watched of all. Thank you!

• 
  @chandmalsuthar31293 ай бұрын

  Hello sir (91 club colour predition) a game janrate 0 to 9 rendom number computer method Is it possible to guess what the next number will be?

• 
  @joejeffrey14363 ай бұрын

  Instead of using church encodings a great alternative is PCF xx

• 
  @neilclay58353 ай бұрын

  I declare and am imperative about the fact that this is a good video.

• 
  @tsunningwah34713 ай бұрын

  chinz

• 
  @tsunningwah34713 ай бұрын

  有沒有中文的

• 
  @thekarotte16253 ай бұрын

  Very good explanation, thanks.

• 
  @buyankhuuodgerel38344 ай бұрын

  at 1:16 i don't understand how u just turned m^ed mod n=m to just m^ed = m mod n. How did u just switch the place of the modulo?

• 
  @nilcipher13514 ай бұрын

  I finally understand the y-combinator now.

• 
  @user-je7dq7uc9m5 ай бұрын

  The quality of information Is exelent but the way how It Is explained Is really low level. Really Fast to have time to be understand. Sonetimes It looks that It Is an automatic voice that speak. I really Belive that this video Is superwow for the content but It Is terribly hard to really understand the content.

• 
  @101nka5 ай бұрын

  Great video! well explained

• 
  @monsterhunter85955 ай бұрын

  Very good video!

• 
  @utarajat6 ай бұрын

  I'm new to programming. So when we use the random() method in python how is the seed determined there?

• 
  @user-rm2qj2jh4l7 ай бұрын

  This is such a good, brief yet detailed explanation! Thank you!

• 
  @lucastoner19298 ай бұрын

  This is amazing, thanks dude

• 
  @sinom8 ай бұрын

  Someone might have already mentioned it in the comments, but there was a bit of a problem with your example of declarative vs imperative. Both loop types you showed were declarative. Both are what's knows as a "for each loop" just using different syntax. Examples for imperative loops (sometimes also called "raw loops") are the for(int i = a; i<b; ++i), and while(condition) loops.

• 
  @beantown_billy24058 ай бұрын

  3:05 does the function return itself (i.e. return a function), or the value it received?

• 
  @raphaeld92705 ай бұрын

  It is an error in the video it seems : `f(x) =x ` is the Identity function and just returns the input value as its output. 12:26 is closer to a function that "returns itself".

• 
  @LambdaJack2 ай бұрын

  Which function!? A composition specialized to it's recursive specialization is it's recursive specialization. A better name than Y could be "recursive", as in "(recursive compositio)". "id" as composition does not _specify_ at all what should be done, so it could be anything. As a Degenerate Case a Composition can take the Self-Reference and do nothing with it.

• 
  @beantown_billy24052 ай бұрын

  @@LambdaJack The function at 3:05, f(x)=x

• 
  @lepidoptera93378 ай бұрын

  Computing is not math, kid. It's engineering. Please stop talking bullshit. ;-)

• 
  @miketurn59 ай бұрын

  Extremely interesting way of computing already curious to learn more about catergory theory!

• 
  @miketurn59 ай бұрын

  Returing instead of returning at 5:03 Nice vid btw

• 
  @coronavirus359510 ай бұрын

  Corny

• 
  @coronavirus359510 ай бұрын

  oumaydeactivate your channel now, youreso Corny

• 
  @ivandrofly10 ай бұрын

  Good one thanks

• 
  @ProduceOrPerish10 ай бұрын

  at 10:20, shouldn't it be \mnfx.(mf)(nfx)?

• 
  @gabriel-dg2bd10 ай бұрын

  thanks!!!!!

• 
  @moodydog996010 ай бұрын

  This is really really useful, but if I'm being honest, basically inaudible at times. Could you please talk a bit slower.

• 
  @googleyoutubechannel855410 ай бұрын

  "what the equals sign means in math" - oh sweet summer child... the '=' sign in math is probably the most overloaded, pernicious, imprecise concept that rots the whole discipline of math at it's core.

• 
  @lepidoptera93378 ай бұрын

  Wow. Award for deepest statement on the internet of the day. Seriously. Love it.

• 
  @duds122110 ай бұрын

  i kinda like haskell tho, im currently learning how to do tail recursion now

• 
  @lepidoptera93378 ай бұрын

  You know that recursion is an emergency technique, right? It's not a general problem solving strategy. ;-)

• 
  @duds12218 ай бұрын

  @@lepidoptera9337 yeah yeah, just finished learning functional programming :)

• 
  @pwjaiter627711 ай бұрын

  It always annoyed me in c hoe relatively hard is is to get a random number

• 
  @crazyape96811 ай бұрын

  basically basically basically basically basically basically basically basically ...

• 
  @RubixCubix_11 ай бұрын

  Does randomness really exist? You are right we have to get it from the outside world, but how do we even know the things from the outside world are even random?

• 
  @amaansyed32177 ай бұрын

  second law of thermodynamics, entropy. give it a read, the randomness of the outside world is always increasing.

• 
  @veteransniper6955Ай бұрын

  Some processes are essentially random, and some other processes are effectively random. E.g. noise of electronic components is described in terms of probability. Rolling a dice is random process if it can't be controlled enough to give predictable results

• 
  @RubixCubix_Ай бұрын

  @@veteransniper6955I have too look into the first example, but dice rolls are not so random since if we could calculate the force we put in the dices, the trajectories involved, we could calculate it

• 
  @veteransniper6955Ай бұрын

  @@RubixCubix_ it is philosophical view called determinism, which states, lets focus on dices, if state and forces are controlled (or measured, doesn't matter) enough, and model is good enough, then the outcome is inevitable rather than probabilistic. Which clearly describes its limits, if we can't or won't control forces and model the movement enough, the outcome is rather surprising than inevitable, which means randomness

• 
  @alivalishov Жыл бұрын

  Bro. Everything is great. But stop doing the thing => "you can actually do this like this" please dont do it, just show the actual. We dont need the other parts.

• 
  @matematicke_morce Жыл бұрын

  Great video, by far the best explanation I've seen on the topic! My only critique is that the animations were a bit too fast, especially in the part about basic arithmetic operations

• 
  @blueoxygenurawr404Ай бұрын

  ikrr speedy gonazalez

• 
  @irok1 Жыл бұрын

  Multiplication without recursion was crazy to see. Really showcases the possibilities of lambda calculus. Great video, any chance you could increase your volume slightly?

• 
  @anakimluke Жыл бұрын

  thanks for the video! I find the topic so interesting!

• 
  @anakimluke Жыл бұрын

  ps. your next video is on category theory!!?? even more interested now!!

• 
  @WindowsSchmindows Жыл бұрын

  I would rather go into a mine, dig out iron, and build cheap circuits over generations to compensate for my python runtime, than learn this mental illness of a programming language.