Andrej Bauer: Jesenska realizabilnost

Datum objave: 5. 12. 2023
Seminar za temelje matematike in teoretično računalništvo
četrtek
7
december
Ura:
10.00 - 12.00
Lokacija:
Jadranska 21, predavalnica 3.07

Povzetek: Seminar bo uvod v teorijo realizabilnosti. Realizabilnost je interpretacija logike, v kateri izjave niso le resnične ali neresnične, ampak so realizirane s programi. Na primer, izjava, da za vsako naravno število obstaja večje praštevilo, je realizirana s programom, ki za dano število izračuna večje praštevilo. Logika, ki jo tako dobimo, je intuicionistična.

Vir: Andrej Bauer, Notes on realizability