[Turkmath:6857] Kurtulamıyoruz Axiom of Choice den! Galatasaray Universitesi Seminer - Rene Cori - Institut de Mathématiques de Jussieu-Paris Rive

[yilmaz akyildiz]

kanserin bile devası bulunacak bir gün
ama bizim meslek "hopelesly..."

On Sun, Dec 8, 2024 at 10:26 PM Math Seminar
<mathseminar at galatasaray.education> wrote:

> René Cori - Institut de Mathématiques de Jussieu-Paris Rive Gauche
>
>
>
> On undecidable mathematical statements.
> René Cori - Institut de Mathématiques de Jussieu-Paris Rive Gauche
> Çarşamba 11 Ara 2024 ⋅ 15:00 – 16:00 (Türkiye Saati)
>
> *Title: Undecidable mathematical statements*
> *Abstract:* We all know that in Mathematics, there are statements that
> can neither be proved nor disproved, such as the axiom of choice or the
> continuum hypothesis. We also sometimes hear about statements that are
> "true" but "not provable". But what does all this mean? Are such statements
> unavoidable? The notion of "model of set theory" helps clarifying these
> issues. Of course, we need to specify the meaning of "proving"! Starting
> with elementary facts about groups, we shall explain what a complete theory
> is and why Mathematics is hopelessly incomplete.
> KonumRoom h306 - Galatasaray Üniversitesi, Ortaköy, Çırağan Cd. No:36,
> 34349 Beşiktaş/İstanbul, Türkiye
> Haritayı görüntüleyin
> <https://www.google.com/maps/search/Room+h306+-+Galatasaray+%C3%9Cniversitesi,+Ortak%C3%B6y,+%C3%87%C4%B1ra%C4%9Fan+Cd.+No:36,+34349+Be%C5%9Fikta%C5%9F%2F%C4%B0stanbul,+T%C3%BCrkiye?hl=tr>
> Düzenleyen
> Math Seminar <mathseminar at galatasaray.education>
> mathseminar at galatasaray.education
> Davetliler
> _______________________________________________
> Turkmath mailing list
> Turkmath at listweb.bilkent.edu.tr
> http://yunus.listweb.bilkent.edu.tr/cgi-bin/mailman/listinfo/turkmath
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://yunus.listweb.bilkent.edu.tr/pipermail/turkmath/attachments/20241208/a2bdbc09/attachment-0001.html>