Prerrequisits: cap L’objectiu del treball és dissenyar un joc de cartes o un joc de taula. Començarem per fer un cop d’ull a les matemàtiques que hi ha darrera el Dobble, i a continuació aprendrem la teoria del disseny combinatori. La part matemàtica principal consistirà en entendre aquesta teoria (que jo mateix no domino). Un […]
Es tracta de veure com es pot interpretar els teoremes de Cantor, de Gödel, i altres resultats anàlegs, de forma categoria. Això es farà via el famós “teorema del punt fix de Lawvere”, que es pot demostrar fàcilment, i després veure com es pot deduir versions categorials dels teoremes citats.