Logic
in [Science]
|
Does Such a Relation Exist? Is there a two-place relation R such that: 1. If x is an element of y then there exists a z such that R(y,z). 2. If R(x,y) then y is an element of x. 3. If R(x,y) and R(x,z) then y=z. What should it be called? C-B ... 3 Dec 2009 13:44
Godel has no idea what truth is so incompleteness theorem ismeaningless Nam Nguyen wrote: Marshall wrote: On Nov 4, 10:14 pm, Nam Nguyen <namducngu...(a)shaw.ca> wrote: Do you really think the notion of natural numbers is a syntactical notion? Do you think a syntactic treatment of the natural numbers is impossible? Of course it's impossible: you can't nev... 11 Nov 2009 01:15
Download for FREE fotos, music, software, games, videos, movies and much more Hi Everyone, you can download for FREE all the fotos, music, software, games, videos and much more from http://www.streamguide.co.cc Stream Guide is a search engine that searches for FREE from millions of available files on the internet. Give it a try!! Click here http://www.streamguide.co.cc ... 4 Nov 2009 20:52
EINSTEINSTIANA WHERE DAT BANANA BWANA Pentcho Valev wrote: http://math.ucr.edu/home/baez/physics/Relativity/SR/barn_pole.html "These are the props. You own a barn, 40m long, with automatic doors at either end, that can be opened and closed simultaneously by a switch. You also have a pole, 80m long, which of course won't fit in the barn. Now ... 4 Nov 2009 19:46
Buchi, Turing machines and the entscheidungsproblem If J.R. Buchi, Turing machines and the entscheidungsproblem, Mathematische Annalen, vol 148, pp 201�213, 1962 is available for free somewhere on the Internet I won't object if someone tells me where. -- Which of the seven heavens / Was responsible her smile / Wouldn't be sure but attested / That, whoever it was, ... 3 Nov 2009 13:46
Set Theoretical Approach for Special Relativity In the thread "Counterintuitions and the well-ordering theorem" (sci.logic) I briefly speculated about a set-theoretical approach for SR (Special Relativity). In this thread a little more details on this "relativistic" set formal system will be presented. Such a formal system would require infinite numbers of eps... 2 Nov 2009 02:29
"A" defining Finite Number for High School students #257; 2nd ed; Correcting Math A wrote: There are many nonpolynomial equations which are not solvable in the complex numbers, for example, 1 + x + x^2 / 2! + x^3 / 3! + x^4 / 4! + ... = 0 has no solutions in the complex numbers, since the power series on the left is the Maclaurin series for e^x, and there is no compl... 2 Nov 2009 01:24
Towards avoiding paradoxes with set theory: Corrected. Let me right the theory completely with its five axiom schemes: T is the set of all sentences entailed (from FOL with identity, membership and the primitive constant V) by the following non logical axioms. 1) Extensionality: For all z ( z e x <-> z e y ) -> x=y 2) Class Comprehension:if Phi is a formula... 5 Nov 2009 00:08
Hemant Pandey from India Solves P vs. NP Page 0 of 26 1 2 3 4 5 6 7 8 9 Title Page 10 1. Contents 11 2. Author s Profile 12 3. Cover Letter 13 4. Abstract 14 5. Manuscript 15 6. References 16 17 18 19 20 21 22 23 24 25 26 27 28 29 Page 1 of 26 30 31 Contents 32 33 34 Title Page 0... 31 Oct 2009 13:16
O-PA, CON(ZF) and non-standard models of ZF. On 28 Okt, 12:19, Marina Gotovchits <renessa...(a)gmail.com> wrote: On 28 Okt, 12:09, Marina Gotovchits <renessa...(a)gmail.com> wrote: Let O-PA be Peano Arithmetic extended with the omega.rule. As is well known, O-PA is complete, and for any aithmetically true sentence A, O- PA "proves" A. (Or so we t... 17 Nov 2009 11:45 |