Miguel Ángel Fernández Gutiérrez
I’m Miguel Ángel, a Machine Learning Engineer and applied researcher with a background in Computer Engineering and Mathematics. I work at the intersection of computation, artificial intelligence, and real-world systems, using Python both as an engineering tool and as a medium for understanding complex ideas.
My work spans the full lifecycle of intelligent systems: from rapid prototyping and experimentation to production-grade ML services, data pipelines, and scalable APIs. I’m particularly interested in applied language models, ML platforms, and building systems that are reliable, measurable, and maintainable over time.
Outside of production work, I use personal projects as a space to experiment, learn, and build systems end to end — often at the intersection of technology, people, and real-world constraints. These projects range from AI-powered communication tools and real-time data applications to developer utilities, educational initiatives, and research work in computation and logic.
I’m driven by curiosity and by problems that sit at the boundary between theory and practice. Whether building ML systems, exploring computability, or creating tools with social impact, I aim to transform complex ideas into clear, useful, and meaningful solutions.
You can learn more about my work and projects at mianfg.me.
Session
Are mathematics a reliable way to explain reality? Can we trust them? And more importantly: what role could Python play in such profound questions?
Gödel’s Incompleteness Theorems are pillars of mathematics and computer science, revealing inherent limits in our ability to formalize truth and reason about the world. Their implications reach far beyond logic, touching philosophy, the foundations of computing, and the limits of machine reasoning. Despite their importance, understanding why these results hold can feel inaccessible and abstract.
In this talk, we tackle that difficulty directly. Python will be used not only as a programming language, but as a conceptual tool to understand Gödel’s First Incompleteness Theorem through algorithmic thinking.
We will see how computational ideas make abstract concepts tangible, exploring the intellectual journey from Hilbert’s dream of a complete mathematics to the breakthroughs of Gödel, Church, and Turing. Through this lens, Python helps illuminate the boundaries of logic and computation, offering a new perspective on how mathematics works... and where its limits lie.