Després de la publicitat pots interactuar amb el player amb els següents botons
Instruccions per interactuar amb el player
L'Entscheidungsproblem
A la darreria del segle XVII, el filòsof i matemàtic alemany Gottfried Wilhelm Leibniz somiava amb un llenguatge universal que permetés dirimir qualsevol afirmació. Ja al segle XX, un altre matemàtic alemany, David Hilbert, es planteja si hi ha cap algorisme capaç de determinar si un enunciat matemàtic és demostrable o no ho és. Es tracta del problema de la decisió o "Entscheidungsproblem". Aquesta qüestió sacseja els matemàtics dels anys 1930, com el francès Jacques Herbrand, l'austríac Kurt Gödel, l'anglès Alan Turing o l'americà Alonzo Church. Finalment, la resposta és negativa i la conclusió, que no podem prescindir de les matemàtiques ni dels matemàtics!
