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

January 1, 2024

Why is the Hilbert-style Axiomatic Method Not Suitable for Constructing Scientific Theories?

Filed under: Uncategorized — Andrei Rodin @ 11:19 pm

Invited talk at the World Logic Day 2024 (an alternative site here) workshop ”Formal Methods and Their Applications” organised by the Ural Federal University (Ekaterinburg, Russia) on January 14, 2024. In Russian. (slides)(video)

No Comments

No comments yet.

RSS feed for comments on this post.

Sorry, the comment form is closed at this time.

Powered by WordPress