Re: "Friendly Premises"

"Acme Diagnostics" <LFinezapthis@xxxxxxxxxxxxxxxx> writes:

[...]

A remarkable harangue! Could you possibly condense it into a brief
explanation of what you mean by "self-proving procedure" and
"recursive proof"?

> I've known that math is self-proving, as people from outside the
> field of math often say not needing to split any Goedel hairs,
> forever.

What do you mean by "math is self-proving"?
.

Relevant Pages

  • Re: "Friendly Premises"
    ... Pointless diversion. ... Necessary context snipped. ... when "self-proving" prefaces a named logic ... Self-proving is to math as half-boiled is to cooking, ...
    (sci.logic)
  • Re: "Friendly Premises"
    ... > A remarkable harangue! ... It's not apparent what you mean by "remarkable." ... >> I've known that math is self-proving, ... "Math is self-proving" means that it proves itself. ...
    (sci.logic)
Loading