A Két Lámpás Csodálatos barátai / Szezám tárulj!: GÖDEL-CAFÉ - A számítógépes programtól a matematikai bizonyításig - beszélgetés Kaposi Ambrussal 2.
Update: 2025-11-23
Description
Ebben az adásban Kaposi Ambrus típuselmélész lesz a vendégünk, aki az ELTE IK Programozási nyelvek és fordítóprogramok tanszékének docense. Megbeszéljük, hogy milyen informatikai és matematikai problémákra megoldás a típuselmélet, és hogy miért egyszerre programozási nyelv és a matematika alapjait is jól megadó keretrendszer a Martin-Löf-típuselmélet. Ezúttal is a kérdezők: Györgyi Anna villamosmérnök hallgató és Molnár Zoltán matematikai logikus.
Tracklista:01. The Midnight - Kids (Prelude) (kezdődött: 00:01:08 )
02. The Doors - Riders On The Storm (kezdődött: 00:34:49 )
03. Le Tigre - Eau d'bedroom Dancing (kezdődött: 01:00:30 )
04. Julien Daïan Quintet - September Nine (kezdődött: 01:01:50 )
Comments
In Channel
Download from Google Play
Download from App Store
United States00:00
00:00
x
