A Variation of Reynolds-Hurkens Paradox
Paper i proceeding, 2024
We present a variation of Reynolds-Hurkens paradox formulated as the non existence of a powerful triple in the proof system HOL.
Författare
Thierry Coquand
Göteborgs universitet
Chalmers, Data- och informationsteknik, Computing Science
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 14560 LNCS 111-117Ämneskategorier (SSIF 2025)
Matematisk analys
DOI
10.1007/978-3-031-61716-4_7