Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach

W dniach 23 – 27 stycznia 2009 roku w Grzegorzewicach k/Warszawy odbyła się XLII Szkoła Matematyki Poglądowej na temat: „Dowody i kontrprzykłady”, zorganizowana przez Ośrodek Kultury Matematycznej Akademii Podlaskiej. Głównym problemem merytorycznym było wskazanie uzasadnienia, że środki dochodzenia do prawd matematycznych to nie tylko (powszechnie znane) dowody, lecz także i kontrprzykłady, czyli struktury wskazujące, że jakaś spodziewana prawidłowość nie ma miejsca.

Podejście takie pozwala na kontrolę prawidłowości rozumowań dowodowych, ale nie tylko – za ich pomocą matematycy nauczyli się dowodzić, że pewnych rzeczy dowieść się nie da. Prelegenci pokazali tego rodzaju sytuacje w geometrii, rachunku prawdopodobieństwa, kombinatoryce, analizie matematycznej, algebrze. Kilka wykładów przedstawiało tę problematykę w informatyce. Wśród występujących byli też przedstawiciele innych nauk - fizyki, archeologii i biologii. Łącznie wygłoszono 26 wykładów. W Szkole uczestniczyło ponad 50 osób, głównie młodych pracowników nauki z wielu ośrodków akademickich w Polsce.