[KPM] Referat już jutro

[Damian Orlef]

Z góry przepraszam za późną informację.

Dzień dobry, zapraszam wszystkich zainteresowanych na niewymagający żadnej uprzedniej znajomości tematu referat "Completeness and incompleteness theorems in mathematical logic". Wygłosi go gościnnie (w języku angielskim) pochodzący z Francji Sylvain Poirier. Spotkanie odbędzie się 27 II o godzinie 16:15, w sali 5070 albo na drzwiach sali będzie precyzyjna informacja, gdzie się udamy (zapewne jak najbliżej tej sali). Abstrakt: "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." Z racji ograniczonego czasu można się więc zapewne spodziewać przedstawienia głównych idei i omówienia, co te słynne wyniki tak naprawdę znaczą. Więcej informacji na http://pasjonaci.wikidot.com/start Pozdrawiam, Damian Orlef