Possibilities and limits of the diagnosis of specific learning disorders with neurophysiologic methods of study

EEG correlation analyses were conducted with children with and without specific learning weaknesses. Reduced left parietal correlation was found in children with dyslectic problems, and in children with adjustment and concentration problems, reduced bioelectric correlation. The frequent evidence of brain injury criteria suggests a link with general affectations of correlation but not specifically with cerebral correlation affections. It would appear to be appropriate to employ computer-assisted EEG correlation analysis, together with frequency analysis and the examination of evoked potentials in objective neurometric diagnosis where children with learning weaknesses are involved.     

The association between intelligence level and brain volume measures: a negative finding

Ratings of pre-morbid intelligence level, derived from the hospital charts of 26 chronic schizophrenics, were correlated with the post-mortem brain volume measures of cortex, white matter, central grey matter, and ventricles. Contrary to hypothesis, no significant correlations were found.     

Arithmetic based on the Church numerals in illative combinatory logic

In the early thirties, Church developed predicate calculus within a system based on lambda calculus. Rosser and Kleene developed Arithmetic within this system, but using a Godelization technique showed the system to be inconsistent.Alternative systems to that of Church have been developed, but so far more complex definitions of the natural numbers have had to be used. The present paper based on a system of illative combinatory logic developed previously by the author, does allow the use of the Church numerals. Given a new definition of equality all the Peano-type axioms of Mendelson except one can be derived. A rather weak extra axiom allows the proof of the remaining Peano axiom. Note. The illative combinatory logic used in this paper is similar to the logic employed in computer languages such as ML.The author wishes to thank Dr. Roger Hindley for proofreading this paper and for making some useful suggestions. This paper was presented at the 1986 Annual Conference of the Australasian Association of Logic in Auckland, 9–12 July, 1986.