Sorry! De informatie die je zoekt, is enkel beschikbaar in het Engels.
This programme is saved in My Study Choice.
Something went wrong with processing the request.
Something went wrong with processing the request.

Inaugural lecture prof.dr. A.S. Mahboubi

26 April 2023 15:45 - 16:45

Computer Assisted Mathematics

Explore, abstract, compute, verify, can we do (all) mathematics by computer?

Computers have changed the face of research in mathematics says professor Automated math Assia Mahboubi in her lecture. We use them to observe and conjecture, but also to invent patterns, and to substantiate proof steps⁠. The boom of computer-aided mathematics, in the making, in proofs and in applications, owes much to the stunning progress in the art of computing and programming⁠. 

A wide corpus exist today of sophisticated methods for constructing and for estimating mathematical objects, developed in par with their implementation in actual software⁠. Computer-aided hunches but also actual computer-aided proofs, pervade all fields of mathematics, and this impacts us all⁠. For instance, the advent of digital communication channels has turned number theory, one of the most ancient branch of mathematics, into the pillar of modern coding theory and cryptography⁠. And spectacular applications in security and privacy followed⁠.  But how do we trust computers when they are doing mathematics? Are humans and computer talking the same language of mathematics? Mahboubi gives the answers in her lecture.

Programme

Inaugural lecture by prof.dr. A.S. Mahboubi
Faculty of Science

The inaugural lecture can also be followed online.

About Inaugural lecture prof.dr. A.S. Mahboubi

Starting date

  • 26 April 2023

Time

  • 15:45 - 16:45

Location

  • VU Aula

Address

  • De Boelelaan 1105
  • 1081 HV Amsterdam

Follow the inaugural lecture online

Go to livestream