Obiettivo Group theory is the study of symmetry in mathematical objects, such as rotations of geometric shapes.Groups help us understand the underlying structure of mathematical objects by revealing their symmetries.To understand groups we need an efficient way to describe them. Some groups admit a finite presentation;a finite set of building blocks, along with a finite collection of rules on when we can substitute one setof blocks for another. These descriptions are convenient. However, results in algebra and logic showthat such descriptions are not always suitable to work with, as certain problems (e.g. the word problem,of deciding if two distinct collections of blocks represent the same group element) are incomputable; nocomputer can be built to always answer this. We can embed incomputable problems from groups intogeometry, to show that the homeomorphism problem, of recognising if two geometric shapes are equivalentunder smooth deformation, is incomputable in all dimensions above three. Thus we can't computationallyclassify geometric shapes in higher dimensions; we can't identify the unique distinguishing features ofeach shape. The study of generic computability (problems which can be computed most of the time) isa useful area in mathematics. Conversely, showing a problem can't be computed most of the time givesrise to applications in cryptography: generically incomputable problems are an excellent tool in the theorybehind cryptosystems. This proposal will deal with incomputable and generically incomputable problems.We will investigate certain problems in group theory to determine if they are computable, or genericallycomputable, or neither. We will apply these results to particular classess of higher-dimensional geometricobjects, identifying whether certain problems relating to them are computable or not. The project will becarried out at the University of Cambridge, under the supervision of Dr. Henry Wilton. Campo scientifico natural sciencescomputer and information sciencesinternetnatural sciencesmathematicspure mathematicstopologynatural sciencescomputer and information sciencescomputer securitycryptographynatural sciencesmathematicspure mathematicsalgebranatural sciencesmathematicspure mathematicsgeometry Programma(i) H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions Main Programme H2020-EU.1.3.2. - Nurturing excellence by means of cross-border and cross-sector mobility Argomento(i) MSCA-IF-2014-EF - Marie Skłodowska-Curie Individual Fellowships (IF-EF) Invito a presentare proposte H2020-MSCA-IF-2014 Vedi altri progetti per questo bando Meccanismo di finanziamento MSCA-IF-EF-ST - Standard EF Coordinatore THE CHANCELLOR MASTERS AND SCHOLARS OF THE UNIVERSITY OF CAMBRIDGE Contribution nette de l'UE € 195 454,80 Indirizzo TRINITY LANE THE OLD SCHOOLS CB2 1TN Cambridge Regno Unito Mostra sulla mappa Regione East of England East Anglia Cambridgeshire CC Tipo di attività Higher or Secondary Education Establishments Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Partecipazione a programmi di R&I dell'UE Opens in new window Rete di collaborazione HORIZON Opens in new window Costo totale € 195 454,80