MIGHT THERE EXIST ABSOLUTELY UNDECIDABLE PROPOSITIONS ?

Per Martin-Löf

Department of Mathematics, University of Stockholm
106 91 Stockholm, Sweden

Abstract

No, there are no absolutely undecidable propositions. The purpose of my talk is to explain why.