A global collaboration of engineers, scientists, and other domain experts, funded by philanthropists,
building the gold standard of Artificial General Intelligence, for all of mankind.
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!