blog.imm.cnr.it

Martedì 9 aprile 2024, con inizio alle ore 14:30, presso l'Aula T del DFA, il Prof. Domenico Cantone (DMI UniCT) terrà un seminario dal titolo Da Gödel a Turing: limiti della dimostrabilità e della calcolabilità.

Il seminario è proposto dal Prof. Giuseppe Falci nell'ambito delle attività del National Quantum Science and Technology Institute (NQSTI).

Tutte le persone interessate sono invitate a partecipare.

https://www.dfa.unict.it/it/content/da-g%C3%B6del-turing-limiti-della-dimostrabilit%C3%A0-e-della-calcolabilit%C3%A0