Re: Looking for Undecidable Propositions in Systems without a certainamountofarthimetic.

MoeBlee wrote:
On Aug 15, 2:30 pm, Nam Nguyen <namducngu...@xxxxxxx> wrote:

he point is we should *discuss* and
compare them for strengths and weakness, in a way that wold help us to better
reasoning, moving forward. Wouldn't you think so?

I just gave you my next bit in the discussion:

"when you're finished, and I've agreed to abide by your definitions,
I'll make up a new set of definitions, with new words like "latlology'
and define them with regard to semantics."

What say you to that?

Since you've not presented "latlology" in enough details, since face-prima
"latlology" truths seem isomorphic to canonical truths, since I've started
talking about my "project" first, why don't we compare the strengths and
weaknesses of my syntactical project (which isn't that different from the
syntacticalism part of Hilbert's program), and move on from there?

Specifically, in the related thread "Godel cant tell us what makes a
mathematical statement true", you said:

> Of course, Those formulations of Godel's results that refer to 'truth'
> would of course have a different meaning if you changed the definition
> of 'true'.

Why don't we re-evaluate and compare Godel's results through the framework
he used (viz-a-viz the canonical arithmetic truth system) and my syntactical
truth system?

I'd say let's go ahead with the re-evaluation. Agree? (It wouldn't matter
which one of us would start first; just let me know).

--
"To discover the proper approach to mathematical logic,
we must therefore examine the methods of the mathematician."
(Shoenfield, "Mathematical Logic")
.

Relevant Pages

  • Re: Looking for Undecidable Propositions in Systems without a certainamountofarthimetic.
    ... compare them for strengths and weakness, in a way that wold help us to better ... he used (viz-a-viz the canonical arithmetic truth system) and my syntactical ...
    (sci.logic)
  • Re: Interesting list Validity (True/False)
    ... Python to compare those strings equal. ... There may or may not be any coercion involved.) ... But the discussion isn't about optimization, ... I'd like to find the mathematician who says that. ...
    (comp.lang.python)
  • Re: An schizophrenic called Musatov wants destroy Sci-math
    ... is not consistent with the mathematician. ... An attempt to purvey a sense of truth does come at this problem from ... individual pursuit. ... Here is a medium that accomodates this pursuit without ...
    (sci.math)
  • Re: Godels Theorem and Variations
    ... Many of these "Biggest and Best" sites contain not wonderful and lucid ... of the mind and all the mind’s claims to ultimate truth. ... embracing the philosophies of Wittgenstein and the ... One mathematician recently pointed out what Kurt proved was that if you ...
    (sci.math)
  • Re: practical application of Godels Incompleteness Theorem
    ... For exactly the same reason, I don't know what is meant by ... the statements about Obama's toenail and US economy aren't bound by ... and one is free to assign any truth value ... we must therefore examine the methods of the mathematician." ...
    (sci.logic)
Loading