Order:
  1.  18
    Oracle Hypermachines Faced with the Verification Problem.Florent Franchette - 2013 - In Gordana Dodig-Crnkovic Raffaela Giovagnoli (ed.), Computing Nature. pp. 213--223.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  12
    La thèse de l'hyper-calcul : enjeux et problèmes philosophiques.Florent Franchette - 2012 - Philosophia Scientiae 16 (16-3):17-38.
    Dans cet article je réponds à deux questions philosophiques soule­vées par la thèse suivante appelée « thèse de l’hyper-calcul » : il est possible de construire physiquement un modèle d’hyper-calcul. La première question est liée aux enjeux de cette thèse. Puisque la construction physique d’un modèle de calcul dépasse le cadre mathématique initial de la théorie de la calculabilité, j expliquerai pourquoi il est nécessaire de construire physiquement un modèle d’hyper-calcul. La seconde question concerne le problème de la vérification : (...)
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  4
    La Thèse de L’Hyper-Calcul : Enjeux Et Problèmes Philosophiques.Florent Franchette - 2012 - Philosophia Scientae 16:17-38.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark