scholarly journals Reverse mathematics and Weihrauch analysis motivated by finite complexity theory

Computability ◽  
2021 ◽  
pp. 1-12
Author(s):  
Zach BeMent ◽  
Jeffry Hirst ◽  
Asuka Wallace

We extend a study by Lempp and Hirst of infinite versions of some problems from finite complexity theory, using an intuitionistic version of reverse mathematics and techniques of Weihrauch analysis.

2017 ◽  
Vol 82 (4) ◽  
pp. 1438-1458 ◽  
Author(s):  
RUTGER KUYPER

AbstractWe show that there is a strong connection between Weihrauch reducibility on one hand, and provability in EL0, the intuitionistic version of RCA0, on the other hand. More precisely, we show that Weihrauch reducibility to the composition of finitely many instances of a theorem is captured by provability in EL0 together with Markov’s principle, and that Weihrauch reducibility is captured by an affine subsystem of EL0 plus Markov’s principle.


2005 ◽  
Author(s):  
Katherine Harper
Keyword(s):  

2009 ◽  
Author(s):  
Michele B. Hill ◽  
Gregory L. Brack ◽  
Lydia Odenat
Keyword(s):  

Author(s):  
Luca SIMEONE ◽  
David DRABBLE ◽  
Giorgia IACOPINI ◽  
Kirsten VAN DAM ◽  
Nicola MORELLI ◽  
...  

In today’s world of global wicked problems, constraints and imperatives imposed by an external and uncertain environment render strategic action a quite complex endeavour. Since the 1990s, within community initiatives and philanthropic projects, the construct of Theory of Change has been used to address such complexity. Theory of Change can be defined as the systematic and cumulative study of the links between the activities, outcomes, and context of an intervention. The area of focus for this paper is to explore whether Theory of Change can support more strategic approaches in design. In particular, the paper examines how Theory of Change was applied to DESIGNSCAPES - a project oriented, among other things, toward offering a supporting service for all those city actors interested in using design to develop urban innovation initiatives that tackle complex issues of broad concern.


Sign in / Sign up

Export Citation Format

Share Document