Tipus de document
Treball de fi de grauData de publicació
Llicència de publicació
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/221418
El teorema dels quatre colors
Títol de la revista
Autors
Director/Tutor
ISSN de la revista
Títol del volum
Recurs relacionat
Resum
El teorema que ens esforçarem a demostrar en aquest Treball de fi de Grau és el dels quatre colors. Plantejat per primera vegada per correspondència entre els matemàtics A. De Morgan i W. Hamilton l’any 1852. Dos anys més tard, l’any 1854, es publica en la revista The Athenaeum un plantejament més formal. No va ser fins cent vint-i-cinc anys més tard des del primer plantejament, l’any 1977, que es va demostrar el resultat. La prova, a càrrec de K. Appel i W. Haken, va ser pionera en l’ús de programes informàtics per a demostrar resultats matemàtics. Precisament per aquest motiu, la demostració va generar prou controvèrsia.
Demostrarem en aquest treball resultats necessaris, discutirem l’estratègia utilitzada per la primera i la segona prova (més establerta i simplificada, a càrrec de N. Robertson, D. Sanders, P. Seymour i R. Thomas) i justificarem la validesa dels resultats obtinguts computacionalment per ordinadors.
Descripció
Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2025, Director: Arnau Padrol Sureda
Matèries (anglès)
Citació
Col·leccions
Citació
BAETA TRIAS, Eloi. El teorema dels quatre colors. [consulted: 15 of August of 2026]. Available at: https://hdl.handle.net/2445/221418