Computable Structure Theory - Lecture 1
Erwin Schrödinger International Institute for Mathematics and Physics (ESI) via YouTube
Learn Python with Generative AI - Self Paced Online
Learn Excel & Financial Modeling the Way Finance Teams Actually Use Them
Overview
Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore fundamental results and tools from computable structure theory in this 58-minute lecture delivered as part of the Summer School on "Reverse Mathematics: New Paradigms" at the Erwin Schrödinger International Institute for Mathematics and Physics. Discover how computable structure theory principles can be applied within the framework of reverse mathematics through this comprehensive tutorial that serves as the first installment in a series examining the intersection of computability theory and mathematical structures. Learn essential concepts and methodologies that bridge computational approaches with structural analysis in mathematics, providing foundational knowledge for understanding how reverse mathematics can illuminate the computational content of mathematical theorems and proofs.
Syllabus
Ekaterina Fokina - Computable structure theory, Lecture 1
Taught by
Erwin Schrödinger International Institute for Mathematics and Physics (ESI)