człowiek, bo przecież człowiek tworzy matematykę i bada świat.<br> Czy rzeczywiście człowiek tworzy matematykę? A może nie tworzy jej, lecz odkrywa, tak jak się odkrywa nieznane lądy. W filozofii matematyki toczy się o to spór od czasów Platona albo od jeszcze wcześniejszych czasów. Przypomina to pytanie, jakie postawiłem sobie na szczycie krzywej wieży w Pizie, patrząc na pobliską katedrę: Czy piękno jest czymś umownym, ostatecznie wytworem człowieka, czy czymś obiektywnym, co można tylko odkryć i kontemplować?<br> Podobieństwo tych dwu pytań (o matematykę i o piękno) jest znacznie bardziej głębokie niż mogłoby się wydawać. Każdy dobry matematyk wie, że dobra teoria matematyczna