Post AxDrO7XaNHBjWJrr3g by unabomber@social.here.blue
 (DIR) More posts by unabomber@social.here.blue
 (DIR) Post #AxDpXG3vrPIKeEE7hA by unabomber@social.here.blue
       2025-08-16T08:45:15.652061Z
       
       0 likes, 0 repeats
       
       forall x, (Syntax -> x) -> (Semantics -> x) ≈ (Syntax -> Semantics)forall x, (Semantics -> x) -> F x ≈ F SemanticsSearle says there can be no functor from syntax to semantics that preserves the structure of semantics using syntax. Yoneda says the structure of semantics is isomorphic to the structure of syntax, as long as we have a function from objects of semantics to the same x as from syntax.If you know every way to your house, you know where your house is. If you know every way to mention a word, you know how to use that word. Yoneda Lemma beat the Chinese Room Experiment long ago.If you know every way to identify the protagonist of an autobiography then you are the protagonist of your autobiography.
       
 (DIR) Post #AxDqhik6BQ5kRoVE48 by steeznson@glasgow.social
       2025-08-16T08:58:07Z
       
       1 likes, 0 repeats
       
       @unabomber quality post
       
 (DIR) Post #AxDrO7XaNHBjWJrr3g by unabomber@social.here.blue
       2025-08-16T09:06:03.338081Z
       
       0 likes, 0 repeats
       
       forall x, (Syntax -> x) -> (Semantics -> x) ≈ (Syntax -> Semantics)was meant as forall x, (Semantics -> x) -> (Syntax -> x) ≈ (Syntax -> Semantics)
       
 (DIR) Post #AxJrAQ123PeLiIroGW by freegnu@noauthority.social
       2025-08-18T16:48:19Z
       
       0 likes, 0 repeats
       
       @unabomber A cat or a bird or a raccoon or a thief know more ways to your home than you do. And may use a non intersecting set of ways collectively when compared to your use of the outer doors.
       
 (DIR) Post #AxJrARSifxOKCSpR3o by unabomber@social.here.blue
       2025-08-19T06:31:54.546164Z
       
       0 likes, 0 repeats
       
       @freegnu Yeah they know where your home better than you.