An Eclectic View of the Irish School of Constructive Mathematics, from [Lucas 1978] to [Mac an Airchinnigh 2001]

Простая страница элемента
dc.creatorAirchinnigh,Micheal Mac an
dc.date2001
dc.date.accessioned2024-02-06T12:51:21Z
dc.date.available2024-02-06T12:51:21Z
dc.descriptionIn this paper I celebrate the evolution of the Vienna Development Method (VDM) along its Irish branch and attempt to tell the story that Peter Lucas played in it. There are two parts to the paper. In the first part I tell my story of the early day of the origins of the Irish School of the VDM (), beginning with prehistory in 1978 up until the radical decisions of 1995 which led to the Irish School of 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 (alt. toposes). The second part of the paper illustrates, with simple examples, how I introduce topos logic into modelling in 2001.
dc.formattext/html
dc.identifierhttps://doi.org/10.3217/jucs-007-08-0668
dc.identifierhttps://lib.jucs.org/article/27812/
dc.identifier.urihttps://openrepository.mephi.ru/handle/123456789/8001
dc.languageen
dc.publisherJournal of Universal Computer Science
dc.relationinfo:eu-repo/semantics/altIdentifier/eissn/0948-6968
dc.relationinfo:eu-repo/semantics/altIdentifier/pissn/0948-695X
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rightsJ.UCS License
dc.sourceJUCS - Journal of Universal Computer Science 7(8): 668-691
dc.subjectconstructive mathematics
dc.subjectintuitionistic logic
dc.subjectmodelling
dc.subjecttopos theory
dc.subjectVDM
dc.titleAn Eclectic View of the Irish School of Constructive Mathematics, from [Lucas 1978] to [Mac an Airchinnigh 2001]
dc.typeResearch Article
Файлы
Коллекции