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

  1. F. W. Kroon & W. A. Burkhard (1990). On a Complexity-Based Way of Constructivizing the Recursive Functions. Studia Logica 49 (1):133 - 149.score: 1410.0
    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)  
     
    My bibliography  
     
    Export citation  
  2. 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.score: 81.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. L. W. L. (1952). Reviews. [REVIEW] British Journal for the Philosophy of Science 2 (8):326-a-326.score: 45.0
    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 (10 more)  
     
    My bibliography  
     
    Export citation