In a Consistent System, Can a True Sentence Imply a False One?
in [Logic]
|
Prev: when math defines the boundary between finite versus infinite at 10^500 #696 Correcting Math
Next: FLT like 4Color Mapping, Poincare C. and Kepler Packing #697 Correcting Math
From: Nam Nguyen on 30 Jul 2010 18:38 Nam Nguyen wrote: > MoeBlee wrote: > >> >> What the HELL is your problem? How do you SURVIVE each day in the >> communication void of yourself? >> >> We just happen to have some math lingo that we use now and then to say >> that the negation of a formula is provable in a theory. Instead of >> saying "the negation of P is provable in T" we just sometimes say "P >> is disprovable in T". Often in mathematical conversation we find that >> there is more than one way to say something. So what? > > Shouldn't mathematical reasoning be technically clear where it needs to > (such as definitions that would communicate a fact or its negation be the > case)? > > As Daryl pointed out (and indirectly alluded to), "disprovable" would > be used to differentiate the 2 cases: "*COMPLETE* consistent theory" > (his words) and negation incomplete consistent theory (my words). > But both of these _illuminations_ of the technical meaning of the > word "disprovable" are _consistent_ theories! > > You have not yet illuminated why such definition (of "disprovable) would > make any technical sense in the case of an inconsistent theory. So don't > get angry when you're confronted. > > For example, if you merely defined a prime as one having only 1 and > itself as divisors, then you shouldn't get angry when I or anybody > confront you with the question like: Does your "prime" definition > make sense in the case of 1? Let me add another comment: eventually somebody would ask if there's is any prime less than 2 and that got to be a resoundingly "Yes" or "No" kind of question. Right? > > Do you understand this very simple situation, MoeBlee? > -- ----------------------------------------------------------- Normally, we do not so much look at things as overlook them. Zen Quotes by Alan Watt -----------------------------------------------------------
From: MoeBlee on 30 Jul 2010 18:38 On Jul 30, 5:26 pm, Nam Nguyen <namducngu...(a)shaw.ca> wrote: > Do you understand this very simple situation, MoeBlee? I understand that I am a masochist for trying to having a conversation with you. MoeBlee
From: MoeBlee on 30 Jul 2010 18:43 On Jul 30, 5:26 pm, Nam Nguyen <namducngu...(a)shaw.ca> wrote: > For example, if you merely defined a prime as one having only 1 and > itself as divisors, then you shouldn't get angry when I or anybody > confront you with the question like: Does your "prime" definition > make sense in the case of 1? Yes, 'disprovable' makes sense whether the theory is consistent of inconsistent! It makes sense in either case. Do I have to write it in ox blood for you? It makes sense in either case. It makes sense if the theory is consistent, if the theory is inconsistent, if the theory is from the planet Mars, if the theory is song by the Mormon Tabernacle Choir, it MAKES SENSE! MoeBlee
From: Nam Nguyen on 30 Jul 2010 18:47 MoeBlee wrote: > On Jul 30, 5:26 pm, Nam Nguyen <namducngu...(a)shaw.ca> wrote: > >> Do you understand this very simple situation, MoeBlee? > > I understand that I am a masochist for trying to having a conversation > with you. As usual. Nothing new here in term of your responses when you seem to be aware you aren't technically correct but don't want to admit it. -- ----------------------------------------------------------- Normally, we do not so much look at things as overlook them. Zen Quotes by Alan Watt -----------------------------------------------------------
From: Nam Nguyen on 30 Jul 2010 18:51
MoeBlee wrote: > On Jul 30, 5:26 pm, Nam Nguyen <namducngu...(a)shaw.ca> wrote: > >> For example, if you merely defined a prime as one having only 1 and >> itself as divisors, then you shouldn't get angry when I or anybody >> confront you with the question like: Does your "prime" definition >> make sense in the case of 1? > > Yes, 'disprovable' makes sense whether the theory is consistent of > inconsistent! > > It makes sense in either case. Why? and I meant _technical reasons_ ? > > Do I have to write it in ox blood for you? > > It makes sense in either case. > > It makes sense if the theory is consistent, if the theory is > inconsistent, if the theory is from the planet Mars, if the theory is > song by the Mormon Tabernacle Choir, it MAKES SENSE! > > MoeBlee > -- ----------------------------------------------------------- Normally, we do not so much look at things as overlook them. Zen Quotes by Alan Watt ----------------------------------------------------------- |