F
Formalization
Indexing
Sifting through hundreds of thousands of hours of indexed videos
Formalization
Sifting through hundreds of thousands of hours of indexed videos
Formalization
Arcmira media summary
Explore podcasts, interviews & explainers on formalization — 2 indexed from John Vervaeke, updated Jul 2025.
And then the argument is that process of formalization cannot itself be something that's generated by a formal system because in order for a formal system to work, you have to have a small world and right, no system explains itself, right?
Arcmira tracks 2 indexed media appearances or mentions for formalization, tied to source videos, channels, and transcript-derived context.
Arcmira uses indexed YouTube videos and transcripts. Representative source evidence on this page includes "Silk Road Seminar - Bishop Maximus" with transcript-derived context and links when available.
formalization is connected to OpenAI, Epoch AI, University of Virginia in Arcmira's media graph.
2
Mentions
11.6K
Views
The trendline is visible, but the dated evidence behind formalization is in the premium layer.
“And then the argument is that process of formalization cannot itself be something that's generated by a formal system because in order for a formal system to work, you have to have a small world and r...”