Results for 'Wilfried Lippitz'

4 found
Order:
  1. Filosofia Analitica e Filosofia Continentale.Sergio Cremaschi (ed.) - 1997 - 50018 Scandicci, Metropolitan City of Florence, Italy: La Nuova Italia.
    ● Sergio Cremaschi, The non-existing Island. I discuss the way in which the cleavage between the Continental and the Anglo-American philosophies originated, the (self-)images of both philosophical worlds, the converging rediscoveries from the Seventies, as well as recent ecumenic or anti-ecumenic strategies. I argue that pragmatism provides an important counter-instance to both the familiar self-images and to the fashionable ecumenic or anti-ecumenic strategies. My conclusions are: (i) the only place where Continental philosophy exists (as Euro-Communism one decade ago) is America; (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  2. "In hoc signo vinces" albo rzecz o starych łódzkich dowcipach.Małgorzata Półrola - 2009 - Acta Universitatis Lodziensis. Folia Germanica 5:303-317.
    Der vorliegende Beitrag ist als ein Versuch zu verstehen, dem polnischen Leser eine recht seltsame Position aus der Reihe der deutschsprachigen Lodzaica, nämlich die 1913 im Verlag August Grüning in Pabianice herausgegebene Sammlung von Witzen und Anekdoten mit dem Titel 'Ne Mütze voll Witze aus Lodz und Pabianice’, näherzubringen. Der Verfasser des schmalen Bändchens, der sich hinter dem Pseudonym Wilfried Spectator verbirgt, ist Reinhold Piel, ein Deutscher aus Pabianice. Als Satelitenstadt von Łódź, der sich damals sehr rasch entwickelnden Textilmetropole, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. A Categorical Characterization of Accessible Domains.Patrick Walsh - 2019 - Dissertation, Carnegie Mellon University
    Inductively defined structures are ubiquitous in mathematics; their specification is unambiguous and their properties are powerful. All fields of mathematical logic feature these structures prominently: the formula of a language, the set of theorems, the natural numbers, the primitive recursive functions, the constructive number classes and segments of the cumulative hierarchy of sets. -/- This dissertation gives a mathematical characterization of a species of inductively defined structures, called accessible domains, which include all of the above examples except the set of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  4. Deepening the Automated Search for Gödel's Proofs.Adam Conkey - unknown
    Gödel's incompleteness theorems establish the stunning result that mathematics cannot be fully formalized and, further, that any formal system containing a modicum of number or set theory cannot establish its own consistency. Wilfried Sieg and Clinton Field, in their paper Automated Search for Gödel's Proofs, presented automated proofs of Gödel's theorems at an abstract axiomatic level; they used an appropriate expansion of the strategic considerations that guide the search of the automated theorem prover AProS. The representability conditions that allow (...)
    Download  
     
    Export citation  
     
    Bookmark