-
This paper is a minithesis written under the supervision of Prof Dr
Frank Veltman in partial fulfillment of the requirement for the Logic
Year Certificate. It is a survey of several approaches to the
phenomenon of vagueness.
-
This bachelor thesis investigates the possibility to extend Blackwell
Determinacy to the reals and discusses two possibilities. One uses
measures with countable support|the other endows the reals with the
Euclidean topology. At the end we propose a possible application.
-
We generalize the inductive analysis of the ordinal algebra of height
omega^2 to arbitrary ordinal algebras under some (crucial) technical
assumptions.
-
Er bestaat een opps <=> Er bestaat een facop
-
-
These are the informal proceedings of the 1st International Workshop
on Computational Social Choice (COMSOC-2006), held on 6-8 December
2006 in Amsterdam. The volume includes 38 contributed papers and
abstracts of five invited talks.
-
This is a light popular introduction to modern logic viewed as a
continuation of the tradition of dialogue and debate in Antiquity, and
leading to a more general study of intelligent interaction, bringing
in ideas from informatics and game theory.
-
This is an interview in a forthcoming book on "Five Questions on Game
Theory", edited by P. Guldborg Hansen & V. Hendricks. It describes
the growth of my interest in interfaces between logic and games since
my student days up till the present Logic & Games boom(-let) at ILLC,
and many other places.
-
The variety of Heyting algebras has a nice property that
HS=SH. Heyting algebras are the algebraic dual of intuitionistic
descriptive frames. The goal of this paper is to define proper dual
notions so as to formulate this algebraic properties in the frame
language, and to give a frame-based proof...
-
De nieuwe Brouwer Postzegel bevat een ontkenning van
het Uitgesloten Derde. Wat wordt hiermee bedoeld, en
wat zegt de 'intuïtionistische logica' nu eigenlijk
positief? We geven een schets voor een breed publiek
van de subtiliteiten van het constructief wiskundig
bewijzen, en we laten zien hoe he...
-
Though by no means a philosopher of mathematics,
at the request of the editors Hannes Leitgeb &
Vincent Hendricks of "Philosophy of Mathematics,
Five Questions", Automatic Press, Roskilde, DK,
I state my personal views on what the philosophy
of mathematics should be about: real ideas and
issu...