2 citations · 4 across the 10 of their papers we have counts for
1 paper · 1 filter
Dmytro Taranovsky
We discuss the problems of incompleteness and inexpressibility. We introduce almost self-referential formulas, use them to extend set theory, and relate their expressive power to t…