Czy cztery barwy wystarczą do pokolorowania dowolnej, nawet najbardziej skomplikowanej mapy? Pierwszy „dowód” twierdzenia o czterech barwach pojawił się w roku 1879. Przedstawił go Alfred Kempe, londyński prawnik...

Istnieje więcej twierdzeń, niż da się wyprowadzić z aksjomatów – czyli że zdań prawdziwych jest więcej niż dowodliwych. Pośrednio wynika z tego, że matematyka może zawierać zdania sprzeczne – nie ma dowodu na niesprzeczność matematyki. Jeszcze innymi słowy, metoda dedukcyjna jest niewyczerpująca.

W internecie można kupić wszystko - również twierdzenia matematyczne. Za jedyne 15 funtów nowo odkryte twierdzenie będzie posiadać podaną przez kupującego nazwę.

Analiza matematyczna na przykładach.

Dlaczego nie pokazali nam tego w szkole?

Czyli skąd się wzięło że suma kwadratów przyprostokątnych jest równa kwadratowi przeciwprostokątnej.

Klasyfikacja skończonych grup prostych (bo o tym nim mowa) jest olbrzymim twierdzeniem z teorii grup, składającym się z ponad 500 artykułów zawierających w sumie ponad 10 000 stron.

Matematyczny dowód na to, że prawdziwa demokracja nie istnieje.

Wykazał on, że, po przyjęciu pewnych założeń co do oczekiwanej racjonalności decyzji grupowych, skonstruowanie satysfakcjonującej (spełniającej te założenia) metody podejmowania grupowych decyzji jest niemożliwe.

O co w tym chodzi? Chwila namysłu i... to jest genialne!