Paul Christiano on Probabilistic Metamathematics and the Definability of Truth

preview_player
Показать описание

This talk was delivered as part of the "Logic at Harvard" seminar and colloquium, on October 15th 2013.

For more details see:
Рекомендации по теме