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)
January 1, 2024
Why is the Hilbert-style Axiomatic Method Not Suitable for Constructing Scientific Theories?
Comments Off on Why is the Hilbert-style Axiomatic Method Not Suitable for Constructing Scientific Theories?
No Comments
No comments yet.
RSS feed for comments on this post.
Sorry, the comment form is closed at this time.