Browsing NTNU Open by Author "Andreassen, Eirik S."
Now showing items 1-1 of 1
-
Til evigheten -- og forbi: En kort historie om uendelighet fortalt i ZF
Andreassen, Eirik S. (Bachelor thesis, 2021)Denne oppgaven utspiller seg i det formelle systemet ZF, hvor vi konstruerer de naturlige tallene, og mer generelt ordinalene. Videre beskriver vi aritmetikken til de to tallsystemene, og til slutt konstuerer vi von Neumanns ...