Wikipedija

Izrek štirih barv: Razlika med redakcijama

Pregledujte zgodovino interaktivno
← Starejše urejanjeNovejše urejanje →
Izbrisana vsebina Dodana vsebina
VizualnoVikibesedilo
m m/-p:l/+ktgr
m m+
Vrstica 12:
== Zgodovina izreka ==
 
Domnevo, ki predstavlja problem [[barvanje grafov|barvanja]], je verjetno prvi predlagal leta23. oktobra [[1852 v znanosti|1852]] mladi južnoafriški matematik [[Francis Guthrie]].<ref name="mackenzie_2004">MacKenzie (2004), str. 103.</ref>{{rp|103}}<ref>Wilson (2000), str. 18.</ref>{{rp|18}}<ref name="cayley_1879">Cayley (1879).</ref> Pri barvanju [[Anglija|angleških]] [[tradicionalne grofije Anglije|grofij]] je zapazil, da so za to potrebne le štiri barve. GuthrieGuthriejev brat Frederick je letabil 1850študent diplomiral[[Augustus De Morgan|Augustusa De Morgana]] na [[Univerzitetni kolidž v Londonu|Univerzitetnem kolidžu v Londonu]] (UCL). Francis je poizvedoval o problemu pri bratu, ta pa ga je podal De Morganu. Guthrie je leta 1850 diplomiral na UCL, kasneje pa je poučeval matematiko na Južnoafriški univerzi v [[Capetown]]u.
 
Problem se je prvič pojavil v delu [[Arthur Cayley|Arthurja Cayleyja]] ''O barvanju zemljevidov'' (''On the colourings of maps''), ki ga je izdala [[Kraljeva geografska družba]] leta 1879.<ref name="cayley_1879" />
 
Pred končnim dokazom se je pojavilo več neuspešnih poskusov. Enega od dokazov je podal leta 1879 [[Alfred Bray Kempe]]. Njegov dokaz so sprejeli. Drug dokaz je podal leta 1890 škotski fizik in matematik [[Peter Guthrie Tait]]. Leta 1890 je [[Percy John Heawood]] dokazal problem barvanja zemljevidov za pet barv in pokazal, da je Kempeov dokaz nepravilen. Leto kasneje 1891 je [[Julius Peter Christian Petersen|Julius Petersen]] pokazal še na nepravilnost Taitovega dokaza.
 
== Opombe in sklici ==
{{sklici|1}}
 
== Viri ==
 
* {{navedi revijo|last=Cayley|first=Arthur|authorlink=Arthur Cayley|title=On the colourings of maps|journal=Proceedings of the Royal Geographical Society|volume=1|year=1879|pages=259–261|doi=10.2307/1799998|jstor=1799998|issue=4|publisher=Blackwell}}
* {{navedi knjigo|last=MacKenzie|first=Donald A.|title=Mechanizing Proof: Computing, Risk, and Trust|year=2004|publisher=MIT Press|isbn=0-262-13393-8|url=http://books.google.si/books/about/Mechanizing_proof.html?id=QiMS8t4V_0cC&redir_esc=y}}
* {{navedi knjigo|last=Wilson|first=Robin James|authorlink=Robin James Wilson|title=Four Colors Suffice|place=London|publisher=Penguin Books|year=2002|isbn=0-691-11533-8|page=18}}
 
{{math-stub}}
Pridobljeno iz »https://sl.wikipedia.org/wiki/Izrek_štirih_barv«