Iris van Rooij 💭Sep 28, 2024
💫 New Chapter 4 in our open textbook "Theoretical Modeling for Cognitive Science", with an accessible introduction to the concept of formal proof. 🧮📝 https://computationalcognitivescience.github.io/lovelace/part_ii/proofs
Formal proofs

In the previous chapter we introduced different mathematical frameworks that alllow us to formally define theoretical models. This allows us not only to prec...

Show threadMathieu Caron-Diotte
@Iris Ooh that's really interesting!
Dec 29, 2024 at 3:44amMastodon for Android