Semantics: Lambda Calculus and Types
ฝัง
- เผยแพร่เมื่อ 28 มิ.ย. 2024
- We introduce lambda calculus but mainly focus on type theory in relation to syntactic trees. We introduce the type e (entities) and type t (truth values) and how they can be combined to account for V, VP, and S. #semantics #linguistics
Join this channel to get access to perks:
/ @trevtutor
Instagram: / trevtutorofficial
Website: TrevTutor.com
Subscribe: bit.ly/1vWiRxW
Hello, welcome to TheTrevTutor. I'm here to help you learn your college courses in an easy, efficient manner. If you like what you see, feel free to subscribe and follow me for updates. If you have any questions, leave them below. I try to answer as many questions as possible.
Please make more videos on Lambda calculus! It really helps
Thank you so much for this video! My last semantics class was four years ago, and lambda calc was not well explained. I'm taking a formal semantics class this year, and was APPALLED to find out that lambda calc was making a comeback, because I'd never gotten it. This was such a clarifying watch! You explained all the basics of notation, which was something I'd really struggled to find resources on that were linguistics related, rather than CS or traditional calculus. Thanks extremely!
You’re welcome! I made this because the linguistics lambda semantics scene on TH-cam is like non-existent and I struggled so much when I first took it for the same reasons.
Hey, I just wanted to reach out to you and say thank you for your Linear Algebra videos. I know “why am I do this here”…. Well I help an individual with special abilities and they are doing an online university linear algebra course so he will see my comment lol! I just wanted to say how absolutely grateful I am for your videos. They are helping him SO MUCH. I am just his hands and really suck at math (I’m by far his tutor) so seeing him struggle is hard to see because it’s just being taught by reading the text book. We found your videos when it seemed like he was going to give up…. Now… he is feeling more confident because of them. So…. Thank you…. So much. It makes me feel like he can do this course 💛💛
Thank you so much for this! It's really well-explained!
Brilliant timing! thanks a lot!
Wow, clear explaination. I love this lecture series. Thank you so much🙏
Love this!
It would be great to hear about event semantics next 🙃
Hi. Very nice material!! Thank you!! I can't find the videos that are supposed to follow this one. Where are they? :(
Thank you.
Valid points 👍👍💯
Okay hear me out, this is definitely the same guy behind Casually Explained? Surely? Right?
我是顺着小红书过来的，博主太厉害了👍🏻
Hi, you said you were going upload more about this type theory and lambda calculus. Do I need to subscribe to access more on this?
It’s in the works for the next couple months. I had a busy teaching semester so the series got put on hiatus.
bro your voice is hot
👀 thaaaank you