-
This dissertation observes how disciplines shared data practices. Data practices enable scholars and scientists to transform observations into data that can be systematically collected and analysed. Observations and observation practices have shaped the foundations of the modern sciences and huma...
-
Aspects of Diagonalization & Provability
Albert Visser
Monolithic this thesis is not. It reflects the history of our preoccupation with Gödel’s Incompleteness Theorems over the last four years.
In part 1 and 2 we concentrate on generalizations of Gödel’s First Incompleteness Theorem like the...
-
(Abstract)
Clemens Grabmayer
[Master's Thesis at the Institute for Logic, Language and Computation (ILLC),
Universiteit van Amsterdam, October 1999]
NOTATION: Superscripts and subscripts are indicated in this .txt -file
in a LATEX-style manner with the help of symbols ^ and _ , such that
...
-
Computer viruses tap into a primordial human fear: that of loosing
control. The public fascination with viruses exceeds our fascination
with other ways in which we lose control over our computers, for
example random hardware faults. A probable cause is the perceived
prevalence of computer viruses...
-
Wittgenstein's Investigations and Damasio's Explanations:
A Comparative Study of Emotion
Nicole R. Hausen
This thesis compares philosopher Ludwig Wittgenstein's conceptual
analysis of emotion with neuroscientist Antonio Damasio's empirical
hypotheses regarding emotion. Specifically, the project ...
-
The aim of this thesis is to formalise cost allocation in the Dutch electricity sector by means of concepts from the theory of cost allocation and cooperative games. Consumers of electricity are connected to one of the seven voltage levels in the electricity grid. Most electricity is fed into the...
-
The aim of this thesis is twofold. Firstly, to find and analyse models for non-standard natural arithmetic in a category of sheaves on a site. Secondly, to give an introduction in this area of research.
In the introduction we take the reader from the basics of category theory to sheaves and sheaf...
-
The meaning of natural language expressions is usually identified with the conditions under which this expression is true. An alternative view – the procedural approach to meaning – identifies the meaning of an expression with an algorithm (or algorithms) for judging whether the expression is tru...
-
We present the tableau calculus LC_2-TAB which is sound and complete
with respect to local square modal logic. The system is a labelled
deduction calculus in the spirit of those for modal S5. The novelty
here is that the calculus works in two interacting dimensions. This
2-dimensional modal l...
-
Mathematische muziektheorie is een vakgebied in opkomst. Muziek en
wiskunde hebben een oeroude relatie (denk bijvoorbeeld aan Pythagoras,
Euler, Kepler en Descartes), maar toch blijken er steeds meer
elementen binnen de muziektheorie te profiteren van een wiskundige
aanpak. In dit artikel beschri...
-
Logica en recht hebben gemeenschappelijke interesses, wellicht zelfs
gezamenlijke wortels. Het gelijktijdig ontstaan van de logica in drie
grote wereldculturen rond 500 B.C. wordt soms verklaard vanuit
reflectie op de toen reeds lang bestaande juridische praktijk. Maar
die juridische praktijk wor...