42. Szkoła Matematyki Poglądowej

„Dowody i kontrprzykłady”

2009-01-23 – 2009-01-27, Grzegorzewice

Opowiadając o matematyce, koncentrujemy się zazwyczaj na twierdzeniach. Ale twierdzenia nie byłyby twierdzeniami, gdyby nie miały dowodów. Pomimo, że tezy twierdzeń nie zmieniają się z upływem czasu, to ich dowody ulegają przemianom. Rozumowanie, które kiedyś uchodziłoby za w pełni poprawny dowód, dziś często nie zasługuje już na to miano, a rozwój teorii pozwala podawać nowe dowody odkrytych już twierdzeń i rozstrzygać słynne hipotezy.

W czasie XLII Szkoły chcielibyśmy się przyjrzeć matematyce właśnie od strony dowodów. Marzą nam się wykłady, dzięki którym zobaczymy jak wyglądają (i jak wyglądały) różne rodzaje dowodów: dowody wspierane komputerowo, znane dowody klasycznych problemów oraz szczególny typ dowodów, jakimi są kontrprzykłady.

Mamy nadzieję, że ten temat jednoznacznie dowodzi, że już teraz warto rezerwować sobie czas na przyjazd na XLII Szkołę Matematyki Poglądowej.

Szkołę prowadzą:

  • Dominik Kwietniak - dominik(dot)kwietniak(at)gmail(dot)com
  • Adam Osękowski - a(dot)osekowski(at)mimuw(dot)edu(dot)pl

Program

23 stycznia 2009, piątek
09:00 Andrzej Grzesik, Jak znaleźć najlepszą żonę?
10:05 Jan Krempa, Algebry z tożsamościami wielomianowymi
11:15 Marta Szumańska, O pewnym zbiorze punktów krytycznych
12:15 Dominik Kwietniak, Wilk i zając
16:15 Zofia Miechowicz, Polowanie na snarka
17:15 Witold Bardyszewski, Kwazikryształy - sieci aperiodyczne
19:30 Michał Gawlikowski, Czas historyczny

24 stycznia 2009, sobota
09:00 Jarosław Górnicki, Przeistoczenia, czyli wariacje na temat Zasady Banacha
10:00 Renata Wiertelak, Co to jest linia?
11:15 Maciej Ulas, Matematyka eksperymentalna w akcji
12:15 Maria Donten-Bury, O topologii programów współbieżnych
16:15 Mikołaj Rotkiewicz, Liczby wymierne inaczej
17:15 Radosław Adamczak, Testowanie własności grafów

25 stycznia 2009, niedziela
11:15 Marek Kordos, Dowody piątego postulatu Euklidesa
12:15 Joanna Jaszuńska, Strategie wygrywające
16:15 Wiktor Bartol, Jak kilkanaście dowodów przegrało z jednym kontrprzykładem
17:15 Jarosław Grytczuk, Igraszki losu
19:30 Jerzy Dzik, Żywotność katastrofizmu w interpretowaniu ewolucji

26 stycznia 2009, poniedziałek
09:00 Michał Szurek, Matematyka odwrotna?
10:00 Sebastian Czerwiński, Uczone łososie w mrówkowym sosie
11:15 Grzegorz Kosiorowski, Piękne i bestie
12:15 Andrzej Dąbrowski, Probabilistyka jako metoda
16:15 Anna Gierzkiewicz, Zliczanie punktów krytycznych
17:15 Tadeusz Miłosz, Zasada mnożników Lagrange'a

27 stycznia 2009, wtorek
09:00 Zdzisław Pogoda, Różne oblicza sfery
10:15 Dominik Kwietniak, Udowodnij to jeszcze raz
11:05 O tym, co było i co będzie dalej...

Uczestnicy

  1. Radosław Adamczak
  2. Witold Bardyszewski
  3. Tomasz Bartnicki
  4. Wiktor Bartol
  5. Wojciech Bondarewicz
  6. Sebastian Czerwiński
  7. Andrzej Dąbrowski
  8. Maria Donten-Bury
  9. Jerzy Dzik
  10. Michał Gawlikowski
  11. Anna Gierzkiewicz
  12. Jarosław Górnicki
  13. Jarosław Grytczuk
  14. Andrzej Grzesik
  15. Mirosław Jakubiak
  16. Agnieszka Janiak-Osajca
  17. Anna Janicka-Żylicz
  18. Małgorzata Jastrzębska
  19. Joanna Jaszuńska
  20. Renata Jurasińska
  21. Karolina Kołodziejczak
  22. Andrzej Komisarski
  23. Krystyna Kordos
  24. Marek Kordos
  25. Grzegorz Kosiorowski
  26. Tadeusz Krauze
  27. Jan Krempa
  28. Małgorzata Kupiecka
  29. Tomasz Kwast
  30. Dominik Kwietniak
  31. Edyta Leś
  32. Grzegorz Lewandowski
  33. Marcin Makowski
  34. Maria Mastalerz-Wawrzyńczak
  35. Zofia Miechowicz
  36. Tadeusz Miłosz
  37. Ewelina Pluta
  38. Kuba Pochrybniak
  39. Zdzisław Pogoda
  40. Agnieszka Prusińska
  41. Marta Przyborowska
  42. Barbara Roszkowska-Lech
  43. Mikołaj Rotkiewicz
  44. Waldemar Rożek
  45. Przemysław Sagało
  46. Anna Szpila
  47. Marta Szumańska
  48. Michał Szurek
  49. Maciej Ulas
  50. Piotr Wasilewski
  51. Renata Wiertelak
  52. Magdalena Wojciechowska
  53. Rafał Zduńczyk

Medale