16.04.2018 - Seminarium Instytutowe - godz. 13:00, Stanisław Ambroszkiewicz (IPI PAN)
Referat będzie dotyczył Podstaw Matematyki i Informatyki. Jest to powrót do intuicjonizmu Brouwera sprzed przeszło 100 lat. We współczesnej Matematyce, Continuum jest definiowane albo jako zbiór liczb rzeczywistych poprzez ciągi Cauchy'ego albo przekroje Dedekinda, albo jako zupełne liniowo uporządkowane ciało Archimedesowe, albo jako zupełna spójna przestrzeń metryczna. Przedstawiona zostanie ogólna metoda indukcyjnych konstrukcji Continuów prowadzących do ciekawych przestrzeni topologicznych. Z tych konstrukcji wynika nowy dowód Twierdzenia Brouwera (w Analizie intuicjonistycznej), że każda funkcja na przedziale jednostkowym [0; 1] jest ciągła. Pełna praca jest dostępna na https://arxiv.org/abs/1510.02787.