& #39;Formal, on the other hand, brings formal concepts and tools from mathematics and knowledge about computational principles.& #39;

I can access Verbal but not Formal (yet? https://abs.twimg.com/emoji/v2/... draggable="false" alt="🙃" title="Auf den Kopf gestelltes Gesicht" aria-label="Emoji: Auf den Kopf gestelltes Gesicht">). Here& #39;s to a journey towards theoretical modeling. Step 1: https://psyarxiv.com/r2zqy 
https://psyarxiv.com/r2zqy&quo... class="Emoji" style="height:16px;" src=" https://abs.twimg.com/emoji/v2/... draggable="false" alt="😯" title="Schweigendes Gesicht" aria-label="Emoji: Schweigendes Gesicht">https://abs.twimg.com/emoji/v2/... draggable="false" alt="🤩" title="Vom Star geblendet" aria-label="Emoji: Vom Star geblendet">https://abs.twimg.com/emoji/v2/... draggable="false" alt="🤓" title="Nerd-Gesicht" aria-label="Emoji: Nerd-Gesicht"> https://twitter.com/IrisVanRooij/status/1282600235420856321">https://twitter.com/IrisVanRo...

Step 2: Breathe. Recover from the intimidation brought by Figure 1. https://abs.twimg.com/emoji/v2/... draggable="false" alt="😰" title="Gesicht mit offenem Mund und Angstschweiß" aria-label="Emoji: Gesicht mit offenem Mund und Angstschweiß">https://abs.twimg.com/emoji/v2/... draggable="false" alt="🙈" title="Nichts sehen-Affe" aria-label="Emoji: Nichts sehen-Affe">https://abs.twimg.com/emoji/v2/... draggable="false" alt="🤭" title="Gesicht mit Hand über dem Mund" aria-label="Emoji: Gesicht mit Hand über dem Mund">https://abs.twimg.com/emoji/v2/... draggable="false" alt="😂" title="Gesicht mit Freudentränen" aria-label="Emoji: Gesicht mit Freudentränen">https://abs.twimg.com/emoji/v2/... draggable="false" alt="🙃" title="Auf den Kopf gestelltes Gesicht" aria-label="Emoji: Auf den Kopf gestelltes Gesicht">

& #39;According to the influential tri-level framework proposed by David Marr (1982) capacities can be analyzed at three different levels: the computational level, the algorithmic level, and the implementational level.& #39;

Is computational level the highest level of explanation? https://abs.twimg.com/emoji/v2/... draggable="false" alt="🤔" title="Denkendes Gesicht" aria-label="Emoji: Denkendes Gesicht">https://abs.twimg.com/emoji/v2/... draggable="false" alt="📖" title="Offenes Buch" aria-label="Emoji: Offenes Buch">

Oh this reminds me of https://psyarxiv.com/rybh9/ 
https://psyarxiv.com/rybh9/&qu... class="Emoji" style="height:16px;" src=" https://abs.twimg.com/emoji/v2/... draggable="false" alt="🤔" title="Denkendes Gesicht" aria-label="Emoji: Denkendes Gesicht"> https://twitter.com/o_guest/status/1282250400444317696?s=19">https://twitter.com/o_guest/s...

This also reminds me of a friend (a mathematician) who told me that he would ideally teach more theory than programming. I think I now understand why. I& #39;m also reminded that I only learned (-ish) algorithmic level of analysis when I took one of those MITx courses. https://abs.twimg.com/emoji/v2/... draggable="false" alt="😯" title="Schweigendes Gesicht" aria-label="Emoji: Schweigendes Gesicht">https://abs.twimg.com/emoji/v2/... draggable="false" alt="🤔" title="Denkendes Gesicht" aria-label="Emoji: Denkendes Gesicht">https://abs.twimg.com/emoji/v2/... draggable="false" alt="🤓" title="Nerd-Gesicht" aria-label="Emoji: Nerd-Gesicht">

& #39;The theoretical modeler’s tools are mathematical concepts, formal expressions, and notational conventions... one can already get quite far with the basics in set theory, functions and logic.& #39;

College Algebra seems useful now (Mong, I& #39;m still bitter you almost failed me! https://abs.twimg.com/emoji/v2/... draggable="false" alt="😒" title="Unerfreutes Gesicht" aria-label="Emoji: Unerfreutes Gesicht">https://abs.twimg.com/emoji/v2/... draggable="false" alt="😂" title="Gesicht mit Freudentränen" aria-label="Emoji: Gesicht mit Freudentränen">).

Again, I can hear my mathematician friend emphasising proof methods! It& #39;s unfortunate that others seem to undervalue proofs. I hope this improves eventually given how important proofs are (or so I& #39;ve been told https://abs.twimg.com/emoji/v2/... draggable="false" alt="🤭" title="Gesicht mit Hand über dem Mund" aria-label="Emoji: Gesicht mit Hand über dem Mund">). Mong, you taught us proofs but you didn& #39;t frame it this well!https://abs.twimg.com/emoji/v2/... draggable="false" alt="😔" title="Nachdenkliches Gesicht" aria-label="Emoji: Nachdenkliches Gesicht">

& #39;Verbal’s intuitions and Formal’s questions vary from dialogue to dialogue, and hence the developed theoretical models differ as well.& #39;

Dialogue 1 just explained the loci of breakdown when I code! https://abs.twimg.com/emoji/v2/... draggable="false" alt="😂" title="Gesicht mit Freudentränen" aria-label="Emoji: Gesicht mit Freudentränen">https://abs.twimg.com/emoji/v2/... draggable="false" alt="🙈" title="Nichts sehen-Affe" aria-label="Emoji: Nichts sehen-Affe"> MITx, please teach this paper! https://abs.twimg.com/emoji/v2/... draggable="false" alt="😂" title="Gesicht mit Freudentränen" aria-label="Emoji: Gesicht mit Freudentränen">https://abs.twimg.com/emoji/v2/... draggable="false" alt="🙃" title="Auf den Kopf gestelltes Gesicht" aria-label="Emoji: Auf den Kopf gestelltes Gesicht"> …https://computationalcognitivescience.github.io/socialpsychtutorial/">https://computationalcognitivescience.github.io/socialpsy...

Oh okay! Dialogue 1 initially matches my intuitions. Dialogue 2 seems to offer a more efficient formalization (i.e., computational-level model)! Does it? Still thinking... https://abs.twimg.com/emoji/v2/... draggable="false" alt="🤔" title="Denkendes Gesicht" aria-label="Emoji: Denkendes Gesicht">https://abs.twimg.com/emoji/v2/... draggable="false" alt="🙈" title="Nichts sehen-Affe" aria-label="Emoji: Nichts sehen-Affe">

[I need a break now. I will resume when my mind recovers. https://abs.twimg.com/emoji/v2/... draggable="false" alt="🤭" title="Gesicht mit Hand über dem Mund" aria-label="Emoji: Gesicht mit Hand über dem Mund">https://abs.twimg.com/emoji/v2/... draggable="false" alt="😯" title="Schweigendes Gesicht" aria-label="Emoji: Schweigendes Gesicht">https://abs.twimg.com/emoji/v2/... draggable="false" alt="🙃" title="Auf den Kopf gestelltes Gesicht" aria-label="Emoji: Auf den Kopf gestelltes Gesicht">]