top of page
응시, 원경의 지평
<Contemplative Contemplation - The Horizon in a distant view B>
Gödel's proof of uncertainty shows the constantly, endlessly open world.
The formal system is based on the idea of ensuring mathematical certainty by eliminating intuition. If we try to limit our thinking to formal syntactic categories, we cannot even ensure consistency.
(Inspired by Rebecca Goldstein)
bottom of page