Relatórios

01/07/04 Intl. Conference on Mathematical Knowledge, Fitzwilliam College, Cambridge: Akihiro Kanamori: Set-theoretic knowledge beyond true or false / discussion / Alan Baker: Is there a problem of induction for mathematics?