3 ms·
Is there a connection to Leiden, NL?
by cactusplant7374 5mo ago
Is there a connection to Leiden, NL?
- deleted 5mo ago[deleted]
- jauco 5mo agoyes, that's where a conference was held that kickstarted the group that drafted this declaration. > In September 2025 the Lorentz Center at Leiden University in the Netherlands hosted a conference entitled Mechanization and Mathematical Research. The around 60 participants from 10 countries comprised mathematicians, computer scientists, philosophers, historians and social scientists, including those with experience in industry and in government.
- root-parent 5mo agoThese type of questions are the reason why LLMs will take your job :-)
- cactusplant7374 5mo agoQuestions are in the spirit of community. It isn't listed on the about page. If you rely on LLMs for everything you will never interact with people.