-
We have studied the problem of maintaining a number of copies of a dynamic data structure in a network of processors. In order to avoid that each processor spends a lot of time in updating its copy, we first “preprocess” the update in a central structure. Then we broadcast information about the u...
-
This study is a sample of a semantic method in the theory of definition. Already in 1900 A. Padoa proposed a semantic method in proofs of undefinability. G. Peano was the first to recognize the value of this method, followed by A. Tarski, A. Lindenbaum, J. C. C. McKinsey and others. A new step wa...
-
The importance that the number continuum has for all of mathematics is mainly based on two properties. On the one hand, simple algebraic (or arithmetic) relations exist between the elements of the number continuum, i.e. relations between finitely many numbers: the real and complex numbers form a ...
-
A.I. has been expanding vigorously in the last 20 years, and the number of publications continues to increase. The field has become so large that a tendency has emerged to split it up into different sections Computational Linguistics, Deduction, Cognitive Science and Vision. A hidden motivation f...
-
Not the contents of the following chapters are important, but the method used in them. For want of a better term, one could name this method the "constructive" one. If it is pleasant and useful to philosophize, discuss and talk about linguistic problems, it is surely more useful and pleasant to ...
-
-
-
-
-
-