Skip to Main content Skip to Navigation

 







DUMAS & TEL
are two repositories dedicated to research papers and Ph.D Thesis, and created by the technical unit CCSD (Centre pour la Communication Scientifique Directe - UMS3668) .

 

 

 
DUMAS
Repository for students' Research Papers (Dépôt Universitaire de Mémoires Après Soutenance)
-> DUMAS

Last Research Paper submitted

[hal-02949600] Le concept d'acosmisme chez Hannah Arendt

 (2/27/21)  
« L'homme, cet être flexible, se pliant dans la société aux pensées et aux impressions des autres, est également capable de connaître sa propre nature lorsqu'on la lui montre, et d'en perdre jusqu'au sentiment lorsqu'on la lui dérobe. »

[dumas-00909894] L'axiomatique dans les preuves d'existence d'un équilibre général, chez Arrow et Debreu

 (2/22/21)  

[hal-03126908] LONG-TERM CHARACTERIZATION OF YEARLY DISEASE PRESSURE IN VINEYARDS: CASE STUDY OF THE BORDEAUX REGION FROM 1940 TO 2018

 (2/13/21)  

[hal-02533462] Individualité végétale

 (2/12/21)  

[hal-02142873] La Société des Sciences médicales du département de la Moselle (1819-1872)

 (2/4/21)  

[dumas-01101587] Logique, raisonnement et rationalité : le problème de la normativité chez Kant, Frege et la philosophie de la logique contemporaine

 (1/19/21)  

[dumas-00941559] La pensée philosophique en tant qu'ἀνάμνησις

 (11/6/20)  

[dumas-00611180] Ontologie et émergence

 (11/6/20)  

[dumas-00334703] Wittgenstein, les concepts psychologiques et la psychologie

 (11/6/20)  

[dumas-00875860] Penser le jazz : une contribution philosophique

 (11/6/20)  

 

 
TEL
Repository for the archiving of Ph.D theses
(Thèses En Ligne)
-> TEL

Last Ph.D. submitted

[tel-02493455] De quoi les "théorèmes de limitation des formalismes" : théorèmes de Gödel de 1931 et apparentés, sont-ils la limitation?

 (3/5/21)  
Nous cherchons à définir la nature des limitations révélées par les « théorèmes de limitation des formalismes » (Théorèmes de Gödel de 1931, de Church de 1936, et de Turing de 1936-1937). Pour répondre à cette question, nous avons retenu comme fil conducteur Je programme de Hilbert (au sens large) : d'une part la réponse qu'Hilbert espérait apporter au problème des fondements, d'autre part la justification qu'il espérait apporter à l'absence de problèmes mathématiques insolubles. Cela nous a d'abord conduit à proposer une interprétation précise des deux aspects de ce programme. Nous avons ensuite analysé les propositions variées qui ont été faites en réponse à ce programme, incluant en particulier celle de Michael Detlefsen, tout en prenant en compte les résultats d'indécidabilité arithmétiques qui ont été obtenus dans les années 1970. Nous avons pour cela effectué une analyse détaillée de la thèse de Church-Turing. Nous avons également discuté les différentes positions qui ont été défendues dans le cadre du débat induit par l'argument de Lucas-Penrose. Nous avons enfin discuté les réponses que Post, Myhill et Ladrière ont successivement apportées à la question générale posée. Sur la base de l'ensemble de cette analyse, notre propre réponse est que les ces théorèmes mettent en évidence une certaine relativité associée au recours à la formalisation elle-même, qui se caractérise par un ancrage nécessaire bien circonscrit dans la pratique empirique des mathématiques informelles.

[tel-01905036] La gerarchia di individui biologici : problemi ontologici ed epistemologici

 (3/4/21)  

[tel-01228070] Emergence et entropie : une analyse critique des stratégies explicatives émergentistes basées sur le concept d'entropie

 (3/4/21)  

[tel-02359424] La place des virus dans le monde vivant

 (3/4/21)  

[tel-02185015] Entre chimie et biologie : nutrition, organisation, identité

 (3/4/21)  

[tel-02995498] A quest for exactness : machines, algebra and geometry for tractional constructions of differential equations

 (3/4/21)  

[tel-01685103] Les Grundgesetze der Arithmetik de Frege : idéographie : genèse, syntaxe, sémantique

 (3/4/21)  

[tel-01147464] Y a-t-il une théorie génétique de la maladie ?

 (3/4/21)  

[tel-01936647] L'activité prédictives des sciences empirique : analyse d'un succès scientifique et de sa portée

 (3/4/21)  

[tel-01403361] Définition du vivant et émergence de la vie : entre rupture et continuité, saisir l'originalité du vivant

 (3/4/21)