20 found
Order:
Disambiguations
Paul Lévy [17]Paul Blain Levy [2]Paul Émile Lévy [1]Paul S. Levy [1]
Paul-Émile Lévy [1]
  1.  10
    Sur le Principe du tiers exclu et sur Les théorèmes non susceptibLes de démonstration.Paul Lévy - 1926 - Revue de Métaphysique et de Morale 33 (2):253 - 258.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  2.  8
    Infinite Trace Equivalence.Paul Blain Levy - 2008 - Annals of Pure and Applied Logic 151 (2-3):170-198.
    We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. We discuss the difficulties with traditional approaches, where divergence is bottom or where a term denotes a function from a set of environments. We see that making forcing explicit, in the manner of game semantics, allows us to avoid these problems.We begin by modelling a first-order language with sequential I/O and unbounded nondeterminism. Then we (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  9
    Les fondements du calcul Des probabilités.Paul Lévy - 1949 - Dialectica 3 (1-2):55-64.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  4.  9
    Remarques sur un théorème de Paul Cohen.Paul Lévy - 1964 - Revue de Métaphysique et de Morale 69 (1):88 - 94.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  5.  3
    W. Doeblin.Paul Levy - 1955 - Revue d'Histoire des Sciences 8 (2):107-115.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  6.  9
    Correspondance.G. Bouligand, Paul Lévy & Lucien Büchler - 1965 - Revue de Métaphysique et de Morale 70 (2):240 - 246.
  7.  17
    A Theory of Particular Sets.Paul Blain Levy - manuscript
    ZFC has sentences that quantify over all sets or all ordinals, without restriction. Some have argued that sentences of this kind lack a determinate meaning. We propose a set theory called TOPS, using Natural Deduction, that avoids this problem by speaking only about particular sets.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. Moore G. E. Moore and the Cambridge Apostles.Paul Levy - 1989
     
    Export citation  
     
    Bookmark   3 citations  
  9.  7
    A propos du paradoxe et de la logique.Paul Lévy - 1957 - Revue de Métaphysique et de Morale 62 (2):129 - 133.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10. Calcul des probabilités.Paul Lévy - 1926 - Revue de Métaphysique et de Morale 33 (3):3-6.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   7 citations  
  11. Fondement du calcul des probabilités.Paul Lévy - 1954 - Revue de Métaphysique et de Morale 59:164.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  14
    L'axiomatique et le problème du continu.Paul Lévy - 1967 - Revue de Métaphysique et de Morale 72 (3):287 - 294.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13.  16
    Les fondements du calcul des probabilités.Paul Lévy - 1963 - Revue de Métaphysique et de Morale 68 (1):25 - 56.
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  12
    Les Lois de probabilité dans Les ensembLes abstraits.Paul Lévy - 1925 - Revue de Métaphysique et de Morale 32 (2):149 - 174.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  6
    La Notion de Temps.Paul Lévy - 1965 - Revue de Métaphysique et de Morale 70 (1):96 - 102.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  9
    Nouvelles remarques sur un théorème de Paul Cohen.Paul Lévy - 1966 - Revue de Métaphysique et de Morale 71 (1):100 - 102.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  28
    Observations de M. Paul Lévy sur la lettre de M. Dieudonné.Paul Lévy - 1968 - Revue de Métaphysique et de Morale 73 (2):250 - 251.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18. Quelques aspects de la pensée d'un mathématicien.Paul Lévy - 1973 - Revue Philosophique de la France Et de l'Etranger 163:365-366.
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  19.  8
    Un témoignage sur le rêve.Paul Lévy - 1946 - Revue de Métaphysique et de Morale 51 (2):166 - 173.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  16
    Statistics on the Table: The History of Statistical Concepts and Methods (Review).Paul S. Levy - 2001 - Perspectives in Biology and Medicine 44 (1):142-146.