Monday 19 January 2026
Home      All news      Contact us      RSS     
Leiden - 1 month ago

‘As long as the logic works, you can do whatever you want’

With a healthy dose of logic and creativity, mathematics student Lance Bakker shows how computers can prove complex mathematics. His method proves intricate formulas without calculating every intermediate step. It earned him a nomination for the Leiden Science Young Talent Award 2025.


Latest News
Hashtags:   

logic

 | 

works

 | 

whatever

 | 

Sources