Niniejszym tymczasowym wpisem chciałbym poinformowac wszystkich zainteresowanych (również studentów), że w środę 19.06 (w godzinach 11.30-14.30 w sali 206, w Gmachu Głównym Politechniki Warszawskiej) odbędzie się otwarte spotkanie dyskusyjne na tematy: 1) pojęcie obliczania, 2) komputerowe wspomaganie dowodów w matematyce.
Inicjujące dyskusję odczyty wygłoszą: prof. Krzysztof Wójtowicz z UW, oraz prof.Krzysztof Maślanka z PAN.
Zapraszam w imieniu organizatorów.
Szkoda, że nic się nie dzieje na stronie :(