Seminario
Artificial Mathematics: A New Paradigm of Mathematical Knowledge
Abstract dell'evento
Traditional mathematics (or “natural mathematics”) has been developed by humans for other humans. Today, thanks to technological advances, we are entering the era of artificial mathematics. In this new scenario, mathematics is created by humans and machines to be used by both. Tools like automated theorem provers and formal proof systems allow us to tackle complex problems, expanding the scope of research and ensuring greater reliability. Machines, being programmed according to mathematical principles, become an integral part of the creative process, opening new avenues for scientific discovery and technological applications.
Relatori/Relatrici
Marco Maggesi (Università degli Studi di Firenze)
Dettagli sull'evento
Data e luogo
Inizio: 12/12/2024
alle ore 16:00
Fine: 12/12/2024
alle ore 18:00
Palazzo Albani (Urbino, Via Viti, 10) Aula D2
Organizzato e promosso da:
Dipartimento di Scienze Pure e Applicate
Scuola di Scienze, Tecnologie e Filosofia dell'Informazione
LM-78 - Classe delle lauree magistrali in scienze filosofiche - Filosofia dell'informazione. Teoria e gestione della conoscenza
