Koło Pasjonatów Matematyki UW

Zapisz się na listę mailową KPM: http://groups.google.com/group/pasjonaci-kpm, żeby dostawać info o najnowszych wydarzeniach.

Seminarium

Startuje nasze nieoficjalne seminarium, więcej na http://pasjonaci.wikidot.com/seminarium !

Najbliższe spotkanie

Czwartek 27 II, godzina 16:15, sala 5070 (lub na niej będzie wisiała informacja gdzie)

Completeness and incompleteness theorems in mathematical logic

Sylvain Poirier

These two famous theorems by Kurt Godel will be presented with proofs
in simplified ways. The Completeness theorem says any consistent
first-order theory has a model (it describes an existing system). The
Incompleteness theorem says that in any consistent theory able to
describe its own formalism, its own consistency is unprovable.

Odbyły się…

  • II Konferencja Koła Pasjonatów Matematyki - więcej
  • Konferecja "Renormalization in low dimensional dynamics and its applications" - krótka relacja
  • XIII Międzynarodowe Warsztaty dla Młodych Matematyków "Logika i podstawy matematyki" w Krakowie - krótka relacja
  • Konferencja Inequalities and PDEs w Małym Cichym - relacja
  • 2nd Summer School on Analysis, "Spectral Theory and PDEs" - relacja
  • 6. Wakacyjne Warsztaty Wielodyscyplinarne
    19-29 sierpnia 2009, Olsztyn
    • członkowie Koła: Marcin i Michał Kotowscy poprowadzili warsztaty "Teoria informacji", a Tomek Tkocz - "Równania i nierówności funkcyjne"
  • Toruńska Letnia Szkoła Matematyki 2010 - relacja: tutaj
  • VII Forum Równań Różniczkowych Cząstkowych w Będlewie - relacja: tutaj
  • Wiosenna Szkoła Układów Dynamicznych 2010 w Będlewie - relacja: tutaj
O ile nie zaznaczono inaczej, treść tej strony objęta jest licencją Creative Commons Attribution-ShareAlike 3.0 License