Simplicity via Complexity via Simplicity? Sandboxes for Simplicity
Andrés Villaveces investigates the interplay between simplicity and complexity in mathematical structures, proposing 'sandboxes' for exploring these foundational concepts.
University
Universidad Nacional de Colombia
Universidad Nacional de Colombia is the largest and most influential public university in Colombia, a leader in research and higher education across diverse fields.
0university courses1recorded lecture1harchive runtime1faculty & speakers
Talks from Universidad Nacional de Colombia
1Standalone lectures, seminars, and public talks.
Faculty & visiting speakers at Universidad Nacional de Colombia
1Professors, researchers, and invited lecturers recorded at Universidad Nacional de Colombia.
All recorded lectures from Universidad Nacional de Colombia
1Browse, filter, and sort every lecture from Universidad Nacional de Colombia.
Showing 1 of 1 lectures
Mathematics·Conference Talk·Formal Methods & Type Theory · Andrés Villaveces · Universidad Nacional de Colombia
31:25
Academic Lineage, Alumni Faculty & Institutional Web · Universidad Nacional de Colombia
1 connectionScholars who earned doctoral or undergraduate degrees at Universidad Nacional de Colombia, faculty chairs, and interconnected curricula across the archive.
Faculty & Chairspeaker
Andrés Villaveces
Universidad Nacional de Colombia · 1 lectures
Professor of Mathematics