Results 11 to 20 of about 166,548,410 (46)
Independence and conservativity results for intuitionistic set theory [PDF]
, 2010 There are two main parts to this thesis. The first part will deal with some independence results. In 1979, Lifschitz in [13] introduced a realizability interpretation for Heyting's arithmetic, HA, that could differentiate between Church's thesis with ...
Chen, Ray-Ming
core +7 more sources
Applications of constructive developmental theory to the studies of leadership development : a systematic review [PDF]
, 2008 Purpose. The purpose of this dissertation is to present three main outcomes of the systematic review undertaken: - A synthesis of extant literature on leadership development from the angle of constructive developmental theory.
Florio, Linda
core +7 more sources
Mechanised metamathematics : an investigation of first-order logic and set theory in constructive type theory [PDF]
, 2022 In this thesis, we investigate several key results in the canon of metamathematics, applying the contemporary perspective of formalisation in constructive type theory and mechanisation in the Coq proof assistant.
Kirst, Dominik
core +1 more source
Towards more effective testing of communications-critical large scale systems [PDF]
, 2014 This thesis was submitted for the degree of Doctor of Philosophy and awarded by Brunel University.A publication based on the research from this thesis has been published and can be cited as Nabulsi, MA and Hierons, RM (2014), A new test framework for ...
Nabulsi, Mohammad
core +7 more sources
Non-constructive interval simulation of dynamic systems [PDF]
, 2012 In this report, inspired by non-constructive simulation developed in the qual-itative reasoning eld, we present a non-constructive interval simulation algorithm forthe simulation of dynamic systems.
Pang, Wei; id_orcid +3 more
core +2 more sources
Good Systems Network Meeting [PDF]
, 2020 You're viewing a past event from the Good Systems Grand Challenge team at The University of Texas at Austin that contains two presentations from May 19, 2020.Office of the VP for ...
Good Systems
core +1 more source
Constructive Proofs or Constructive Statements? [PDF]
, 2005 In this work the following question is considered: is Sergeraert's\Constructive Algebraic Topology" (CAT, in short) really constructive(in the strict logical sense of the word \constructive")? We have not an answer to that question, but we are interested
Rubio García, Julio
core +2 more sources
LSTA five-year evaluation, future areas of focus [PDF]
, 2022 prepared by: Stephanie Chase and Judah Hamer, Constructive Disruption.Title from PDF cover (viewed on June 16, 2022).This archived document is maintained by the Oregon State Library as part of the Oregon Documents Depository Program.
core
, 2020 Exhibition Constructive, 2020 Caboolture Regional Gallery, Queensland Constructive traces an exploration of abstract forms in the work of Simon Degroot through painting, collage and public murals.
Simon Degroot (13212453) +1 more
core +1 more source
Kurt Gödel: The Genius of Metamathematics [PDF]
Few twentieth-century logicians have acquired the cultural aura that now surrounds Kurt Gödel. While his incompleteness theorems secured his place in the foundations of mathematics soon after their publication in the early 1930s, his broader public ...
Morneau-Guérin, Frédéric
core +1 more source