Matemàtiques
-
Anem a traduir la paradoxa del mentider al llenguatge de les màquines utilitzant el mètode de xifratge de Gödel. El truc consisteix a convertir una frase lògica en una operació aritmètica pura. Creació del Codi Secret Primer assignem un número natural a cada component bàsic del llenguatge. Imagina aquest diccionari simplificat: ¬ (No / Negació)…
-
La numerització de Gödel (o xifratge de Gödel) és el truc genial que va permetre a Kurt Gödel convertir la lògica en matemàtiques pures. Fins a aquell moment, les matemàtiques s’usaven per parlar de números, però Gödel va trobar la manera de fer que els números parlessin sobre les matemàtiques. El Diccionari: Símbols a Números…
-
El teorema d’incompletesa de Gödel, formulat pel matemàtic Kurt Gödel el 1931, és un dels pilars de la lògica matemàtica i la filosofia de la ciència. En realitat, es tracta de dos teoremes diferents que canvien per complet la nostra comprensió dels sistemes formals. Primer Teorema d’Incompletesa Aquest teorema estableix que en qualsevol sistema lògic…