Семинар Катедре за алгебру и математичку логику, 10. мај 2013.

• 08. Мај, 2013
• Коментари (0)

Наредни састанак семинара Катедре за алгебру и математичку логику биће одржан у петак 10. маја, са почетком у 11:45 у учионици 844.

Предавач: Небојша Икодиновић, Математички факултет Београд

Наслов предавања: Форсинг са случајним променљивама

Садржај: Биће приказан релативно нови метод конструкције модела ограничене аритметике. Реч је форсингу са случајним променљивама, који је већ познат у теорији скупова али је прилагођен применама у ограниченој аритметици захваљујући неким резултатима нестандардне анализе(прецизније, нестандардне теорије мере). Поред тога, биће указано и на значај методе за теорију израчунљивости, посебно за теорију сложености.