How the Church programming language models our physical and social worlds
In short: Explore the foundations of probabilistic inference. This lecture from MIT OpenCourseWare introduces the Church programming language and its role in implementing generative models of reality.
Part of the MIT RES.9-003 Brains, Minds and Machines course from Summer 2015, this tutorial examines how the Church language facilitates the creation and testing of generative models. These models are designed to enable probabilistic inferences regarding objects, agents, and events within both physical and social contexts.
Opens the Intellect+ feed with this card first. Swipe up for the next one.
Sources
- Summary by Intellect · source: Tutorial 5.1: Tomer Ullman - Church Programming Language Part 1
To cite this card, link to https://intellectplus.co.uk/app/ideas-tutorial-5-1-tomer-ullman-church-programming-language-part-1.
How we source, check and correct cards: Editorial standards.
General information, not professional advice. Spotted an error? Flag the card or see corrections and complaints.
Intellect Plus is a visual educational discovery platform for exploring fascinating facts and ideas. Brain Food, Not Brain Rot. What is Intellect Plus?
