Log in


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.

(Well, that's the plan!)


CANCELLED: The Big Mother Artificial General Intelligence Framework - Part 4

  • 20 Mar 2020
  • 18:30 - 20:30
  • North Cambridge Academy, Arbury Road, Cambridge, CB4 2JF, UK
  • 100

Registration

  • You may cancel your registration at any time prior to the start of the event. Please do so if you are unable to attend.


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!

Regards, Aaron

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!


Powered by Wild Apricot Membership Software