школа | учеба | люди | партнеры | досуг | фотобанк | форум |
В понедельник 16-го мая, в 15:00 на заседании клуба "Эратосфен" Д. А. Кобак расскажет про науку под названием "математическая логика". От программы Гильберта до знаменитых теорем Гёделя и дальше - приходите, будет интересно. В конце поговорим про философские следствия, человеческий разум и искусcтвенный интеллект.