Results for 'Yves Nievergelt'

951 found
Order:
  1.  9
    Logic, mathematics, and computer science: modern foundations with practical applications.Yves Nievergelt - 2015 - New York,: Springer. Edited by Yves Nievergelt.
    Preface -- 1. Propositional logic : proofs from axioms and inference rules -- 2. First order logic : proofs with quantifiers -- 3. Set theory : proofs by detachment, contraposition, and contradiction -- 4. Mathematical induction : definitions and proofs by induction -- 5. Well-formed sets : proofs by transfinite induction with already well-ordered sets -- 6. The axiom of choice : proofs by transfinite induction -- 7. applications : Nobel-Prize winning applications of sets, functions, and relations -- 8. Solutions (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  2. Book review: Yves nievergelt, foundations of logic and mathematics: Applications to computer science and cryptography, birkäuser verlag, boston, 2002, €90, pp. 480, ISBN 0-8176-4249-8, hardcover. Dimensions (in inches): 1.00 × 9.96 × 7.36. [REVIEW]Walter A. Carnielli - 2004 - Studia Logica 78 (3):479-481.
    Book review r A. (2004). "Book review: Yves nievergelt, foundations of ...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3.  46
    Is ugliness a pathology? An ethical critique of the therapeuticalization of cosmetic surgery.Yves Saint James Aquino - 2020 - Bioethics 34 (4):431-441.
    Pathologizing ugliness refers to the framing of unattractive features as a type of disease or deformity. By framing ugliness as pathology, cosmetic procedures are reframed as therapy rather than enhancement, thereby potentially avoiding ethical critiques regularly levelled against cosmetic surgery. As such, the practice of pathologizing ugliness and the ensuing therapeuticalization of cosmetic procedures require an ethical analysis that goes beyond that offered by current enhancement critiques. In this article, I propose using a thick description of the goals of medicine (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  4. Borrowed beauty? Understanding identity in Asian facial cosmetic surgery.Yves Saint James Aquino & Norbert Steinkamp - 2016 - Medicine, Health Care and Philosophy 19 (3):431-441.
    This review aims to identify (1) sources of knowledge and (2) important themes of the ethical debate related to surgical alteration of facial features in East Asians. This article integrates narrative and systematic review methods. In March 2014, we searched databases including PubMed, Philosopher’s Index, Web of Science, Sociological Abstracts, and Communication Abstracts using key terms “cosmetic surgery,” “ethnic*,” “ethics,” “Asia*,” and “Western*.” The study included all types of papers written in English that discuss the debate on rhinoplasty and blepharoplasty (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  18
    Enhancing stroke neurorehabilitation with non-invasive brain stimulation.Vandermeeren Yves - 2014 - Frontiers in Human Neuroscience 8.
  6.  24
    (1 other version)Introduction.Yves Zarka - 2002 - Cités 12 (4):115-.
    Directeur de recherche au CNRS, où il dirige le Centre d’histoire de la philosophie moderne et le Centre Thomas-Hobbes. Il enseigne également la philosophie politique moderne et contemporaine à l’Université de Paris I - Panthéon-Sorbonne. Il est notamment l’auteur de La décision métaphysique de Hobbes. Conditions de la politique (Vrin, 1987, 2e éd.,..
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7. La famille à la lumière des données bibliques.Sj Yves Simoens - 2005 - Nouvelle Revue Théologique 127 (3).
     
    Export citation  
     
    Bookmark  
  8.  7
    La naissance de la modernité et de l'Amérique: Impact de la Réforme.Bertrand Yves - 2017 - Lyon, France: Chronique Sociale.
    Impact of Reformation on the birth of Modernity and America.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  98
    Ability and knowing how in the situation calculus.Yves Lespérance, Hector J. Levesque, Fangzhen Lin & Richard B. Scherl - 2000 - Studia Logica 66 (1):165-186.
    Most agents can acquire information about their environments as they operate. A good plan for such an agent is one that not only achieves the goal, but is also executable, i.e., ensures that the agent has enough information at every step to know what to do next. In this paper, we present a formal account of what it means for an agent to know how to execute a plan and to be able to achieve a goal. Such a theory is (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  10.  10
    Indexical knowledge and robot action—a logical account.Yves Lespérance & Hector J. Levesque - 1995 - Artificial Intelligence 73 (1-2):69-115.
  11.  17
    L’éthique au coeur des sciences naturelles?Yves Larochelle - 2007 - Laval Théologique et Philosophique 63 (3):561-575.
    Applying ethical values in scientific research is conditional to the determination of a metaphysical position on human beings as such. The contemporary context of science and technoscience is essentially based on technological fallouts and a modern dogma of efficiency, relegating ethics to a second place at best. This carries possibly dangerous consequences for humanity. The objective of natural sciences worthy or their name is a return to a form of investigation closer to its origin, but also more conscious of the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  16
    Opposition, démarcation et intimité.Yves Larochelle - 2008 - Revue Philosophique De Louvain 106 (3):521-543.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13. Croyance philosophique et foi religieuse.Yves Ledure - 1982 - In François Bousquet & Jean Greisch (eds.), La Croyance. Paris: Beauchesne.
     
    Export citation  
     
    Bookmark  
  14.  18
    Friedhelm Decher, Wille zum Leben-Wille zur Macht. Eine Untersuchung zu Schopenhauer und Nietzsche.Yves Ledure - 1986 - Revue Philosophique De Louvain 84 (64):526-527.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  26
    Gabriel Marcel, ou l'homme à la mesure de la transcendance.Yves Ledure - 1999 - Revue Théologique de Louvain 30 (4):487-497.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  16
    Lectures "chrétiennes" de Nietzsche: Maurras, Papini, Scheler, de Lubac, Marcel, Mounier.Yves Ledure - 1984 - [Paris]: Cerf.
  17.  26
    La corporéité et sa conscience: penser la religion après Nietzsche.Yves Ledure - 1995 - Revue des Sciences Religieuses 69 (2):227-238.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18.  23
    Le théorique philosophique à l'epreuve de l'existentiel: Nietzsche et la mort.Yves Ledure - 1998 - Revue des Sciences Religieuses 72 (2):253-254.
  19.  3
    Nietzsche et la religion de l'incroyance.Yves Ledure - 1973 - [Paris]: Desclée.
  20.  17
    Épistémologie anthropologique et pratique théologique: À propos d'une rupture.Yves Ledure - 2012 - Revue Théologique de Louvain 43 (4):494-516.
    Le socle de la culture contemporaine est d’ordre anthropologique. Cette problématique fait de l’homme son référent épistémologique. Dans la mesure où la théologie reste tributaire d’une épistémologie strictement métaphysique, son discours peine à se faire entendre dans l’espace de la modernité. La présente réflexion se propose de dégager les problématiques à l’œuvre dans ces deux épistémologies et se demande, en finale, comment la théologie pourrait se déployer dans une culture de modernité.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  12
    Renate Grabsch, Identität und Tod. Zum Verhältnis von Mythos, Rationalität und Philosophie.Yves Ledure - 1987 - Revue Philosophique De Louvain 85 (65):113-114.
  22.  22
    Transcendantalité ou l'au-delà du désir: Vers un nouveau paradigme.Yves Ledure - 2009 - Revue Théologique de Louvain 40 (2):190-212.
    La culture contemporaine a pris acte des interprétations philosophiques du XIXe siècle qui mettent l’accent sur la corporéité de l’homme. Le corps et ses désirs deviennent ainsi les références majeures de l’anthropologie moderne et placent en porte à faux une religion de la transcendance comme le christianisme. Or, la dynamique du désir, pour essentielle qu’elle soit, ne procure jamais une satisfaction totale. En ce sens, on peut dire qu’elle est autant source de souffrance que de satisfaction. Partant de ce constat, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  6
    La foi au miroir de la psychanalyse.Yves Lefebvre - 2012 - Paris: Salvator.
    « Notre science nous vient de l’ineffable qui vit en nous et qui nous donne la parole juste au sujet de l’Homme et de Dieu. Ce livre nous invite à le reconnaître en dessinant des noces heureuses et créatrices entre l’inconscient tel que les hommes le pensent et cet inconscient de l’inconscient qu’est le feu divin. » Bertrand Vergely Les chrétiens se retrouvent tiraillés entre les arguments scientistes ou psychologisants du monde matérialiste dans lequel ils vivent et l’intuition profonde qui (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  7
    Antiquité tardive et humanisme: de Tertullien à Beatus Rhenanus: mélanges offerts à François Heim à l'occasion de son 70e anniversaire.Yves Lehmann, Gérard Freyburger, James Hirstein & François Heim (eds.) - 2005 - Turnhout: Brepols Publishers.
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  10
    Perspectives russes sur l'Église.Yves Noël Lelouvier - 1968 - Paris,: Éditions du Centurion.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26. Educational research in Quebec: Development, Issues, and Conceptions.Yves Lenoir - 2009 - ENCYCLOPAIDEIA 13 (25):89-118.
    No categories
     
    Export citation  
     
    Bookmark  
  27. Spiritualisme et matérialisme au XIXe siècle, L'Université libre de Bruxelles et la religion, Pierre Daled, Editions de l'Université de Bruxelles, Bruxelles, 1998. Pierre Daled, au travers de ce qu'il appelle une «analyse archéologique de l'enseignement positif à l'Université libre de Bruxelles», nous fait.Yves Lepers - 1999 - Revue Internationale de Philosophie 53:449.
    No categories
     
    Export citation  
     
    Bookmark  
  28.  21
    L’affectivité pathétique de la distentio au livre XI des Confessions d’Augustin.Yves-Marie Lequin - 2010 - Noesis 16 (16):39-45.
    Quid est enim tempus? s’interroge Augustin au livre xi des Confessions. Si l’éternité nous échappe par son inaccessibilité, le temps n’en est pas moins mystérieux. Toute sa substance tient de cette réalité sans étendue, inaccessible elle aussi, qu’est le présent. Et pourtant nous parlons d’un temps plus ou moins long, plus ou moins court. Or, le passé n’est plus, l’avenir n’est pas encore. Ils ne peuvent donc être ni longs ni courts. Et le présent est sans extension. Cette manière d’aborder...
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  10
    Débattre.Yves Letournel - forthcoming - Rhuthmos.
    Les « débats » politiques à la télévision japonaise en fin de semaine ont la saveur d'un spectacle de pantomime. Ce qui se dit n'importe guère, la plupart du temps tout le monde abondant, avec des nuances délicates, dans le sens de tout le monde. Il paraît donc plus avisé de couper le son et d'observer les rythmes que la parole et le silence impriment à ces corps assis. Des invités cadrés en plan américain, nous n'observons que le mécanisme du (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  12
    Manger.Yves Letournel - forthcoming - Rhuthmos.
    Les « commodités de la conversation », on le sait, désignaient spirituellement les fauteuils pour les Précieuses de Molière. Nous tentons de mettre en place les « commodités du silence », en nous défiant du mobilier habituel. À toutes les époques et sous toutes les civilisations, les lieux de l'énonciation ne se contentent pas de refléter les propos, ils participent à leur fabrication. Le babil à ciel ouvert dans le mail de Madame de Sévigné, les rudes affrontements verbaux de la (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  10
    Parler.Yves Letournel - forthcoming - Rhuthmos.
    Mime de bienveillance Incontestable au moins dans sa traduction plastique, la bienveillance n'est pas seulement dévolue au débat politique mais affirme sa préséance dans la plupart des protocoles verbaux au Japon. Sa présence efficace ne prend pas l'aspect d'un accueil ostentatoire : elle se présente plutôt comme la découverte ravie d'une convergence inaperçue jusque-là. On « tombe d'accord » selon l'heureuse expression française, en s'émerveillant de cette entente inopinée que tout avait pourtant - Etudes japonaises.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  9
    Prier.Yves Letournel - forthcoming - Rhuthmos.
    Il est un type de communication, celle avec le dieu, dont les linguistes se détournent peut-être trop vite. Certaines sociétés, très peu religieuses, peuvent n'en posséder pas moins beaucoup de religiones. L'ethnologue ajoute : En dépit du caractère coutumier que présente la religion, elle n'en est pas moins ce qu'il y a de plus conscient dans l'esprit de ceux qui observent ces pratiques, surtout dans les couches populaires où un sens du concret contrebalance ce sens des notions abstraites. - Etudes (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  8
    (3 other versions)Recherches de facture chez Rimbaud et Cézanne – 2.Yves Letournel - forthcoming - Rhuthmos.
    Section précédente Deuxieme section – L'indétermination L'informe, est au cœur de leur recherche plastique. Telle, au sein des « Vers nouveaux », cette exclamation de Mémoire : Regret des bras épais et jeunes d'herbe pure! Qui regrette? Génitif objectif ou subjectif? Quand? Quels bras? De quels corps? Ceux d'un enfant ou d'une rivière? La nominalisation délivre de toute référence événementielle et temporelle ; la modalité exclamative fait surgir radieusement le - Poétique et Études littéraires – GALERIE – Nouvel article.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  13
    Voyage en Japonie.Yves Letournel - forthcoming - Rhuthmos.
    Première publication : Cent regards sur le Japon,, Paris, éditions Jipango, 2004. Hideux Japon! Depuis l'aéroport jusqu'à l'arrivée au centre-ville, que de pétrifiantes laideurs… celles, grises ou ocre, de bâtiments sans caractère, à la mélancolie triviale ; celles, rutilantes, des enseignes commerciales ou des distributeurs de boissons sur les trottoirs. Sitôt arrivé, quittez ce pays, pour entrer en… « Japonie ». Prenez un train régional lent, qui, par son rythme et l'ordre naturel - Etudes japonaises – Nouvel article.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  64
    The finite model property for various fragments of linear logic.Yves Lafont - 1997 - Journal of Symbolic Logic 62 (4):1202-1208.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  36.  15
    A. Abords Sud de l'Agora.Jean-Yves Marc, Pierre Mougin & Manuela Wurch-Koželj - 2007 - Bulletin de Correspondance Hellénique 131 (2):938-946.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  11
    Dieu, la science, les preuves: l'aube d'une révolution.Michel-Yves Bolloré - 2021 - Paris: Guy Trédaniel éditeur. Edited by Olivier Bonnassies & Robert Woodrow Wilson.
    Three years of work with more than twenty scientists and high-level specialists: here are revealed the modern proofs of the existence of God. For almost four centuries, from Copernicus to Freud via Galileo and Darwin, scientific discoveries have accumulated in a spectacular way, giving the impression that it was possible to explain the Universe without the need to resort to a god. Creator. And so it was that at the beginning of the 20th century, materialism triumphed intellectually. In a way (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  11
    Β. Les abords Sud de l'agora.Jean-Yves Marc, Pierre Mougin & Manuela Wurch-Kozelj - 2004 - Bulletin de Correspondance Hellénique 128 (21):752-759.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  6
    Gaspard Monge et l'Expédition d'Egypte (1798-1799).Yves Laissus - 1960 - Revue de Synthèse 81 (19-20):309-336.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40. The ideology of context : Uses and abuses of context in the historiography of philosophy.Yves Carles Zarka - 2005 - In Tom Sorell & Graham Alan John Rogers (eds.), Analytic philosophy and history of philosophy. New York: Oxford University Press.
  41.  12
    Architecture and Gender.Yves Laberge - 2017 - The European Legacy 22 (2):215-217.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  62
    Atlantic Crossings after Surrealism: André Breton, French Culture, Gender, and World War I.Yves Laberge - 2010 - The European Legacy 15 (1):71-74.
  43. Antonio Candido, L'Endroit et l'envers. Essais de litterature et de sociologie Reviewed by.Yves Laberge - 1998 - Philosophy in Review 18 (3):170-171.
     
    Export citation  
     
    Bookmark  
  44.  20
    Aux sources du pragmatisme américain, de l'interactionnisme symbolique et de la sémiotique : George H. Mead et Charles S. Peirce.Yves Laberge - 2010 - Laval Théologique et Philosophique 66 (2):425-433.
  45.  36
    Contre le postmodernisme, contre la raison séculière et le libéralisme économique.Yves Laberge - 2012 - Laval Théologique et Philosophique 68 (2):429.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  46.  50
    Ce qui restera du cinéma français: figures marquantes du 20e siècle.Yves Laberge - 2008 - The European Legacy 13 (7):871-873.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  47.  30
    Du contrat: sur le lien social.Yves Labbé - 1994 - Revue des Sciences Religieuses 68 (2):219-241.
  48.  11
    Dieu dit, dire Dieu. Entre révélation et vérité, après deux ouvrages de Guy Lafon.Yves Labbé - 1984 - Revue Théologique de Louvain 15 (3):297-330.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  19
    Dieu différent en philosophie.Yves Labbé - 2003 - Revue des Sciences Philosophiques Et Théologiques 4:681-701.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  11
    Droits de l'homme et encyclopédisme: perspectives comparées en France et aux États-Unis.Yves Laberge - 2011 - Laval Théologique et Philosophique 67 (2):309-319.
1 — 50 / 951