On 12/9/2018 6:42 PM, Jason Resch wrote:


On Sun, Dec 9, 2018 at 2:53 PM Brent Meeker <[email protected] <mailto:[email protected]>> wrote:

    They are fundamental only in the sense that one can use them as
    axioms.  So their fundamentalism is circular.

    Brent

    On 12/9/2018 7:36 AM, Jason Resch wrote:
    But I think truth plays an even more fundamental roll than this. 
    e.g. because the following statement is */true/* "two has a
    successor" then there exists a successor to 2 distinct from any
    previous number.  Similarly, the */truth/* of "9 is not prime"
    implies the existence of a factor of 9 besides 1 and 9.


That position was defensible before Godel, but not after.  He showed mathematical truth cannot be based on axioms.

But he didn't show it could be based on something else.

Brent

--
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.

Reply via email to