Results 1 
4 of
4
A Categorical Manifesto
 Mathematical Structures in Computer Science
, 1991
"... : This paper tries to explain why and how category theory is useful in computing science, by giving guidelines for applying seven basic categorical concepts: category, functor, natural transformation, limit, adjoint, colimit and comma category. Some examples, intuition, and references are given for ..."
Abstract

Cited by 101 (5 self)
 Add to MetaCart
: This paper tries to explain why and how category theory is useful in computing science, by giving guidelines for applying seven basic categorical concepts: category, functor, natural transformation, limit, adjoint, colimit and comma category. Some examples, intuition, and references are given for each concept, but completeness is not attempted. Some additional categorical concepts and some suggestions for further research are also mentioned. The paper concludes with some philosophical discussion. 0 Introduction This paper tries to explain why category theory is useful in computing science. The basic answer is that computing science is a young field that is growing rapidly, is poorly organised, and needs all the help it can get, and that category theory can provide help with at least the following: ffl Formulating definitions and theories. In computing science, it is often more difficult to formulate concepts and results than to give a proof. The seven guidelines of this paper can h...
"Clarifying the Nature of the Infinite": the development of metamathematics and proof theory
, 2001
"... We discuss the development of metamathematics in the Hilbert school, and Hilbert's prooftheoretic program in particular. We place this program in a broader historical and philosophical context, especially with respect to nineteenth century developments in mathematics and logic. Finally, we sho ..."
Abstract

Cited by 5 (2 self)
 Add to MetaCart
We discuss the development of metamathematics in the Hilbert school, and Hilbert's prooftheoretic program in particular. We place this program in a broader historical and philosophical context, especially with respect to nineteenth century developments in mathematics and logic. Finally, we show how these considerations help frame our understanding of metamathematics and proof theory today.
The Logic of Brouwer and Heyting
, 2007
"... Intuitionistic logic consists of the principles of reasoning which were used informally by ..."
Abstract
 Add to MetaCart
Intuitionistic logic consists of the principles of reasoning which were used informally by
Brouwer and Fraenkel on Intuitionism
"... In the present paper the story is told of the brief and far from tranquil encounter of L.E.J. Brouwer and A. Fraenkel. The relationship which started in perfect harmony, ended in irritation and reproaches.1 The mutual appreciation at the outset is beyond question. All the more deplorable is the sud ..."
Abstract
 Add to MetaCart
In the present paper the story is told of the brief and far from tranquil encounter of L.E.J. Brouwer and A. Fraenkel. The relationship which started in perfect harmony, ended in irritation and reproaches.1 The mutual appreciation at the outset is beyond question. All the more deplorable is the sudden outbreak of an emotional disagreement in 1927. Looking at the Brouwer–Fraenkel episode, one should keep in mind that at that time the socalled Grundlagenstreit2 was in full swing. An emotional man like Brouwer, who easily suffered under stress, was already on edge when Fraenkel’s book Zehn Vorlesungen über die Grundlegung der Mengenlehre, [Fraenkel 1927] was about to appear. With the Grundlagenstreit reaching (in print!) a level of personal abuse unusual in the quiet circles of pure mathematics, Brouwer was rather sensitive, where the expositions of his ideas were concerned. So when he thought that he detected instances of misconception and misrepresentation in the case of his intuitionism, he felt slighted. We will mainly look at Brouwer’s reactions. since