Virgil
Posts:
9,012
Registered:
1/6/11


Re: Matheology � 223: AC and AMS
Posted:
Mar 19, 2013 3:01 PM


In article <GNidnVy8wrn7PNXMnZ2dnUVZ_qidnZ2d@giganews.com>, fom <fomJUNK@nyms.net> wrote:
> On 3/19/2013 12:04 PM, WM wrote: > > On 19 Mrz., 17:34, fom <fomJ...@nyms.net> wrote: > >> On 3/19/2013 11:28 AM, WM wrote: > >> > >> > >> > >> > >> > >>> On 18 Mrz., 23:50, fom <fomJ...@nyms.net> wrote: > >> > >>>>> If you are unable to prove by yourself that the set of finite words is > >>>>> countable, then further discussion with you is meaningless. > >> > >>>> What I can or cannot prove to myself is not > >>>> an issue. > >> > >>> Exactly that is the issue  and nothing else! > >> > >>>> What is needed here is an agreed upon standard > >>>> of proof. > >> > >>> You think if there are enough fools to agree on a foolish standard, > >>> that would be enough? You think if there are enough fools to assert > >>> that countably many words are sufficient to label uncountably many > >>> words, that must be true? > >> > >>> Deplorable slave! > >> > >> It seems that I have graduated from > >> being a parrot. > >> > >> I am now acknowledged as a human > >> being. > > > > No, you are in an Aschexperiment: > > > "As soon as the idea of acquiring > symbols and laws of combination, > without given meaning, has become > familiar, the student has the notion > of what I will call a symbolic > calculus; which, with certain symbols > and certain laws of combination, is > symbolic algebra: an art, not a > science; and an apparently useless > art, except as it may afterwards > furnish the grammar of a science. > The proficient in a symbolic calculus > would naturally demand a supply > of meaning. Suppose him left without > the power of obtaining it from > without: his teacher is dead, and he > must invent meanings for himself. > His problem is: Given symbols and > laws of combination, required meanings > for the symbols of which the right > to make those combinations shall be > a logical consequence. He tries, > and succeeds; he invents a set of > meanings which satisfy the conditions. > Has he then supplied what his teacher > would have given, if he had lived? > In one particular, certainly: he has > turned his symbolic calculus into a > significant one. But it does not > follow that he has done it in a way > which his teacher would have taught > if he had lived. It is possible > that many different sets of meanings > may, when attached to the symbols, > make the rules necessary consequences." > > Augustus De Morgan > Have you run cross a book by de Morgan called "A Budget of Paradoxes"? If I recall correctly, it contains an acidly accurate description of people like WM, as well as many amusing anecdotes. > > > My response to metaphysical claims > concerning the bivalence of classical > logic: > > news://news.giganews.com:119/0NqdnRH4lKp4CFzNnZ2dnUVZ_sadnZ2d@giganews.com > > My axiomatization of logical connectivity > as an equational algebra > > news://news.giganews.com:119/IqudndogJ8VB1zNnZ2dnUVZ_qydnZ2d@giganews.com > > > And it just goes on and on and on.... > > > I think for myself. 

