Takako Nemoto Reveals New Systems for Constructive Reverse Mathematics đ§
Join Takako Nemoto from JAIST as she discusses innovative systems in constructive reverse mathematics during the Logic Seminar Verona on February 11, 2019. Explore the latest advancements in mathematical logic and foundational studies. Abstract available
Logic Seminar Verona
317 views âą Feb 19, 2019
About this video
Talk in the Logic Seminar Verona on February 11st, 2019
Abstract: https://logicseminarverona.files.wordpress.com/2019/02/nemoto.pdf
Abstract: https://logicseminarverona.files.wordpress.com/2019/02/nemoto.pdf
Tags and Topics
Browse our collection to discover more content in these categories.
Video Information
Views
317
Likes
10
Duration
01:00:25
Published
Feb 19, 2019
Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.
Trending Now