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
![Sell-ActiON, avagy: baráti hangok lemezekről...: beugroDJ - New Fossils Selection [Sell-actiON#746]](https://s3.castbox.fm/53/2d/f6/d4028947de830f0d75e4556352db357732_scaled_v1_400.jpg "Sell-ActiON, avagy: baráti hangok lemezekről...: beugroDJ - New Fossils Selection [Sell-actiON#746]")
Download from Google Play
Download from App Store
United States00:00
00:00
1.0x
