[Proof Complexity] a new paper

[Jan Krajicek]

Dear colleagues,

the abstract and the pdf of my new paper
" A proof complexity conjecture and the Incompleteness theorem"
is available at the ArXiv:

https://arxiv.org/abs/2303.10637

or via my web page:

https://www2.karlin.mff.cuni.cz/~krajicek/biblio.html#posledni

Best regards, Jan

Odesláno z bezpečného [Proton Mailu](https://proton.me/).