Calculabilité

conscience religieuse 1 . C'est, par ailleurs, l'extension conjuguée de l'usage de la monnaie et de la comptabilité à partie double (recours à une forme de comptabilité qui permet la distinction entre le débit et le crédit, le compte de bilan et la « calculabilité » de l'acte humain afin d'en faire un acte salarié et intégrable à la logique du compte de bénéfice, contrairement à la comptabilité à partie simple, qui, jusqu'au XVe siècle, n'était que « comptabilité de caisse », indiquant simplement les débours

l'ordinateur programmable. Il y présente sa machine de Turing, le premier calculateur universel programmable, et invente les concepts de programmation et de programme. Il est également à l'origine de la formalisation des concepts d'algorithme et de calculabilité qui ont profondément marqué cette discipline. Son modèle a contribué à établir définitivement la thèse Church-Turing qui donne une définition mathématique au concept intuitif de fonction calculable. Durant la Seconde Guerre mondiale, il a dirigé

D’autres m´ thodes doivent alors etre consid´ r´ es en prenant en compte n´ cessairement e e ee e la complexit´ algorithmique des calculs. Ceci explique l’implication d’une autre discipline, l’informatique, e dans cette probl´ matique. Le souci de calculabilit´ l’emporte sur la d´ finition math´ matique du probl` me e e e e e qui se ram` ne a l’optimisation d’un crit` re d’ajustement de φ sur un ensemble de solutions plus ou moins e ` e ´e e riche. Ces m´ thodes ont souvent et´ d´ velopp´ es dans un autre

féconds dans d’autres domaines d’application. Nous avons défini une approche mettant en œuvre une représentation issue de la logique réifiée et basée sur une algèbre d’instants. Cette approche exploite une algorithmique spécifique au temps, dont la calculabilité est meilleure que celle des principes déductifs généraux, tels que ceux utilisés par des logiques modales, ou par le calcul d’événements par exemple. L’approche repose sur une représentation originale, décrivant des scénarios génériques, appelés

moment de le concevoir, c’est assurément ce qui pose l’algorithmique comme un art. COMMENT DEVENIR ALGORITHMICIEN ? L’apprentissage traditionnel de l’algorithmique élude les aspects les plus formels et sophistiqués de la décidabilité, de la calculabilité et de la complexité, qui s’ils sont fondamentaux, ne sont pas nécessairement faciles d’accès. On commence généralement l’apprentissage par la pratique de la programmation à l’aide d’un langage simple, puis dans un second temps, on prend du recul

généralement l’Histoire de l’informatique et en particulier les aspects matériels ou principes mathématiques ou algorithmiques sous-jacents (ordinateurs, théorie de l’information et du codage, théorie des langages, théorie de la décidabilité et de la calculabilité, algorithmique, ...). 14.4.1 La préhistoire (avant 1940) • 820 : Le mathématicien perse Al Khawarizmi publie à Bagdad un traité intitulé “Abrégé du calcul par la restauration et la comparaison” qui, importé en Europe Occidentale lors des invasions

Praxeology : an introduction to the sciences of efficient action (1965), présentées notamment dans l’ouvrage de J. OSTROWSKI consacré à Alfred Espinas, précurseur de la praxéologie ; ses antécédents et ses successeurs (1973). La praxéologie postule une calculabilité de l’action efficace, et donc des modèles de cette action, qui contraint souvent par trop la liberté cognitive du modélisateur au sens où on l’introduit ici. 2. La formule est de R. VENTURI dans son ouvrage Complexity and contradiction in Architecture

Praxeology : an introduction to the sciences of efficient action (1965), présentées notamment dans l’ouvrage de J. OSTROWSKI consacré à Alfred Espinas, précurseur de la praxéologie ; ses antécédents et ses successeurs (1973). La praxéologie postule une calculabilité de l’action efficace, et donc des modèles de cette action, qui contraint souvent par trop la liberté cognitive du modélisateur au sens où on l’introduit ici. 2. La formule est de R. VENTURI dans son ouvrage Complexity and contradiction in Architecture

peut pas être une instance d’une autre classe) ; • OWL Full : il s’agit de la version la plus complète d’OWL. Aucune restriction n’est imposée à l’utilisateur, mais en contrepartie, aucune garantie n’est fournie quant aux propriétés de calculabilité de l’ontologie ainsi créée. Dans le cadre de nos travaux sur la gestion des connaissances lors des projets de conception nous sommes amenés à développer une ontologie de domaine pour la modélisation des connaissances métier. Nous avons choisi

calcul soutenant les relations entre individus. La confiance selon Williamson, « se limite aux relations particulières au sein d’une famille, entre amis et amants » (Williamson, 1993, p. 484). Comme le note Karpik (1998), pour Williamson, « la calculabilité – calculativeness – fonde la pertinence de l’analyse économique puisque seule cette dernière permet de déterminer les bénéfices et les coûts, de calculer les avantages mutuels, et par là, d’expliquer l’échange économique ou social. Aussi, lorsque