andrei rodin Andrei Rodin's blog about History and Philosophy of Mathematics

April 26, 2022

Проблема доверия к искусственному интеллекту и унивалентные основания математики

Filed under: Uncategorized — Andrei Rodin @ 12:05 pm

Приглашенный доклад на конференции Искусственный Интеллект: проблема доверия (Президиум РАН, 27-28 апреля 2022). (board)

April 11, 2022

Computer-Assisted Proofs, Univalent Foundations, and Axiomatic Method

Filed under: Uncategorized — Andrei Rodin @ 8:23 am

UNILOG 2022, Orthodox Academy of Crete, April 11, 2022. (slides)

Powered by WordPress