Logic
in [Science]
|
CANTOR'S TWO PROOFS 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". No I don't like it either but there is a new sequence because we *construct* it like so: CANTORS DIFFERENT PROOF! Defn: digit 1 is different, and digit 2 is differe... 19 Jun 2010 18:55
Simple hack to get $600 to your home. Simple hack to get $600 to your home at http://lifeisbeatiful.co.cc Due to high security risks,i have hidden the cheque link in an image. in that website on left side below search box, click on image and enter your name and address where you want to receive your cheque.please dont tell to anyone. ... 16 Jun 2010 21:03
The Final Irrefutable Proof the Godel was wrong about his incompleteness theorem I could take a piece of paper and write on it 1 + 1 = 3 . That would be wrong. So maybe in 1931 when Godel wrote his incompleteness theorem, he was wrong too. -- David Libert ah170(a)FreeNet.Carleton.CA ... 18 Jun 2010 16:52
Godels incompleteness theorem are invalid ie illegitimate t is argued that Godels incompleteness theorems are invalid ie illegitimate for 5 reasons: he uses the axiom of reducibility- which is invalid ie illegitimate,he constructs impredicative statement which is invalid ie illegitimate ,he cant tell us what makes a mathematic statement true, he falls into two self-contra... 16 Jun 2010 13:16
Can anyone spot the CONTRADICTION??? "Peter Webb" <webbfamily(a)DIESPAMDIEoptusnet.com.au> wrote Cantor said and proved that any purported list of all Reals cannot contain all Reals. His proof is simple and clear, provides an explicit construction of at least one missing Real. Like so... 123 456 789 Diag = 159 Anti-diag = 260 W... 20 Jun 2010 14:34
Question for Aatu Koskensilta What is "predicatively meaningful" reflection and how would you go about justifying it? ... 16 Jun 2010 00:12
A Reformulation of Z-Reg.2 Theory A is the set of all sentences(entailed from FOL with identity and membership) 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,...,1n *are* its sole free variables and in which x is not free,then Aw1...wn Ar As E!x Ay ( y e x <-> ... 18 Jun 2010 17:59
A Reformulation of Z-Reg. Theory A is the set of all sentences(entailed from FOL with identity and membership) 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,...,1n *are* its sole free variables and in which x is not free,then Aw1...wn Ar As E!x Ay ( y e x <-> ... 16 Jun 2010 15:29
Yet Another SD Rodrian Prediction True: Gravity is NOT an attractive force between bodies Yet Another SD Rodrian Prediction True: Gravity, as argued even by Einstein, is NOT an attractive force between bodies. EINSTEIN WAS RIGHT - SPACE AND TIME BEND Ninety years after he expounded his famous theory, a $700m NASA probe has proved that the universe behaves as he said. [read the ... 15 Jun 2010 22:02
Sad observation: Cantor/Godel/Turing/Tarski I'm not going to name any names, but I recently found that I was arguing the same arguments, in the same way, with the same people, as I argued 4 or 5 years ago. Clearly, this is a pointless endeavor. So I have kill-filed the people and the argument threads. This isn't because of any hostility towards those people,... 2 Jul 2010 01:31 |