Godel Diagonalization and Representing Formulas

[martdowd at aol.com]

FOM:

I have a new manuscript,
 Godel Diagonalization and Representing Formulas
 https://www.researchgate.net/publication/356288042

Abstract:
A form of universal representing formula can be defined in polynomial time
arithmetic.  Using this, Godel diagonalizations can be performed.  It is a
question of interest, whether self-referential propositional formulas can
be constructed.  Preliminary results suggest that this is not straightforward,
but the question seems worthy of further consideration.

Martin Dowd

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20211117/c65894e7/attachment-0001.html>