Ok, so retrosplenial seems to offload work from the hippocampus in familiar environments. It lights up most heavily when it’s furthest away from the goal in a familiar environment. [i know this place! – recognition] It also explains when lesions there lead to an inability to perform routines in familiar environments because they lost their maps / programming / navigation habits for those environments. “Our observation that retrosplenial cortex only comes to code the distance to the goal after extended experience with the environment is consistent with several past studies which have observed increased activity in the retrosplenial cortex with the acquisition of spatial knowledge about an environment (Wolbers and Büchel 2005; Auger et al. 2012, 2015). It is also consistent with reports of disorientation in highly familiar environments after retrosplenial lesions (Aguirre and D’Esposito 1999; Maguire et al. 2001; Spiers and Maguire 2007b). It remains to be seen whether this shift is accompanied by a transformation from detailed representations to a more gist-like schema, as has been proposed for the involvement of the retrosplenial cortex in models of contextual memory (Ranganath and Ritchey 2012) and by TTT (Winocur et al. 2010; Winocur and Moscovitch 2011; Sekeres et al. 2018), or alternatively if increased retrosplenial activity in familiar environments is a consequence of shifting between egocentric and allocentric representations during navigation (Marchette et al. 2014) (the latter of which would be potentially less available in recent environments).” https://academic.oup.com/cercor/article/29/6/2748/5420731

Ok, so retrosplenial seems
[read full article]

Its non monotonic. Its equivalent to “if/then else” and it ties to lattice theory as greatest lower bound (which is the lowest you can go that includes all the things) I knew it and yet it ties together more deeply than I thought before and didn’t know it as well as I did. “An operand of a conjunction is a conjunct. Beyond logic, the term “conjunction” also refers to similar concepts in other fields: In natural language, the coordinating conjunction “and”. In programming languages, the short-circuit and control structure. In set theory, intersection. In lattice theory, logical conjunction (greatest lower bound). In predicate logic, universal quantification”

Its non monotonic. Its … [read full article]


I don’t remember where I got this: it was in my memories from a few years ago: but it shows a relationship between these various things and a chemical reactor. You can read it as all of these things describe what happens in a chemical reactor or you can read it as these things come from chemical reactions ultimately. None of these are “abstract theoretical mathematics”. Or is it? Allow me to share something about theoretical chemistry:

I don’t remember where
[read full article]