proofs of second incompleteness (FOM Digest, Vol 237, Issue 4)

Yu Li yu.li at u-picardie.fr
Tue Sep 6 09:56:03 EDT 2022

Previous message: David Makinson, Frege’s Ontological Diagram Completed, LUW Sept 7 at 4 pm CET,
Next message: What Russell meant by "traditional pure mathematics"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Dear Martin Dowd,

You said : "This runs in to the problem that the valuation function is not definable."

What do you mean by “valuation function”?

Best regards

Yu LI

Previous message: David Makinson, Frege’s Ontological Diagram Completed, LUW Sept 7 at 4 pm CET,
Next message: What Russell meant by "traditional pure mathematics"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the FOM mailing list