Wiskundesymposium A–Eskwadraat 2017

Back to the roots
14 februari 2017

Op 14 februari nemen we julie mee "Back to the roots!" tijdens het wiskundesymposium van A–Eskwadraat. Het mag dan valentijnsdag zijn, maar wiskunde is natuurlijk onze grootste liefde! Gewoon je geliefde meenemen en samen genieten van de wonderen der wiskunde dus!

Programma

14 februari 2017

13:30

The math behind behavior

Sabine den Daas

Data Scientist(MSc Econometrics and Management Science), Totta Data Lab

The roots of the Riemann zeta function.

Dr. Efthymios Sofos

Wiskundig Instituut, Universiteit Leiden


14:30

Kan de zuivere wiskunde wortels hebben – historisch gezien wel.

Dr. Gerard Alberts

Korteweg - de Vries Instituut voor Wiskunde, Universiteit van Amsterdam

The Kontsevich graph complex, or how you'll succeed on deforming math wor(l)ds

Dr. Arthemy Kiselev

Universiteit van Groningen, Institut des Hautes Etudes Scientifiques en Max Planck Institute for Mathematics Bonn


15:30

De wiskunde van zwarte gaten

Prof. Stefan Vandoren

Instituut voor Theoretische Natuurkunde, Universiteit Utrecht

Homotopy type theory

Dr. Benno Van den Berg

Instituut voor Logica, Taal en Berekenen, Universiteit van Amsterdam

Sprekers


totta data lab

The math behind behavior

De focus bij Totta Data Lab ligt op het voorspellen van individueel gedrag. Met behulp van onze econometrische kennis en kennis van machine learning helpen wij klanten om waardevolle voorspellingen uit hun (Big) data te halen, van fraude en gedragsvoorspellingen tot consumenten paden segmentatie. Bij de oplossingen die wij bieden, gaan wij verder dan basis technieken, zodat onze voorspellingen voldoen aan de optimale voorspelkwaliteit voor het probleem. Op dit moment heeft Totta Data Lab een gevarieerde klantenbase, van onderwijsinstellingen tot banken en van gemeentes tot retailers. Elk van onze opdrachten kent haar eigen uitdagingen en problematieken. Bij elk project werken onze data scientists samen om elkaar uit te dagen elk probleem zo efficiënt mogelijk op te lossen en het beste eindresultaat voor de klant te realiseren. Tijdens het Symposium zullen wij jullie meenemen in de wereld van Machine Learning. Hier zoomen wij in op een probleem uit de praktijk, waarbij we jullie iets vertellen over de complexiteit van het gebruik van deze theorie in de praktijk en impact van data malfunctionaliteiten.


Dr. Efthymios Sofos

The roots of the Riemann zeta function.

We shall provide an introduction to one of the most intriguing modern problems in pure mathematics, the Riemann hypothesis. The hypothesis gives a precise prediction regarding the position of the roots of a certain function that is defined over the complex numbers. It has numerous connections to a vast list of interesting and difficult problems about the prime numbers and we shall give an overview of the progress in these problems during the last few years. We shall then explain the connections of the Riemann hypothesis to subjects that are rather unrelated to the hypothesis at first sight: elliptic curves, primitive roots and modelling the nuclei of heavy atoms.


Dr. Gerard Alberts

Kan de zuivere wiskunde wortels hebben – historisch gezien wel.

We spreken graag over wiskunde als de zuivere wiskunde die er altijd al geweest. Wiskundigen ervaren het object van hun studie ook zo, als boven de tijd staand. Deze wiskunde kan nauwelijks geworteld zijn. De historische blik leert echter iets anders. Zuivere wiskunde zoals we die beoefenen in onderwijs en onderzoek is de uitkomst van een proces van zuivering. De purificatie voltrok zich in de periode van de Verlichting en werd op de spits gedreven door geleerden als Lagrange en Gauss. Nadruk op bewijzen, in plaats van op het resultaat, nadruk op mooie bewijzen, en het opnieuw overdenken van werkelijk alle wiskundige begrippen zijn kenmerken van deze gezuiverde wiskunde van de negentiende eeuw. Het laat zich raden dat ook de verhouding van het wiskundig denken tot de buitenwereld op een nieuwe manier onder woorden werd gebracht, namelijk als toepassen. Toegepaste wiskunde en zuivere wiskunde zijn negentiende-eeuws. De historische blik toont ons dat ze, in de Verlichting, zijn geworteld.


Dr. Arthemy Kiselev

The Kontsevich graph complex, or how you'll succeed on deforming math wor(l)ds

klik!

Prof. Stefan Vandoren

De wiskunde van zwarte gaten

We discuss some of the mathematical aspects behind black holes in Einstein’s theory of gravity, in terms of metrics on curved Lorentzian manifolds with horizons and singularities. Furthermore, we show how the entropy of certain black holes can be understood in terms of number theory and the Hardy-Ramanujan asymptotic formula for the number of partitions. For fun, you could watch the recent movie “The Man Who Knew Infinity”, about the life and work of Ramanujan.


Dr. Benno van den Berg

Homotopy type theory

Martin-Lof Type Theory is a system with many aspects: it is foundation for constructive mathematics, a functional programming language and the basis for many proof assistants (software package for rigorously verifying parts of mathematics). We will try to explain this system and the intuition behind it. I also plan to talk about a new topological (homotopy-theoretic) interpretation of this system and explain why this promises to solve some difficulties that one faces when one wants to work with type theory