Posts by Tags

Anthropotechnics

Argo

Atlas

Autoformalization

Bayesian network

Cognitive content of numbers

Computability

Conjecture Generation

Daniel Libeskind

Dasein

David Foster Wallace

Globen

Globes

Guy Debord

Habermas

Heidegger

Heidegger's critique of technology

Height psychology

How to write mathematics badly

ITP

Infinite Jest

Isaiah Berlin

How to think about liberty?

4 minute read

Published:

Isiah Berlin in his famous essay Two Concepts Of Liberty contrasted two notions of liberty: positive and negative. What are they and are there other forms of liberty in the 21st century social and political subjects outside of this dichotomy?

Kynicism

LLM

ML for Math

Mathematics made difficult

Negative Liberty

How to think about liberty?

4 minute read

Published:

Isiah Berlin in his famous essay Two Concepts Of Liberty contrasted two notions of liberty: positive and negative. What are they and are there other forms of liberty in the 21st century social and political subjects outside of this dichotomy?

Neural Theorem Proving

Neural network

Number sense

Numerical

Origin of numbers

Parallax View

Peter Sloterdijk

Positive Liberty

How to think about liberty?

4 minute read

Published:

Isiah Berlin in his famous essay Two Concepts Of Liberty contrasted two notions of liberty: positive and negative. What are they and are there other forms of liberty in the 21st century social and political subjects outside of this dichotomy?

Postmodernism

Prior Analytics

Quantical

Russian Constructivism

Slavoj Zizek

Sloterdijk

Society of the Spectacle

Spheres

Stalinist Wedding Cake

Style of writing

The Soul is Not a Smithy

automated theorem provers

boredom of beauracratic life

deductive reasoning

formal proofs

interactive theorem provers

mathematical intuition

mathematical proofs

progress in mathematics

syllologism