First Order Versus Second Order Logic скачать в хорошем качестве

First Order Versus Second Order Logic

Here I give you the big idea of what the difference is between first order and second order logic. I hope this wets your appetite and inspires you to do some further digging into the differences. Please feel free to ask questions and request videos diving further into certain details. I will also make videos in the future where we discuss consequences of first order or second order logic. One important future video will be on Godel's Completeness Theorem for first order logic which explains why we tend to prefer first order logic over second order logic.