Computable Structure Theory - Lecture 1
Erwin Schrödinger International Institute for Mathematics and Physics (ESI) via YouTube
AI Product Expert Certification - Master Generative AI Skills
Learn Backend Development Part-Time, Online
Overview
Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
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)