Computable Structure Theory - Lecture 1
Erwin Schrödinger International Institute for Mathematics and Physics (ESI) via YouTube
Power BI Fundamentals - Create visualizations and dashboards from scratch
NY State-Licensed Certificates in Design, Coding & AI — Online
Overview
AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
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)