BME TTK Science Campus tudománynépszerűsítő előadás

Molnár Zoltán Gábor (BME TTK Algebra és Geometria Tanszék: Bizonyítás, az emberin túl  

A gépi tételbizonyítás sikere vitát indított el a matematikai közösségben. A fő kérdés: vajon teljes mértékben megbízhatunk-e egy olyan bizonyításban, amelyet nem tudunk teljes egészében az emberi percepcióra és a tiszta észre hagyatkozva ellenőrizni? Molnár Zoltán Gábor előadása filozófiai problémákat is felvet, miközben bevezetést kapunk a Lean és Coq programnyelvekbe, ill. a bizonyításasszisztens szoftverek elvébe, érintve a mesterséges intelligencia jövőbeni fejlődését.

További információ és megközelítés:
https://felvi.ttk.bme.hu/hu/sciencecampus

Az előadássorozat FB oldala:
https://www.facebook.com/BME.TTK.ScienceCampus/