The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. Volume 71, being published during 2006, will consist of approximately 1300 pages. The Journal is distributed with The Bulletin of Symbolic Logic. The Journal and The Bulletin are the official organs of the Association for Symbolic Logic, an international organization for supporting research in symbolic logic and furthering the exchange of ideas among mathematicians, philosophers, computer scientists, linguists, and others interested in this field. The main purpose of The Journal is to publish original scholarly work in symbolic logic.

Current issues are now on the Chicago Journals website. Read the latest issue.Since 1950, The British Journal for the Philosophy of Science (BJPS) has presented the best new work in the discipline. Published on behalf of the British Society for the Philosophy of Science, the journal offers innovative and thought-provoking papers that open up new areas of inquiry or shed new light on well-known issues.

Psychological lReview, November, 59:461-472

This report is part of the RAND Corporation Paper series. The paper was a product of the RAND Corporation from 1948 to 2003 that captured speeches, memorials, and derivative research, usually prepared on authors' own time and meant to be the scholarly or scientific contribution of individual authors to their professional fields. Papers were less formal than reports and did not require rigorous peer review. Our mission to help improve policy and decisionmaking through research and analysis is enabled through our core values of quality and objectivity and our unwavering commitment to the highest level of integrity and ethical behavior. To help ensure our research and analysis are rigorous, objective, and nonpartisan, we subject our research publications to a robust and exacting quality-assurance process; avoid both the appearance and reality of financial and other conflicts of interest through staff training, project screening, and a policy of mandatory disclosure; and pursue transparency in our research engagements through our commitment to the open publication of our research findings and recommendations, disclosure of the source of funding of published research, and policies to ensure intellectual independence.

Did you know your Organization can subscribe to the ACM Digital Library?

I don't say "beat" its designer; I say Let us assume that the machine cannot analyze the position right out and that it must make judgments. The problem, then, becomes that the machine must form its own criteria for judgment, and, if it is to beat its designer, it must form better judgments than the designer can put into it. Can we build such a machine? The problem that faces the designer is the same as that of the father who is not a good chess player and who wants his son to become world champion. Obviously, he must be very careful about what he teaches the boy.

The maze can be changed _ any desired mantler by rearranging the partitions between the twen --:five squares. In the maze there is a sensing finger, which can feel the -.:titions of the maze as it comes against them. This finger is moved .- The goal is mounted on a pin which can be slipped into a jack _ any of the twenty-five squares. Thus you can change the problem ..' way you choose, within the limits of the 5 x 5 maze.

' This work was done in collaboration with Drs. But it is attenuated because the electrode computes a weighted average over a volume of a function whose own average is zero. To this external medium, the nerve appears to produce, absorb, then produce current when a spike passes; from this probe's standpoint of view, the impulse is a source, followed by sink, followed by source. Their algebraic sum in time is zero, unless the impulse stops either at the electrode or short of it. In the former case, the preceding source is averaged with the initial part of the sink, but the stationary decaying sink is recorded as a large negative potential with respect to a remote electrode.

Philosophical Magazine, (Ser. 7, Vol. xliii, Dec. 1952). PDF of first page only. Offprint in Turing archive.

The entropy is a statistical parameter which measures, in a certain sense, how much information is produced on the average for each letter of a text in the language. If the language is translated into binary digits (0 or 1) in the most efficient way, the entropy // is the average number of binary digits required per letter of the original language. The redundancy, on the other hand, measures the amount of constraint imposed on a text in the language due to its statistical structure, e.g., in English the high frequency of the letter £, the strong tendency of H to follow T or of V to follow Q. It was estimated that when statistical effects extending over not more than eight letters are considered the entropy is roughly 2.3 bits per letter, the redundancy about 50 per cent. Since then a new method has been found for estimating these quantities, which is more sensitive and takes account of long range statistics, influences extending over phrases, sentences, etc.