Infinitary logic; Gödel and infinitary methods; incompleteness in physics.
Resumo. Este artigo é o resumo de uma conferência na qual apresentei algumas observações sobre os teoremas de incompletude de Gödel e seu significado para os fundamentos da fÃsica. A conferência inteira será publicada em outro lugar.
This paper is a summary of a lecture in which I presented some remarks on Gödel’s incompleteness theorems and their meaning for the foundations of physics. The entire lecture will appear elsewhere.