Re: Godel cant tell us what makes a mathematical statement true

you say

Let us say that P has a kumquat if there
is a series of formal statments, where each statment
is an axiom or follows from earlier statements
by a rule of inference, and P is the last
statement.

and say
if P has a kumquat then P is true


i say
you are talking rubbish
one could say under your definition of a kumquat
if the inital axiom if false ie 1+12=3
and P follows deductivly from the axiom
then P is a kumgate but not true
but under your definition it would be true
without telling us what makes a statement true you are talking meaningless
rubbish

it is elementary philosophy that you can get a false conclusion from false
premesis
but under your crap you will allways get a true conculusion from any axiom
be it false or true -if we new what makes the statement true in the first
place
go learn some basic philosophy

--
Message posted using http://www.talkaboutscience.com/group/sci.logic/
More information at http://www.talkaboutscience.com/faq.html

.

Relevant Pages