Proposed new syntax
Paul Rubin
no.email at nospam.invalid
Thu Aug 24 03:50:42 EDT 2017
Steve D'Aprano <steve+python at pearwood.info> writes:
> I've read a few people claim that disallowing multiplication from
> standard arithmetic renders it weak enough that you can prove it
> complete and correct, but since they give no proof or even evidence I
> have my doubts.
That system is called Presburger arithmetic (see Wikipedia). It can be
proved consistent by quantifier elimination but is not powerful enough
to prove (or maybe even state) its own consistency.
Surprisingly, there are also theories that can state and prove their own
consistency:
https://en.wikipedia.org/wiki/Self-verifying_theories
More information about the Python-list
mailing list