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

August 23, 2019

Formal Proof-Verification and Mathematical Intuition.

Filed under: Uncategorized — Andrei Rodin @ 6:58 am

Contributed talk at the INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY (CLMPST2019) PRAGUE,  5–10 August 2019 (program) (abstract) (full slides)(light slides)I

No Comments

No comments yet.

RSS feed for comments on this post.

Sorry, the comment form is closed at this time.

Powered by WordPress