|
|
|
|
|
|
by Jtsummers
3267 days ago
|
|
|
Probably this part from the article: > Similarly, type theory wasn’t enough to describe new foundations for mathematics from which all mathematical truths could in principle be proven using symbolic logic. It wasn’t enough because this goal in its full extent is unattainable. |
|
|