Семінар Кафедри Математики (КАУ) 19.09.16

У рамках роботи Кафедри Математики Київського академічного університету (КАУ) при Інституті математики НАН України у к. 208 відбудеться семінар з двома доповідями

Математична логіка та алгоритмічно нерозв’язні задачі

Час: 16:00 – 18:00
Доповідач: Д. Ю. Якименко
Про що: Основна мета цього курсу лекцій пояснити, що таке “алгоритмічно нерозв’язні задачі”, чому вони існують, які вони бувають та як доводити їх нерозв’язність. На шляху до цього буде розповідатись про базові ідеї та поняття, що лежать в основі сучасної математичної логіки. Це такі речі як “обчислювані функції”, “моделі обчислень”, “тезис Черча-Тьюринга”, “формальні теорії” та “теореми Геделя про неповноту”.

Космологія та Великий Адронний Колайдер

Час: 18:00 – 19:00
Доповідач: С.Й. Вільчинський
Про що: Лекція присвячена обговоренню досягнень та проблем сучасної космології, а також зв’язку між дослідженням космології раннього Всесвіту та експериментів, що проводяться на ВАК.