Search results for 'W. A. Burkhard' (try it on Scholar)

  1.  10
    F. W. Kroon & W. A. Burkhard (1990). On a Complexity-Based Way of Constructivizing the Recursive Functions. Studia Logica 49 (1):133 - 149.
    Let g E(m, n)=o mean that n is the Gödel-number of the shortest derivation from E of an equation of the form (m)=k. Hao Wang suggests that the condition for general recursiveness mn(g E(m, n)=o) can be proved constructively if one can find a speedfunction s s, with s(m) bounding the number of steps for getting a value of (m), such that mn s(m) s.t. g E(m, n)=o. This idea, he thinks, yields a constructivist notion of an effectively computable function, (...)
    Direct download (5 more)  
    Export citation  
    My bibliography   1 citation  
  2.  3
    A. W. H. Adkins (1971). Sophia Burkhard Gladigow: Sophia und Kosmos: Untersuchungen zur Frühgeschichte von σοφς und σοφη. (Spoudasmata, 1.) Pp. 156. Hildesheim: Olms, 1965. Paper, DM.23.80. [REVIEW] The Classical Review 21 (03):391-393.
      Direct download (2 more)  
    Export citation  
    My bibliography  
  3.  4
    L. W. L. (1952). Reviews. [REVIEW] British Journal for the Philosophy of Science 2 (8):326-a-326.
    Semantics of Detachment A Review of Burkhard Hasebrink, Susanne Bernhardt, and Imke Früh, eds., Semantik der Gelassenheit: Generierung, Etablierung, Transformation [Semantics of detachment: Formation, establishment, transformation] Silke Schwandt Beyond the Untranslatability of Concepts A Review of Martin J. Burke and Melvin Richter, eds., Why Concepts Matter: Translating Social and Political Thought László Kontler Emotional Modernities A Review of Ute Frevert, Monique Scheer, Anne Schmidt, Pascal Eitler, Bettina Hitzer, Nina Verheyen, Benno Gammerl, Christian Bailey, and Margrit Pernau, Gefühlswissen: Eine lexikalische (...)
    Direct download (12 more)  
    Export citation  
    My bibliography