Andrej Bauer: Jesenska realizabilnost

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