Godel Diagonalization and Representing Formulas

martdowd at aol.com martdowd at aol.com
Wed Nov 17 11:27:21 EST 2021


I have a new manuscript,
 Godel Diagonalization and Representing Formulas

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>

More information about the FOM mailing list