Logic
in [Science]
|
Dot FOL This is another way of writing FOL(membership and identity) using a dot system, but not for punctuation. Punctuation here is done by using the bracket system on need, i.e. only when we have unexpected order of connectives. Logical connectives in Ascending order of power: Negation ~ Conjunction... 5 Jun 2010 05:59
Theory of groups with functions - Help on a question Hi, Could anyone help me with this question (from Bostock's Intermediate Logic) "The theory of groups can be presented as having in its vocabulary just identity and a single two-place function f(x,y) which we write as 'x.y'. The usual laws for identity apply, and in addition these three axioms:" (A1) Axyz(... 2 Jun 2010 06:33
Theory of groups with functions - Help on a question Hi, Could anyone help me with this question (from Bostock's Intermediate Logic) "The theory of groups can be presented as having in its vocabulary just identity and a single two-place function f(x,y) which we write as 'x.y'. The usual laws for identity apply, and in addition these three axioms:" (A1) Axyz(... 10 Jun 2010 17:55
Help with a question - throey of groups using functions Hi, Could anyone help me with this question (from Bostock's Intermediate Logic) "The theory of groups can be presented as having in its vocabulary just identity and a single two-place function f(x,y) which we write as 'x.y'. The usual laws for identity apply, and in addition these three axioms:" (A1) Axyz(... 2 Jun 2010 06:33
There is such a thing as NIRVANA - I experienced it in 1968 together with a crowd of striking students On Tue, 1 Jun 2010 19:20:43 -0700 (PDT), JP3 <totalizm(a)gmail.com> wrote: All happened in 1968 when I was a student. In that historic year, students of my university organised a mass demonstration and occupational strike. These were to protest against the despotic rules of a dictator of my country of that per... 2 Jun 2010 02:15
Unsolvability of the Entscheidungsproblem as a Corollary ofGödel’s 2nd Theorem George Greene <greeneg(a)email.unc.edu> writes: The question said, "since provability is expressible". Is provability in PA "expressible" in PA ?? Sure. -- Aatu Koskensilta (aatu.koskensilta(a)uta.fi) "Wovon man nicht sprechan kann, dar�ber muss man schweigen" - Ludwig Wittgenstein, Tractatus Logico-P... 4 Jun 2010 12:34
Philosophy of mind is more important than the philosophy of language and epistemology On Sun, 30 May 2010 17:25:34 -0700, Immortalist wrote: The center of attention has now moved from language to mind. No one else sees this as very funny? The center of attention has now moved from language to the center of attention. This is the EXACT wrong time to do this. Language more than ever before ... 1 Jun 2010 08:39
We are here for all your events! Attention! Need an excellent event management for your business and home we must do events on your behalf with attractive Fees! Contact us :-) Rtlx Groups 61 PNS Gold Mahal, South Avani Moola Street, Madurai - 625 001, Ph No. 0452-4230735, MBL 9597766651/52 Website: www.rtlxgroups.com Email ID: rtlxgro... 1 Jun 2010 04:20
[FAQ, 06/11/05] Mathematical logic on the web Mathematical Logic around the world: http://world.logic.at/ -- Posted: Tue Jun 1 00:03:02 2010 ... 31 May 2010 20:47
Did Turing 1937 Really Prove the Entscheidungsproblem Unsolvable? Excerpt from Turing 1937: 11. Application to the Entscheidungsproblem. The results of §8 have some important applications. In particular, they can be used to show that the Hilbert Entscheidungsproblem can have no solution. For the present I shall confine myself to proving this particular theorem. I propo... 4 Jun 2010 11:27 |