Author information
Authors and Affiliations
Additional information
This talk was given at the workshop Theories of Meaning organized by the Centro Fiorentino di Storia e Filosofia della Scienza at the Villa di Mondeggi near Florence, 3–7 June 1985. I am greatly indebted to the organizers of the workshop for recording the talk on tape and subsequently making the tapes available to me for transcription.
Rights and permissions
About this article
Cite this article
Martin-Löf, P. Truth of a proposition, evidence of a judgement, validity of a proof. Synthese 73, 407–420 (1987). https://doi.org/10.1007/BF00484985
Issue Date:
DOI: https://doi.org/10.1007/BF00484985