Logic
in [Science]
|
A=Z-Regularity. A is the set of all sentences(entailed from FOL with identity "=" and membership "e") by the following non logical axioms: (1) Comprehension: for n=0,1,2,3,...; if phi(y,w1,...,wn) is a formula in which y,w1,...,wn *are* its sole free variables and in which x is not free,then Aw1...wn Ar As E!x Ay ( y e x <-... 19 Jun 2010 13:28
Why Can You Negate a Decision but Not a Set & The Problems with {} 1. You can negate a decision by switching TRUE and FALSE. For every recursive set its complement is recursive. 2. You can't negate a set because it is really UNIVERSALSET ^ ~SETBEINGNEGATED. You can take a function of two sets P^~Q but there is no ~P in reality. Why the asymmetry? The Problems with {}: ... 28 Jun 2010 22:45
CANTOR'S PROOF: An AD(n) =/= L(n,n) -> An AD(n) =/= L(n,n) CONSTRUCT a *new sequence of digits* (somehow?) like so An AD(n) =/= L(n,n) Then we PROVE that it's a new sequence of digits An AD(n) =/= L(n,n) VOILA! Superinfinity! Just ignore the fact that it never comes up with a new sequence of digits. Consider this LOGIC LOOP as an infinite sequence of prop... 20 Jun 2010 22:15
SCI.MATH - "You thought Infinity was BIG? .... this is SOOOO BIG you can't count them!" On Jun 17, 2:25 am, "|-|ercules" <radgray...(a)yahoo.com> wrote: A mathematician explains the intuitive notion of the missing box that contains the box numbers that don't contain their own box number, and the BIG Boxes in the even BIGGER room of boxes. This box IS NOT "missing". It CAN'T be missing because i... 17 Jun 2010 15:39
CANTOR'S POWER PROOF! CANTOR'S POWER PROOF! Superinfinity is based on the circular reasoning "no box contains the box numbers that don't contain their own box number". Herc -- "There are more things in Cantor's paradise, Horatio, than are dreamt of by your computers." ~ Barb Knox ... 20 Jun 2010 01:24
CANTORS DIFFERENT PROOF! CANTORS DIFFERENT PROOF! Definition: digit 1 is different, and digit 2 is different, and digit 3 is different, ... Proof: digit 1 is different, and digit 2 is different, and digit 3 is different, ... Therefore it's a different number! Herc -- "And God posted an angel with a flaming sword at the gates of Cant... 17 Jun 2010 07:51
Musatov responds to WM on Cantor: intelligence, real, judge for yourself: Cantor’s idea seems to me to assume because two sets converge to infinity the nature of infinity and the number of elements in each set must become equal. On Jun 17, 2:06Â am, WM <mueck...(a)rz.fh-augsburg.de> wrote: On 17 Jun., 09:54, Virgil <Vir...(a)home.esc> wrote: In article <4c19cd2c$0$316$afc38...(a)news.optusnet.com.au>, Â "Peter Webb" <webbfam...(a)DIESPAMDIEoptusnet.com.au> wrote: Cantor's proof applied to computable numbers proves you cannot ... 17 Jun 2010 21:12
- Risto Lankinen -Packet Results <b>1</b> - <b>10</b> for <b></b>. Risto Lankinen: Risto Lankinen | Facebook Risto Lankinen is on Facebook. Join Facebook to connect with Risto Lankinen and others you may know. Facebook gives people the power to share and makes the ...www.facebook.com/people/Risto-Lankinen/1220407048 Risto Lankinen - Finland | LinkedInView Risto Lankinen's (Finl... 17 Jun 2010 05:42
SCI.MATH - "You thought Infinity was BIG? .... this is SOOOO BIG you can't count them!" "Actually, a key application of Cantor's work is that one can reasonably extend the intuitive notion of "counting" to cover collections that are too big to actually assign numerical sizes to." ~ Barb Knox A mathematician explains the intuitive notion of the missing box that contains the box numbers that don't... 17 Jun 2010 02:28
Here is my ARGUMENT against Cantor's superinfinity Nah just kidding, everyone keeps backflipping on my definition every time I use it. defn(herc_cant_3) The list of computable reals contains every digit (in order) of all possible infinite sequences. Derivation Given the increasing finite prefixes of pi 3 31 314 ... This list contains every digit ... 17 Jun 2010 19:00 |