Logic

Unsolvability of the Entscheidungsproblem as a Corollary of Gödel’s 2nd Theorem
Wikipedia: “In 1936 and 1937 Alonzo Church and Alan Turing respectively, published independent papers showing that it is impossible to decide algorithmically whether statements in arithmetic are true or false, and thus a general solution to the Entscheidungsproblem is impossible. Alonzo Church, ‘A note on th... 4 Jun 2010 00:31

Can Rosser 1936 be Extended? Alan Turing vs. Martin Davis et. al.
On May 30, 10:45 pm, Charlie-Boo <shymath...(a)gmail.com> wrote: Everyone including Martin Davis (his anthology) says that Rosser 1936 can't be extended because an inconsistent system proves everything and so is complete (in a very bad way.)  But Turing 1937 includes a derivation of Rosser 1936.  So what are ... 3 Jun 2010 23:26

Philosophy of mind is more important than the philosophy of language and epistemology
On Sun, 30 May 2010 18:57:53 -0700 (PDT), Ed <edgarsv(a)att.net> wrote: On May 30, 8:25�pm, Immortalist <reanimater_2...(a)yahoo.com> wrote: ...For a number of important historical reasons, the philosophy of mind has become the central topic in contemporary philosophy. For most of the twentieth century the ... 30 May 2010 23:01

Philosophy of mind is more important than the philosophy oflanguage and epistemology
Immortalist : <should be marked as quoted?> ...For a number of important historical reasons, the philosophy of mind has become the central topic in contemporary philosophy. For most of the twentieth century the philosophy of language was "first philosophy." Other branches of philosophy were seen as deriv... 4 Jun 2010 20:18

instructor solution manual for Artificial Intelligence A Modern Approach 2e by Russell, Norvig
Here are instructor's solutions manuals to the scientific textbooks in PDF format. They cover solutions to all problems. If you need any, let me know its title, edition and author. If your title is not listed here don't worry because it is a list of some .. NOTE: This service is NOT free, and Don't reply here, inst... 30 May 2010 21:57

Philosophy of mind is more important than the philosophy of language and epistemology
....For a number of important historical reasons, the philosophy of mind has become the central topic in contemporary philosophy. For most of the twentieth century the philosophy of language was "first philosophy." Other branches of philosophy were seen as derived from the philosophy of language and dependent on re... 6 Jun 2010 20:34

historical query
Does anyone have information regarding the identity of earliest logic text or treatise to use "The moon is made of green cheese" as a premise for an argument in a syllogism? Thank you! ... 30 May 2010 14:21

What are Sets?
A Set is a collectible object uniquely representing the end result of a collective attempt. A collective attempt refers to the process of collecting objects, which involves various specifics of selecting objects and gathering them together. Two collective attempts might end up in having the same objects bei... 30 May 2010 15:25

Adding the Godel Sentence to the Axioms of PA
The class of sets represented by PA wffs is the r.e. sets. We can represent no more. If we add the (true unprovable) Godel sentence G (the wff that expresses “It is not provable on itself.” applied to itself) to the axioms of PA, which sets can we then represent? Should that class change after adding G to th... 12 Jun 2010 13:46

Can Rosser 1936 be Extended? Alan Turing vs. Martin Davis et. al.
Everyone including Martin Davis (his anthology) says that Rosser 1936 can't be extended because an inconsistent system proves everything and so is complete (in a very bad way.) But Turing 1937 includes a derivation of Rosser 1936. So what are the possibilities? 1. Turing 1937 is equivalent to Rosser 1936. ... 30 May 2010 08:57