On 3/25/2013 6:10 AM, Alberto G. Corona wrote:
> I suspect that this impossibility is because math uses concept of a
> model, while truth refers to the match of facts of the model with
> facts of the reality . Or at least to facts of a metamodel outside of
> the model. That is AFAIK the Tarsky ide
I suspect that this impossibility is because math uses concept of a
model, while truth refers to the match of facts of the model with facts of
the reality . Or at least to facts of a metamodel outside of the model.
That is AFAIK the Tarsky idea.
For example, "All men are mortal is true" . Here s
On 23 Mar 2013, at 04:46, Stephen P. King wrote:
"In 1936 Tarski proved a fundamental theorem of logic: the
undefinability of truth. Roughly speaking, this says there's no
consistent way to extend arithmetic so that it talks about 'truth'
for statements about arithmetic.
That's not ent
On Sat, Mar 23, 2013 at 4:46 AM, Stephen P. King wrote:
> "In 1936 Tarski proved a fundamental theorem of logic: the *undefinability
> of truth*. Roughly speaking, this says there's no consistent way to
> extend arithmetic so that it talks about 'truth' for statements about
> arithmetic. Why n
4 matches
Mail list logo