Odeljenje za matematiku, 27. april 2018.

• 23. April,  2018
• Komentari (0)

Naredni sastanak Seminara biće održan u petak, 27. aprila 2018. u sali 301f Matematičkog instituta SANU sa početkom u 14:15 časova.

Predavač: Nebojša Ikodinović, Matematički fakultet, Univerzitet u Beogradu

Naslov predavanja: METRIČKE STRUKTURE I LOGIKA

Apstrakt: Cilj predavanja je da se prikaže nekoliko aktuelnih tema koje se odnose na primenu matematičke logike u izučavanju metričkih struktura. Predavanje će biti podeljeno na tri dela. Prvi deo biće zasnovan na tezi da fundamentalne matematičke strukture (poput uređenja i grupa) zapravo predstavljaju kategorije. Ova teza je bila polazište za Louvirovo uopštenje pojma metričkih prostora. U drugom delu ukratko će biti prikazana teorija modela za metričke strukture (poput verovatnosnih algebri, Banahovih algebri, Hilbertovih prostora) koja je razvijena pomoću takozvane neprekidne logike prvog reda. Treći deo odnosiće se na razvoj i primenljivost modalnih formalizama zasnovanih na metričkim strukturama.

---