Pablo Villalobos 🔸

Trying to thread the needle of prophecy.

[Pablo Villalobos 🔸 @pvllss]

About Cantor's theorem: yes, but Skolem's paradox to me undermines its Platonic interpretation significantly. On its face Cantor's theorem implies a hierarchy of infinities, Skolem's paradox shows that a countable model can accommodate all of them.

I would like to know what you make of it.

[Pablo Villalobos 🔸 @pvllss]

These suggest that you can build mathematics in purely operational terms, starting from an ontology in which there are just perceptions, actions and I want to choose actions that will bring me good perceptions in the future.

The fact that this interpretation is possible at all should give us some pause IMO. I'm not saying the subject matter of mathematics is only practical strategies, but if it were I don't think we would be able to tell the difference

[Pablo Villalobos 🔸 @pvllss]

I am sympathetic to Platonism, but I think it's also interesting to try a more deflationary perspective.

For example, take game-theoretic probability and game semantics in logic. Proofs are strategies, intuitionistic proofs are strategies that guarantee a win, classical proofs strategies that prevent a loss

[Pablo Villalobos 🔸 @pvllss]

Same for Cantor or anything else. Cantor proved that a certain function has no fixed point. You can interpret it as saying there are infinities of different sizes, you can also not do that. At the end of the day you have either informal intuitions, or syntactic rules, and the syntactic rules don't care if a symbol looks like ∞ or like >N

[Pablo Villalobos 🔸 @pvllss]

Take e^e^e^79. I don't know what its decimal digits are. I do know that if I take its logarithm three times I get 79. But I don't know this due to any computation on its digits, I know it because log(exp(x)) = x. So you can certainly imagine that you're doing some complex operation on an impossibly big number but what's actually going on is applying some tiny syntactic rewriting rules

[Pablo Villalobos 🔸 @pvllss]

@realjoelroberts @megamapmaker I would simply start in the right lane

[Pablo Villalobos 🔸 @pvllss]

@lugaricano @ojblanchard1 @paulkrugman If the case for Europe is "our lack of productivity growth does not cause consumer-welfare problems because we get access to US tech anyway" then it's vitally important that the US does not become like Europe! And how many innovations are we missing due to European stagnation?

[Luis Garicano 🇪🇺🇺🇦 @lugaricano]

What's going on in Spain? Three simultaneous events:
1. A judge accuses the governing socialist party of setting up a criminal network to undermine the police, prosecutors, and judges investigating its own corruption. Police raided party HQ this week. In a democracy, it doesn't get more serious than that.
2. Meanwhile, former socialist PM José Luis Rodríguez Zapatero is himself under formal investigation for leading an "influence-peddling network," money laundering, and belonging to a criminal organization, tied to the €53 million pandemic bailout of Plus Ultra, a Venezuela-linked airline. Police raids on his offices turned up lots of jewellery and watches. He testifies June 2. It is the first time in modern Spanish history a former PM has been formally implicated in a criminal investigation.
3. The conservative People's Party is on trial right now for "Operación Kitchen," a clandestine 2013–2016 scheme run from the Interior Ministry to steal compromising documents from the PP's former treasurer Luis Bárcenas, before they could reach the judge investigating the party's illegal financing. Prosecutors ask for 15 years jail time for the former interior minister on charges including criminal organization.

[Pablo Villalobos 🔸 @pvllss]

@NinaPanickssery Disrespect gets you nowhere, it just alienates you from the vast majority of people. Religion is also a very interesting and important anthropological phenomenon, I think it's better to approach it with curiosity

[Pablo Villalobos 🔸 @pvllss]

@jachiam0 Banger

[Pablo Villalobos 🔸 @pvllss]

@austinc3301 Unfortunately I think it's likely to be pretty disappointing

[Pablo Villalobos 🔸 @pvllss]

@NunoSempere Some people never make themselves that vulnerable, the fact that you did speaks highly of you

[Pablo Villalobos 🔸 @pvllss]

@captgouda24 127, beyond that you get an overflow and they all become hated enemies

[Pablo Villalobos 🔸 @pvllss]

@akarlin Isn't the problem that labor and land are now expensive while ingredients and tools are cheap? So even without taxes it's just hard to make restaurants cheap. You can buy an OK prepared meal at the supermarket or from a meal delivery service for less than $10

[Pablo Villalobos 🔸 @pvllss]

I love Earthshine

[Pablo Villalobos 🔸 @pvllss]

@Ancapta That sounds exhausting. Probably not the right technique for people like me who struggle with relating authentically instead of performing

[Pablo Villalobos 🔸 @pvllss]

@TrueSlazac More like

[Pablo Villalobos 🔸 @pvllss]

@austinc3301 No you don't understand the options are 'i', 'c', 'e', and 'd'

[Pablo Villalobos 🔸 @pvllss]

@NunoSempere I see what you're doing
1. Have women tell you what kind of man they're looking for
2. Become that kind of man
3. Profit