The large and still increasing popularity of deep learning clashes with a major limit neural network architectures, that consists in their lack capability providing human-understandable motivations decisions. In situations which the machine is expected to support decision human experts, comprehensible explanation feature crucial importance. language used communicate explanations must be formal ...

The Nonuniversality in Computation Theorem (NCT) states that no computer capable of a finite and fixed number of basic operations per time unit can be universal. This result, obtained in 2005, disproves major prevailing dogmas in computer science, on the strength of several counterexamples that differ significantly from one another. Thus, the NCT shows that the Church-Turing Thesis (CTT) is fal...

The physician's art is the catalogue of an exhibition of over 100 images and other objects from the collections of four North Carolina medical schools. In a finely-judged Preface, structured around specific examples shown, Martin Kemp points out some of the historical issues involved in the study of medical imagery and artifacts, beginning with the problem of what "realism" means in the context...

the 5th Game Programming Workshop in Japan, 1999 TR-99-32 Re eived 07 O t 99 Strategies Explained Ian Frank Ele trote hni al Laboratory Ma hine Inferen e Group Umezono 1-1-4, Tsukuba Ibaraki, JAPAN 305 David Basin Institut f ur Informatik Universitat Freiburg Am Flughafen 17 Freiburg, Germany Abstra t For many problem-solving tasks, it is important not only to produ e solutions, but also to j...