Get 20% off all career paths from fullstack to AI
Build AI Apps with Azure, Copilot, and Generative AI — Microsoft Certified
Overview
Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
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)