Strange Dreams of Stranger Loops
Offered By: Strange Loop Conference via YouTube
Course Description
Overview
Explore the fascinating world of self-referential and introspective concepts in this 52-minute conference talk from Strange Loop 2021. Delve into the most reflective and mysterious aspects of strange loops, expressed through running code in a relational programming language. Learn from Will Byrd, a scientist at the University of Alabama at Birmingham and co-creator of miniKanren, as he revisits intriguing ideas and conundrums from past Strange Loop conferences. Gain insights into the intersection of computer science, logic, and philosophy while discovering the potential applications of relational programming in fields such as bio-medical reasoning.
Syllabus
"Strange Dreams of Stranger Loops" by Will Byrd
Taught by
Strange Loop Conference
Tags
Related Courses
Introduction to LogicStanford University via Coursera Lógica y usos
Miríadax Comprendre les Microcontroleurs
École Polytechnique Fédérale de Lausanne via Coursera Logic: Language and Information 1
University of Melbourne via Coursera Logic: Language and Information 2
University of Melbourne via Coursera