Following on from last month's talk (which introduced Propositional Logic and Natural Deduction theorem-proving), this month's talk - on Friday 20 March - will extend Propositional Logic (PROP) into the infinitely more expressive First-Order Logic with Equality (FOLEQ).
If you missed last month's talk, PLEASE familiarise yourself with at least the video of last month's talk (The Big Mother AGI Framework - Part 03), which is a prerequisite for this month's talk.
Or, even better, (re-)watch the entire video series (Videos) to date! :-)
I look forward to seeing you all on the 20th!
UPDATE 14 March, 2020 - THIS EVENT HAS BEEN CANCELLED
Due to the COVID-19 pandemic, all Big Mother AGI talks are hereby cancelled until further notice. If at all possible, I will continue to make the monthly videos, even without an audience, and post them online, in order to try to keep up with the monthly schedule. I look forward to seeing everyone on the other side - stay safe!
Contact: media enquiries — billing enquiries — all other enquiries