Skip to main content

Institute seminar:

Information

Mondays, o godz. 12:00
Place of the seminar: ICS PAS seminar room
5 Jana Kazimierza Str
e-mail: seminarium@ipipan.waw.pl

Archive of the Institute Seminar

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.


© 2021 INSTITUTE OF COMPUTER SCIENCE POLISH ACADEMY OF SCIENCES | Privacy policy | Accessibility declaration