Virgil
Posts:
4,482
Registered:
1/6/11
|
|
Re: FAILURE OF THE DISTINGUISHABILITY ARGUMENT. THE TRIUMPH OF CANTOR: THE REALS ARE UNCOUNTABLE!
Posted:
Jan 10, 2013 3:20 AM
|
|
In article <05f72885-18d5-428a-b86f-0c603ede1590@po6g2000pbb.googlegroups.com>, "Ross A. Finlayson" <ross.finlayson@gmail.com> wrote:
> Cnsdr thn th dffrnc btwn th fnnl nd th sv. n > mght pr th md nt th fnnl nd dffrntt ch s th > fll t, nd th fnnl wld fll, smpl rt prblm. Th sv > thn mght smply dffrntt crss t nc, v th strctr > bng tslf dfnd n th prlll: nstd f brngng ch tm > t th dstngshmnt, swp thrgh thm dffrntts thm t > nc. > > l Jfr, pprct tht y fnd prfndty n th ncntblty > f th rglr, wll-fndd pwrst f th rglr, wll-fndd > nfnt st, yt s wll y knw f dvlpmnt wth nfnt > lmnts n th nfnt st f fnt thngs, r f th nt- > fndtnl, r xprssly f hw tdy's thrsts grppl wth th > mst fndmntlly lrg, th nvrs r th ttlty f rdnls, > whch r dffrnttd v thr strctr mr strngly thn > xtnsnlty. Y knw tht xtnsnlty nd fr tht mttr th > prtclr xmtztn f nfnty s rglr nd wll-fndd, > rstrctd, s jst tht: n ssrtn f n bstrct thng. Crtsy > th lck f nvrsl qntfctn vr th ndctvly fllwng > lmnts, t s knwn tht thry s thr ncmplt, r > ncnsstnt. t bst cnsstnt, thr r pln tr fcts bt > ts bjcts tht rn't f ts thrms, bt th strctr f ch s > dclrd. > > Rssll, fr xmpl, ntd tht th st f ll sts tht dn't > cntn thmslvs, wld cntn tslf. Tht's smpl: t ds. > nd, tht's ZF's nvrs. > > S, whl n th n hnd t mks sns tht y stt yr blf n > th vldty f th ncntbl, f sd thry's xms nd ts > mmdtly ccssbl thrms crtsy xtnsnlty nd > prtclrly dclrd rstrctdly rglr nfnty, bcs y > dscrb thrs gnrlly nd fl t rsnbl t xprss t yr > dnc yr blf drctly, s wll thr r smply thrs > wtht ths xms nd y wll knw tht. > > Thn, wth rgrds t ttmpts t ndrstnd nd rgrsly dfn > mthmtcl bstrctns f th cntnm, f nmbrs, nd gmtry, > nd smply cllctns r grpng nd sprtn, bvsly ngh > vryn gs bt tht s prt f rsn. Thn wth rgrds t tht > "nly fnts mk n nfnt" bt thn "nfnts dn't mk n > nfnt", t's nt ncssrly ll-cncvd t fnd ltrnt > xms, r prtclrly lck thrf, s dffrnt tr rslts, > thn t th ndrstndng nd dstnctn f mthmtcl > bstrctns. > > Thn, whr 'm prtclrly ggrssv nd nstd f smply dfnng > strctrs n vc, bcs thy'r nt, nstd crry frwrd th > gnrl cs f wrkng twrd thr cncltn, f th nvrsl > nd mpty, g bt tht cnstrctvly, fr mthmtcs fr > hmnty nd nt jst mthmtcns fr thmslvs: fr th ppld. > > Th nvrs s st s ts wn pwrst. fnd t sr t blv > tht th ll xsts, thn tht t dsn't. > > Bcs, thrws, t wldn't. > > Rgrds, > > Rss Fnlysn Looks better this way! --
|
|