Programming in abstractions is very different from a system that is capable of its own 'abstracting'. But what does abstracting mean? We only know of its inputs and outputs, but we fail to describe its inner workings.

I like this short video about living in space. This is because it makes you realize the gaps in your knowledge when you turn off something (i.e. gravity) that you have always assumed to be present. https://t.co/9SRvDoN2lZ
Perhaps we can understand 'abstracting' better if we turn of many assumptions that we unconsciously carry around. Perhaps we need to get rid of the excess baggage that is confusing our thinking about abstraction.
Turning off gravity and living in space is a perfect analogy. We somehow have to turn off a cognitive process to understand the meaning of abstraction.
The first step to divorce ourselves from our habitual cognitive processes is to realize the pervasiveness of 'noun-thinking' . https://t.co/GLHdMeEyKX
We want our research agenda focused on the lower right quadrant of this chart:
Here's the paradox. The other quadrants are a consequence of the application of abstraction. We are so acclimatized with abstracting that we don't know how to turn it off to understand abstracting!
So like the absence of gravity reveals to us the effects of gravity, the absence of abstraction reveals to us how abstraction arises from non-abstraction.
Let's challenge two abstractions that are related. The Law of the Excluded Middle and the concept of infinity. https://t.co/KkdJXtPs36
Numbers are not things, they are processes. This is one of the more shocking ideas that I learned this week. But it should have been obvious.
The universe is computational and therefore is governed by intuitionistic logic.
The second false abstraction you have to rid yourself of is the notion of the 'all seeing eye'. Ever since formulation of relativity and quantum mechanics, Physics has been telling us that all of reality operates from the first-person perspective.
The consequence of this is the existence of the self and as a logical conclusion, the existence of something other than the self. This sets up a situation of co-evolution that is unimaginably rich and complex as a consequence of the mechanism of biological evolution.
Biological evolution and brains share a commonality. They are creative processes that do not have a single designer. Rather, innovation arises as a consequence of a multitude of designers in constant competition seeking design wins.
The designs that best fit the world in the present are the designs that persist in the future. But it's actually not as simple as this. Evolution and brains are creative in ways we see through the lens of gameplay. https://t.co/S9iv9wZeXe
A system like AlphaZero that is trained without the knowledge of human gameplay is of course unaware of the abstractions humans have invented to describe strategy and tactics. It just does what it does because it works best.
Yet, AlphaZero performs in a intuitionistic manner that demolishes other systems that are driven by abstractions and logic. https://t.co/Wr9nOQ6QB5
AlphaZero tells you that to learn the game, you must play the game. Rules and abstractions that describe the game will always take a back seat to participation and interaction.
Rules and abstractions are communicable expressions of previous designs. However, just like DNA requires a living cell to interpret its instructions, the same can be said about rules and instructions and the human mind.
A mind comes into being because it participates in this world, not because it has given instructions about this world.
What then are abstractions? Abstractions are metaphors that we use to communicate with minds other than ourselves.
@threadreaderapp unroll

More from Carlos E. Perez

Nice to discover Judea Pearl ask a fundamental question. What's an 'inductive bias'?


I crucial step on the road towards AGI is a richer vocabulary for reasoning about inductive biases.

explores the apparent impedance mismatch between inductive biases and causal reasoning. But isn't the logical thinking required for good causal reasoning also not an inductive bias?

An inductive bias is what C.S. Peirce would call a habit. It is a habit of reasoning. Logical thinking is like a Platonic solid of the many kinds of heuristics that are discovered.

The kind of black and white logic that is found in digital computers is critical to the emergence of today's information economy. This of course is not the same logic that drives the general intelligence that lives in the same economy.

More from Internet

We’ve spent the last ten months building #CitizenBrowser, a project that aims to peek inside the Black Box of social media algorithms, by building a nationwide panel to share data with us. Today, we are publishing our first story from the project. /1

.@corintxt crunched the numbers and found that after Facebook flipped the switch for political ads, partisan content elbowed out reputable news outlets in our panelists’ news feeds.
https://t.co/Z0kibSBeQZ /2

You can learn more in our methodology, where we describe how we did this and what steps we took to ensure that we preserved the panelists' privacy. https://t.co/UYbTXAjy5i /3

Personally, this project is the culmination of years of experiments trying to figure out how to collect data from social media platforms in a way that can lead to meaningful reporting. I’ve described a couple of highlights below 👇 /4

My first attempt was in 2016 at Propublica, when I was working with @JuliaAngwin . We were interested in seeing if there was a difference in the Ad interests FB disclosed to users in their settings and the interests they showed to marketers. /5

You May Also Like

This is a pretty valiant attempt to defend the "Feminist Glaciology" article, which says conventional wisdom is wrong, and this is a solid piece of scholarship. I'll beg to differ, because I think Jeffery, here, is confusing scholarship with "saying things that seem right".


The article is, at heart, deeply weird, even essentialist. Here, for example, is the claim that proposing climate engineering is a "man" thing. Also a "man" thing: attempting to get distance from a topic, approaching it in a disinterested fashion.


Also a "man" thing—physical courage. (I guess, not quite: physical courage "co-constitutes" masculinist glaciology along with nationalism and colonialism.)


There's criticism of a New York Times article that talks about glaciology adventures, which makes a similar point.


At the heart of this chunk is the claim that glaciology excludes women because of a narrative of scientific objectivity and physical adventure. This is a strong claim! It's not enough to say, hey, sure, sounds good. Is it true?