Sciweavers

Share
FM
2001
Springer

Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics

10 years 8 months ago
Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract modelling. Its method depends upon an operator calculus. The School hereto eschewed every form of formal language and formal logic, relying solely upon constructive mathematics. In 1995 the School committed itself to the development of the modelling of (computing) systems in full generality. This was achieved by embracing Category Theory and by exploring a geometry of formal methods using techniques of fiber bundles. From fiber bundles to sheaves was a natural step. Concurrently, the School moved from the algebra of monoids to categories, and from categories to topoi. Finally, the constructive nature of the School is now coming to terms with formalism and logic through the (natural) intuitionistic logic inherently manifest through topoi. In this paper we exhibit an accessible bridge from classical formal meth...
Mícheál Mac an Airchinnigh
Added 28 Jul 2010
Updated 28 Jul 2010
Type Conference
Year 2001
Where FM
Authors Mícheál Mac an Airchinnigh
Comments (0)
books